Skip to main content

Miscellaneous Facts about Open Functions and Continuous Functions Cover

.blurhash-client-img { display: none !important; }

Miscellaneous Facts about Open Functions and Continuous Functions

Formalized Mathematics

Volume 18 (2010): Issue 3 (September 2010)

By: Artur Korniłowicz

Open Access

|Jan 2011

Abstract

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

References

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

Articles in this issue

DOI: https://doi.org/10.2478/v10037-010-0019-5 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 171 - 174

Published on: Jan 5, 2011

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Publication frequency: 1 issue per year

Related subjects:

Logic and set theory,

Computer sciences,

Artificial intelligence

© 2011 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 18 (2010): Issue 3 (September 2010)