PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof that components of open sets in a locally connected space are open (Theorem)
Theorem 1   A topological space $X$ is locally connected if and only if each component of an open set is open.
Proof. First, suppose that $X$ is locally connected and that $U$ is an open set of $X$ Let $p \in C$ where $C$ is a component of $U$ Since $X$ is locally connected there is an open connected set, say $V$ with $p \in V \subset U$ Since $C$ is a component of $U$ it must be that $V \subset C$ Hence, $C$ is open. For the converse, suppose that each component of each open set is open. Let $p \in X$ Let $U$ be an open set containing $p$ Let $C$ be the component of $U$ which contains $p$ Then $C$ is open and connected, so $X$ is locally connected.

$ \qedsymbol$

As a corollary, we have that the components of a locally connected space are both open and closed.




"proof that components of open sets in a locally connected space are open" is owned by Mathprof.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: closed, contains, converse, connected, open set, component, locally connected, topological space

This is version 3 of proof that components of open sets in a locally connected space are open, born on 2007-05-19, modified 2007-06-02.
Object id is 9399, canonical name is ProofThatComponentsOfOpenSetsInALocallyConnectedSpaceAreOpen.
Accessed 720 times total.

Classification:
AMS MSC54A99 (General topology :: Generalities :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)