# Algèbre géométrique conforme

L’algèbre géométrique conforme est un modèle mathématique de l'espace, établissant une correspondance injective entre l'espace euclidien de dimension $n$ et une algèbre géométrique de dimension $n+2$, telle que l'image de tout point est un vecteur nul et telle qu'il existe un vecteur nul avec lequel l'image de tout point donne un produit intérieur égal à un.
${\begin{array}{c}F(\mathbf {x} )^{2}=0\\F(\mathbf {x} )\cdot \infty =1\\\infty ^{2}=0\end{array}}$

## Définitions
### Plan de Minkowski

L'algèbre géométrique conforme ajoute à l'espace euclidien deux dimensions dotées d'une métrique pseudo-euclidienne $(-,+)$. Cet espace est appelé plan de Minkowskii.
Deux vecteurs nuls de cet espace sont choisis. Ils sont notés $(o,\infty )$ et appelés respectivement origine et horizon. Ils sont choisis afin de satisfaire les relations suivantes:
${\begin{array}{c}o^{2}=\infty ^{2}=0\\o\cdot \infty =\infty \cdot o=1\end{array}}$
Il peut être montré que $(o,\infty )$ forment une base du plan de Minkowski. Cette base est appelée base nulle.
Le produit extérieur de l'horizon et de l'origine forme le pseudo-scalaire du plan de Minkowski. Il est noté avec un E majuscule.
$\infty \wedge o=E$
La convention $E=o\wedge \infty$ existe aussi mais ne sera pas utilisée dans cet article.

### Découpage conforme

L'algèbre géométrique conforme découpe une algèbre géométrique de dimension vectorielle $n+2$ en deux sous espaces : le plan de Minkowski et un espace de dimension $n$ visant à représenter un espace euclidien.
Il existe au moins deux méthodes de découpe.

#### Découpage additif

Le découpage additif utilise une somme directe:
$\mathbb {R} ^{n+1,1}=\mathbb {R} ^{n}\oplus \mathbb {R} ^{1,1}$
Un vecteur $x$ de $\mathbb {R} ^{n+1,1}$ s'écrit donc:
    $x=F(\mathbf {x} )=\mathbf {x} +\alpha o+\beta \infty$
Les coefficients $\alpha ,\beta$ sont les coordonnées de $x$ dans le plan de Minkowski. Ils dépendent de $\mathbf {x}$ de manière que $F(\mathbf {x} )$ satisfasse les relations définissant le modèle conforme.

#### Découpage multiplicatif

Le découpage multiplicatif consiste en un produit direct:
${\mathcal {G}}_{n+1,1}={\mathcal {G}}_{n}\otimes {\mathcal {G}}_{1,1}$
Ici ${\mathcal {G}}_{n}$ est en fait l'espace des trivecteurs ayant pour facteur commun le bivecteur E.
    $\rho \mathbf {x} =x\wedge E$
Le facteur de linéarité $\rho$ est à déterminer en tenant compte des conditions du modèle conforme.

## Propriétés
### Plan de Minkowski
#### Carré du pseudo-scalaire

Le carré du pseudo-scalaire du plan de Minkowski est égal à un.
$E^{2}=1$
${\begin{aligned}E^{2}=&(\infty \wedge o)(\infty \wedge o)\\=&-(o\wedge \infty )(\infty \wedge o)\\=&-(o\infty -o\cdot \infty )(\infty o-\infty \cdot o)\\=&-(o\infty -1)(\infty o-1)\\=&(1-o\infty )(\infty o-1)\\=&\infty o-1-o\infty \infty o+o\infty \\=&\infty o+o\infty -1\\=&2\infty \cdot o-1\\=&2-1\\=&1\end{aligned}}$

#### Absorption par la base nulle

Dans le plan de Minkowski, la multiplication par E agit sur l'origine et l'horizon en changeant ou non leur signe selon le sens de la multiplication.
${\begin{array}{c}E\infty =-\infty E=\infty \\oE=-Eo=o\end{array}}$
${\begin{aligned}E\infty =&(\infty \wedge o)\infty \\=&-(o\wedge \infty )\infty \\=&-(o\infty -o\cdot \infty )\infty \\=&(o\cdot \infty -o\infty )\infty \\=&(1-o\infty )\infty \\=&\infty -o\infty ^{2}\\=&\infty \end{aligned}}$
Les autres relations se démontrent de manière similaire.

### Expression de F
#### Découpage additif

Avec le découpage additif, l'expression explicite de F s'écrit:
$F(\mathbf {x} )=o+\mathbf {x} -{\frac {1}{2}}\mathbf {x} ^{2}\infty$
Comme vu précédemment: $F(\mathbf {x} )=\mathbf {x} +\alpha o+\beta \infty$
On cherche à déterminer $\alpha$ et $\beta$ afin de satisfaire $F(\mathbf {x} )^{2}=0$ et $F(\mathbf {x} )\cdot \infty =1$.
On a:
    ${\begin{aligned}F(\mathbf {x} )^{2}=&(\mathbf {x} +\alpha o+\beta \infty )(\mathbf {x} +\alpha o+\beta \infty )\\=&\mathbf {x} ^{2}+\alpha \beta o\infty +\alpha \beta \infty o\\=&\mathbf {x} ^{2}+2\alpha \beta o\cdot \infty \\=&\mathbf {x} ^{2}+2\alpha \beta \end{aligned}}$
Donc $F(\mathbf {x} )^{2}=0$ implique $\alpha \beta =-{\frac {1}{2}}\mathbf {x} ^{2}$
La condition $F(\mathbf {x} )\cdot \infty =1$ implique quant à elle immédiatement $\alpha =1$
Donc $\beta =-{\frac {1}{2}}\mathbf {x} ^{2}$

#### Découpage multiplicatif

Pour le découpage multiplicatif, F s'écrit:
$F(\mathbf {x} )=(o+\mathbf {x} +{\frac {1}{2}}\mathbf {x} ^{2}\infty )E=o+\mathbf {x} E-{\frac {1}{2}}\mathbf {x} ^{2}\infty$
On a tout d'abord:
    $F(\mathbf {x} )=x=xE^{2}=(x\wedge E+x\cdot E)E$
D'où
    $x^{2}=xx^{\dagger }=(x\wedge E+x\cdot E)EE(E\wedge x+x\cdot E)=-(x\wedge E+x\cdot E)(x\wedge E-x\cdot E)=(x\cdot E)^{2}-(x\wedge E)^{2}$
Comme par ailleurs $x^{2}=0$, il vient:
    $(x\cdot E)^{2}=(x\wedge E)^{2}=\mathbf {x} ^{2}$
Or
    $(x\cdot E)^{2}=(x\cdot (\infty \wedge o))^{2}=(x\cdot \infty \,o-\infty \,x\cdot o)^{2}=(o-\infty \,x\cdot o)^{2}=-x\cdot o(o\infty +\infty o)=-2x\cdot o$
Donc
    $x\cdot o=-{\frac {1}{2}}\mathbf {x} ^{2}$
Et donc
    $x\cdot E=o-\infty \,x\cdot o=o+{\frac {1}{2}}\mathbf {x} ^{2}\infty$
ce qui donne
    $xE=x\wedge E+x\cdot E=\mathbf {x} +{\frac {1}{2}}\mathbf {x} ^{2}\infty +o$
et enfin, en multipliant par E:
    $x=(\mathbf {x} +{\frac {1}{2}}\mathbf {x} ^{2}\infty +o)E$

### Produit intérieur et norme euclidienne

Le carré de la distance euclidienne est l'opposé du double du produit intérieur.
$\|\mathbf {y} -\mathbf {x} \|^{2}=-2F(\mathbf {x} )\cdot F(\mathbf {y} )$
Pour le découpage additif:
    ${\begin{aligned}2F(\mathbf {x} )\cdot F(\mathbf {y} )=&(o+\mathbf {x} -{\frac {1}{2}}\mathbf {x} ^{2}\infty )(o+\mathbf {y} -{\frac {1}{2}}\mathbf {y} ^{2}\infty )+(o+\mathbf {y} -{\frac {1}{2}}\mathbf {y} ^{2}\infty )(o+\mathbf {x} -{\frac {1}{2}}\mathbf {x} ^{2}\infty )\\=&-{\frac {1}{2}}\mathbf {y} ^{2}-{\frac {1}{2}}\mathbf {x} ^{2}+\mathbf {xy} -{\frac {1}{2}}\mathbf {x} ^{2}-{\frac {1}{2}}\mathbf {y} ^{2}+\mathbf {yx} \\=&-(\mathbf {x} ^{2}-\mathbf {xy} -\mathbf {yx} +\mathbf {y} ^{2})\\=&-(\mathbf {x} -\mathbf {y} )^{2}\\=&-\|\mathbf {x} -\mathbf {y} \|^{2}\end{aligned}}$
Pour le découpage multiplicatif: