Axiomes de plans projectifs/barycentriques
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article ou cette section doit être recyclé.
Une réorganisation et une clarification du contenu est nécessaire. Discutez des points à améliorer en page de discussion.
|
La notion de plan projectif barycentrique (PPB) est facile à imaginer intuitivement. Elle se définit à partir de la notion de barycentre dans un plan très ordinaire auquel on rajoute des points, appelés de manière imagée et arbitraire points à l'infini.
Sommaire |
[modifier] Axiomes d'un plan projectif barycentrique.
Soit un corps commutatif K; soit le sous-ensemble I de K^3 formé des triplets ordonnés (X, Y, Z) tels que X+Y+Z=0 et X, Y, Z non tous trois nuls.
- Dans I on définit une relation d'équivalence R, telle que, si k est un scalaire non-nul de K et V et W sont deux élements de I , alors W = k*V.
- Soit I/R l'ensemble-quotient de l'ensemble I par cette relation d'équivalence.
- Soit un plan affine dans lequel on distingue trois points non-alignés appelés points de base.
- Un plan projectif barycentrique (PPB) est l'union de deux ensembles:
- l'ensemble des points du plan affine et
- l'ensemble-quotient I/R.
- Les éléments de cet ensemble sont appelés points.
[modifier] Théorème : un plan projectif barycentrique peut toujours engendrer au moins un plan projectif homogène.
[modifier] Démonstration
Elle se fait en plusieurs étapes
[modifier] Partitionner l’espace vectoriel de départ
Prenons l’espace vectoriel K^3. On peut le partitionner en trois parties :
- N, l’ensemble des vecteurs dont la somme X+Y+Z des composantes X,Y,Z est non-nulle.
- J, l’ensemble des vecteurs non-nuls dont la somme X+Y+Z des composantes X,Y,Z est nulle.
- l’ensemble à un élément qui est le vecteur nul (O,O,O).
[modifier] Définir un plan projectif homogène
Conformément à la définition d’un plan projectif homogène (voir Axiomes de plans projectifs/homogènes) bâtissons à partir de K^3 un plan projectif homogène, c’est-à-dire l'ensemble-quotient d'un ensemble E par une relation d'équivalence S,
- l'ensemble E étant un l’espace vectoriel K^3, privé du vecteur nul (0,0,0).
- la relation S étant telle que, si k est un élément non-nul de K et V et W sont deux vecteurs non-nuls de E, alors W = kV.
- On appelle "point" une des classes d'équivalence, représentée par (x,y,z).
[modifier] Vérifier l’isomorphisme des deux ensembles
[modifier] Bijection des points du plan affine
Il est facile de vérifier qu’à chacun des points du plan affine on peut associer des coordonnées barycentriques (X’, Y’, Z’) selon les trois points de base avec X’+Y’+Z’ non-nulle, on peut lui faire correspondre un point du plan homogène de représentant (x,y,z) tels que X’=kx, Y’=ky, Z’=kz, k étant un scalaire non-nul du corps K. Et réciproquement.
[modifier] Bijection des points supplémentaires=
A chaque point de l'ensemble-quotient I/R on peut associer un point de l'ensemble-quotient J/S tels que leurs coordonnées soient proportionnelles selon k, , k étant un scalaire non-nul du corps K. Et réciproquement.
[modifier] Bijection globale
En fait l'ensemble des points du plan affine et l'ensemble-quotient I/R forment une partition du plan barycentrique. De même l’ensemble l'ensemble-quotient N/S et l'ensemble-quotient J/S forment une partition du plan homogène. Comme nous avons démontré une correspondance bijective pour chacun des couples des partitions, cela démontre la correspondance bijective entre les deux plans.
[modifier] Réciproque ?
Remarquons que la réciproque n’est pas démontrée. Si un plan est projectif homogène, peut-il toujours engendrer au moins un plan projectif barycentrique ?
[modifier] Droites et incidence
Les points du plan projectif barycentrique étant définis, on peut définir ainsi certaines parties de ce plan
[modifier] Définition d’une droite
Une droite du plan projectif barycentrique est l’union de
- une droite du plan affine de départ, qui contient au moins 2 points, de coordonnées barycentriques V’=(X’, Y’, Z’) et V’’(X’’, Y’’, Z’’)
- un point de l'ensemble-quotient I/R, de représentant v=(x,y,z) tels que le déterminant |V’, V’’,v| soit nul.
[modifier] Notation d’une droite du plan projectif barycentrique
Une droite d est notée (a, b, c), ces nombres étant des scalaires du corps K, la notation (0,0,0) étant interdite. En revanche les droites avec a+b+c=0 sont censées exister. La notation (ka, kb, kc), k étant un scalaire non-nul de K, désigne la même droite que (a,b,c).
[modifier] Incidence entre droite et point
Un "point" et une "droite" sont incidents lorsque ax+by+cz=0.
- Les points de l'ensemble-quotient I/R sont tous incidents à la droite (a,a,a) équivalente à (1,1,1) appelée de manière imagée et arbitraire droite de l'infini. En revanche aucun point du plan affine de départ n’est incident à cette droite (a,a,a). Aucun point de l'ensemble-quotient I/R n’est barycentre des trois points de base affectés de quelques coefficients que ce soit.
[modifier] Voir aussi
- Axiomes de plans projectifs
- Livre dans lequel ces coordonnées barycentriques sont exploitées : La géométrie du triangle, Yvonne et René Sortais, Hermann, Paris, 1987.
- et un peu noyées dans le reste : Géométrie algébrique plane, François Meyer et Jules Molk, Editions Jacques Gabay, Sceaux, 1992.
