请输入您要查询的字词:

 

单词 BaireCategoryTheorem
释义

Baire category theorem


In a non-empty complete metric space, any countableMathworldPlanetmath intersectionMathworldPlanetmath of dense, open subsets is non-empty.

In fact, such countable intersections of dense, open subsets are dense. So the theorem holds also for any non-empty open subset of a complete metric space.

Alternative formulations:Call a set first category, or a meagre set, if it is a countable union of nowhere dense sets, otherwise second category. The Baire category theoremMathworldPlanetmath is often stated as “no non-empty complete metric space is of first category”, or, trivially, as “a non-empty, complete metric space is of second category”. In short, this theorem says that every nonempty complete metric space is a Baire spaceMathworldPlanetmathPlanetmath.

In functional analysis, this important property of complete metric spaces forms the basis for the proofs of the important principles of Banach spacesMathworldPlanetmath: the open mapping theoremMathworldPlanetmath and the closed graph theoremMathworldPlanetmath.

It may also be taken as giving a concept of “small sets”, similar to sets of measure zero: a countable union of these sets remains “small”. However, the real line may be partitioned into a set of measure zero and a set of first category; the two concepts are distinct.

Note that, apart from the requirement that the set be a complete metric space, all conditions and conclusionsMathworldPlanetmath of the theorem are phrased topologically. This “metric requirement” is thus something of a disappointment. As it turns out, there are two ways to reduce this requirement.

First, if a topological spaceMathworldPlanetmath 𝒯 is homeomorphic to a non-empty open subset of a complete metric space, then we can transfer the Baire property through the homeomorphism, so in 𝒯 too any countable intersection of open dense sets is non-empty (and, in fact, dense). The other formulations also hold in this case.

Second, the Baire category theorem holds for a locally compact, HausdorffPlanetmathPlanetmath11Some authors only define a locally compact space to be a Hausdorff space; that is the sense required for this theorem. topological space 𝒯.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 12:58:54