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: High Entry average rating: No information on entry rating
a connected normal space with more than one point is uncountable (Theorem)

The proof of the following result is an application of the generalized intermediate value theorem (along with Urysohn's lemma):

Proposition   A connected normal space with more than one point is uncountable.
Proof. Let $X$ be a connected normal space with at least two distinct points $x_1$ and $x_2$ As the sets $\set{x_1}$ and $\set{x_2}$ are closed and disjoint, Urysohn's lemma furnishes a continuous function $f:X\rightarrow[0,1]$ such that $f(x_1)=0$ and $f(x_2)=1$ Because $X$ is connected, the generalized intermediate value theorem implies that $f$ is surjective. Thus $f$ may be suitably restricted to give a bijection between a subset of $X$ and the uncountable set $[0,1]$ from which it follows that $X$ is uncountable. $ \qedsymbol$




"a connected normal space with more than one point is uncountable" is owned by azdbacks4234.
(view preamble | get metadata)

View style:

See Also: Urysohn's lemma, normal, uncountable, bijection, connected space

Keywords:  connected, normal, uncountable
Log in to rate this entry.
(view current ratings)

Cross-references: uncountable set, subset, bijection, surjective, implies, connected, continuous function, disjoint, points, Urysohn's lemma, generalized intermediate value theorem, application, proof

This is version 7 of a connected normal space with more than one point is uncountable, born on 2007-06-22, modified 2008-11-07.
Object id is 9640, canonical name is AConnectedNormalSpaceWithMoreThanOnePointIsUncountable.
Accessed 951 times total.

Classification:
AMS MSC54D05 (General topology :: Fairly general properties :: Connected and locally connected spaces )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

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