Applications linéaires
Un article de Wiki SILLAGES.
Ce résumé est basé sur le programme de mathématiques de première année des classes préparatoires aux grandes écoles économiques et commerciales, voie scientifique (ECS1). Un résumé complet du programme de mathématiques ECS1 est proposé sur la Plate-forme SILLAGES.
Définition
Soient
et
deux espaces vectoriels. Une application
de
dans
est linéaire (ou est un homomorphisme) si :
Un endomorphisme de
est une application linéaire de
dans
.
Un isomorphisme de
dans
est une application linéaire bijective de
dans
.
Un automorphisme de
est un endomorphisme bijectif de
.
Opérations sur les applications linéaires
La somme de deux applications linéaires est linéaire.
Le produit d’une application linéaire par un scalaire est linéaire.
L’ensemble
des applications linéaires de
dans
et l’ensemble
des endomorphismes de
munis de ces deux opérations sont des espaces vectoriels.
La composée de deux applications linéaires est linéaire.
La réciproque d’une application linéaire bijective est linéaire.
L’ensemble
des automorphismes de
est un groupe.
Propriétés
Si
est une application linéaire de
dans
:
- L’image du vecteur nul
de
est le vecteur nul
de
:
.
- L’image d’une combinaison linéaire de vecteurs de
est la combinaison linéaire de leurs images affectées des mêmes coefficients :
.
- Si
est un sous-espace vectoriel de
, son image
est un sous-espace vectoriel de
.
- Si
est un sous-espace vectoriel de
, son image réciproque
est un sous-espace vectoriel de
.
Noyau d’une application linéaire
Le noyau d'une application linéaire
de
dans
est :
.
C’est un sous-espace vectoriel de
.
L’application
est injective si et seulement si :
.
Image d’une application linéaire
Le noyau d'une application linéaire
de
dans
est :
.
C’est un sous-espace vectoriel de
.
L’application
est surjective si et seulement si :
.
Image d’une famille de vecteurs
Si
est une application linéaire de
dans
:
- L’image d’une famille liée de
est une famille liée de
.
- Si
est injective, l’image d’une famille libre de
est une famille libre de
.
- L’image d’une famille génératrice d’un sous-espace vectoriel
de
est une famille génératrice du sous-espace vectoriel
de
.
- Si
est injective, l’image d’une base d’un sous-espace vectoriel
de
est une base du sous-espace vectoriel
de
.
Forme linéaire
Une forme linéaire sur
est une application linéaire de
dans
.
Si
, le noyau d’une forme linéaire non nulle sur
est un hyperplan (sous-espace vectoriel de dimension
).
Projection
Si
et
sont deux sous-espaces vectoriels supplémentaires de
, alors :
.
La projection
sur
suivant
est définie par :
.
Propriétés :
- C'est un endomorphisme de
.
.
.
.
Projecteur
Un projecteur de
est un endomorphisme de
tel que :
.
Si
est un projecteur de
, alors :
et
sont deux sous-espaces supplémentaires de
.
- p est la projection sur
suivant
.
Symétrie
Si
et
sont deux sous-espaces vectoriels supplémentaires de
, alors :
.
La symétrie
par rapport à
suivant
est définie par :
.
Propriétés :
- C'est un automorphisme de
.
.
.
.
Involution
Un endomorphisme
est involutif si
.
Si
est un endomorphisme involutif, alors
et
sont deux sous-espaces vectoriels supplémentaires de
, et
est la symétrie par rapport à
suivant
.
Théorème du rang (dimensions finies)
Si
et
sont de dimensions finies, et si
est une application linéaire de
dans
, alors :
.
Conséquences :
- Si
est injective :
.
- Si
est surjective :
.
- Si
est bijective (isomorphisme) :
.
- Si
, alors
est bijective si et seulement si
.
- Si
, alors
est bijective si et seulement si
.
Matrice d’une application linéaire en dimension finie
Soit
un espace vectoriel de dimension
, de base
et
un espace vectoriel de dimension
, de base
.
Si
est une application linéaire de
dans
, on appelle matrice de
la matrice
des vecteurs
dans la base
.
Si
est un vecteur de
de matrice
dans la base
, alors le vecteur
a pour matrice
dans la base
.
Réciproquement, toute matrice de
peut s’interpréter comme matrice d’une application linéaire d'un espace vectoriel
de dimension
dans un espace vectoriel
de dimension
.
Opérations sur les matrices
La matrice de
est
.
La matrice de
est
.
La matrice de
est
.
Un endomorphisme est bijectif si et seulement si sa matrice est inversible. La matrice de sa réciproque
est
.
--CatherineLaidebeure 13 juillet 2010 à 15:03 (CEST)
