Colinéarité
En algèbre linéaire, deux vecteurs et d'un espace vectoriel sont colinéaires s'il existe un scalaire tel que ou . Deux vecteurs quelconques d'une droite vectorielle sont colinéaires. Quand elle porte sur un couple de vecteurs, la colinéarité est le contraire de l'indépendance linéaire : deux vecteurs et sont colinéaires si le couple est non libre.
Étymologiquement, colinéaire signifie sur une même ligne : en géométrie classique, deux vecteurs sont colinéaires si on peut en trouver deux représentants situés sur une même droite.
La colinéarité est un outil important en géométrie dans l'enseignement secondaire : un couple de points du plan ou de l'espace définit un vecteur géométrique ; si et (resp et ) sont des points non confondus, les vecteurs et sont colinéaires si et seulement si les droites et sont parallèles. Cette équivalence explique l'importance que prend la colinéarité en géométrie affine.
Exemples
[modifier | modifier le code]En toute dimension, si est le vecteur nul, alors et sont colinéaires pour tout dans , car .
Si est un vecteur non nul de , l'ensemble des vecteurs colinéaires à est la droite .
Dans un espace vectoriel sur le corps F2, deux vecteurs non nuls sont colinéaires si et seulement s'ils sont égaux.
Géométrie affine
[modifier | modifier le code]En géométrie affine, deux vecteurs sont colinéaires si et seulement s'il existe deux représentants de ces vecteurs situés sur une même droite c.-à-d., il existe trois points , , et alignés tels que :
- et
La colinéarité est une notion importante en géométrie affine car elle permet de caractériser
- L'alignement : les points , , et sont alignés si et seulement si les vecteurs et sont colinéaires.
- Le parallélisme de deux droites : les droites et sont parallèles ou confondues si et seulement si les vecteurs et sont colinéaires.
Relation d'équivalence
[modifier | modifier le code]Sur l'ensemble des vecteurs non nuls, la relation de colinéarité est
- réflexive : un vecteur est colinéaire à lui-même
- symétrique : Si un vecteur est colinéaire à un vecteur alors est colinéaire à
- transitive : Si un vecteur est colinéaire à et si est colinéaire à alors est colinéaire à
Ce qui permet de dire que (sur l'ensemble des vecteurs non nuls) la relation de colinéarité est une relation d'équivalence dont les classes d'équivalence forment l'espace projectif associé à l'espace vectoriel.
Calcul en coordonnées
[modifier | modifier le code]Soient deux vecteurs et dans le plan , dont les coordonnées sont et . S'ils sont tous deux non-nuls, la colinéarité des deux vecteurs et se traduit par une relation de proportionnalité entre les couples et . La règle du produit en croix implique : et sont colinéaires si et seulement si .
Cette équivalence peut se généraliser à la dimension supérieure. Soient et deux vecteurs, dont les coordonnées dans une base fixée sont
Alors et sont colinéaires si et seulement si pour tout indice et tout indice .
En dimension trois, deux vecteurs sont colinéaires si et seulement si leur produit vectoriel est nul.
En phylogénie
[modifier | modifier le code]En biologie, on parle de colinéarité lors de l'étude du génome d'organisme et d'établissement d'arbres phylogénétiques. La notion de colinéarité correspond en quelque sorte à la synténie, c'est-à-dire au maintien de l'ordre des gènes entre deux génomes.