3-sphère

3-sphère
Projection stéréographique des parallèles (en rouge) des méridiens (en bleu) et des hyperméridiens (en vert) de l'hypersphère : ce sont les lignes sur lesquelles une seule des coordonnées hypersphériques varie (voir le texte). À cause des propriétés conformes de la projection stéréographique, les courbes se coupent orthogonalement (aux points jaunes), comme en 4D. Ce sont toutes des cercles, avec la convention que celles qui passent par <0,0,0,1> sont de rayon infini (des droites).

En mathématiques, et plus précisément en géométrie, une 3-sphère est l'analogue d'une sphère en dimension supérieure. C'est l'ensemble des points équidistants d'un point central fixé dans un espace euclidien à 4 dimensions. Tout comme une sphère ordinaire (ou 2-sphère) est une surface bidimensionnelle formant la frontière d'une boule en trois dimensions, une 3-sphère est un objet à trois dimensions formant la frontière d'une boule à quatre dimensions. Une 3-sphère est un exemple de variété (différentielle) de dimension 3. Les 3-sphères sont aussi fréquemment appelées des hypersphères, mais ce terme peut en général être utilisé pour décrire n'importe quelle n-sphère pour n ≥ 3.

Sommaire

Définition

En coordonnées cartésiennes, une 3-sphère de centre (C0, C1, C2, C3) et de rayon r est l'ensemble de tous les points (x0, x1, x2, x3) de l'espace (à 4 dimensions) réel R4 tels que :

\sum_{i=0}^3(x_i - C_i)^2 = ( x_0 - C_0 )^2 + ( x_1 - C_1 )^2 + ( x_2 - C_2 )^2+ ( x_3 - C_3 )^2 = r^2.

La 3-sphère centrée à l'origine et de rayon 1 s'appelle la 3-sphère unité, et est généralement notée S3:

S^3 = \left\{(x_0,x_1,x_2,x_3)\in\mathbb{R}^4 : x_0^2 + x_1^2 + x_2^2 + x_3^2 = 1\right\}.

Il est souvent commode d'identifier R4 avec l'espace à deux dimensions complexes (C2), ou avec l'ensemble des quaternions (H). La 3-sphère unité est alors donnée par : S^3 = \left\{(z_1,z_2)\in\mathbb{C}^2 : |z_1|^2 + |z_2|^2 = 1\right\} ou : S^3 = \left\{q\in\mathbb{H} : |q| = 1\right\}. Cette dernière description est souvent la plus utile : tout comme le cercle unité du plan complexe est important dans l'étude des coordonnées polaires, la 3-sphère joue un rôle dans la représentation polaire utilisée pour le produit des quaternions (voir forme polaire des quaternions pour plus de détails).

Propriétés

Propriétés élémentaires

Le volume tridimensionnel (encore appelé hyperaire) de la 3-sphère de rayon r est :2\pi^2 r^3 \, alors que l'hypervolume (le volume de la région 4-dimensionnelle borné par la 3-sphère) est : \begin{matrix} \frac{1}{2} \end{matrix} \pi^2 r^4. Chaque intersection non vide d'une 3-sphère avec un hyperplan (tridimensionnel) est une 2-sphère, sauf si l'hyperplan est tangent à la 3-sphère, auquel cas l'intersection est réduite à un point. En déplaçant une 3-sphère à travers un hyperplan fixé, l'intersection est d'abord un point, puis devient une 2-sphère de rayon croissant jusqu'à atteindre le rayon de la 3-sphère lorsque l'hyperplan passe par son centre, et décroit à nouveau pour se réduire à un point quand la 3-sphère quitte l'hyperplan.

Propriétés topologiques

La 3-sphère est une variété de dimension 3, compacte, connexe, sans bord. Cette variété est également simplement connexe, ce qui (de façon informelle) signifie que tout chemin fermé (ou boucle) sur la 3-sphère peut être continument contracté en un point sans quitter la 3-sphère. La conjecture de Poincaré, démontrée en 2003 par Grigori Perelman, affirme que la 3-sphère est la seule variété (topologique) à trois dimensions possédant ces propriétés (à homéomorphisme près).

La 3-sphère est homéomorphe au compactifié d'Alexandroff de \mathbb{R}^3. Plus généralement, on dit qu'un espace topologique homéomorphe à la 3-sphère est une 3-sphère topologique. Les groupes d'homologie de la 3-sphère sont les suivants : H0(S3,Z) et H3(S3,Z) sont isomorphes à Z, tandis que Hi(S3,Z) = {0} pour tous les autres indices i. Tout espace topologique ayant ces groupes d'homologie est appelé une 3-sphère homologique (en). Initialement, Poincaré avait conjecturé que toutes les 3-sphères homologiques étaient homéomorphes à S3, mais il réussit ensuite lui-même à construire un contre-exemple, à présent connu sous le nom de sphère homologique de Poincaré (en) (ce qui montre que la conjecture de Poincaré ne peut être formulée en termes d'homologie seule). On sait désormais qu'il existe une infinité de sphères homologiques. Par exemple, un comblement de Dehn[1] de pente 1/n de n'importe quel nœud de la 3-sphère est une sphère homologique, non homéomorphe à la 3-sphère en général. En ce qui concerne les groupes d'homotopie, on a π1(S3) = π2(S3) = {0} et π3(S3) isomorphe à Z. Les groupes d'indice supérieur (k ≥ 4) sont tous abéliens et finis, mais ne semblent pas suivre de schéma régulier. Pour une discussion plus approfondie, voir groupes d'homotopie des sphères.

Propriétés géométriques

La 3-sphère est dotée naturellement d'une structure de variété différentielle ; c'est d'ailleurs en fait une sous-variété compacte de R4. La métrique euclidienne de R4 induit sur la 3-sphère une métrique lui donnant une structure de variété riemannienne. Comme pour toutes les sphères, la 3-sphère a une courbure constante positive c égale à 1/r2, où r est le rayon. La plupart des propriétés géométriques intéressantes de la 3-sphère viennent de ce qu'elle possède une structure naturelle de groupe de Lie[2], qui lui est donnée par la multiplication des quaternions (voir la section suivante sur la structure de groupe). Contrairement à la 2-sphère, on peut construire sur la 3-sphère des champs de vecteurs ne s'annulant nulle part (il s'agit plus précisément de sections du fibré tangent). On peut même construire trois tels champs qui soient linéairement indépendants, formant ainsi une base pour l'algèbre de Lie de la 3-sphère[3]. Cela implique que la 3-sphère est parallélisable. Il en résulte également que le fibré tangent de la 3-sphère est trivial.

Il existe une action intéressante du groupe du cercle, T, sur S3, donnant à la 3-sphère une structure de fibré en cercles, connue sous le nom de fibration de Hopf. En considérant S3 comme un sous-ensemble de C2, l'action est donnée par :

(z_1,z_2)\cdot\lambda = (z_1\lambda,z_2\lambda)\quad \forall\lambda\in\mathbb T.

L'espace des orbites de cette action est homéomorphe à la 2-sphère S2. Comme S3 n'est pas homéomorphe à S2×S1, la fibration de Hopf est non-triviale.

Construction topologique

Deux constructions topologiques commodes sont les inverses de « couper en deux » et de « percer »

Par recollement

La 3-sphère peut être topologiquement construite en « collant entre elles » les frontières de deux boules de R3 (ces frontières sont des 2-sphères). On peut mieux se représenter le processus en visualisant la quatrième dimension comme une température, qu'on fixe à zéro sur les deux 2-sphères à identifier, et qui serait par exemple négative dans la première boule (en décroissant jusqu'à son centre) et positive dans la seconde. Cette construction est analogue à celle de la sphère ordinaire obtenue en recollant deux disques par leurs frontières (les cercles qui les bornent), ces disques devenant deux hémisphères.

Par adjonction d'un point

Imaginant la 2-sphère comme un ballon, on voit qu'en la perçant et en l'aplatissant, le point manquant devient un cercle (une 1-sphère) et la surface du ballon le disque (une 2-boule) intérieur à ce cercle. De même, une 3-boule est le résultat de ce processus appliqué à la 3-sphère. Pour reconstruire la 3-sphère, on part donc d'une 3-boule, et on identifie tous les points de sa frontière (une 2-sphère) en un seul. Une autre façon de voir ces opérations est la projection stéréographique : posant le pôle Sud de la 2-sphère sur un plan, on associe à chaque point de la sphère (autre que le pôle Nord) l'intersection avec ce plan de la droite joignant le pôle Nord au point. L'analogue en 3 dimensions est une bijection de la 3-sphère privée d'un point avec l'espace (tridimensionnel) tout entier ; on démontre de plus que cette application envoie les 2-sphères et les plans de l'espace sur les 2-sphères de la 3-sphère (les plans étant envoyés sur celles passant par le centre de projection). Une façon plus imagée de réaliser la correspondance dans le premier cas est d'imaginer le mouvement de billes sur la sphère lancée du pôle Sud avec une vitesse initiale arbitraire ; si on représente alors le point où la bille arrive au bout d'un temps déterminé en coordonnées polaires (le rayon représentant la valeur de la vitesse initiale, et l'angle la direction de cette vitesse), le pôle Nord est représenté par un cercle et les autres points par le disque intérieur à ce cercle ; la même idée sur la 3-sphère amène à une correspondance avec une 3-boule. Si l'on considère la 3-sphère comme un groupe de Lie, les trajectoires des billes en sont des sous-groupes à un paramètre, la 3-boule est (un voisinage de) l'espace tangent à l'identité (identifiée avec le pôle Sud) et l'application vers la 3-sphère est l'application exponentielle.

Systèmes de coordonnées sur la 3-sphère

Les quatre coordonnées euclidiennes des points de S3 (considérée comme plongée dans R4) sont redondantes, puisque soumises à la condition {x_0}^2 + {x_1}^2 + {x_2}^2 + {x_3}^2 = 1. En tant que variété de dimension 3, il devrait être possible de paramétrer S3 par 3 coordonnées, tout comme on peut paramétrer la sphère usuelle à l'aide de deux coordonnées telles que la latitude et la longitude. La 3-sphère n'étant pas homéomorphe à l'espace, il est cependant impossible de trouver un unique système de coordonnées (continues) la couvrant en entier, et, comme pour la 2-sphère, il est nécessaire d'utiliser au moins deux cartes locales. Certains choix commodes sont détaillés ci-dessous.

Coordonnées hypersphériques

Par analogie avec les coordonnées sphériques, il est possible de repérer les points de la 3-sphère par trois angles ψ, θ et φ (ce choix n'est nullement unique) définis par

x_0 = \cos\psi\,
x_1 = \cos\phi\,\sin\theta\,\sin\psi
x_2 = \sin\phi\,\sin\theta\,\sin\psi
x_3 = \cos\theta\,\sin\psi ,

où ψ et θ sont compris dans l'intervalle [0,π], tandis que φ parcourt [0,2π]. On remarquera que pour ψ fixé, θ et φ sont des coordonnées sphériques sur une 2-sphère de rayon sin(ψ), en dehors des cas dégénérés où ψ vaut 0 ou π, correspondant à un seul point.

Le tenseur métrique et la forme volume sur la 3-sphère correspondant à ces coordonnées sont respectivement donnés par :

ds^2 = d\psi^2 + \sin^2\psi\left(d\theta^2 + \sin^2\theta\, d\phi^2\right)\ ;\ dV = \left(\sin^2\psi\,\sin\theta\right)\,d\psi\wedge d\theta\wedge d\phi.

Ces coordonnées peuvent aussi être élégamment décrites en termes de quaternions : tout quaternion unité peut être écrit comme un verseur : q = eτψ = cos ψ + τ sin ψ, où τ est un quaternion imaginaire (de partie réelle nulle) et unitaire (c'est-à-dire un quaternion vérifiant τ2 = −1) ; ceci est l'analogue pour les quaternions de la formule d'Euler.
L'ensemble des quaternions unitaires imaginaires formant la 2-sphère unité de Im H, on peut écrire tous les t précédents  : τ = cos φ sin θ i + sin φ sin θ j + cos θ k. Sous cette forme, le quaternion unitaire q est donné par :q = eτψ = x0 + x1 i + x2 j + x3 k, où les xi correspondent aux formules données plus haut. Quand on utilise q pour décrire des rotations dans l'espace (voir quaternions et rotation dans l'espace), il correspond alors à une rotation d'angle 2ψ autour de t.

Comme pour la sphère ordinaire, l'ensemble des points où une seule des coordonnées hypersphériques varie est un cercle ; on parle respectivement de cercle parallèle, de cercle méridien et de cercle hyperméridien si la coordonnée variable est φ, θ ou ψ.

Coordonnées de Hopf

Un autre choix de coordonnées hypersphériques, (η, ξ1, ξ2), utilise le plongement de S3 dans C2. En coordonnées complexes (z1, z2) ∈ C2 , nous écrivons :z_1 = e^{i\,\xi_1}\sin\eta et z_2 = e^{i\,\xi_2}\cos\eta. Ici, η appartient à l'intervalle [0,π / 2], et ξ1 et ξ2 sont deux angles quelconques de [0,2π]. Ces coordonnées sont utiles pour décrire la 3-sphère en tant que fibration de Hopf : S^1 \to S^3 \to S^2.\, Pour toute valeur de η autre que 0 ou π / 2, les coordonnées (ξ1, ξ2) forment une description paramétrique d'un tore (à 2 dimensions); tandis que les cas dégénérés correspondent à des cercles. Dans ce système de coordonnées, le tenseur métrique et la forme volume sont respectivement

ds^2 = d\eta^2 + \sin^2\eta\,d\xi_1^2 + \cos^2\eta\,d\xi_2^2\ ;\ dV = \sin\eta\cos\eta\,d\eta\wedge d\xi_1\wedge d\xi_2..

Coordonnées stéréographiques

La projection stéréographique de S3 à partir d'un pôle sur l'hyperplan équatorial correspondant donne un autre ensemble commode de coordonnées. Ainsi, si nous projetons à partir du point (−1, 0, 0, 0), nous pouvons écrire un point p de S3 comme :p = \left(\frac{1-\|u\|^2}{1+\|u\|^2}, \frac{2\mathbf{u}}{1+\|u\|^2}\right) = \frac{1+\mathbf{u}}{1-\mathbf{u}}, où u = (u1, u2, u3) est un vecteur de R3 et ||u||2 = u12 + u22 + u32. Dans la seconde égalité, nous avons identifié p avec un quaternion unitaire et u = u1 i + u2 j + u3 k avec un quaternion sans partie réelle (il faut remarquer que cette écriture est justifiée car le numérateur et le dénominateur commutent ici, même si la multiplication des quaternions est non-commutative en général). La bijection réciproque envoie p = (x0, x1, x2, x3) dans S3 sur :\mathbf{u} = \frac{1}{1+x_0}\left(x_1, x_2, x_3\right). Nous pourrions également avoir pris comme centre de projection le point (1, 0, 0, 0), auquel cas p serait donné par :p = \left(\frac{-1+\|v\|^2}{1+\|v\|^2}, \frac{2\mathbf{v}}{1+\|v\|^2}\right) = \frac{-1+\mathbf{v}}{1+\mathbf{v}}, où v = (v1, v2, v3) est un autre vecteur de R3 ; la bijection réciproque envoie ici p sur :\mathbf{v} = \frac{1}{1-x_0}\left(x_1,x_2,x_3\right). Il faut remarquer que les coordonnées u sont définies partout sauf en (−1, 0, 0, 0) et que les coordonnées v le sont partout sauf en (1, 0, 0, 0). Ceci définit donc un atlas sur S3 formé de deux cartes locales, qui recouvrent S3 tout entier ; la fonction de transition entre les deux cartes est donnée par :\mathbf{v} = \frac{1}{\|u\|^2}\mathbf{u} et vice-versa.

Structure de groupe

L'ensemble des quaternions unitaires forment un groupe (non-abélien) pour la multiplication, et la 3-sphère hérite donc de cette structure (de manière évidemment non canonique). De plus, cette multiplication étant différentiable (et même analytique), S3 peut être considérée comme un groupe de Lie réel ; c'est un groupe de Lie non abélien, compact, de dimension 3. Ce groupe, appelé parfois groupe symplectique ou groupe hyperunitaire, est généralement noté Sp(1) ou U(1, H). Les seules hypersphères admettant une structure de groupe de Lie sont d'ailleurs le cercle S1 (considéré comme l'ensemble des nombres complexes de module 1, et S3, l'ensemble des quaternions unitaires. On pourrait penser que S7, l'ensemble des octonions unitaires, formerait également un groupe de Lie, mais cela échoue, car la multiplication des octonions n'est pas associative ; en revanche, cette multiplication donne à S7 l'importante propriété d'être parallélisable ; les seules sphères qui le soient sont S1, S3, et S7.

En utilisant une représentation matricielle des quaternions, H, on obtient une représentation matricielle de S3. Un choix pratique est donné par les matrices de Pauli :

f : x_1+ x_2 i + x_3 j + x_4 k \mapsto \begin{pmatrix}\;\;\,x_1 + i x_2 & x_3 + i x_4 \\ -x_3 + i x_4 & x_1 - i x_2\end{pmatrix}.

Cette application est un morphisme d'algèbre injectif de H vers l'ensemble des matrices complexes 2×2. La valeur absolue d'un quaternion q est égale à la racine carrée du déterminant de la matrice f(q) (l'image de q par f), et donc l'ensemble des quaternions unitaires correspond aux matrices de cette forme de déterminant 1 ; ce sous-groupe de matrice est précisément le groupe spécial unitaire SU(2). Ainsi, S3 est isomorphe à SU(2) en tant que groupe de Lie. Utilisant les coordonnées hypersphériques (η, ξ1, ξ2), nous pouvons alors écrire tout élément de SU(2) sous la forme

\begin{pmatrix}e^{i\,\xi_1}\sin\eta & e^{i\,\xi_2}\cos\eta \\ -e^{-i\,\xi_2}\cos\eta & e^{-i\,\xi_1}\sin\eta\end{pmatrix}.

Une autre façon d'énoncer ce résultat est d'exprimer la représentation matricielle d'un élément de SU(2) comme combinaison linéaire de matrices de Pauli : on voit qu'un élément arbitraire U \in SU(2) peut s'écrire comme U=\alpha_0 I + \sum_{i=1}^3\alpha_i J_i  ; la condition que le déterminant de U soit +1 implique que les coefficients αi soient contraints d'appartenir à une 3-sphère.

En littérature

Dans Flatland (Abbott,1884) et dans Sphereland (une suite de Flatland due à Dionys Burger, 1965), la 3-sphère est nommée oversphère et une mention est faite de la 4-sphère sous le nom d'hypersphère. Dans le American Journal of Physics[4], Mark A. Peterson décrit trois méthodes différentes de visualisation de la 3-sphère, et montre que certaines tournures de langage de la Divine Comédie peuvent suggérer que Dante se représentait l'Univers de la même façon.

Notes et références

  1. ↑ Voir (en anglais) l'article chirurgie de Dehn(en)
  2. ↑ La seule autre sphère possédant une telle structure est le cercle
  3. ↑ Pour une discussion plus générale du nombre de champs de vecteurs linéairement indépendants sur la n-sphère, voir l'article anglais champs de vecteurs sur les sphères(en)
  4. ↑ Mark A. Peterson, "Dante and the 3-sphere"(en)

Voir aussi

Liens externes

Sur le site de Eric Wesstein, Mathworld ; Hypersphère(en) (attention, cet article appelle n-sphère la sphère de l'espace à n dimensions ; notre 3-sphère y est donc appelé la 4-sphère)


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • sphère — [ sfɛr ] n. f. • 1509; espere mil. XIIe; d ab. t. d astron.; lat. sphæra, gr. sphaira 1 ♦ Surface fermée dont tous les points sont situés à égale distance d un point donné; solide délimité par cette surface (⇒ 1. balle, 1. bille, boule). Centre,… …   Encyclopédie Universelle

  • Sphere de Dyson — Sphère de Dyson Pour les articles homonymes, voir Sphère (homonymie) et Dyson (homonymie). Diagramme d’une coquille de Dyson d’une unit …   Wikipédia en Français

  • Sphère de dyson — Pour les articles homonymes, voir Sphère (homonymie) et Dyson (homonymie). Diagramme d’une coquille de Dyson d’une unit …   Wikipédia en Français

  • Sphere — Sphère Pour les articles homonymes, voir Sphère (homonymie). Une sphère dans un espace euclidien En géométrie euclidienne, une sphère es …   Wikipédia en Français

  • Sphere celeste — Sphère céleste Pour les articles homonymes, voir Céleste (homonymie). La sphère céleste est une sphère imaginaire de rayon quelconque et dont le centre est occupé par la Terre. Ce concept astronomique, hérité de l Antiquité et du géocentrisme,… …   Wikipédia en Français

  • Sphère cornue d'Alexander — En mathématiques, et plus précisément en topologie, la sphère cornue d Alexander est un célèbre exemple de surface pathologique ; elle fut découverte en 1923 par J. W. Alexander. Sommaire …   Wikipédia en Français

  • Sphere (program) — Sphere is a cross platform, open source computer program designed primarily to make role playing games (RPGs) similar to those found on the SNES and Sega Genesis consoles. Sphere was originally coded by Chad Austin. When making a game with Sphere …   Wikipedia

  • sphere — SPHERE. s. f. Terme de Geometrie. Corps solide dont toutes les lignes tirées du centre à la circonference sont esgales. Sphere, se prend plus ordinairement pour Une espece de machine ronde & mobile, composée des divers cercles qui representent… …   Dictionnaire de l'Académie française

  • Sphere de Hill — Sphère de Hill En astronomie, la sphère de Hill d un corps en orbite autour d un autre, plus massif, est une approximation de la zone d influence gravitationnelle de ce premier corps, c est à dire du volume d espace dans lequel un troisième corps …   Wikipédia en Français

  • Sphere de Riemann — Sphère de Riemann Pour les articles homonymes, voir Sphère (homonymie). En mathématiques, la sphère de Riemann est une manière de prolonger le plan des nombres complexes avec un point additionnel à l infini, de manière à ce que certaines… …   Wikipédia en Français

  • Sphère de Gauss — Sphère de Riemann Pour les articles homonymes, voir Sphère (homonymie). En mathématiques, la sphère de Riemann est une manière de prolonger le plan des nombres complexes avec un point additionnel à l infini, de manière à ce que certaines… …   Wikipédia en Français

Share the article and excerpts

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