à Espaces vectoriels sur un corps K :

Système libre : Þ " iÎ [[1,n]], l i=0

un système est lié Û un de ces éléments est une c.l. des autres

Vect (A) : ens des c.l. de A

L’intersection de 2 ss ev est un ss ev

F1, F2 2 ss ev : l’ens. {x1+x2, (x1,x2)Î F1xF2} est un ss ev de E

2 ss ev sont supplémentaires si F1Ç F2={0} et F1 Å F2=E

un système est générateur de E si " xÎ E, x est c.l. du système.

Un système libre et générateur est une base.

Toutes les bases d’un même ev ont le même nombre d’éléments.

Si S est libre et p=n Þ S est une base

Th. : On peut toujours compléter un système libre en une base.

FÌ G (2 ss ev) et dim(F)=dim(G) Þ F=G

Grassmann : F et G 2 ss ev de dim finie alors F+G est de dim finie et dim(F+G)=dim(F)+dim(G)-dim(FÇ G)

FÇ G={0} F+G=E dim(F)+dim(G)=dim (E)

2 de ces 3 propriétés suffisent pour que F Å G=E

à Applications linéaires : (Ö homomorphismes)

" (x,y)Î E˛, f(x+y)=f(x)+f(y) et " (l ,x)Î KxE, f(l x)=l f(x)

caractérisation : conservation des c.l.

ens : L(E,F)

B base de E de dim n, fÎ L(E,F) alors f inj. Û f(B) libre

f surj. Û f(B) générateur de F

" (f,g)Î (L(E,F))˛, f+gÎ L(E,F) et Im(f+g)Ì Im(f)+Im(g)

Ker(l f)=Ker(f) et Im(l f)=Im(f)

Munie de ses 3 opérations, L(E) est une K-algèbre, non commutative, non intègre (sauf si E de dim finie=0 ou 1)

Groupe GL(E) : ens. des automorphismes.

Ex d’endomorphismes :

les homothéties : hl =l Ide

elles commutent avec tous les endomorphismes.

Les projections : E1, E2 sont 2 ss ev supplémentaires dans E

" xÎ E, $ ! (x1,x2)Î E1xE2 | x=x1+x2

f proj. de x sur E1 parallèlement à E2 alors f(x)=x1 (de même pour x2 sur E2 ...)

Ker(f)=E2 et Im(f)=E1

caract. : pop=p

p et q 2 proj. assoc. Û p+q=Ide et poq=qop=0

caract. : sos=Ide

Th. du rang : dim(E)=dim(Ker(f))+dim(Im(f))

E est un K-ev de dim finie et fÎ L(E) : f inj Û f surj Û f automorphisme.

Forme linéaire : applic. linéaire Eà K avec sa structure d’ev sur lui même

dual : E*=L(E,K)

B=(e1...en) base de E,(l 1,...l n) les coord de x dans B, xà l i sont des formes lin. notées (e1*,...en*)

" (i,j)Î [[1,n]]˛, ei*(ej)=d (i,j)

 


Retour au menu principal