Répondre à la discussion
Affichage des résultats 1 à 7 sur 7

Espace Dual



  1. #1
    Ergamen

    Lightbulb Espace Dual


    ------

    Bonjour a tous,

    Je suis dans mes révisions, et suis tombé sur un exercice concernant la dualité, sur les bases et applications...

    On note par une étoile " * " la dualité

    Soit f : E --> F une application linéaire entre espaces vectoriels de dimension finies sur le corps k. On note que pour L apprtenant a E*, on a L = 0 ssi L(u) = 0 pour tout u appartenant a E. Par la dualité E =(E*)*, pour u appartenant a E, u = 0 ssi l(u)=0 pour tout L appartenant a E*

    (a) Montrer que (f*)* = f

    (b) Montrer que f et f* ont même rang.

    (c) Montrer que ker(f*) = (Im(f)) orthogonal et que ker(f) = im(f*) orthogonal

    Et donc j'ai relu mes cours et d'autres sur internet, mais je ne vois vraiment pas comment exploiter le dual d'une application, est ce que, déjà si f : E --> F alors f* : E* --> F* ? Mais même après je ne vois vraiment pas comment réussir a montrer cela...

    Quelques conseils seraient les bienvenues ! Merci a tous

    -----

  2. Publicité
  3. #2
    doudache

    Re : Espace Dual

    Salut !

    Si tu as une application f de E vers F, son dual f* se définit par


    Donc c'est une application de F* vers E*. Ensuite il faut faire attention : dire que f** = f, ça n'a pas de sens : ce n'est vrai que du moment que tu identifies E** à E. Tu verras alors que c'est facile (remarque que matriciellement, ça se traduit par , une fois que tu as choisi des bases de E,F et de leurs duals).

    Maintenant que tu sais ça, je te laisse réflechir au reste.

  4. #3
    modulaire

    Re : Espace Dual

    Bon, juste pour le départ: si f envoie E dans F, f* envoie F* dans E*: Si h est une forme linéaire sur F, par définition f*(h)= hof (o= composition), est une forme linéaire sur E.
    Pour la suite, tu dois penser à l'isomorphisme de E et E*; d'aprés ce que comprends, tu dois voir cela en choisissant une base de E et le base duale de E* (pareil pour F et F*)

    Edit: grillé par Doudache (Aaargh, c'est la deuxième fois aujourd'hui)
    Gentlemen: there's lots of rooms left in Hilbert space (S. Mac Lane)

  5. #4
    rvz

    Re : Espace Dual

    Citation Envoyé par Ergamen
    (...)
    Bonjour,

    Tout d'abord, pour fixer les choses, je rappelle que l'espace dual de E, noté E*, ou E', c'est l'ensemble des applications linéaires de E dans R. (ou C, enfin dans k = corps de base de l'ev).
    Soit donc f dans E*. Par définition, f est une application linéaire de E dans R.
    Maintenant si je prends L: E -> F, avec E et F 2 R ev de dimension finie, et si je prends un g dans F*, comment puis je lui associer un élément de E* ?
    En prenant f(x) = g(L(x)) pour tout x de E. En général, on note alors f = L* (g), puisque bien entendu cette correspondance définit une application linéaire entre F* et E*. Donc L*: F*-> E*.
    Maintenant, que vaut K = (L*)* ? Bien sûr, K est une application linéaire de E** = E dans F** = F. De plus, pour tout x dans E=E**, Kx est un élément de (F*)* qui satisfait que pour tout f dans F*, Kx(f)=f(Lx), ce qui par l'identification canonique du bidual,, montre bien que Kx = Lx .

    Je te laisse réfléchir plus longuement aux autres points.

    __
    rvz

  6. A voir en vidéo sur Futura
  7. #5
    Ergamen

    Re : Espace Dual

    Merci a tous, pour vos réponses, elles m'ont pas mal éclaircis

    Par contre dans ta réponse rvz, a la fin, je ne vois pas trop comment on arrive au fait que pour tout x dans E=E**, Kx est un élément de (F*)* qui satisfait que pour tout f dans F*, Kx(f)=f(Lx) ?


  8. #6
    rvz

    Re : Espace Dual

    Ba, c'est la définition de L**, car L*f= f(L).

    C'est vraiment le point clé d'ailleurs, alors réfléchis-y calmement, jusqu'à en être convaincu.

    __
    rvz

  9. Publicité
  10. #7
    Ergamen

    Re : Espace Dual

    oui c'est bon je m'en suis convaincu, enfin je pense mais pourquoi l'égalité Kx(f)=f(Lx), pitète que j'ai pas compris final'ment mais Kx aparttient de F** et Lx ?
    il appartient a L** ?

Discussions similaires

  1. Topologie : espace separable et espace separé
    Par Moloch57 dans le forum Mathématiques du supérieur
    Réponses: 26
    Dernier message: 03/02/2009, 21h43
  2. Espace vectoriel dual
    Par Bleyblue dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 20/11/2007, 17h42
  3. espace-temps et espace affine
    Par Petithassane dans le forum Archives
    Réponses: 4
    Dernier message: 17/06/2007, 01h00
  4. Dual de dual ?
    Par Latouffe dans le forum Mathématiques du supérieur
    Réponses: 20
    Dernier message: 21/08/2006, 16h11
  5. dual et espace quotient
    Par MATHIX dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 05/04/2006, 20h37