Discussion:Lemme du tube
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Compacts et fermés, axiome du choix?
[modifier le code]Section transférée depuis Discussion:Théorème de Borel-Lebesgue et réponse en suivant
J'atterris ici venant de la page sur les espaces compacts, où je suis allé pour trouver la démonstration de compact => fermé. J'ai eu l'impression au milieu de cette démonstration on utilisait implicitement l'axiome du choix. J'ai aussi eu l'impression qu'en formulant autrement, on pouvait facilement s'en passer.
Bon, je m'explique. Le passage où ça me semble utiliser l'axiome du choix, c'est :
Pour chaque point a de A, il existe alors un ouvert contenant a et un ouvert contenant b tel que leurs intersection est vide, car l'espace est séparé. L'ensemble des ...
Si au lieu de choisir un pour chaque a on décide de prendre démocratiquement, pour chaque a, tous les , il me semble que le reste de la démonstration fonctionne à l'identique. Ça peut sembler moins économe, puisqu'on s'encombre de beaucoup de , mais on économise aussi de devoir choisir et aussi l'axiome qui permet de faire ce choix.
Je dis des bêtises?
David Olivier 6 janvier 2007 à 00:34
- Bonjour David Olivier, je suis bien d'accord, mais je crains qu'aucun auteur (même Bourbaki, Topologie générale, p. I.61) ne prenne cette peine, or ce n'est pas à nous d'innover. Anne (discuter) 11 décembre 2016 à 03:43 (CET)