Completely metrizable implies Baire: Difference between revisions
(New page: {{topospace property implication}} ==Statement== If a topological space is '''completely metrizable''' (i.e. it can be given the structure of a complete metric space) then it is ...) |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{topospace property implication}} | {{topospace property implication| | ||
stronger = completely metrizable space| | |||
weaker = Baire space}} | |||
==Statement== | ==Statement== | ||
Latest revision as of 11:15, 8 August 2008
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., completely metrizable space) must also satisfy the second topological space property (i.e., Baire space)
View all topological space property implications | View all topological space property non-implications
Get more facts about completely metrizable space|Get more facts about Baire space
Statement
If a topological space is completely metrizable (i.e. it can be given the structure of a complete metric space) then it is a Baire space.
Definitions used
Completely metrizable space
Further information: Completely metrizable space
Baire space
Further information: Baire space