Dimension topologique

Pour les articles homonymes, voir Dimension.

En mathématiques, la dimension topologique est une notion destinée à étendre à des espaces métriques la notion algébrique de dimension d'un espace vectoriel.

[modifier] Définition

Soit E un espace métrisable à base dénombrable. On définit la dimension topologique de E par récurrence :

• Si E est vide, sa dimension vaut -1 par convention, sinon :
• 0) L'espace E est de dimension 0 si sa topologie admet une base de parties à la fois ouvertes et fermées (clopen en anglais), soit encore une base de parties à frontière vide (ou de dimension -1). (Ceci implique que E est totalement discontinu.)
• 1) L'espace E est au plus de dimension 1 si sa topologie admet une base d'ouverts à frontière de dimension au plus 0.
• 
• n) L'espace E est de dimension au plus n si sa topologie admet une base d'ouverts à frontière de dimension au plus n-1.

Enfin l'espace E non vide est dit de dimension n s'il est de dimension au plus n mais n'est pas de dimension au plus n-1, et de dimension infinie s'il n'existe pas de n tel qu'il soit de dimension au plus n.

[modifier] Exemples

• L'ensemble de Cantor (ou l'espace de Cantor qui lui est homéomorphe) est un espace compact de dimension 0.
• L'espace de Baire (en) N^N est le parangon des espaces polonais de dimension 0.
• Un arc de Jordan rectifiable dans Rⁿ est de dimension 1, une portion de surface régulière est de dimension 2, etc. Comme il se doit la dimension de tout ouvert non vide de Rⁿ est n.

La dimension topologique introduite ici, à valeur entière, est une notion topologique alors que la notion de dimension de Hausdorff, à valeur réelle, est métrique, et dépend fortement de la distance utilisée. Il existe cependant une belle relation entre les deux quand E est un espace compact métrisable :

La dimension topologique de E est le minimum des dimensions de Hausdorff de E pour toutes les distances sur E compatibles avec sa topologie.

Une fractale est un espace métrique dont la dimension topologique est strictement inférieure à la dimension de Hausdorff.