Morita theorem

from Wikipedia, the free encyclopedia

The set of Morita is a theorem of mathematical sub-region of the topology . The sentence goes back to a scientific work by the Japanese mathematician Kiiti Morita from 1948 and deals with the problem under which conditions a topological space has the property of paracompactness . It is related to the theorem on metrisability and paracompactness by the British mathematician Arthur Harold Stone .

Formulation of the sentence

The sentence can be formulated as follows:

Under the general assumption of the countable axiom of choice :
Every regular Lindelöf room is paracompact.
The following applies in detail:
If a regular Lindelöf space and an arbitrary open covering of , then a sequence of open - subsets can be covered in such a way that a locally finite refinement of is formed.

A somewhat different, but closely related formulation of the sentence can be found in the monograph Topology by James Dugundji . It says:

In a Hausdorff Lindelöf space, regularity and paracompactness are concepts of equal value.

Inferences

The following corollaries can be drawn from the Moritas theorem :

Corollary 1 ( Stone's theorem for separable spaces ) :
In a separable metric space , every open cover has a locally finite, countable refinement.
Corollary 2 :
A regular Hausdorff Lindelöf room is always a T 4 room . This is especially true for every regular Hausdorff space that satisfies the second axiom of countability .

literature

Individual evidence

  1. ^ Martin Väth: Topological Analysis. 2012, p. 96 ff.
  2. ^ Martin Väth: Topological Analysis. 2012, p. 96.
  3. Stephen Willard: General Topology. 1970, p. 146
  4. James Dugundji: Topology. 1973, pp. 174-175
  5. ^ Martin Väth: Topological Analysis. 2012, pp. 97-98.