In mathematics, a topological space is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior.
According to the , compact Hausdorff spaces and complete metric spaces are examples of Baire spaces.
The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, analysis, in particular functional analysis. For more motivation and applications, see the article . The current article focuses more on characterizations and basic properties of Baire spaces per se.
Bourbaki introduced the term "Baire space" in honor of René Baire, who investigated the Baire category theorem in the context of Euclidean space in his 1899 thesis.
The definition that follows is based on the notions of meagre (or first category) set (namely, a set that is a countable union of sets whose closure has empty interior) and nonmeagre (or second category) set (namely, a set that is not meagre). See the corresponding article for details.
A topological space is called a Baire space if it satisfies any of the following equivalent conditions:
Every countable intersection of dense open sets is dense.
Every countable union of closed sets with empty interior has empty interior.
Every meagre set has empty interior.
Every nonempty open set is nonmeagre.
Every comeagre set is dense.
Whenever a countable union of closed sets has an interior point, at least one of the closed sets has an interior point.
The equivalence between these definitions is based on the associated properties of complementary subsets of (that is, of a set and of its complement ) as given in the table below.
Baire category theorem
The Baire category theorem gives sufficient conditions for a topological space to be a Baire space.
(BCT1) Every complete pseudometric space is a Baire space. In particular, every completely metrizable topological space is a Baire space.
(BCT2) Every locally compact regular space is a Baire space. In particular, every locally compact Hausdorff space is a Baire space.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En topologie, une partie dense d'un espace topologique est un sous-ensemble permettant d'approcher tous les éléments de l'espace englobant. La notion s'oppose ainsi à celle de partie nulle part dense. La densité d'une partie permet parfois d'étendre la démonstration d'une propriété ou la définition d'une application par continuité. Soient X un espace topologique et A une partie de X.
En topologie, un ensemble est nulle part dense ou rare s'il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous-ensemble A d'un espace topologique X est nulle part dense dans X si presque aucun point de X ne peut être « approché » par des points de A. Soit X un espace topologique et A un sous-ensemble de X.
In mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.
Two channels are said to be equivalent if they are degraded from each other. The space of equivalent channels with input alphabet X and output alphabet Y can be naturally endowed with the quotient of the Euclidean topology by the equivalence relation. We s ...
2017
, ,
In this work we show that, in the class of L-infinity((0,T); L-2(T-3)) distributional solutions of the incompressible Navier-Stokes system, the ones which are smooth in some open interval of times are meagre in the sense of Baire category, and the Leray on ...
EDP SCIENCES S A2022
, ,
We propose a novel camera pose estimation or perspective-n-point (PnP) algorithm, based on the idea of consistency regions and half-space intersections. Our algorithm has linear time-complexity and a squared reconstruction error that decreases at least qua ...