Baire category theorem

The Baire category theorem (BCT) is an important result in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space (a topological space such that the intersection of countably many dense open sets is still dense). It is used in the proof of results in many areas of analysis and geometry, including some of the fundamental theorems of functional analysis. Versions of the Baire category theorem were first proved independently in 1897 by Osgood for the real line \R and in 1899 by Baire for Euclidean space \R^n. The more general statement for completetely metrizable spaces was first shown by Hausdorff in 1914. Statement A Baire space is a topological space X in which every countable intersection of open dense sets is dense in X. See the corresponding article for a list of equivalent characterizations, as some are more useful th

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (4)

Related publications

Related people

Related units

Related concepts (17)

Related concepts

Related courses (2)

Related courses

Related lectures (4)

Related lectures

Typicality results for weak solutions of the incompressible Navier-Stokes equations

Maria Colombo, Luigi De Rosa, Massimo Sorella

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 ones are a nowhere dense set.

EDP SCIENCES S A2022

Equations de type implicite avec contraintes

Chiara Tanteri

In this thesis we will treat the Dirichlet problem for systems of implicit equations, i.e. where Ω ⊂ Rn is an open set, u : Ω → Rm, Fi : Ω × Rm × Rm×n → R, m,n ≥ 1, are continuous functions and φ, the boundary datum, is given. At first we will be interested in the study of problems of the type (1) under constraints. We will show theorems of existence of Lipschitz solutions using an approach based on Baire category theorem. As corollaries of our abstract results, we will give two theorems related to the constraints det Du > 0 and det Du = 1, the constraints most closely related to the applications. Indeed, the constraints det Du > 0 and det Du = 1 come from nonlinear elasticity and represent respectively the conditions of non interpenetration of matter and incompressibility. In the second part of this study, we will focus on the applications. We will treat many examples such as the case of singular values, potential wells under the incompressibility constraint (i.e. det Du = l), the problem of confocal ellipses, the problem of nematic elastomers, particularly related to the fields of nonlinear elasticity, the microstructure of the crystals and the optimal design, as well as the complex eikonal equation (application related to geometric optics). From the mathematical point of view, we will give sufficient conditions of solvability of the system (1). These conditions consist in characterizing the different convex hulls. Indeed, the possibility of representing these sets, in algebraic terms, gives one of the conditions which the boundary datum must satisfy so that a problem of the type (1) admits a solution. Finally we will extend to polyconvex sets properties such as the gauge, the characterization of the extreme points and the Choquet function, all of which are well-known tools within the framework of classical convex analysis.

EPFL2000

Obstacles For Splitting Multidimensional Necklaces

Michal Lason

The well-known "necklace splitting theorem" of Alon (1987) asserts that every k-colored necklace can be fairly split into q parts using at most t cuts, provided k(q - 1) t + 2 is a sufficient condition (while k > t is necessary). We generalize this result to Euclidean spaces of arbitrary dimension d, and to arbitrary number of parts q. We prove that if k(q - 1) > t + d + q - 1, then there is a measurable k-coloring of R-d such that no axis-aligned cube has a fair q-splitting using at most t axis-aligned hyperplane cuts. Our bound is of the same order as a necessary condition k(q - 1) > t implied by Alon's 1987 work. Moreover, for d = 1, q = 2 we get exactly the result of the 2009 work. Additionally, we prove that if a stronger inequality k(q - 1) > dt + d + q - 1 is satisfied, then there is a measurable k-coloring of R-d with no axis-aligned cube having a fair q-splitting using at most t arbitrary hyperplane cuts. The proofs are based on the topological Baire category theorem and use algebraic independence over suitably chosen fields.

Amer Mathematical Soc2015

Banach space

In mathematics, more specifically in functional analysis, a Banach space (pronounced ˈbanax) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the co

Functional analysis

Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, inner product, nor

General topology

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 mos

MATH-302: Functional analysis I

Concepts de base de l'analyse fonctionnelle linéaire: opérateurs bornés, opérateurs compacts, théorie spectrale pour les opérateurs symétriques et compacts, le théorème de Hahn-Banach, les théorèmes de l'application ouverte et du graphe fermé.

MATH-106(b): Analysis II

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.