Compacité et point d'accumulation
Bonsoir je dois démontrer, le théorème suivant.
Soit $X$ un espace topologique, et $K$ un compact, tout ensemble infini $A$ de $K$ possède au moins un point d'accumulation dans $K$.
Pour la preuve j'ai commencé par l'absurde, supposant que $A$ ne possède aucun point d'accumulation de $K$ c-à-d : $$\forall x\in K, \quad x\notin A',
$$ donc pour tout $x\in K$ il existe un ouvert $V_x$ contenant $x$ et qui satisfait $V_x\cap A\subset \{x\}$.
Comment trouver un recouvrement d'ouverts pour le compact $K$ ?
Merci.
Soit $X$ un espace topologique, et $K$ un compact, tout ensemble infini $A$ de $K$ possède au moins un point d'accumulation dans $K$.
Pour la preuve j'ai commencé par l'absurde, supposant que $A$ ne possède aucun point d'accumulation de $K$ c-à-d : $$\forall x\in K, \quad x\notin A',
$$ donc pour tout $x\in K$ il existe un ouvert $V_x$ contenant $x$ et qui satisfait $V_x\cap A\subset \{x\}$.
Comment trouver un recouvrement d'ouverts pour le compact $K$ ?
Merci.
Réponses
-
Bonjour,
Tu l’as sous les yeux :-) -
j'ai pensé a $\{V_x\}_{x\in K}$ , mais $\{V_x\}$ sont des ouverts de $X$, mais pas de $K$, comment avoir que $K\subset \cup_{x\in K} V_x$ ?
-
Et c'est quoi un ouvert de $K$ ?
Pour ta question sur l'inclusion : soit $x\in K$, alors... -
Tu t’embrouilles avec la définition d’une partie compacte, et peut être avec la notion de topologie induite. Question : si $(X,\mathcal{T})$ est un espace topologique et $Y$ une partie de $X$, quels sont les ouverts de $Y$ pour la topologie induite par $\mathcal{T}$?
Sinon, oui! Ton recouvrement marche -
Z est un ouvert de Y si il existe un ouvert W de X tel que $ Z=W\cap Y$
tou ce que je vois c'est $\cup_{x\in K}(V_x\cap A)=K$
Ahhh je peux dire que $K\subset \cup_{x\in K} V_x$ -
Oui! Tu es à $\varepsilon$ de la conclusion
-
comme $K$ est compact on peut extraire un sous recouvrement fini $K\subset \cup_{i=1}^n V_{x_i}$ donc $A=A\cap K=A \cap ( \cup_{i=1}^n V_{x_i})\subset \cup_{i=1}^n \{x_i\}$
se qui est une contradiction avec le fait que $A$ soit infini. -
:)o
-
"ce" plutôt que "se".
Sinon attention tu utilises AC de façon trop instinctive. Mieux vaut l'utiliser en signalant explicitement que tu l'utilises.
Et tenter l'exo de l'éviter.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 2
2 Invités