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
fully T4 (Definition)

A topological space $X$ is said to be fully $T_4$ if every open cover of $X$ has star refinement.

A topological space is said to be fully normal if it is a $T_1$ space and is fully $T_4$

For example, every pseudometric space is fully $T_4$

We have the following implications:

Lindelöf $T_3 \Rightarrow$ paracompact and $T_3 \Rightarrow$ fully $T_4 \Rightarrow T_4 \Rightarrow$ uniformizable $\Rightarrow T_3$ ,

and

fully normal $\Leftrightarrow$ paracompact regular.




"fully T4" is owned by Mathprof.
(view preamble | get metadata)

View style:

Also defines:  fully normal
Log in to rate this entry.
(view current ratings)

Cross-references: regular, uniformizable, paracompact, Lindelöf, implications, pseudometric space, star refinement, open cover, topological space
There is 1 reference to this entry.

This is version 4 of fully T4, born on 2007-05-26, modified 2007-05-27.
Object id is 9473, canonical name is FullyT4.
Accessed 1439 times total.

Classification:
AMS MSC54D15 (General topology :: Fairly general properties :: Higher separation axioms )

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

No messages.

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