Normal Hausdorff implies Tychonoff

From Topospaces
Revision as of 16:23, 13 May 2009 by Vipul (talk | contribs) (Created page with '{{topospace property implication| stronger = normal space| weaker = completely regular space}} ==Statement== Any normal space is a completely regular space. ==Facts us...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., normal space) must also satisfy the second topological space property (i.e., completely regular space)
View all topological space property implications | View all topological space property non-implications
Get more facts about normal space|Get more facts about completely regular space

Statement

Any normal space is a completely regular space.

Facts used

  1. Urysohn's lemma