13.07.2015 Views

Cours Algèbre Deuxième année de licence de Mathématiques.

Cours Algèbre Deuxième année de licence de Mathématiques.

Cours Algèbre Deuxième année de licence de Mathématiques.

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.2.3 Transposition :E, F <strong>de</strong>s Kev, u ∈ L(E, F ).on pose t Fu :∗ → E ∗y ∗ ↦→ t u(y ∗ ) = y ∗ ◦ u.C’est la transposée <strong>de</strong> u.Théorème 3.2.14 si u ∈ L(E, F ) alors t u ∈ L(F ∗ , E ∗ )Autre écriture <strong>de</strong> la transposée∀y ∗ ∈ F ∗ ∀x ∈ E ( t u(y ∗ ))(x) = y ∗ (u(x))ie “′′< t u(y ∗ ), x >=< y ∗ , u(x) >Théorème 3.2.15 L’applicationOn l’appelle transposition.L(E, F ) → L(F ∗ , E ∗ ) est linéaireu ↦→ t uProposition 3.2.161) Pour tous u ∈ L(E, F ) , v ∈ L(F, G) t (v ◦ u) = t u ◦ t v.2) t (Id E ) = Id E ∗3) Si u ∈ L(E, F ) est bijective alors t u est bijective et t (u −1 ) = ( t u) −14) Soit u ∈ L(E, F ) alors Ker( t u) = (Im u) ⊥Corollaire 3.2.17 Si u est surjective alors t u est injective.Théorème 3.2.18 ψ E , ψ F les applications canoniques E → E ∗∗ , F → F ∗∗ alors pourtout u ∈ L(E, F ), l’élément t ( t u) ∈ L (E ∗∗ , F ∗∗ ) vérifie t ( t u) ◦ ψ E = ψ F ◦ u3.3 Dualité en dimension finieE, F sont <strong>de</strong>s Kev <strong>de</strong> dimension finie pour tout ce paragraphe.Théorème 3.3.1 dim E = dim E ∗ si E <strong>de</strong> dimension finie.3.3.1 Base duale(e 1 , . . . , e n ) base <strong>de</strong> E.On définit e ∗ i ∈ L(E, K) pare ∗ i (e j ) = δ ij .(e ∗ 1, . . . , e ∗ n) est la base duale <strong>de</strong> (e 1 , . . . , e n ).Proposition 3.3.2 Si E est <strong>de</strong> dimension finie, (E ∗ ) 0 = {0}Théorème 3.3.3 ψ : E → E ∗∗ application canoniqueSi dim E finie alors ψ est un isomorphisme.Théorème 3.3.4 E est un Kev <strong>de</strong> dimension finie. L’application qui a toute base <strong>de</strong> Eassocie sa duale est une bijection <strong>de</strong> l’ensemble <strong>de</strong>s bases <strong>de</strong> E sur l’ensemble <strong>de</strong>s bases<strong>de</strong> E ∗ .10

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!