« Espace totalement discontinu » : différence entre les versions
Contenu supprimé Contenu ajouté
m recat |
bot [0.69/68] Amélioration bibliographique 3 : ±éditeur,ISBN,++pages totales |
||
| Ligne 16 : | Ligne 16 : | ||
** les deux espaces suivants (totalement séparés mais pas de dimension zéro) : |
** les deux espaces suivants (totalement séparés mais pas de dimension zéro) : |
||
*** l'espace d'[[Paul Erdős|Erdős]]<ref>{{Article|lang=en|auteur=P. Erdős|titre=The dimension of the rational points in Hilbert space|périodique=[[Annals of Mathematics|Ann. Math.]]|série=2|volume=41|année=1940|pages=734-736|url= |
*** l'espace d'[[Paul Erdős|Erdős]]<ref>{{Article|lang=en|auteur=P. Erdős|titre=The dimension of the rational points in Hilbert space|périodique=[[Annals of Mathematics|Ann. Math.]]|série=2|volume=41|année=1940|pages=734-736|url= |
||
http://www.renyi.hu/~p_erdos/1940-11.pdf}}.</ref> des [[Espace de suites ℓp|suites de carré sommable]] de [[Nombre rationnel|rationnels]]<ref>{{Ouvrage| |
http://www.renyi.hu/~p_erdos/1940-11.pdf}}.</ref> des [[Espace de suites ℓp|suites de carré sommable]] de [[Nombre rationnel|rationnels]]<ref>{{Ouvrage|langue=en|auteur1=Michel Coornaert|titre=Topological Dimension and Dynamical Systems|éditeur=Springer|année=2015|isbn=|doi=10.1007/978-3-319-19794-4|lire en ligne={{Google Livres|kODyCQAAQBAJ}}|numéro chapitre=5.1}}.</ref> et ses généralisations<ref>{{Article|lang=en|auteur=Jan J. Dijkstra|titre=A criterion for Erdős spaces|périodique=Proc. Edinb. Math. Soc.|série=2|volume=48|année=2005|numéro=3|pages=595-601|url= |
||
http://www.few.vu.nl/~dijkstra/research/papers/2005erdoscrit.pdf}}.</ref> (dont la [[Dimension topologique|dimension]] est 1) ; |
http://www.few.vu.nl/~dijkstra/research/papers/2005erdoscrit.pdf}}.</ref> (dont la [[Dimension topologique|dimension]] est 1) ; |
||
*** le treillis de Roy privé de son sommet<ref>{{Harvsp|Steen et Seebach}}, {{Lang|en|Counterexamples 127 (Roy's lattice subspace)}}.</ref>. |
*** le treillis de Roy privé de son sommet<ref>{{Harvsp|Steen et Seebach}}, {{Lang|en|Counterexamples 127 (Roy's lattice subspace)}}.</ref>. |
||
| Ligne 26 : | Ligne 26 : | ||
* Une image continue d'un espace totalement discontinu n'est pas nécessairement totalement discontinue (par exemple : tout compact métrisable est une image continue de l'espace de Cantor). |
* Une image continue d'un espace totalement discontinu n'est pas nécessairement totalement discontinue (par exemple : tout compact métrisable est une image continue de l'espace de Cantor). |
||
* Un espace localement compact est totalement discontinu si et seulement s'il est de dimension zéro. |
* Un espace localement compact est totalement discontinu si et seulement s'il est de dimension zéro. |
||
* Un [[espace compact]] est totalement discontinu si et seulement s'il est totalement séparé, et si et seulement s'il est l'[[Théorème de représentation de Stone pour les algèbres de Boole|espace de Stone]] ''S''(''B'') d'une [[algèbre de Boole (structure)|algèbre de Boole]] ''B'' (les points de ''S''(''B'') sont les [[ultrafiltre]]s sur ''B'' ne contenant pas 0, et une [[Base (topologie)|base d'ouverts]] est constituée des {{nobr|{ ''x''∈''S''(''B'') {{!}} ''b''∈''x'' },}} pour ''b'' élément de ''B'') ; ''S''(''B'') est {{Lien|langue=en|trad=Extremally disconnected space|fr=Espace extrêmement discontinu|texte=extrêmement discontinu}} (c'est-à-dire<ref name=Counterexamples>{{Ouvrage| |
* Un [[espace compact]] est totalement discontinu si et seulement s'il est totalement séparé, et si et seulement s'il est l'[[Théorème de représentation de Stone pour les algèbres de Boole|espace de Stone]] ''S''(''B'') d'une [[algèbre de Boole (structure)|algèbre de Boole]] ''B'' (les points de ''S''(''B'') sont les [[ultrafiltre]]s sur ''B'' ne contenant pas 0, et une [[Base (topologie)|base d'ouverts]] est constituée des {{nobr|{ ''x''∈''S''(''B'') {{!}} ''b''∈''x'' },}} pour ''b'' élément de ''B'') ; ''S''(''B'') est {{Lien|langue=en|trad=Extremally disconnected space|fr=Espace extrêmement discontinu|texte=extrêmement discontinu}} (c'est-à-dire<ref name=Counterexamples>{{Ouvrage|langue=en|prénom1=Lynn Arthur|nom1=Steen|lien auteur1=Lynn Arthur Steen|auteur2=[[J. Arthur Seebach, Jr.]]|titre=[[Counterexamples in Topology]]|éditeur=[[Dover Publications|Dover]]|année=1995|année première édition=[[Springer-Verlag|Springer]], 1978|page=32-33|isbn=|lire en ligne={{Google Livres|Gc3DAgAAQBAJ|page=32}}|id=Steen et Seebach}}.</ref> que l'[[Adhérence (mathématiques)|adhérence]] de tout [[Ouvert (topologie)|ouvert]] est ouverte) si et seulement si ''B'' est [[Treillis complet|complète]]<ref>{{Article|lang=en|auteur=[[Andrew M. Gleason]]|titre=Projective topological spaces|revue=[[Liste des journaux scientifiques en mathématiques#I|Illinois J. Math.]]|vol=2|issue=4A|year=1958|p.=482-489|url=http://projecteuclid.org/euclid.ijm/1255454110}}.</ref> ; |
||
* Tout espace métrisable totalement discontinu est homéomorphe à un sous-espace d'un produit dénombrable d'espaces discrets. |
* Tout espace métrisable totalement discontinu est homéomorphe à un sous-espace d'un produit dénombrable d'espaces discrets. |
||
* Pour tout espace topologique ''X'', l'espace des composantes connexes de ''X'' est « le plus gros » quotient de ''X'' totalement discontinu, au sens où il est [[Problème universel|initial]] parmi de tels quotients. |
* Pour tout espace topologique ''X'', l'espace des composantes connexes de ''X'' est « le plus gros » quotient de ''X'' totalement discontinu, au sens où il est [[Problème universel|initial]] parmi de tels quotients. |
||
| Ligne 32 : | Ligne 32 : | ||
== Notes et références == |
== Notes et références == |
||
{{Traduction/Référence|en|Totally disconnected space|403010864}} |
{{Traduction/Référence|en|Totally disconnected space|403010864}} |
||
* {{Ouvrage| |
* {{Ouvrage|langue=en|prénom1=Stephen|nom1=Willard|titre=General Topology|éditeur=[[Dover Publications|Dover]]|année=2012|année première édition=1970|pages totales=384|isbn=978-0-486-13178-8|lire en ligne=https://books.google.fr/books?id=UrsHbOjiR8QC}} |
||
{{Références}} |
{{Références}} |
||
Version du 14 mars 2020 à 16:36
En mathématiques, plus précisément en topologie, un espace totalement discontinu est un espace topologique qui est « le moins connexe possible » au sens où il n'a pas de partie connexe non triviale : dans tout espace topologique, l'ensemble vide et les singletons sont connexes ; dans un espace totalement discontinu, ce sont les seules parties connexes.
Un exemple populaire d'espace totalement discontinu est l'ensemble de Cantor. Un autre exemple, important en théorie algébrique des nombres, est le corps Qp des nombres p-adiques.
Définition
Un espace topologique X est totalement discontinu si la composante connexe de tout point x de X est le singleton { x }.
Exemples
Les espaces suivants sont totalement discontinus :
- tous les espaces totalement séparés (c'est-à-dire dans lesquels deux points distincts peuvent toujours être séparés par un ouvert-fermé)[1], en particulier
- tous les espaces T0 de dimension zéro (donc réguliers), comme :
- les espaces discrets ;
- les parties non vides de R d'intérieur vide ;
- l'anneau Zp des entiers p-adiques, ou plus généralement, tout groupe profini ;
- la droite de Sorgenfrey (cet espace, contrairement aux précédents, n'est pas localement compact).
- les deux espaces suivants (totalement séparés mais pas de dimension zéro) :
- l'espace d'Erdős[2] des suites de carré sommable de rationnels[3] et ses généralisations[4] (dont la dimension est 1) ;
- le treillis de Roy privé de son sommet[5].
- tous les espaces T0 de dimension zéro (donc réguliers), comme :
- le tipi de Cantor privé de son sommet (totalement discontinu mais pas totalement séparé).
Propriétés
- Les sous-espaces, espaces produits et coproduits d'espaces totalement discontinus sont totalement discontinus.
- Un espace totalement discontinu est toujours T1[1], puisque ses singletons sont fermés.
- Une image continue d'un espace totalement discontinu n'est pas nécessairement totalement discontinue (par exemple : tout compact métrisable est une image continue de l'espace de Cantor).
- Un espace localement compact est totalement discontinu si et seulement s'il est de dimension zéro.
- Un espace compact est totalement discontinu si et seulement s'il est totalement séparé, et si et seulement s'il est l'espace de Stone S(B) d'une algèbre de Boole B (les points de S(B) sont les ultrafiltres sur B ne contenant pas 0, et une base d'ouverts est constituée des { x∈S(B) | b∈x }, pour b élément de B) ; S(B) est extrêmement discontinu (en) (c'est-à-dire[1] que l'adhérence de tout ouvert est ouverte) si et seulement si B est complète[6] ;
- Tout espace métrisable totalement discontinu est homéomorphe à un sous-espace d'un produit dénombrable d'espaces discrets.
- Pour tout espace topologique X, l'espace des composantes connexes de X est « le plus gros » quotient de X totalement discontinu, au sens où il est initial parmi de tels quotients.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Totally disconnected space » (voir la liste des auteurs).
- (en) Stephen Willard, General Topology, Dover, (1re éd. 1970), 384 p. (ISBN 978-0-486-13178-8, lire en ligne)
- (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, Dover, (1re éd. Springer, 1978) (lire en ligne), p. 32-33.
- (en) P. Erdős, « The dimension of the rational points in Hilbert space », Ann. Math., 2e série, vol. 41, , p. 734-736 (lire en ligne).
- (en) Michel Coornaert, Topological Dimension and Dynamical Systems, Springer, (DOI 10.1007/978-3-319-19794-4, lire en ligne), chap. 5.1.
- (en) Jan J. Dijkstra, « A criterion for Erdős spaces », Proc. Edinb. Math. Soc., 2e série, vol. 48, no 3, , p. 595-601 (lire en ligne).
- Steen et Seebach, Counterexamples 127 (Roy's lattice subspace).
- (en) Andrew M. Gleason, « Projective topological spaces », Illinois J. Math., vol. 2, no 4A, , p. 482-489 (lire en ligne).
