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].
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 (0)

There are currently no matching articles.