P-space

For the complexity class, see PSPACE.

In the mathematical field of topology, there are various notions of a P-space and of a p-space.

Generic use

The expression P-space might be used generically to denote a topological space satisfying some given and previously introduced topological invariant P.[1] This might apply also to spaces of a different kind, e. g., non topological, or with additional structure.

P-spaces in the sense of Gillman–Henriksen

A P-space in the sense of Gillman–Henriksen is a topological space in which every countable intersection of open sets is open. An equivalent condition is that countable unions of closed sets are closed. In other words, Gδ sets are open and Fσ sets are closed. The letter P stands for both pseudo-discrete and prime.

Different authors restrict their attention to topological spaces that satisfy various separation axioms. With the right axioms, one may characterize P-spaces in terms of their rings of continuous real-valued functions.

Special kinds of P-spaces include Alexandrov spaces, in which arbitrary intersections of open sets are open. These in turn include locally finite spaces, which include finite spaces and discrete spaces.

P-spaces in the sense of Morita

A different notion of a P-space has been introduced by Kiiti Morita in 1964, in connection with his (now solved) conjectures (see the relative entry for more information). Spaces satisfying the covering property introduced by Morita are sometimes also called Morita P-spaces or normal P-spaces.

p-spaces

A notion of a p-space has been introduced by Alexander Arhangelskii.[2]

References

  1. ↑ Aisling E. McCluskey, Comparison of Topologies (Minimal and Maximal Topologies), Chapter a7 in Encyclopedia of General Topology, Edited by Klaas Pieter Hart, Jun-iti Nagata and Jerry E. Vaughan, 2003 Elsevier B.V.
  2. ↑ Encyclopedia of General Topology, p. 278.

Further reading

External links