Famille localement finie
dans Topologie
Bonjour,
Je cherche à montrer que si $(X,\mathcal{T})$ est un espace topologique et que $(A_i)_{i\in I}$ est une famille localement finie de $X$, alors : \[ \bigcup_{i \in I}\overline{A_i} = \overline{ \bigcup_{i \in I} A_i } \]
J'ai déjà montré l'inclusion directe, mais la réciproque me pose problème. Auriez-vous des indications?
Je cherche à montrer que si $(X,\mathcal{T})$ est un espace topologique et que $(A_i)_{i\in I}$ est une famille localement finie de $X$, alors : \[ \bigcup_{i \in I}\overline{A_i} = \overline{ \bigcup_{i \in I} A_i } \]
J'ai déjà montré l'inclusion directe, mais la réciproque me pose problème. Auriez-vous des indications?
Réponses
-
Être fermé est une propriété locale ($F$ est fermé dans $X$ si et seulement si, pour tout $x\in X$, il existe un voisinage $V$ de $x$ dans $X$ tel que $F\cap V$ est fermé dans $V$) et une union finie de fermés est fermée. Une union localement finie de fermés est donc fermée.
-
Ta définition d'une famille localement fini est
tout x de X a un voisinage qui intersecte seulement un nombre fini d’éléments de la famille ?Le 😄 Farceur -
Qu'est-ce que ça pourrait être d'autre ?
-
Les enseignants ne sont pas unanimes sur les définitions (exemple définition de $\overline A$ )Le 😄 Farceur
-
Je te demande quelle pourrait être une autre notion de "famille localement finie" ?
-
J'ai connu cette notion en analyse complexe. Les zéros d'une fonction holomorphe forment un ensemble localement fini et aussi en géométrie différentielle : recouvrement localement fini. Je ne l'avais pas vu dans mon cours de topologie généraleLe 😄 Farceur
-
Tu remarqueras, gebrane, qu'à chaque fois ça signifie "pour tout $x$, il existe un voisinage tel que ... est fini"
-
@Maxtimax
C'est la signification que je connaissais. Mais puisque je ne connaissais cette définition en topologie, je pouvais croire que localement fini signifie pour tout x il existe un voisinage compact de x rencontrant ...
Il ne faut pas trop rire car le mot " localement" en analyse peut faire intervenir les compacts (localement intégrable par exemple)Le 😄 Farceur -
gebrane : en analyse, les définitions utilisant les compacts sont des raccourcis; et c'est toujours la "vraie" notion de localité qui est derrière.
Petit exercice: vérifier qu'une fonction sur $\R^n$ par exemple est "localement intégrable" (au sens utilisé dans les cours d'analyse usuels, i.e. avec les compacts) si et seulement si elle est localement intégrable (i.e. pour tout $x$, il existe un voisinage de $x$ sur lequel elle est intégrable). -
Bonsoir et merci. Oui gebrane c'était bien cette définition.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres