Namespaces
Variants
Actions

Difference between revisions of "Component of a space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(added internal links)
 
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
A connected subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242401.png" /> of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242402.png" /> with the following property: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242403.png" /> is a connected subset such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242404.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242405.png" />. The components of a space are disjoint. Every non-empty connected subset is contained in exactly one component. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242406.png" /> is a component of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242407.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242408.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c0242409.png" /> is a component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424010.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424011.png" /> is a monotone continuous mapping onto, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424012.png" /> is a component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424013.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424014.png" /> is a component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024240/c02424015.png" />.
+
A component of a space is a [[Connected set|connected]] subset <math> C </math> of a [[topological space]] <math> X </math> with the following property: If <math>C_1 \subset X</math> is a connected subset such that <math> C \subset C_1 </math>, then <math> C = C_1 </math>. The components of a space are disjoint. Every non-empty connected subset is contained in exactly one component. If <math> C </math> is a component of a space <math> X </math> and <math> C \subset Y \subset X </math>, then <math> C </math> is a component of <math> Y </math>. If <math> \mathit{f}:X \to Y </math> is a [[Monotone mapping|monotone]] [[Continuous mapping|continuous]] mapping onto, then <math> C </math> is a component of <math> Y </math> if and only if <math> \mathit{f}^{-1}(C) </math> is a component of <math> X </math>.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Kuratowski,  "Topology" , '''2''' , Acad. Press  (1968)  (Translated from French)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Kuratowski,  "Topology" , '''2''' , Acad. Press  (1968)  (Translated from French)</TD></TR></table>

Latest revision as of 22:41, 25 March 2011

A component of a space is a connected subset \( C \) of a topological space \( X \) with the following property: If \(C_1 \subset X\) is a connected subset such that \( C \subset C_1 \), then \( C = C_1 \). The components of a space are disjoint. Every non-empty connected subset is contained in exactly one component. If \( C \) is a component of a space \( X \) and \( C \subset Y \subset X \), then \( C \) is a component of \( Y \). If \( \mathit{f}:X \to Y \) is a monotone continuous mapping onto, then \( C \) is a component of \( Y \) if and only if \( \mathit{f}^{-1}(C) \) is a component of \( X \).

References

[1] K. Kuratowski, "Topology" , 2 , Acad. Press (1968) (Translated from French)
How to Cite This Entry:
Component of a space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Component_of_a_space&oldid=13928
This article was adapted from an original article by B.A. Efimov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article