Analyse réelle interactive

Topologie

5.2. Ensembles compacts et parfaits

Nous avons déjà vu que tous les ensembles ouverts de la ligne réelle peuvent être écrits comme l’union dénombrable d’intervalles ouverts disjoints. Nous allons maintenant examiner de plus près les ensembles fermés. Le type le plus important d’ensembles fermés dans la ligne réelle est appelé ensembles compacts:

Définition 5.2.1: Ensembles Compacts
Un ensemble S de nombres réels est appelé compact si chaque séquence de S a une sous-séquence qui converge à nouveau vers un élément contenu dans S.
Exemples 5.2.2:
  • L’intervalle est-il compact? Que diriez-vous, et C = { (-1/2, 1/2), (1/3, 2/3), (1/2, 3/2)}. Est-ce que C est une couverture ouverte pour S?
  • Soit S=. Définissez = {t R: |t-|&lt et S} pour un &gt 0 fixe. Est la collection de tous { }, S, une couverture ouverte pour S? Combien d’ensembles de type sont réellement nécessaires pour couvrir S?
  • Soit S =(0, 1). Définissez une collection C = {(1 /j, 1), pour tout j & gt 0}. Est-ce que C est une couverture ouverte pour S? Combien d’ensembles de la collection C sont réellement nécessaires pour couvrir S?

Voici la caractérisation des ensembles compacts basés uniquement sur des ensembles ouverts:

Théorème 5.2.6: Théorème de Heine-Borel
Un ensemble S de nombres réels est compact si et seulement si chaque couverture ouverte C de S peut être réduite à une sous-couverture finie.

 Épreuve Épreuve

Les ensembles compacts partagent de nombreuses propriétés avec les ensembles finis. Par exemple, si A et B sont deux ensembles non vides avec AB alors AB #0. C’est, en fait, vrai aussi pour un nombre infini d’ensembles, mais ne l’est pas pour un nombre infini d’ensembles.

Exemples 5.2.7:
  • Considérons la collection d’ensembles (0, 1 / j) pour tous les j & gt 0. Quelle est l’intersection de tous ces ensembles?
  • Pouvez-vous trouver une infinité d’ensembles fermés tels que leur intersection soit vide et tels que chaque ensemble soit contenu dans son prédécesseur? Autrement dit, pouvez-vous trouver des ensembles Aj tels que Aj +1 Aj et Aj = 0 ?

Les ensembles compacts, en revanche, ont la belle propriété suivante, qui sera utilisée dans certains des chapitres suivants:

Proposition 5.2.8 : Intersection d’Ensembles Compacts Imbriqués
Supposons que {Aj} est une collection d’ensembles tels que chaque Aj non vide, compact et Aj +1 Aj. Alors A = Aj n’est pas vide.

 Épreuve Épreuve

Une autre collection intéressante d’ensembles fermés sont les ensembles parfaits:

Définition 5.2.9 : Ensemble parfait
Un ensemble S est parfait s’il est fermé et que chaque point de S est un point d’accumulation de S.
Exemple 5.2.10:
  • Trouvez un ensemble parfait. Trouvez un ensemble fermé qui n’est pas parfait. Trouvez un ensemble compact qui n’est pas parfait. Trouvez un ensemble fermé illimité qui n’est pas parfait. Trouvez un ensemble fermé qui n’est ni compact ni parfait.
  • Est l’ensemble {1, 1/2, 1/3,… parfait ? Que diriez-vous de l’ensemble {1, 1/2, 1/3,…} {0} ?

En application du résultat ci-dessus, nous verrons que les ensembles parfaits sont des ensembles fermés qui contiennent beaucoup de points:

Proposition 5.2.11: Les ensembles parfaits sont innombrables
Chaque ensemble parfait non vide doit être indénombrable.

 Épreuve Épreuve

Cela peut donner une preuve rapide, mais plutôt sophistiquée du fait que l’intervalle est indénombrable: l’intervalle est un ensemble parfait, par conséquent, il doit être indénombrable.

Un autre exemple assez particulier d’ensemble fermé, compact et parfait est l’ensemble de Cantor.

Définition 5.2.12: Cantor Troisième Set du Milieu
Commencez par l’intervalle d’unité

S0 =

Retirez de cet ensemble le tiers moyen et définissez

S1= S0\(1/3, 2/3)

Retirez de cet ensemble les deux tiers moyens et définissez

S2 =S1 \ { (1/9, 2/9) (7/9, 8/9) }

Continuez de cette manière, où

Sn + 1 = Sn \{ tiers moyens des sous-intervalles de Sn}

Alors l’ensemble de Cantor C est défini comme

C = Sn

L’ensemble de Cantor donne une indication de la structure compliquée des ensembles fermés dans la ligne réelle. Il possède les propriétés suivantes:

Exemple 5.2.13 : Propriétés de l’ensemble de Cantor
  • Montrer que l’ensemble de Cantor est compact (c’est-à-dire fermé et borné)
  • Montrer que l’ensemble de Cantor est parfait (et donc indénombrable)
  • Montrer que l’ensemble de Cantor a une longueur nulle, mais contient un nombre incalculable de points.
  • Indique que le jeu de Cantor ne contient aucun jeu ouvert

Pensez à cet ensemble. Il semble surprenant que

  • un ensemble de longueur zéro puisse contenir un nombre incalculable de points.
  • un ensemble parfait ne doit pas nécessairement contenir un ensemble ouvert

Par conséquent, l’ensemble de Cantor montre que les sous-ensembles fermés de la ligne réelle peuvent être plus compliqués que ce que l’intuition pourrait suggérer au début. Il est en fait souvent utilisé pour construire des objets difficiles et contre-intuitifs en analyse.

Suivant / Précédent | Glossaire / Carte

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.

Previous post Goodthérapie
Next post Caeleb Dressel eyes barrière de 20 secondes en maillot de bain controversé