Cet article est une ébauche concernant l’algèbre et la géométrie.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
L’algèbre géométrique conforme est un modèle mathématique de l'espace, établissant une correspondance injective[1] entre l'espace euclidien de dimension
et une algèbre géométrique de dimension
, 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.
![{\displaystyle {\begin{array}{c}F(\mathbf {x} )^{2}=0\\F(\mathbf {x} )\cdot \infty =1\\\infty ^{2}=0\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8cfab4d4d4b7989c56b79587d9f1ded56ec76b2)
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
et appelés respectivement origine et horizon. Ils sont choisis afin de satisfaire les relations suivantes[2]:
![{\displaystyle {\begin{array}{c}o^{2}=\infty ^{2}=0\\o\cdot \infty =\infty \cdot o=1\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4be5521fc41c2fa855560b4c99e1fa939c7324a0)
Il peut être montré que
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.
![{\displaystyle \infty \wedge o=E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e3fa250ed368c98b66d4a75a4f2ead5427f01e8)
La convention
existe aussi mais ne sera pas utilisée dans cet article.
Découpage conforme
L'algèbre géométrique conforme découpe[3] une algèbre géométrique de dimension vectorielle
en deux sous espaces : le plan de Minkowski et un espace de dimension
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:
![{\displaystyle \mathbb {R} ^{n+1,1}=\mathbb {R} ^{n}\oplus \mathbb {R} ^{1,1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad666232c25dc0810f150163fdfd61b011a5455c)
Un vecteur
de
s'écrit donc:
![{\displaystyle x=F(\mathbf {x} )=\mathbf {x} +\alpha o+\beta \infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed79c77848e67ffbc6eabd013719b2411e065dee)
Les coefficients
sont les coordonnées de
dans le plan de Minkowski. Ils dépendent de
de manière que
satisfasse les relations définissant le modèle conforme.
Découpage multiplicatif
Le découpage multiplicatif consiste en un produit direct:
![{\displaystyle {\mathcal {G}}_{n+1,1}={\mathcal {G}}_{n}\otimes {\mathcal {G}}_{1,1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af7e3520a269bfe555dd8907f41be1cc7d981644)
Ici
est en fait l'espace des trivecteurs ayant pour facteur commun le bivecteur E.
![{\displaystyle \rho \mathbf {x} =x\wedge E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fef4e33bce0d810a33bab8159588f4d5e080242)
Le facteur de linéarité
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.
![{\displaystyle E^{2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33a1e06a83eaaf2c3f576e09a7f996cc46dca1fd)
Démonstration
∎
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.
![{\displaystyle {\begin{array}{c}E\infty =-\infty E=\infty \\oE=-Eo=o\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9916d0a39fbe3cacc4bb0829259eb9d7df4dbac6)
Démonstration
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[4]:
![{\displaystyle F(\mathbf {x} )=o+\mathbf {x} -{\frac {1}{2}}\mathbf {x} ^{2}\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9173f5cb1e9b97be10208cd7fd944dcdc83b37d0)
Découpage multiplicatif
Pour le découpage multiplicatif, F s'écrit:
![{\displaystyle 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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/54ef72f667f97715e44d0dff076e10ed7624c2f0)
Démonstration
On a tout d'abord:
![{\displaystyle F(\mathbf {x} )=x=xE^{2}=(x\wedge E+x\cdot E)E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1026ef0ce66e5d0b2e64383fe16cdab97fa50f21)
D'où
![{\displaystyle 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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf03d73778782de293d569f03b67178b4fa54a0c)
Comme par ailleurs
, il vient:
![{\displaystyle (x\cdot E)^{2}=(x\wedge E)^{2}=\mathbf {x} ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76255d3aaec0a5c5ad72eebc1f3fe3c0278ac3d3)
Or
![{\displaystyle (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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d91bc32d20eaecff7aec5f6093a473292010d19)
Donc
![{\displaystyle x\cdot o=-{\frac {1}{2}}\mathbf {x} ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbfe1b5604aedfcdbf8868af6aecd3eac2761193)
Et donc
![{\displaystyle x\cdot E=o-\infty \,x\cdot o=o+{\frac {1}{2}}\mathbf {x} ^{2}\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a07613430df23421e74a137cd3233fd942308be)
ce qui donne
![{\displaystyle xE=x\wedge E+x\cdot E=\mathbf {x} +{\frac {1}{2}}\mathbf {x} ^{2}\infty +o}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b67acb0f8d2cd4798085cf8dd2ec6eaf3bf0746)
et enfin, en multipliant par E:
![{\displaystyle x=(\mathbf {x} +{\frac {1}{2}}\mathbf {x} ^{2}\infty +o)E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a15530d4ba4e403c0d3689eb15f14754a59b986)
Produit intérieur et norme euclidienne
Le carré de la distance euclidienne est l'opposé du double du produit intérieur.
![{\displaystyle \|\mathbf {y} -\mathbf {x} \|^{2}=-2F(\mathbf {x} )\cdot F(\mathbf {y} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ef0888ebc9b5ee79871a1a49210e00f440fec36)
Démonstration
Pour le découpage additif:
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f084f4149fc7dfc313e6366abb38829fb7a2eaf)
Pour le découpage multiplicatif:
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Voir aussi
Liens externes
- (en) Old Wine in New Bottles: A new algebraic framework for computational geometry[PDF], David Hestenes
Notes et références
- ↑ Il est choisi ici de stipuler le caractère injectif de la correspondance pour éviter d'inclure le cas trivial
. - ↑ Il existe plusieurs manières de définir l'origine et l'horizon, ainsi que différentes notations. Certains ouvrages utilisent notamment une convention différente pour la valeur du produit scalaire :
. Ces différentes conventions ne changent pas fondamentalement les propriétés algébriques de l'algèbre géométrique conforme, et peuvent être assimilées à des divergences dans le choix des unités. - ↑ Ici le mot découpage et ses substantifs ont été choisis pour traduire le terme anglais split dans l'expression de Hestenes conformal split
- ↑ Certaines sources utilisent la formule
. La différence de signe semble être liée au choix différent pour le signe du produit scalaire entre l'origine et l'horizon.
Portail de l’algèbre
Portail de la géométrie