Connectedness and Continuous Sequences in Finite Topological Spaces

Yatsuka Nakamura

Formalized Mathematics (2006)

  • Volume: 14, Issue: 3, page 93-100
  • ISSN: 1426-2630

Abstract

top
First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.

How to cite

top

Yatsuka Nakamura. "Connectedness and Continuous Sequences in Finite Topological Spaces." Formalized Mathematics 14.3 (2006): 93-100. <http://eudml.org/doc/266702>.

@article{YatsukaNakamura2006,
abstract = {First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.},
author = {Yatsuka Nakamura},
journal = {Formalized Mathematics},
language = {eng},
number = {3},
pages = {93-100},
title = {Connectedness and Continuous Sequences in Finite Topological Spaces},
url = {http://eudml.org/doc/266702},
volume = {14},
year = {2006},
}

TY - JOUR
AU - Yatsuka Nakamura
TI - Connectedness and Continuous Sequences in Finite Topological Spaces
JO - Formalized Mathematics
PY - 2006
VL - 14
IS - 3
SP - 93
EP - 100
AB - First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.
LA - eng
UR - http://eudml.org/doc/266702
ER -

References

top
  1. [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990. Zbl06213858
  2. [2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990. 
  3. [3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990. 
  4. [4] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990. 
  5. [5] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990. 
  6. [6] Hiroshi Imura and Masayoshi Eguchi. Finite topological spaces. Formalized Mathematics, 3(2):189-193, 1992. 
  7. [7] Hiroshi Imura, Masami Tanaka, and Yatsuka Nakamura. Continuous mappings between finite and one-dimensional finite topological spaces. Formalized Mathematics, 12(3):381-384, 2004. 
  8. [8] Jarosław Kotowicz. Functions and finite sequences of real numbers. Formalized Mathematics, 3(2):275-278, 1992. 
  9. [9] Yatsuka Nakamura. Finite topology concept for discrete spaces. In H. Umegaki, editor, Proceedings of the Eleventh Symposium on Applied Functional Analysis, pages 111-116, Noda-City, Chiba, Japan, 1988. Science University of Tokyo. Zbl0264.94018
  10. [10] Takaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83-86, 1993. 
  11. [11] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990. 
  12. [12] Masami Tanaka and Yatsuka Nakamura. Some set series in finite topological spaces. Fundamental concepts for image processing. Formalized Mathematics, 12(2):125-129, 2004. 
  13. [13] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics. 
  14. [14] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990. 
  15. [15] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990. 
  16. [16] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990. 
  17. [17] Wojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575-579, 1990. 
  18. [18] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990. 
  19. [19] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990. 

NotesEmbed ?

top

You must be logged in to post comments.

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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.