The quasi-component of a point is the intersection of its clopen neighborhoods. Its connected component is always contained in it: a connected set meeting a clopen set cannot also meet its complement. Equality need not hold in noncompact Hausdorff spaces. The Šura-Bura lemma proves equality in compact Hausdorff spaces.
In a compact Hausdorff space, each connected component is its quasi-component and has a neighborhood basis of clopen sets. Let be the intersection of clopen neighborhoods of . It is compact. If it splits into two nonempty compact sets, normality separates them by disjoint open neighborhoods. The finite intersection characterization of compactness gives a finite intersection of clopen neighborhoods lying in their union. Its intersection with the neighborhood containing is then clopen and excludes part of , a contradiction. Thus is connected and equals the component. Applying the same finite-intersection argument to any neighborhood of proves the neighborhood-basis assertion. [ref]
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/browser_info/HOL/HOL-Analysis/Homotopy.html. Formalized Šura-Bura results, including the compact Euclidean case
.Set , , , and let be the polygonal arc joining , , , and . In the planar subspace , each arc is clopen. The component of is therefore just . Any clopen neighborhood of contains the left endpoints of all sufficiently high arcs, hence those entire connected arcs, and by closedness also the limit of their right endpoints. Thus its quasi-component is . Higher arcs escape to infinity while their endpoints approach the two distinguished points.
Articles by others on the same topic
There are currently no matching articles.