Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 12-11-2023 10:26:29

bridgslam
Membre
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 458

Cantor-Bendixon

Bonjour,

Bien guidé, sous forme d'exercice, il n'est pas bien difficile de montrer qu'un espace topologique X à base dénombrable d'ouverts est réunion disjointe d'un fermé sans points isolés et d'une partie (au plus) dénombrable: il suffit d'écrire les choses sans se planter, surtout sur un plan logique en maniant les quantificateurs.

Le théorème est cependant parfois présenté avec X séparé en plus dans l'hypothèse.
S'agit-il d'une condition supplémentaire afin que la décomposition soit unique ?
Le raisonnement en soi étant valable sauf erreur sans séparation supposée pour obtenir UNE décomposition, je vois mal sinon en quoi cette hypothèse supplémentaire peut jouer ( si elle joue ...) .

A noter d'ailleurs une variante du théorème: un espace topologique est réunion disjointe unique d'un sous-espace clairsemé et d'un fermé sans point isolé (dans la topologie induite).

Bon dimanche

Alain

Dernière modification par bridgslam (12-11-2023 10:51:12)


"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
trente trois moins six
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums