Pseudocompact space

From Topospaces
Jump to: navigation, search
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
This is a variation of compactness. View other variations of compactness

Definition

Symbol-free definition

A topological space is said to be pseudocompact if it satisfies the following equivalent properties:

  1. For any continuous map from the topological space to the real line, the image of the topological space is a closed and bounded subset of the real line.
  2. For any continuous map from the topological space to the real line, the image of the topological space is a bounded subset of the real line.
  3. Any continuous map from the topological space to the real line attains its absolute maximum and its absolute minimum. Note that this final formulation is equivalent to saying that the space satisfies the conclusion of the extreme value theorem, which is stated for compact spaces.

Equivalence of definitions

Further information: Equivalence of definitions of pseudocompact space

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
compact space Every open cover has a finite subcover compact implies pseudocompact pseudocompact not implies compact Feebly compact space|FULL LIST, MORE INFO
feebly compact space (also called lightly compact space) Every locally finite collection of nonempty open subsets is finite feebly compact implies pseudocompact pseudocompact not implies feebly compact |FULL LIST, MORE INFO

Related properties