« Dimension topologique » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
Dfeldmann (discuter | contributions)
97 763 modifications
m →‎Espace de dimension zéro : retouche de la modification précédente
bot [0.68/68] Amélioration bibliographique 8 : +lieu, ©BnF...
Ligne 2 : Ligne 2 :
En [[mathématiques]], une '''dimension topologique''' est une notion destinée à étendre à des [[espace topologique|espaces topologiques]] la notion algébrique de [[dimension d'un espace vectoriel]]. C'est un [[Invariant#Au sens de la théorie des catégories|invariant topologique]], [[Entier relatif|entier]] ou infini.
En [[mathématiques]], une '''dimension topologique''' est une notion destinée à étendre à des [[espace topologique|espaces topologiques]] la notion algébrique de [[dimension d'un espace vectoriel]]. C'est un [[Invariant#Au sens de la théorie des catégories|invariant topologique]], [[Entier relatif|entier]] ou infini.


Les trois principales dimensions topologiques sont les deux ''dimensions inductives'' {{math|ind}} et {{math|Ind}} et la ''dimension de recouvrement'' {{math|dim}}. Les dimensions {{math|Ind}} et {{math|dim}} coïncident pour tout [[espace métrisable]] ; si l'espace est de plus [[Espace séparable|séparable]], ses trois dimensions topologiques sont égales<ref>{{Ouvrage|lang=en|auteur=[[Ryszard Engelking]]|titre=Dimension Theory|éditeur=North-Holland et PWN|année=1978|url=http://www.maths.ed.ac.uk/~aar/papers/engelking.pdf|page=65}}, généralisé {{p.|256}}.</ref>. Ces « bons espaces » incluent en particulier les [[variété topologique|variétés topologiques]] et a fortiori les [[variété différentielle|variétés différentielles]].
Les trois principales dimensions topologiques sont les deux ''dimensions inductives'' {{math|ind}} et {{math|Ind}} et la ''dimension de recouvrement'' {{math|dim}}. Les dimensions {{math|Ind}} et {{math|dim}} coïncident pour tout [[espace métrisable]] ; si l'espace est de plus [[Espace séparable|séparable]], ses trois dimensions topologiques sont égales<ref>{{Ouvrage|langue=en|auteur1=[[Ryszard Engelking]]|titre=Dimension Theory|éditeur=North-Holland et PWN|année=1978|page=65|isbn=|lire en ligne=http://www.maths.ed.ac.uk/~aar/papers/engelking.pdf}}, généralisé {{p.|256}}.</ref>. Ces « bons espaces » incluent en particulier les [[variété topologique|variétés topologiques]] et a fortiori les [[variété différentielle|variétés différentielles]].


== Dimensions inductives ==
== Dimensions inductives ==
Ligne 11 : Ligne 11 :
* {{math|1=ind(∅) = Ind(∅) = –1}}
* {{math|1=ind(∅) = Ind(∅) = –1}}
* pour {{math|''n'' ≥ 0}} :
* pour {{math|''n'' ≥ 0}} :
** {{math|ind(''E'') ≤ ''n''}} si (dans {{math|''E''}}) un point et un fermé ne contenant pas ce point sont toujours séparés par un [[Topologie induite|sous-espace]] {{math|''L''}} tel que {{math|ind(''L'') < ''n''}}<ref>{{Harvsp|Engelking|1978|p=5}}.</ref>{{,}}<ref>{{Ouvrage|lang=en|auteur=Keiô Nagami|titre=Dimension Theory|éditeur=[[Academic Press]]|year=1970|url={{Google Livres|mBxFdpnW-AIC|page=45}}|page=45}}, dans le cas d'un espace normal.</ref> ;
** {{math|ind(''E'') ≤ ''n''}} si (dans {{math|''E''}}) un point et un fermé ne contenant pas ce point sont toujours séparés par un [[Topologie induite|sous-espace]] {{math|''L''}} tel que {{math|ind(''L'') < ''n''}}<ref>{{Harvsp|Engelking|1978|p=5}}.</ref>{{,}}<ref>{{Ouvrage|langue=en|auteur1=Keiô Nagami|titre=Dimension Theory|éditeur=[[Academic Press]]|année=1970|page=45|isbn=|lire en ligne={{Google Livres|mBxFdpnW-AIC|page=45}}}}, dans le cas d'un espace normal.</ref> ;
** {{math|Ind(''E'') ≤ ''n''}} si (dans {{math|''E''}}) deux fermés disjoints sont toujours séparés par un sous-espace {{math|''L''}} tel que {{math|Ind(''L'') < ''n''}}<ref name=E52>{{Harvsp|Engelking|1978|p=52}}.</ref>{{,}}<ref>{{Harvsp|Nagami|1970|p=45}}.</ref>.
** {{math|Ind(''E'') ≤ ''n''}} si (dans {{math|''E''}}) deux fermés disjoints sont toujours séparés par un sous-espace {{math|''L''}} tel que {{math|Ind(''L'') < ''n''}}<ref name=E52>{{Harvsp|Engelking|1978|p=52}}.</ref>{{,}}<ref>{{Harvsp|Nagami|1970|p=45}}.</ref>.


Ligne 17 : Ligne 17 :
:* Pour tout espace normal {{math|''E''}}, {{math|ind(''E'') ≤ Ind(''E'')}}<ref name=E52/>, d'où les notations {{math|ind}} et {{math|Ind}} et les qualificatifs de ''petite'' et ''grande''.
:* Pour tout espace normal {{math|''E''}}, {{math|ind(''E'') ≤ Ind(''E'')}}<ref name=E52/>, d'où les notations {{math|ind}} et {{math|Ind}} et les qualificatifs de ''petite'' et ''grande''.
:* Pour tout sous-espace {{math|''F''}} de {{math|''E''}}, on a {{math|ind(''F'') ≤ ind(''E'')}}.
:* Pour tout sous-espace {{math|''F''}} de {{math|''E''}}, on a {{math|ind(''F'') ≤ ind(''E'')}}.
:* On obtient la même<ref>{{Harvsp|Engelking|1978|p=3}}.</ref>{{,}}<ref>{{Ouvrage|lang=en|auteur=J. M. Aarts|auteur2=T. Nishiura|titre=Dimension and Extensions|éditeur=North-Holland|year=1993|url={{Google Livres|G5YZI5B5qz4C|page=5}}|page=5}}.</ref> fonction {{math|ind}} sur les espaces réguliers lorsqu'on remplace sa [[Algorithme récursif|définition récursive]] par :<center>{{math|ind(''E'') ≤ ''n''}} si les ouverts {{math|''U''}} tels que {{math|ind(∂''U'') < ''n''}} forment une [[base (topologie)|base]] de {{math|''E''}},</center>où {{math|∂''U''}} désigne la [[Frontière (topologie)|frontière]] de {{math|''U''}}.
:* On obtient la même<ref>{{Harvsp|Engelking|1978|p=3}}.</ref>{{,}}<ref>{{Ouvrage|langue=en|auteur1=J. M. Aarts|auteur2=T. Nishiura|titre=Dimension and Extensions|éditeur=North-Holland|année=1993|page=5|isbn=|lire en ligne={{Google Livres|G5YZI5B5qz4C|page=5}}}}.</ref> fonction {{math|ind}} sur les espaces réguliers lorsqu'on remplace sa [[Algorithme récursif|définition récursive]] par :<center>{{math|ind(''E'') ≤ ''n''}} si les ouverts {{math|''U''}} tels que {{math|ind(∂''U'') < ''n''}} forment une [[base (topologie)|base]] de {{math|''E''}},</center>où {{math|∂''U''}} désigne la [[Frontière (topologie)|frontière]] de {{math|''U''}}.
:* De même<ref group=N>[[Base (topologie)#Propriétés|Rappelons]] que dans tout espace topologique, un ensemble de parties est une base si et seulement si pour tout point ''x'', celles de ces parties qui contiennent ''x'' forment une [[base de voisinages]] de ''x''.</ref>, la condition ci-dessus pour {{math|Ind(''E'') ≤ ''n''}} peut être remplacée (pour {{math|''E''}} normal) par : pour tout fermé ''F'', les ouverts {{math|''U''}} contenant ''F'' et tels que {{math|ind(∂''U'') < ''n''}} forment une [[Base de filtre|base]] de [[Voisinage (mathématiques)#Voisinage d'une partie|voisinages de ''F'']]<ref name=E52/>.
:* De même<ref group=N>[[Base (topologie)#Propriétés|Rappelons]] que dans tout espace topologique, un ensemble de parties est une base si et seulement si pour tout point ''x'', celles de ces parties qui contiennent ''x'' forment une [[base de voisinages]] de ''x''.</ref>, la condition ci-dessus pour {{math|Ind(''E'') ≤ ''n''}} peut être remplacée (pour {{math|''E''}} normal) par : pour tout fermé ''F'', les ouverts {{math|''U''}} contenant ''F'' et tels que {{math|ind(∂''U'') < ''n''}} forment une [[Base de filtre|base]] de [[Voisinage (mathématiques)#Voisinage d'une partie|voisinages de ''F'']]<ref name=E52/>.


=== Espace de dimension zéro ===
=== Espace de dimension zéro ===
Un espace topologique non vide est dit ''« de dimension zéro<ref>Ou {{Citation étrangère|lang=en|scattered space}} dans {{Ouvrage|lang=en|titre=Topological Dimension and Dynamical Systems|auteur=Michel Coornaert|éditeur=Springer|year=2015|url={{Google Livres|kODyCQAAQBAJ}}|doi=10.1007/978-3-319-19794-4|page=[https://www.springer.com/cda/content/document/cda_downloaddocument/9783319197937-c2.pdf?SGWID=0-0-45-1513804-p177405633&usg=AFQjCNF-wljCDUqvx0rFyYbDQakmdKU7gg&cad=rja p. 31]}}, qui réserve le terme « dimension » à la [[#Dimension de recouvrement|dimension de recouvrement]]. Mais pour la plupart des auteurs, {{Citation étrangère|lang=en|scattered space}} signifie « espace dispersé », qui est une autre notion {{Harv|Steen et Seebach|p=33}}.</ref> »'' s'il possède une base d'[[Ouvert-fermé|ouverts-fermés]] ; un tel espace vérifie l'[[Axiome de séparation (topologie)#Séparation T3 et espaces réguliers|axiome T{{ind|3}}]]<ref name=SS/>.
Un espace topologique non vide est dit ''« de dimension zéro<ref>Ou {{Citation étrangère|lang=en|scattered space}} dans {{Ouvrage|langue=en|auteur1=Michel Coornaert|titre=Topological Dimension and Dynamical Systems|éditeur=Springer|année=2015|page=[https://www.springer.com/cda/content/document/cda_downloaddocument/9783319197937-c2.pdf?SGWID=0-0-45-1513804-p177405633&usg=AFQjCNF-wljCDUqvx0rFyYbDQakmdKU7gg&cad=rja p. 31]|isbn=|doi=10.1007/978-3-319-19794-4|lire en ligne={{Google Livres|kODyCQAAQBAJ}}}}, qui réserve le terme « dimension » à la [[#Dimension de recouvrement|dimension de recouvrement]]. Mais pour la plupart des auteurs, {{Citation étrangère|lang=en|scattered space}} signifie « espace dispersé », qui est une autre notion {{Harv|Steen et Seebach|p=33}}.</ref> »'' s'il possède une base d'[[Ouvert-fermé|ouverts-fermés]] ; un tel espace vérifie l'[[Axiome de séparation (topologie)#Séparation T3 et espaces réguliers|axiome T{{ind|3}}]]<ref name=SS/>.


Les espaces de dimension zéro sont donc exactement les espaces T{{ind|3}} pour lesquels {{math|1=ind = 0}} (d'après la définition ci-dessus en termes de base d'ouverts).
Les espaces de dimension zéro sont donc exactement les espaces T{{ind|3}} pour lesquels {{math|1=ind = 0}} (d'après la définition ci-dessus en termes de base d'ouverts).
Ligne 29 : Ligne 29 :
:* Pour tout espace {{math|''E''}} non vide, {{math|1=Ind(''E'') = 0}} si et seulement si {{math|1=[[#Dimension de recouvrement|dim(''E'')]] = 0}}<ref>{{Harvsp|Coornaert|2015|p=33}}.</ref>.
:* Pour tout espace {{math|''E''}} non vide, {{math|1=Ind(''E'') = 0}} si et seulement si {{math|1=[[#Dimension de recouvrement|dim(''E'')]] = 0}}<ref>{{Harvsp|Coornaert|2015|p=33}}.</ref>.
:* Tout [[Topologie produit|produit]] d'espaces de dimension zéro est de dimension zéro<ref name=Coornaert>{{Harvsp|Coornaert|2015|p=32}}.</ref>.
:* Tout [[Topologie produit|produit]] d'espaces de dimension zéro est de dimension zéro<ref name=Coornaert>{{Harvsp|Coornaert|2015|p=32}}.</ref>.
:* Un espace régulier de dimension zéro est [[espace totalement discontinu|totalement discontinu]]<ref group=N>C'est-à-dire que ses [[connexité (mathématiques)|composantes connexes]] sont les [[Singleton (mathématiques)|singletons]].</ref>{{,}}<ref name=SS>{{Ouvrage|id=Steen et Seebach|lang=en|auteur=[[Lynn Arthur Steen]]|nom2=[[J. Arthur Seebach, Jr.]]|titre=[[Counterexamples in Topology]]|année première édition=[[Springer-Verlag|Springer]], 1978|année=1995|éditeur=[[Dover Publications|Dover]]|url={{Google Livres|Gc3DAgAAQBAJ|page=32}}|isbn=978-0-486-68735-3|page=32-33}}.</ref>(la réciproque est fausse ; l’{{Lien|langue=en|trad=Erdős space|fr=espace d’Erdős|texte=}} est un contre-exemple)
:* Un espace régulier de dimension zéro est [[espace totalement discontinu|totalement discontinu]]<ref group=N>C'est-à-dire que ses [[connexité (mathématiques)|composantes connexes]] sont les [[Singleton (mathématiques)|singletons]].</ref>{{,}}<ref name=SS>{{Ouvrage|langue=en|auteur1=[[Lynn Arthur Steen]]|nom2=[[J. Arthur Seebach, Jr.]]|titre=[[Counterexamples in Topology]]|éditeur=[[Dover Publications|Dover]]|année=1995|année première édition=[[Springer-Verlag|Springer]], 1978|pages totales=244|page=32-33|isbn=978-0-486-68735-3|lire en ligne={{Google Livres|Gc3DAgAAQBAJ|page=32}}|id=Steen et Seebach}}.</ref>(la réciproque est fausse ; l’{{Lien|langue=en|trad=Erdős space|fr=espace d’Erdős|texte=}} est un contre-exemple)


; Exemples
; Exemples
:* Tous les espaces ([[Espace séparé|séparés]]) [[localement compact]]s totalement discontinus — en particulier les [[Espace discret|espaces discrets]] — sont de dimension zéro<ref>{{Ouvrage|lang=en|titre=Topological Groups and Related Structures|auteur=[[Alexandre Arkhanguelski|Alexander Arhangel'skii]]|auteur2=Mikhail Tkachenko|éditeur=Atlantis Press|year=2008|url={{Google Livres|B785AETmFKEC|page=136}}|page=136}}.</ref>.
:* Tous les espaces ([[Espace séparé|séparés]]) [[localement compact]]s totalement discontinus — en particulier les [[Espace discret|espaces discrets]] — sont de dimension zéro<ref>{{Ouvrage|langue=en|auteur1=[[Alexandre Arkhanguelski|Alexander Arhangel'skii]]|auteur2=Mikhail Tkachenko|titre=Topological Groups and Related Structures|éditeur=Atlantis Press|année=2008|page=136|isbn=|lire en ligne={{Google Livres|B785AETmFKEC|page=136}}}}.</ref>.
:* Une partie non vide de [[Topologie de la droite réelle|'''R''']] est de dimension zéro si et seulement si elle est d'[[Intérieur (topologie)|intérieur]] vide<ref name=Coornaert/> (comme [[Nombre rationnel|'''Q''']], [[Nombre irrationnel|'''R'''\'''Q''']] ou le [[Ensemble de Cantor|compact de Cantor]], ces deux derniers étant d'ailleurs [[homéomorphe]]s à des produits d'espaces discrets : [[Espace de Baire (théorie des ensembles)|'''N{{exp|N}}''']] et [[Espace de Cantor|{0, 1}{{exp|'''N'''}}]]).
:* Une partie non vide de [[Topologie de la droite réelle|'''R''']] est de dimension zéro si et seulement si elle est d'[[Intérieur (topologie)|intérieur]] vide<ref name=Coornaert/> (comme [[Nombre rationnel|'''Q''']], [[Nombre irrationnel|'''R'''\'''Q''']] ou le [[Ensemble de Cantor|compact de Cantor]], ces deux derniers étant d'ailleurs [[homéomorphe]]s à des produits d'espaces discrets : [[Espace de Baire (théorie des ensembles)|'''N{{exp|N}}''']] et [[Espace de Cantor|{0, 1}{{exp|'''N'''}}]]).
:* Il existe un [[Compacité (mathématiques)|espace compact]] de dimension zéro contenant un sous-espace {{math|''M''}} tel que {{math|1=dim(''M'') = Ind(''M'') = 1}}<ref>{{Article|lang=en|auteur={{Lien|Clifford Hugh Dowker|texte=C. H. Dowker}}|titre=Local dimension of normal spaces|revue=[[Liste des journaux scientifiques en mathématiques#Q|Q. J. Math.]]|vol=2|issue=6|year=1955|p.=101-120|url=http://www.math.ucla.edu/~dashiell/Dowker-local-dimension-1955.pdf}}, complété par une remarque de {{Harvsp|Engelking|1978|p=176}}.</ref>.
:* Il existe un [[Compacité (mathématiques)|espace compact]] de dimension zéro contenant un sous-espace {{math|''M''}} tel que {{math|1=dim(''M'') = Ind(''M'') = 1}}<ref>{{Article|lang=en|auteur={{Lien|Clifford Hugh Dowker|texte=C. H. Dowker}}|titre=Local dimension of normal spaces|revue=[[Liste des journaux scientifiques en mathématiques#Q|Q. J. Math.]]|vol=2|issue=6|year=1955|p.=101-120|url=http://www.math.ucla.edu/~dashiell/Dowker-local-dimension-1955.pdf}}, complété par une remarque de {{Harvsp|Engelking|1978|p=176}}.</ref>.
Ligne 69 : Ligne 69 :
La [[dimension de Hausdorff]] d'un espace métrisable dépend spécifiquement de la [[Distance (mathématiques)|distance]] utilisée. La dimension topologique d'un espace métrisable séparable ''E'' est le [[minimum]] des dimensions de Hausdorff de ''E'' pour toutes les distances sur ''E'' compatibles avec sa topologie<ref>{{Article|auteur=[[Edward Marczewski|E. Szpilrajn]]|titre=La dimension et la mesure|revue=[[Fundamenta Mathematicae|Fund. Math.]]|vol=28|year=1937|p.=81-89|url=https://eudml.org/doc/212888}}.</ref>.
La [[dimension de Hausdorff]] d'un espace métrisable dépend spécifiquement de la [[Distance (mathématiques)|distance]] utilisée. La dimension topologique d'un espace métrisable séparable ''E'' est le [[minimum]] des dimensions de Hausdorff de ''E'' pour toutes les distances sur ''E'' compatibles avec sa topologie<ref>{{Article|auteur=[[Edward Marczewski|E. Szpilrajn]]|titre=La dimension et la mesure|revue=[[Fundamenta Mathematicae|Fund. Math.]]|vol=28|year=1937|p.=81-89|url=https://eudml.org/doc/212888}}.</ref>.


La définition de [[fractale]] initialement donnée par [[Benoît Mandelbrot]] est celle d'un espace métrique dont la dimension topologique est strictement inférieure à la dimension de Hausdorff<ref>{{Ouvrage|lang=en|titre=Foundations of Topology|auteur=C. Wayne Patty|éditeur=Jones & Bartlett Learning|year=2009|url={{Google Livres|FhTn0Vr8UOQC|page=225}}|page=225}}.</ref>, mais il l'a rapidement remplacée par une [[Fractale#Caractéristiques|définition plus vague]], permettant d'inclure par exemple la [[courbe de Hilbert]].
La définition de [[fractale]] initialement donnée par [[Benoît Mandelbrot]] est celle d'un espace métrique dont la dimension topologique est strictement inférieure à la dimension de Hausdorff<ref>{{Ouvrage|langue=en|auteur1=C. Wayne Patty|titre=Foundations of Topology|éditeur=Jones & Bartlett Learning|année=2009|page=225|isbn=|lire en ligne={{Google Livres|FhTn0Vr8UOQC|page=225}}}}.</ref>, mais il l'a rapidement remplacée par une [[Fractale#Caractéristiques|définition plus vague]], permettant d'inclure par exemple la [[courbe de Hilbert]].


== Notes et références ==
== Notes et références ==
Ligne 77 : Ligne 77 :
=== Références ===
=== Références ===
{{Références|colonnes=2}}
{{Références|colonnes=2}}
{{Ouvrage|lang=en|auteur=Stephen Willard|titre=General Topology|éditeur=Dover|année=2004|année première édition=1968|isbn=978-0-486-43479-7|url={{Google Livres|UrsHbOjiR8QC|page=314}}}}
{{Ouvrage|langue=en|auteur1=Stephen Willard|titre=General Topology|éditeur=Dover|lieu=Mineola, N.Y.|année=2004|année première édition=1968|pages totales=369|isbn=978-0-486-43479-7|lire en ligne={{Google Livres|UrsHbOjiR8QC|page=314}}}}
<!--https://wakespace.lib.wfu.edu/bitstream/handle/10339/39274/Walsh_wfu_0248M_10559.pdf-->
<!--https://wakespace.lib.wfu.edu/bitstream/handle/10339/39274/Walsh_wfu_0248M_10559.pdf-->


Version du 24 février 2020 à 18:28

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Dimension.

En mathématiques, une dimension topologique est une notion destinée à étendre à des espaces topologiques la notion algébrique de dimension d'un espace vectoriel. C'est un invariant topologique, entier ou infini.

Les trois principales dimensions topologiques sont les deux dimensions inductives ind et Ind et la dimension de recouvrement dim. Les dimensions Ind et dim coïncident pour tout espace métrisable ; si l'espace est de plus séparable, ses trois dimensions topologiques sont égales[1]. Ces « bons espaces » incluent en particulier les variétés topologiques et a fortiori les variétés différentielles.

Dimensions inductives

La petite dimension inductive ind, ou dimension de Urysohn-Menger, et la grande dimension inductive Ind, ou dimension de Čech, seront définies par récurrence à partir de la notion suivante[2] : on dira qu'un fermé sépare deux parties A et B si son complémentaire est la réunion de deux ouverts disjoints dont l'un contient A et l'autre contient B.

Espace de dimension n

On définit la valeur de ind(E) pour tout espace régulier[N 1] E et de Ind(E) pour tout espace normal[N 2] E par l'ensemble de ses majorants :

  • ind(∅) = Ind(∅) = –1
  • pour n ≥ 0 :
    • ind(E) ≤ n si (dans E) un point et un fermé ne contenant pas ce point sont toujours séparés par un sous-espace L tel que ind(L) < n[3],[4] ;
    • Ind(E) ≤ n si (dans E) deux fermés disjoints sont toujours séparés par un sous-espace L tel que Ind(L) < n[5],[6].
Remarques
  • Pour tout espace normal E, ind(E) ≤ Ind(E)[5], d'où les notations ind et Ind et les qualificatifs de petite et grande.
  • Pour tout sous-espace F de E, on a ind(F) ≤ ind(E).
  • On obtient la même[7],[8] fonction ind sur les espaces réguliers lorsqu'on remplace sa définition récursive par :
    ind(E) ≤ n si les ouverts U tels que ind(∂U) < n forment une base de E,
    où ∂U désigne la frontière de U.
  • De même[N 3], la condition ci-dessus pour Ind(E) ≤ n peut être remplacée (pour E normal) par : pour tout fermé F, les ouverts U contenant F et tels que ind(∂U) < n forment une base de voisinages de F[5].

Espace de dimension zéro

Un espace topologique non vide est dit « de dimension zéro[9] » s'il possède une base d'ouverts-fermés ; un tel espace vérifie l'axiome T3[10].

Les espaces de dimension zéro sont donc exactement les espaces T3 pour lesquels ind = 0 (d'après la définition ci-dessus en termes de base d'ouverts).

Propriétés
Exemples

Exemples

  • La dimension de tout ouvert non vide de Rn est n[N 6].
  • Un arc de Jordan rectifiable dans Rn est de dimension 1, une portion de surface régulière est de dimension 2, etc.

Propriétés

  • Pour tout espace E de Lindelöf, dim(E) ≤ ind(E) ≤ Ind(E) (inégalités d'Aleksandrov) et si ind(E) = 1 alors Ind(E) = 1[16],[17],[N 7]. À partir de 1, les trois dimensions peuvent être distinctes : pour tout entier i ≥ 1, il existe un compact Xi tel que dim(Xi) = 1, ind(Xi) = i et Ind(Xi) = 2i – 1[16].
  • Pour tout espace normal E, si F est fermé dans E alors Ind(F) ≤ Ind(E)[18], mais il existe des contre-exemples si F n'est pas fermé (cf. § « Espace de dimension zéro » ci-dessus).
  • Il existe un compact E réunion de deux fermés F1 et F2 tels que Ind(F1) = Ind(F2) = 1 mais Ind(E) = 2[19].
  • Cependant, si E est un espace parfaitement normal, alors[N 8],[20] :
    • pour tout sous-espace F de E, on a Ind(F) ≤ Ind(E) ;
    • si E est réunion d'une suite de fermés Fn alors Ind(E) =[21] supn Ind(Fn).
  • Il existe :
  • Cependant, Ind(X×Y) ≤ Ind(X) + Ind (Y) (pour X et Y non tous deux vides) dès que X est parfaitement normal et Y est métrisable[24],[25] (mais l'inégalité peut être stricte : il existe même[26] un espace métrisable séparable X homéomorphe à X2 et de dimension 1).

Dimension de recouvrement

Article détaillé : Dimension de recouvrement de Lebesgue (de).

Définition

La dimension de recouvrement de Lebesgue, dim, se définit de même par ses majorants mais sans récurrence : dim(E) ≤ n si tout recouvrement ouvert fini de E admet un recouvrement ouvert fini plus fin tel que chaque point de E appartient à au plus n + 1 ouverts de ce dernier recouvrement.

Propriétés

Lien avec la dimension de Hausdorff

La dimension de Hausdorff d'un espace métrisable dépend spécifiquement de la distance utilisée. La dimension topologique d'un espace métrisable séparable E est le minimum des dimensions de Hausdorff de E pour toutes les distances sur E compatibles avec sa topologie[31].

La définition de fractale initialement donnée par Benoît Mandelbrot est celle d'un espace métrique dont la dimension topologique est strictement inférieure à la dimension de Hausdorff[32], mais il l'a rapidement remplacée par une définition plus vague, permettant d'inclure par exemple la courbe de Hilbert.

Notes et références

Notes

  1. ↑ Ou (plus rarement) : pour tout espace vérifiant l'axiome de séparation T3 mais pas nécessairement l'axiome T0.
  2. ↑ Ou (plus rarement) : pour tout espace vérifiant T4 mais pas nécessairement T1.
  3. ↑ Rappelons que dans tout espace topologique, un ensemble de parties est une base si et seulement si pour tout point x, celles de ces parties qui contiennent x forment une base de voisinages de x.
  4. ↑ Tout espace T3 et de Lindelöf est T4.
  5. ↑ C'est-à-dire que ses composantes connexes sont les singletons.
  6. ↑ Ce fait est à rapprocher du théorème de l'invariance du domaine de Brouwer.
  7. ↑ Ceci complète deux résultats ci-dessus sur les espaces de dimension zéro.
  8. ↑ Théorème dû à Dowker, qui suppose seulement que E est « totalement normal ». C'est un axiome de séparation intermédiaire entre « parfaitement normal » et « complètement normal ».

Références

  1. ↑ (en) Ryszard Engelking, Dimension Theory, North-Holland et PWN, (lire en ligne), p. 65, généralisé p. 256.
  2. ↑ « Partition between A and B » : Engelking 1978, p. 4.
  3. ↑ Engelking 1978, p. 5.
  4. ↑ (en) Keiô Nagami, Dimension Theory, Academic Press, (lire en ligne), p. 45, dans le cas d'un espace normal.
  5. ↑ a b et c Engelking 1978, p. 52.
  6. ↑ Nagami 1970, p. 45.
  7. ↑ Engelking 1978, p. 3.
  8. ↑ (en) J. M. Aarts et T. Nishiura, Dimension and Extensions, North-Holland, (lire en ligne), p. 5.
  9. ↑ Ou « scattered space » dans (en) Michel Coornaert, Topological Dimension and Dynamical Systems, Springer, (DOI 10.1007/978-3-319-19794-4, lire en ligne), p. 31, qui réserve le terme « dimension » à la dimension de recouvrement. Mais pour la plupart des auteurs, « scattered space » signifie « espace dispersé », qui est une autre notion (Steen et Seebach, p. 33).
  10. ↑ a et b (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, Dover, (1re éd. Springer, 1978), 244 p. (ISBN 978-0-486-68735-3, lire en ligne), p. 32-33.
  11. ↑ Coornaert 2015, p. 33 et 38 ; Engelking 1978, p. 12 et 53 et, pour une classe plus vaste (les espaces « fortement paracompacts »), p. 198.
  12. ↑ Coornaert 2015, p. 33.
  13. ↑ a et b Coornaert 2015, p. 32.
  14. ↑ (en) Alexander Arhangel'skii et Mikhail Tkachenko, Topological Groups and Related Structures, Atlantis Press, (lire en ligne), p. 136.
  15. ↑ (en) C. H. Dowker, « Local dimension of normal spaces », Q. J. Math., vol. 2, no 6,‎ , p. 101-120 (lire en ligne), complété par une remarque de Engelking 1978, p. 176.
  16. ↑ a et b (en) V. V. Filippov, « A survey of dimension theory », dans 20 Lectures Delivered at the ICM in Vancouver, 1974, AMS, (lire en ligne), p. 47-50.
  17. ↑ Engelking 1978, p. 220 et 199, le démontre même pour les espaces « fortement paracompacts ».
  18. ↑ Engelking 1978, p. 170.
  19. ↑ Engelking 1978, p. 178-179.
  20. ↑ Cité dans (en) Nobuo Kimura, « On a sum theorem in dimension theory », Proc. Japan Acad., vol. 43, no 2,‎ , p. 98-102 (lire en ligne).
  21. ↑ Preuve (en termes de ind) dans le cas où E est métrisable et séparable : Engelking 1978, p. 42.
  22. ↑ V. V. Filippov (1972), cité dans (en) Eric K. van Douwen, « The small inductive dimension can be raised by the adjunction of a single point », Indag. Math., vol. 76, no 5,‎ , p. 434-442 (DOI 10.1016/1385-7258(73)90067-X) et dans (en) V. A. Chatyrko et K. L. Kozlov, « On (transfinite) small inductive dimension of products », Comment. Math. Univ. Carol., vol. 41, no 3,‎ , p. 597-603 (lire en ligne).
  23. ↑ (en) Teodor C. Przymusiński, « On the dimension of product spaces and an example of M. Wage », Proc. Amer. Math. Soc., vol. 76,‎ , p. 315-321 (lire en ligne).
  24. ↑ (en) Nobuo Kimura, « On the inductive dimension of product spaces », Proc. Japan Acad., vol. 39, no 9,‎ , p. 641-646 (lire en ligne).
  25. ↑ Engelking 1978, p. 202-203 et (en termes de ind) dans le cas particulier où X et Y sont métrisables et séparables p. 46.
  26. ↑ (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).
  27. ↑ Engelking 1978, p. 220.
  28. ↑ Engelking 1978, p. 254 : théorème de Katětov-Morita.
  29. ↑ (en) Prabir Roy, « Failure of equivalence of dimension concepts for metric spaces », Bull. Amer. Math. Soc., vol. 68, no 6,‎ , p. 609-613 (lire en ligne) et (en) « Nonequality of dimensions for metric spaces », Trans. Amer. Math. Soc., vol. 134,‎ , p. 117-132 (lire en ligne).
  30. ↑ Engelking 1978, p. 233.
  31. ↑ E. Szpilrajn, « La dimension et la mesure », Fund. Math., vol. 28,‎ , p. 81-89 (lire en ligne).
  32. ↑ (en) C. Wayne Patty, Foundations of Topology, Jones & Bartlett Learning, (lire en ligne), p. 225.

(en) Stephen Willard, General Topology, Mineola, N.Y., Dover, (1re éd. 1968), 369 p. (ISBN 978-0-486-43479-7, lire en ligne)

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Dimension_topologique&oldid=167770556 ».