Dimension de Hamel

Dimension de Hamel

Dimension

Wiktprintable without text.svg

Voir « dimension » sur le Wiktionnaire.

Dans le sens commun, la notion de dimension renvoie à la taille ; les dimensions d'une pièce sont sa longueur, sa largeur et sa profondeur/son épaisseur, ou bien son diamètre si c'est une pièce de révolution.

En physique et en mathématique, la notion de dimension signifie d'abord le nombre de directions indépendantes, puis a été étendu.

Sommaire

Technique

Dans le domaine de la mécanique, le terme « dimension » renvoie à la taille d'une pièce.

Dans l'absolu, les dimensions d'une pièce peuvent être choisies de manière totalement arbitraire, l'important étant qu'elles soient compatibles avec l'utilisation finale de la pièce. Dans un but de normalisation, il est toutefois préférable d'utiliser comme dimensions linéaires nominales des valeurs de la « série de Renard ».

Dans la pratique de tous les jours, le terme renvoie à la taille d'un objet. Nous avons par exemple

  • objet de 350 x 250 x 255 mm.
  • description : (L)ongeur x (l)argeur x (h)auteur.
  • forme : D = (L x l x h)

Physique

En physique, le terme « dimension » renvoie à deux notions complètement différentes.

Dimension d'un espace vectoriel

La physique utilise beaucoup la notion mathématique d'espace vectoriel. On peut simplifier sa définition en disant que la dimension d'un espace est le nombre de variables qui servent à définir un état, un événement. Ainsi par exemple, on dit classiquement que notre univers est à quatre dimensions, puisqu'un événement se définit par la position dans l'espace (x, y, z) et l'instant t auquel cet événement survient.

  • Un objet volumique constant (c'est-à-dire dont les propriétés sont indépendantes du temps, du moins durant l'étude) est dit à trois dimensions, car il faut trois nombres (x, y, z) pour désigner un de ses points ;
  • un objet plan (comme une feuille de papier) dont on néglige l'épaisseur est dit à deux dimensions, car il faut deux nombres (x, y) pour désigner un de ses points ;
  • un objet linéaire (comme un fil) dont on néglige l'épaisseur est dit à une dimension, car il suffit d'un seul nombre x pour désigner un de ses points (abscisse curviligne) ;
  • un objet ponctuel (comme un point) dont on néglige la taille est dit de dimension zéro, car une fois que l'on a désigné le point, on n'a besoin d'aucun paramètre supplémentaire pour le trouver.

Ces concepts sont repris en modélisation informatique (objet 2D, 3D).

Cette notion est la traduction de la notion mathématique de dimension (voir plus bas).

Dimension d'une grandeur

Article détaillé : Analyse dimensionnelle.

La dimension d'une grandeur physique est son unité exprimée par rapport aux sept unités de base du système international. On retraduit les unités en grandeurs. Par exemple, la vitesse a la dimension d'une longueur divisée par un temps (c'est-à-dire que l'unité de vitesse est le mètre par seconde).

Mathématiques

Dimension d'un espace vectoriel

Article détaillé : Dimension d'un espace vectoriel.

En mathématiques, la notion de « dimension » correspond à la dimension d'un espace vectoriel de la physique :

si un espace vectoriel est muni d'une base de cardinal fini d, alors toutes les bases de cet espace ont pour cardinal d, et la dimension de cet espace est d.

(Une base est une famille libre et génératrice de l'espace vectoriel, c'est-à-dire que tout vecteur peut se décomposer en une unique combinaison linéaire des vecteurs de cette famille.) Ceci est une conséquence du lemme de Steinitz :

si un espace vectoriel possède une famille génératrice finie de n vecteurs, toute famille de plus de n vecteurs est liée.

Lorsqu'un espace vectoriel n'admet aucune base de cardinal fini, on dit qu'il est de « dimension infinie ». Exemple : l'ensemble des suites réelles est un espace vectoriel de dimension infinie. Dans un tel espace il existe des familles libres finies arbitrairement grandes, mais aucune famille génératrice finie.

Dimension d'une variété topologique ou d'une variété différentiable

La dimension d'une variété topologique est une généralisation courbée de la notion de dimension d'un espace vectoriel. Comme une variété topologique est définie par recollement de morceaux homéomorphes à des ouverts des espaces vectoriels \R^n ou \mathbb{C}^n, on dit que cette variété est de dimension n. Il en est de même pour la dimension d'une variété différentielle : sa dimension est la dimension de l'espace vectoriel dans lequel on choisit les ouverts pour fabriquer les cartes locales.

Dimension fractale

Construction de la courbe de von Koch

Approche didactique

Mais la définition de la « dimension » donnée ci-dessus est insuffisante, notamment dans le cas des fractales.

De manière simplifiée et en première approximation (voir Fractale pour une meilleure définition), un objet fractal est un objet ayant une homothétie interne, c'est-à-dire qu'une portion de l'objet est identique à l'objet complet. Considérons un exemple simple, le flocon de Koch : cette courbe est construite de manière récursive, on part d'un segment de droite, et on remplace chaque segment par un segment avec un chevron au milieu.

On répète cette opération à l'infini. Cette courbe est une ligne (donc de dimension 1, au sens ordinaire). Sa longueur est infinie, puisqu'à chaque étape on multiplie sa longueur par 4/3, et qu'il y a un nombre infini d'étapes. Pourtant, et contrairement à une droite infinie, on peut toujours trouver une courbe de longueur finie aussi proche que l'on veut de la courbe de von Koch. On peut donc dire en fait que si on trouve que la longueur de la courbe de von Koch est infinie, c'est qu'on l'évalue dans une « mauvaise » dimension, et qu'en mesurant « mieux », on aurait une mesure « utile », finie.

Nous avons besoin de revenir sur la notion d'étalon en physique :

  • L'étalon de longueur est une règle de longueur fixe (dimension 1) : pour mesurer une longueur, on regarde combien de règles tiennent bout-à-bout sur la courbe ;
  • L'étalon de surface est un carreau (carré) de côté fixe (dimension 2) : pour mesurer la surface, on regarde combien de carreaux on peut poser côte-à-côte sur la surface ;
  • L'étalon de volume est un pavé (cube) d'arête fixe (dimension 3) : pour mesurer le volume, on regarde combien de pavés on peut empiler dans l'objet.

On ne peut évaluer la longueur que d'un objet de dimension 1 : même en prenant une règle minuscule, un point ne pourra jamais la contenir, et à l'inverse sur une surface, on peut mettre un nombre infini de règles côte-à-côte (celles-ci ont une épaisseur nulle).

De même, on ne peut évaluer l'aire que d'un objet de dimension 2 : un point ou une courbe ne pourra jamais être pavé par des carreaux (même très petits), et dans un volume, on peut empiler un nombre infini de carreaux (ceux-ci ont une épaisseur nulle).

On ne peut évaluer le volume que d'un objet à trois dimension, puisqu'on ne peut pas mettre de pavé dans un point, une courbe ni une surface.

Ainsi, si l'on appelle do la dimension de l'objet et de celle de l'étalon, on a :

  • si de > do, la mesure donne 0 : on ne peut pas mettre un seul étalon dans l'objet ; c'est le cas pour la courbe de von Koch lorsqu'on utilise une mesure avec une aire, ce qui indique donc que sa dimension fractale est strictement inférieure à 2.
  • si de < do, la mesure donne ∞ : on peut mettre autant d'étalon qu'on veut dans l'objet ; c'est le cas pour la courbe de von Koch lorsqu'on utilise une mesure avec une longueur, ce qui indique donc que sa dimension fractale est strictement supérieure à 1.
  • si de = do, la mesure peut donner (si l'objet mesuré n'est pas infini) un nombre fini, le nombre d'étalon qu'il faut pour couvrir l'objet ; notre problème est donc de trouver (si elle existe) la « bonne » dimension, celle qui nous donnera une mesure finie (si l'objet est fini).
Mesure approchée de la longueur d'une courbe : M(ℓ) ≈ N×ℓd avec d = 1
Mesure approchée de l'aire d'une surface : M(ℓ) ≈ N×ℓd avec d = 2
Mesure approchée d'une courbe de von Koch : la longueur « linéaire » tend vers l'infini, tandis que la longueur « fractale » tend vers 1

Pour faire cette mesure, la « taille » de l'étalon n'est pas sans effet. Si l'étalon est trop grand, il ne rentre pas dans l'objet (la mesure est nulle), mais en prenant des étalons de plus en plus petits, on obtient (d'habitude) des mesures qui se rapprochent. Si, pour mesurer une ligne, on utilise une règle de longueur ℓ, plus ℓ est petit, plus on pourra mettre d'étalons dans l'objet à mesurer. La mesure est le produit du nombre d'étalons par la taille de l'étalon : Si l'on fait tenir N règles de longueur ℓ, la mesure sera

M(ℓ) = N×ℓ

Pour un carreau de côté ℓ, l'aire du carreau sera ℓ², et si l'on couvre la surface de N carreaux, la mesure sera

M(ℓ) = N×ℓ²

Pour un pavé d'arrête ℓ, le volume du pavé sera ℓ3, et si l'on rempli l'objet de N pavés, la mesure sera

M(ℓ) = N×ℓ3

On voit que la dimension est aussi l'exposant intervenant dans le calcul de la mesure.

Dans le cas d'une ligne habituelle, lorsqu'on utilise une règle de longueur ℓ divisée par deux (ou par trois, quatre,… N), on peut mettre à peu près deux (respectivement trois, quatre,… N) fois plus de fois l'étalon dans l'objet : la mesure ne change presque pas, et finalement, au fur et à mesure qu'on réduit la taille de l'étalon, on obtient une suite de mesures qui converge : la longueur exacte de la courbe est la limite de M(ℓ) lorsque ℓ tend vers 0, c'est un nombre réel.

Prenons l'exemple d'une surface ; lorsqu'on la pave des carreaux, on n'obtient qu'une approximation de son aire (on approche la surface par un polygone). Si l'on fait tenir N règles de longueur ℓ, la mesure sera

M(ℓ) = N×ℓ 2

L'aire longueur exacte de la courbe est la limite de M(ℓ) lorsque ℓ tend vers 0. Par contre

M(ℓ) = N×ℓ

tend vers +∞, et

M(ℓ) = N×ℓ 3

tend vers 0. On retrouve par le calcul ce que l'on a établi par géométrie.

Dans le cas de la courbe de von Koch, on voit bien que lorsqu'on divise l'étalon de longueur par 3, on peut mettre 4 fois plus d'étalon. Du coup, la suite de mesures de longueur

M(ℓ/3) = Nℓ/3 ×(ℓ/3) 1 = 4N ×ℓ 1/3 = 4/3 × M(ℓ) > M(ℓ)

ne converge pas et la suite de mesures d'aire

M(ℓ/3) = Nℓ/3 ×(ℓ/3) 2 = 4Nℓ/3 ×ℓ 2/9 = 4/9 × M(ℓ) < M(ℓ)

tend vers 0.

Mais il est possible d'imaginer une dimension fractionnaire, de faire varier de façon continue la « dimension ». Et de fait, pour la dimension

do = log 4/log 3 ≈ 1,261 9.

on peut faire converger la mesure pour la courbe de von Koch en prenant :

M(ℓ) = N ×ℓ do

Ceci peut être représenté de manière plus rigoureuse par la dimension d'Hausdorff-Besicovitch.

Les principales définitions

Il existe plusieurs définitions utiles pour la dimension fractale d'un ensemble. Ces définitions ne sont pas équivalentes et, dans le cas général, ne donnent donc pas toutes les mêmes valeurs. Il est conjecturé (Schroeder,1991) qu'elles sont égales dans le cas d'ensembles fractals strictement auto-similaires.

  • La dimension de Hausdorff-Besicovitch est la plus courante car d'application plus universelle:
Article détaillé : Dimension de Hausdorff.
  • La dimension de Minkowski-Bouligand ou Box-countig est plus simple à mettre en oeuvre pour mesurer numériquement la dimension d'une fractale, :
Article détaillé : Dimension de Minkowski–Bouligand.
  • La dimension d'homothétie est la traduction simple de la dimension de Hausdorff applicable aux seuls ensembles fractals a homothétie interne. La dimension d'homothétie prend sa définition par le quotient logarithmique entre un nombre d'homothéties internes d'un objet, sur l'inverse de la raison de cette homothétie. Donc,
D_h = \frac{\ln(N)}{\ln(\frac{1}{r})}.

On aura donc, pour un point :

D_h = \frac{\ln(1)}{\ln(n)}= 0 avec n naturel > 1,

vu qu'on peut établir un point par une homothétie interne de raison n. On peut dire « un point est le produit de n homothéties internes de ce même point, de raison n ».

Avec une droite (segment), il peut s'établir avec deux homothéties internes de raison 1/2, donc

D_h = \frac{\ln(2)}{\ln\left (\frac{1}{\frac{1}{2}} \right )}= \frac{\ln(2)}{\ln(2)} = 1.

De cette façon, on trouve pour les formes et objets euclidiens, un isomorphisme entre ces deux dimensions établies. Cependant, des grandes différences se présentent avec les fractales.

Dimension topologique

Article détaillé : Dimension topologique.

La dimension topologique, définie par récurrence, associe à chaque partie P de Rn un entier, égal à la dimension algébrique si P est un sous-espace affine, à n si P est d'intérieur non vide, à 1 si P est une courbe régulière, à 2 si P est une surface régulière, etc. De manière générale elle attribue à un ensemble usuel sa dimension intuitive qui est le nombre de variables indépendantes nécessaire pour le décrire.

Dimension combinatoire d'un espace topologique

Cette autre notion de dimension est surtout utile dans le cas des schémas, où la topologie, en un certain sens, est d'une nature plus combinatoire que géométrique.

Dans les œuvres de science-fiction

Article détaillé : Univers parallèle.

Dans le domaine de la science-fiction, la quatrième dimension désigne, soit une quatrième dimension spatiale (en ajout avec la longueur, la largeur et la hauteur) qui serait responsables de faits insolites (cf: Théorie d'Everett ); soit une autre dimension, celle-ci, temporelle et non spatiale : c'est-à-dire l'espace-temps à travers lequel les protagonistes pourraient voyager (cf : vitesse supraluminique ). Par extension, le terme « dimension » a finalement été utilisé pour caractériser les mondes dits « parallèles », c'est-à-dire par lesquels on ne peut pas accéder en voyageant dans l'espace ; on ne peut y accéder qu'en utilisant un appareil ouvrant une « faille » entre les « dimensions », ou bien à l'occasion d'un événement accidentel. On dit que le monde parallèle est situé dans une « autre dimension ».

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Dimension ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dimension de Hamel de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Dimension D'un Espace Vectoriel — En mathématiques, la dimension d un espace vectoriel E est le cardinal (c est à dire le nombre de vecteurs) de toute base de E. Elle est parfois appelée la dimension de Hamel ou la dimension algébrique à distinguer d autres types de dimension.… …   Wikipédia en Français

  • Dimension d'un espace vectoriel — En algèbre linéaire, la dimension de Hamel ou simplement la dimension est un invariant associé à tout espace vectoriel E sur un corps K. La dimension de E est le cardinal commun à toutes ses bases. Ce nombre est noté dim K(E) (lire… …   Wikipédia en Français

  • Hamel-Dimension — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Dimension (Vektorraum) — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Dimension (Mathematik) — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Der Begriff der Dimension tritt in einer Vielzahl von Zusammenhängen auf. Kein… …   Deutsch Wikipedia

  • Dimension — 0d redirects here. For 0D, see 0d (disambiguation). For other uses, see Dimension (disambiguation). From left to right, the square, the cube, and the tesseract. The square is bounded by 1 dimensional lines, the cube by 2 dimensional areas, and… …   Wikipedia

  • Dimension (vector space) — In mathematics, the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V. It is sometimes called Hamel dimension or algebraic dimension to distinguish it from other types of dimension. This description… …   Wikipedia

  • Topologische Dimension — In der Mathematik wird mit der Dimension ein Konzept bezeichnet, das im Wesentlichen die Anzahl der Freiheitsgrade einer Bewegung in einem bestimmten Raum bezeichnet. Inhaltsverzeichnis 1 Definitionen 1.1 Hamel Dimension 1.2 Schauder Dimension …   Deutsch Wikipedia

  • Georg Hamel — Georg Karl Wilhelm Hamel (né le 12 septembre 1877 à Düren; † 4 octobre 1954 à Landshut) est un mathématicien allemand. Il prouva dans un cas particulier, mais via une méthode générale, l existence d une base pour un espace vectoriel de dimension… …   Wikipédia en Français

  • Base (álgebra) — Saltar a navegación, búsqueda En álgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V si se cumplen las siguientes condiciones: Todos los elementos de la base B deben ser linealmente independientes. Todos los… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”