G-delta set: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(new entry, just a stub)
 
imported>Richard Pinch
(added section on G-delta space)
Line 2: Line 2:


A G<sub>δ</sub> in a [[complete metric space]] is again a complete metric space.
A G<sub>δ</sub> in a [[complete metric space]] is again a complete metric space.
==Gδ space==
A '''G<sub>δ</sub> space''' is a topological space in which every open set is a G<sub>δ</sub> set.  A [[normal space]] which is also a G<sub>δ</sub> space is '''[[perfectly normal space|perfectly normal]]'''.  Every metrizable space is perfectly normal, and every perfectly normal space is a  [[completely normal space]]; neither implication is reversible.


==References==
==References==
* {{cite book | author=J.L. Kelley | authorlink=John L. Kelley | title=General topology | publisher=van Nostrand | year= 1955 | pages=207-208 }}
* {{cite book | author=J.L. Kelley | authorlink=John L. Kelley | title=General topology | publisher=van Nostrand | year= 1955 | pages=134,207-208 }}
* {{cite book | author=Lynn Arthur Steen | authorlink=Lynn Arthur Steen | coauthors= J. Arthur Seebach jr | title=[[Counterexamples in Topology]] | year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=0-387-90312-7 | pages=162 }}

Revision as of 02:21, 4 January 2009

In general topology, a Gδ set is a subset of a topological space which is a countable intersection of open sets. An Fσ space is similarly a countable union of closed sets.

A Gδ in a complete metric space is again a complete metric space.

Gδ space

A Gδ space is a topological space in which every open set is a Gδ set. A normal space which is also a Gδ space is perfectly normal. Every metrizable space is perfectly normal, and every perfectly normal space is a completely normal space; neither implication is reversible.


References