Ensemble des parties d'un ensemble

Ê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.

En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide). Soit un ensemble. L'ensemble des parties de est l'ensemble, généralement noté , dont les éléments sont les sous-ensembles de : Il est également parfois noté , ou (gothique), ou encore (P de Weierstrass). Dans la théorie des ensembles de Zermelo, l'existence, pour tout ensemble , d'un tel ensemble , est postulée par l'axiome de l'ensemble des parties, et son unicité résulte de l'axiome d'extensionnalité. n'est jamais vide car l'ensemble vide et sont toujours des parties de : , . Si deux ensembles E et F sont équipotents alors et le sont aussi. Soit un ensemble à n éléments. Alors, l'ensemble des parties de E est fini, et a 2n éléments. Pour tout entier naturel n, on a n < 2n. Ce résultat se généralise en cardinalité infinie. Le théorème de Cantor énonce que l'ensemble des parties d'un ensemble E (fini ou non) a une cardinalité strictement supérieure à celle de E : il existe une injection d'un ensemble dans l'ensemble de ses parties (par exemple celle qui associe à un élément le singleton auquel il appartient), mais aucune bijection. Tout ensemble qui peut être mis en bijection avec N, l'ensemble des entiers naturels, est dit dénombrable. Le théorème de Cantor montre en particulier que P(N) n'est pas dénombrable, ce qui peut s'interpréter en disant que l'on ne peut « numéroter » de façon exhaustive les sous-ensembles de N. C'est-à-dire que, dès que l'on a une suite de sous-ensembles de N indexée par les entiers, on trouve forcément un sous-ensemble de N qui n'apparaît pas dans cette suite. Quelle peut-être la cardinalité d'un ensemble de parties de N, c'est-à-dire d'un sous-ensemble de P(N) ? Georg Cantor pensait qu'elle ne pouvait être que finie, dénombrable, ou celle de P(N). C'est l'hypothèse du continu qui n'est ni démontrable ni réfutable dans la théorie des ensembles ZFC.

À 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.

Concepts associés (102)

Cours associés (43)

Séances de cours associées (362)

MOOCs associés (1)

Introduction to optimization on smooth manifolds: first order methods

Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

MATH-101(g): Analysis I

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

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

Ensemble des parties d'un ensemble

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.

Ensemble fini

En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...

Processus de détermination des points et extrapolation

Couvre les processus de point déterminant, le sinus-processus et leur extrapolation dans différents espaces.

Limites et limites dans les catégories Functor MATH-436: Homotopical algebra

Explore les limites et les limites dans les catégories de functeurs, en mettant l'accent sur les égaliseurs, les retraits et leur importance dans la théorie des catégories.

Capture directe et caches de l'annexe CS-208: Computer architecture I

Couvre les caches en format direct et annexe dans l'architecture informatique, expliquant la structure du cache, les modèles d'accès, les taux de succès et les calculs de latence.