# Pseudocompact space

﻿
Pseudocompact space

In mathematics, in the field of topology, a topological space is said to be pseudocompact if its image under any continuous function to R is bounded.

Conditions for pseudocompactness

*Every countably compact space is pseudocompact. For normal Hausdorff spaces the converse is true.

*As a consequence of the above result, every sequentially compact space is pseudocompact. The converse is true for metric spaces. As sequential compactness is an equivalent condition to compactness for metric spaces this implies that compactness is an equivalent condition to pseudocompactness for metric spaces also.

*The weaker result that every compact space is pseudocompact is easily proved: the image of a compact space under any continuous function is compact, and the Heine-Borel theorem tells us that the compact subsets of R are precisely the closed and bounded subsets.

*If "Y" is the continuous image of pseudocompact "X", then "Y" is pseudocompact. Note that for continuous functions "g" : "X" &rarr; "Y" and "h" : "Y" &rarr; R, the composition of "g" and "h", called "f", is a continuous function from "X" to the real numbers. Therefore, "f" is bounded, and "Y" is pseudocompact.

*Let "X" be an infinite set given the particular point topology. Then "X" is neither compact, sequentially compact, countably compact, paracompact nor metacompact. However, since "X" is hyperconnected, it is pseudocompact. This shows that pseudocompactness doesn't imply any other (known) form of compactness.

References

*springer|id=P/p075630|title=Pseudo-compact space|author=M.I. Voitsekhovskii
*

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Metacompact space — In mathematics, in the field of general topology, a topological space is said to be metacompact if every open cover has a point finite open refinement. That is, given any open cover of the topological space, there is a refinement which is again… …   Wikipedia

• Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …   Wikipedia

• Hyperconnected space — In mathematics, a hyperconnected space is a topological space X that cannot be written as the union of two proper closed sets. The name irreducible space is preferred in algebraic geometry.For a topological space X the following conditions are… …   Wikipedia

• Feebly compact space — In mathematics, in the realm of topology, a topological space is said to be feebly compact if every locally finite cover by nonempty open sets is finite.Some facts:* Every compact space is feebly compact. * Every feebly compact paracompact space… …   Wikipedia

• Ultraconnected space — In mathematics, a topological space X is said to be ultraconnected if no pair of nonempty closed sets of X is disjoint. All ultraconnected spaces are path connected, normal, limit point compact, and pseudocompact.ee also* Hyperconnected… …   Wikipedia

• Particular point topology — In mathematics, the particular point topology (or included point topology) is a topology where sets are considered open if they are empty or contain a particular, arbitrarily chosen, point of the topological space. Formally, let X be any set and… …   Wikipedia

• List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

• Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

• Topological property — In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space …   Wikipedia