# Miscellaneous Facts about Open Functions and Continuous Functions

Formalized Mathematics (2010)

- Volume: 18, Issue: 3, page 171-174
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

topArtur Korniłowicz. "Miscellaneous Facts about Open Functions and Continuous Functions." Formalized Mathematics 18.3 (2010): 171-174. <http://eudml.org/doc/267487>.

@article{ArturKorniłowicz2010,

abstract = {In this article we give definitions of open functions and continuous functions formulated in terms of "balls" of given topological spaces.},

author = {Artur Korniłowicz},

journal = {Formalized Mathematics},

language = {eng},

number = {3},

pages = {171-174},

title = {Miscellaneous Facts about Open Functions and Continuous Functions},

url = {http://eudml.org/doc/267487},

volume = {18},

year = {2010},

}

TY - JOUR

AU - Artur Korniłowicz

TI - Miscellaneous Facts about Open Functions and Continuous Functions

JO - Formalized Mathematics

PY - 2010

VL - 18

IS - 3

SP - 171

EP - 174

AB - In this article we give definitions of open functions and continuous functions formulated in terms of "balls" of given topological spaces.

LA - eng

UR - http://eudml.org/doc/267487

ER -

## References

top- [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990. Zbl06213858
- [2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
- [3] Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.
- [4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
- [5] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
- [6] Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.
- [7] Agata Darmochwał and Yatsuka Nakamura. Metric spaces as topological spaces - fundamental concepts. Formalized Mathematics, 2(4):605-608, 1991.
- [8] Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607-610, 1990.
- [9] Artur Korniłowicz and Yasunari Shidama. Intersections of intervals and balls in ϵn/T. Formalized Mathematics, 12(3):301-306, 2004.
- [10] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.
- [11] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.
- [12] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
- [13] Mariusz Żynel and Adam Guzowski. T0 topological spaces. Formalized Mathematics, 5(1):75-77, 1996.

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.