Théorie descriptive des ensembles

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other areas of mathematics such as functional analysis, ergodic theory, the study of operator algebras and group actions, and mathematical logic. Descriptive set theory begins with the study of Polish spaces and their Borel sets. A Polish space is a second-countable topological space that is metrizable with a complete metric. Heuristically, it is a complete separable metric space whose metric has been "forgotten". Examples include the real line , the Baire space , the Cantor space , and the Hilbert cube . The class of Polish spaces has several universality properties, which show that there is no loss of generality in considering Polish spaces of certain restricted forms. Every Polish space is homeomorphic to a Gδ subspace of the Hilbert cube, and every Gδ subspace of the Hilbert cube is Polish. Every Polish space is obtained as a continuous image of Baire space; in fact every Polish space is the image of a continuous bijection defined on a closed subset of Baire space. Similarly, every compact Polish space is a continuous image of Cantor space. Because of these universality properties, and because the Baire space has the convenient property that it is homeomorphic to , many results in descriptive set theory are proved in the context of Baire space alone. The class of Borel sets of a topological space X consists of all sets in the smallest σ-algebra containing the open sets of X. This means that the Borel sets of X are the smallest collection of sets such that: Every open subset of X is a Borel set. If A is a Borel set, so is . That is, the class of Borel sets are closed under complementation. If An is a Borel set for each natural number n, then the union is a Borel set. That is, the Borel sets are closed under countable unions.

À propos de ce résultat

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.

Publications associées (1)

Concepts associés (16)

Séances de cours associées (7)

Moyennabilité et courbure

Martin Anderegg

As Avez showed (in 1970), the fundamental group of a compact Riemannian manifold of nonpositive sectional curvature has exponential growth if and only if it is not flat. After several generalizations from Gromov, Zimmer, Anderson, Burger and Shroeder, the ...

EPFL2010

Espace de Baire (théorie des ensembles)

En mathématiques, et plus précisément en topologie générale, l’espace de Baire est le nom donné — d'après René Baire — à l'ensemble de toutes les suites d'entiers, muni d'une certaine topologie. Cet espace est souvent utilisé en théorie descriptive des ensembles, au point que ses éléments sont souvent appelés des « réels ». On le note souvent B, NN, ωω, ou ωω. On appelle espace de Baire, noté NN, le produit cartésien d'un ensemble dénombrable de copies de l'ensemble N des entiers naturels, muni de la topologie produit, où chaque copie de N est munie de la topologie discrète.

Pointclass

In the mathematical field of descriptive set theory, a pointclass is a collection of sets of points, where a point is ordinarily understood to be an element of some perfect Polish space. In practice, a pointclass is usually characterized by some sort of definability property; for example, the collection of all open sets in some fixed collection of Polish spaces is a pointclass. (An open set may be seen as in some sense definable because it cannot be a purely arbitrary collection of points; for any point in the set, all points sufficiently close to that point must also be in the set.

Espace de Cantor

En mathématiques, plus précisément en topologie, on appelle espace de Cantor l'espace produit , où est muni de la topologie discrète. C'est un espace compact métrisable à base dénombrable (en fait, pour un espace compact, être métrisable ou être à base dénombrable sont des propriétés équivalentes) et totalement discontinu, qui a la propriété suivante : Tout espace métrisable à base dénombrable totalement discontinu est homéomorphe à un sous-espace de K.

Graphiques d'isogénie: Eigenvalues et Cryptographie

Explore les graphiques isogéniques de courbes elliptiques supersingulaires, montrant des temps de mélange optimaux pour des promenades aléatoires et des applications à la cryptographie.

Graphiques isogéniques: analyse spectrale et applications mathématiques

Explore les graphes isogéniques, les propriétés spectrales et les applications mathématiques sous des formes modulaires et cryptographiques.

Théorème de projection non linéaire de Bourgain

Explore une version non linéaire du Théorème de projection de Bourgain et ses diverses applications en mathématiques.