Sphère unité

Trois exemples de sphères unité dans le plan, pour différentes normes ${\lVert x\rVert }_{\alpha }$.

En mathématiques, une sphère unité est une sphère de rayon 1, c'est-à-dire l'ensemble des points situés à une distance euclidienne 1 d'un point central dans l'espace tridimensionnel. Plus généralement, une n-sphère unité est une sphère de rayon 1 dans l'espace euclidien de dimension $(n+1)$. Le cercle unité est un cas particulier de sphère unité dans le plan. Une boule unité (ouverte) est la région à l'intérieur d'une sphère unité, c'est-à-dire l'ensemble des points distants de moins de 1 du point central.

Une sphère (ou une boule) de rayon 1 et ayant son centre à l'origine de l'espace est appelée la « sphère unité » (ou la « boule unité »). Toute sphère arbitraire peut être transformée en sphère unité par la combinaison d'une translation et d'une mise à l'échelle, de sorte que l'étude des sphères en général peut souvent être réduite à l'étude de la sphère unité.

La sphère unité est souvent utilisée comme modèle en géométrie sphérique car elle a une courbure sectionnelle constante de 1, ce qui simplifie les calculs. En trigonométrie, la longueur d'un arc de cercle sur le cercle unité est le radian, qui est utilisée pour mesurer la distance angulaire. En trigonométrie sphérique, la mesure d'une aire sur la sphère unité est le stéradian, qui est utilisée pour mesurer les angles solides.

Dans un contexte plus général, une sphère unité est l'ensemble des points situés à une distance 1 d'un point central fixe, pour une norme donnée, cette norme étant utilisée comme définition de la distance. De même, une boule unité (ouverte) est la région située à l'intérieur.

Sphères et boules unité dans l'espace euclidien

Dans l'espace euclidien de dimension $n$, la $(n-1)$-sphère unité est l'ensemble de tous les points $(x_{1},...,x_{n})$ qui satisfont l'équation suivante :

$x_{1}^{2}+x_{2}^{2}+...+x_{n}^{2}=1.$

La $n$-boule ouverte unité est l'ensemble de tous les points satisfaisant l'inégalité :

$x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}<1.$

et la $n$-boule fermée unité est l'ensemble de tous les points satisfaisant l'inégalité :

$x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\leq 1.$

Volume et aire

Courbes représentant les volumes (V) et les aires (S) des n-boules unité en fonction de la dimension n.

Dans l'espace de dimension 3, l'équation classique d'une sphère unité est celle d'un ellipsoïde de rayon 1 et sans modification des axes $x$, $y$, ou $z$ :

$x^{2}+y^{2}+z^{2}=1.$

Le volume de la boule unité dans un espace euclidien de dimension $n$ et l'aire de la sphère unité apparaissent dans de nombreuses formules importantes en analyse. Le volume de la $n$-balle unité, que nous désignons par $V_{n},$ peut être exprimé en utilisant la fonction gamma :

$V_{n}={\frac {\pi ^{n/2}}{\Gamma (1+n/2)}}={\begin{cases}{\pi ^{n/2}}/{(n/2)!}&\mathrm {si~} n\geq 0\mathrm {~est~pair} \\[6mu]{2(2\pi )^{(n-1)/2}}/{n!!}&\mathrm {si~} n\geq 0\mathrm {~est~impair,} \end{cases}}$

où $n!!$ est la double factorielle.

L'hypervolume de la $(n-1)$-sphère unité (c'est-à-dire l'« aire » de la frontière de la $n$-boule unité), que l'on note $A_{n-1},$ peut être exprimé comme :

$A_{n-1}=nV_{n}={\frac {n\pi ^{n/2}}{\Gamma (1+n/2)}}={\frac {2\pi ^{n/2}}{\Gamma (n/2)}}={\begin{cases}{2\pi ^{n/2}}/{(n/2-1)!}&\mathrm {si~} n\geq 1\mathrm {~est~pair} \\[6mu]{2(2\pi )^{(n-1)/2}}/{(n-2)!!}&\mathrm {si~} n\geq 1\mathrm {~est~impair} .\end{cases}}$

Par exemple, $A_{0}=2$ est l'« aire » de la frontière de la boule unité en dimension 1 (le segment $[-1,1]\subset \mathbb {R}$), qui compte simplement deux points de la droite réelle. De même, $A_{1}=2\pi$ est l'« aire » de la frontière du disque unité de dimension 2, qui est la circonférence du cercle unité. $A_{2}=4\pi$ est l'aire de la frontière de la boule unité $\{x\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+{z}^{2}\leq 1\}$, qui est l'aire de la sphère unité $\{x\in \mathbb {R} ^{3}\mid x^{2}+y^{2}+z^{2}=1\}$.

Les aires et volumes pour des premières valeurs de $n$ sont donnés dans le tableau suivant (pour $n\geq 2$, les valeurs décimales sont arrondies au quatrième chiffre significatif) :

$n$	$A_{n-1}$ (aire)		$V_{n}$ (volume)
0			$(1/0!)\pi ^{0}$	1
1	$1(2^{1}/1!!)\pi ^{0}$	2	$(2^{1}/1!!)\pi ^{0}$	2
2	$2(1/1!)\pi ^{1}=2\pi$	6,283	$(1/1!)\pi ^{1}=\pi$	3,141
3	$3(2^{2}/3!!)\pi ^{1}=4\pi$	12,57	$(2^{2}/3!!)\pi ^{1}=(4/3)\pi$	4,189
4	$4(1/2!)\pi ^{2}=2\pi ^{2}$	19,74	$(1/2!)\pi ^{2}=(1/2)\pi ^{2}$	4,935
5	$5(2^{3}/5!!)\pi ^{2}=(8/3)\pi ^{2}$	26.32	$(2^{3}/5!!)\pi ^{2}=(8/15)\pi ^{2}$	5,264
6	$6(1/3!)\pi ^{3}=\pi ^{3}$	31,01	$(1/3!)\pi ^{3}=(1/6)\pi ^{3}$	5,168
7	$7(2^{4}/7!!)\pi ^{3}=(16/15)\pi ^{3}$	33,07	$(2^{4}/7!!)\pi ^{3}=(16/105)\pi ^{3}$	4,725
8	$8(1/4!)\pi ^{4}=(1/3)\pi ^{4}$	32,47	$(1/4!)\pi ^{4}=(1/24)\pi ^{4}$	4,059
9	$9(2^{5}/9!!)\pi ^{4}=(32/105)\pi ^{4}$	29,69	$(2^{5}/9!!)\pi ^{4}=(32/945)\pi ^{4}$	3,299
10	$10(1/5!)\pi ^{5}=(1/12)\pi ^{5}$	25,50	$(1/5!)\pi ^{5}=(1/120)\pi ^{5}$	2,550

Les valeurs de $A_{n}$ satisfont la formule de récurrence :

$A_{0}=2$

$A_{1}=2\pi$

$A_{n}={\frac {2\pi }{n-1}}A_{n-2}$ pour $n>1$.

Les valeurs de $V_{n}$ satisfont la formule de récurrence :

$V_{0}=1$

$V_{1}=2$

$V_{n}={\frac {2\pi }{n}}V_{n-2}$ pour $n>1$.

Dimensions à valeur réelle non négatives

La quantité ${\textstyle 2^{-n}V_{n}=\pi ^{n/2}{\big /}\,2^{n}\Gamma {\bigl (}1+{\tfrac {1}{2}}n{\bigr )}}$ pour les valeurs réelles non négatives de la dimension $n$ est parfois utilisée pour normaliser la mesure de Hausdorff.

Autres rayons

L'aire d'une sphère de rayon $r$ en dimension $n$ est égale à $A_{n-1}r^{n-1}$. Le volume d'une boule de rayon $r$ en dimension $n$ est égale à $V_{n}r^{n}.$ Par exemple, pour $n=3$, l'aire et le volume d'une boule sont respectivement $A_{2}=4\pi r^{2}$ et $V_{3}={\tfrac {4}{3}}\pi r^{3}$.

Boules unité dans un espace vectoriel normé

La boule unité ouverte d'un espace vectoriel normé $V$, dont la norme est notée $\|\cdot \|$, est donné par :

$\{x\in V\mid \|x\|<1\},$

qui est l'intérieur topologique de la boule unité fermée de $(V,\|\cdot \|)$ :

$\{x\in V\mid \|x\|\leq 1\}$

Cette dernière est l'union disjointe de la boule unité ouverte et de leur frontière commune, qui est la sphère unité de $(V,\|\cdot \|)$ définie par :

$\{x\in V\mid \|x\|=1\}.$

La « forme » de la boule unité dépend entièrement de la norme choisie. Elle peut très bien avoir des « coins », et par exemple ressembler à $[-1,1]^{n}$ dans le cas de la norme maximale de $\mathbb {R} ^{n}$. On obtient une boule « naturellement ronde » si l'on utilise la norme habituelle de l'espace de Hilbert, basée, dans le cas de dimensions finies, sur la distance euclidienne. Sa frontière est ce que l'on entend habituellement par la sphère unité.

Soit $x=(x_{1},...x_{n})\in \mathbb {R} ^{n}$. Définissons la norme $p$ habituelle pour $p\geq 1$ comme :

$\|x\|_{p}={\biggl (}\sum _{k=1}^{n}|x_{k}|^{p}{\biggr )}^{1/p}.$

Avec cette définition, $\|x\|_{2}$ est la norme habituelle de l'espace de Hilbert. $\|x\|_{1}$ est appelée la norme de Hamming, ou norme $1$. La condition $p\geq 1$ est nécessaire dans la définition de la norme $p$, car la boule unité dans tout espace normé doit être convexe en raison de l'inégalité triangulaire. Désignons par $\|x\|_{\infty }$ la norme infinie (norme $\infty$) de $x$.

Notons que dans le cas de la boules unité bidimensionnelle, les circonférences unidimensionnelles $C_{p}$ sont données par :

$C_{1}=4{\sqrt {2}}$ est la valeur minimale.

$C_{2}=2\pi$

$C_{\infty }=8$ est la valeur maximale.

Espaces métriques

Les définitions données ci-dessus pour la boule ouverte, la boule fermée et la sphère peuvent être directement généralisées à tout espace métrique, par rapport à une origine choisie. Cependant, les considérations topologiques (intérieur, frontière, fermeture) ne doivent pas nécessairement s'appliquer de la même manière (par exemple, dans les espaces ultramétriques, les trois sont simultanément des ensembles ouverts et fermés) et la sphère unité peut même être vide dans certains espaces métriques.

Formes quadratiques

Si $V$ est un espace vectoriel munie d'une forme quadratique réelle $F:V\to \mathbb {R} ,$ alors l'ensemble $\{p\in V\mid F(p)=1\}$ peut être appelée sphère unité ou hyperboloïde unité de $V$. Par exemple, la forme quadratique $x^{2}-y^{2}$, lorsqu'elle est égale à 1, produit l'hyperbole unité, qui joue le rôle de « cercle unité » dans le plan des nombres complexes déployés. De même, la forme quadratique $x^{2}$ produit une paire de lignes pour la sphère unité dans le plan des nombres duaux.

Voir également

• Boule
• $n$-sphère
• Sphère
• Courbe de Lamé
• Cercle unité
• Disque unité
• Fibré tangent unitaire
• Carré unité

Notes et références

Notes

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Unit sphere » (voir la liste des auteurs).

Bibliographie

• Mahlon M. Day (1958) Espaces linéaires normés, page 24, Springer-Verlag.
• Deza, E. ; Deza, M. (2006), Dictionary of Distances, Elsevier, (ISBN 0-444-52087-2). Révisé dans Newsletter of the European Mathematical Society 64 (juin 2007), p. 57. Ce livre est organisé comme une liste de distances de nombreux types, chacune avec une brève description.