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: Medium Entry average rating: No information on entry rating
[parent] Alexandroff space is T1 if and only if it is discrete (Derivation)

Proposition. Let $X$ be an Alexandroff space. Then $X$ is $\mathrm{T}_{1}$ if and only if $X$ is discrete.

Proof. ,,$\Leftarrow$ ' It is easy to see, that every discrete space is Alexandroff and $\mathrm{T}_{1}$

,,$\Rightarrow$ ' Recall that topological space is $\mathrm{T}_1$ if and only if every subset is equal to the intersection of all its open neighbourhoods. So let $x\in X$ Then the intersection of all open neighbourhoods $\{x\}^{o}$ of $x$ is equal to $\{x\}$ But since $X$ is Alexandroff, then $\{x\}^{o}=\{x\}$ is open and thus points are open. Therefore $X$ is discrete. $\square$



"Alexandroff space is T1 if and only if it is discrete" is owned by joking.
(view preamble | get metadata)

View style:


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

Cross-references: points, neighbourhoods, open, intersection, subset, topological space, discrete space, easy to see, discrete, Alexandroff space, proposition

This is version 1 of Alexandroff space is T1 if and only if it is discrete, born on 2009-01-24.
Object id is 11550, canonical name is AlexandroffSpaceIsT1IfAndOnlyIfItIsDiscrete.
Accessed 290 times total.

Classification:
AMS MSC54A05 (General topology :: Generalities :: Topological spaces and generalizations )

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

No messages.

Interact
post | correct | update request | add example | add (any)