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

reseau d' ev , modules



  1. #1
    uniclaired

    Question reseau d' ev , modules


    ------

    Bonjour,
    Je bloque sur la première question d'un exercice....
    Voici l'enoncé:
    Soit Rn l'espace vectoriel reel de dimansion n muni du produit scalaire noté ( , ).
    Un reseau de Rn est un sous Z-module libre ayant pour base une R-base de Rn. ( Z = entiers relatifs et R= réels)

    Soit M un reseau de Rn, de base (f1,f2,....,fn). On note M' l'ensemble des vecteurs x de Rn tels que (x,y) soit un entier pour tout y de M.

    la question est : Montrer qu'il existe une unique base (f1',f2',...,fn') telle que ( fi' , fj ) = 0 si i different de j et 1 sinon.

    Merci d'avance pour vos réponses

    -----

  2. Publicité
  3. #2
    God's Breath

    Re : reseau d' ev , modules

    Bonjour,

    Citation Envoyé par uniclaired Voir le message
    Soit Rn l'espace vectoriel reel de dimansion n muni du produit scalaire noté ( , ).
    Je préfèrerais "muni d'un produit scalaire"...

    Citation Envoyé par uniclaired Voir le message
    Montrer qu'il existe une unique base (f1',f2',...,fn') telle que ( fi' , fj ) = 0 si i different de j et 1 sinon.
    Il pourrait être utile de considérer la base duale de .
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  4. #3
    uniclaired

    Re : reseau d' ev , modules

    désolée mais je ne vois pas ou tu veux en venir...

  5. #4
    God's Breath

    Re : reseau d' ev , modules

    Si est la base duale de , alors ...
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

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

    Re : reseau d' ev , modules

    Ok merci je vois.
    Est-ce qu'on peut aussi répondre à cette question en utilisant le théorème de la "base adaptée" vu que M est un sous Z-module de Rn ?

  8. #6
    God's Breath

    Re : reseau d' ev , modules

    Citation Envoyé par uniclaired Voir le message
    Soit M un reseau de Rn, de base (f1,f2,....,fn). On note M' l'ensemble des vecteurs x de Rn tels que (x,y) soit un entier pour tout y de M.

    la question est : Montrer qu'il existe une unique base (f1',f2',...,fn') telle que ( fi' , fj ) = 0 si i different de j et 1 sinon.
    Dans la question, le mot "base" est-il une abréviation de :
    – base de ?
    – base du -module ?
    – base du -module ?
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  9. Publicité
  10. #7
    uniclaired

    Re : reseau d' ev , modules

    c'est base de Rn

  11. #8
    God's Breath

    Re : reseau d' ev , modules

    Je ne pense donc pas qu'il y ait lieu de faire intervenir le réseau M engendré par la base .
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  12. #9
    uniclaired

    Re : reseau d' ev , modules

    ok, merci pour cette précision. c'est vrai qu'avec la base duale on a la réponse de suite.
    Mais comment peut-on en deduire que M' est le reseau de base cette base duale ? Je ne vois pas vraiment comment faire avec le produit scalaire de Rn qui n'est pas bien determiné, c'est un peu flou pour moi....

  13. #10
    God's Breath

    Re : reseau d' ev , modules

    Il me semble que les f'i sont éléments de M'. Il reste à montrer qu'ils engendrent M'.
    Il ne devrait pas être difficile de déterminer (par dualité, on y revient...) la décomposition d'un élément de M' sur les f'i.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  14. #11
    uniclaired

    Re : reseau d' ev , modules

    Bonjour,
    est ce que peux quand meme dire qu'en tant que sous Z module libre de Rn, la base (f1,....,fn) depend de (e1,....,en) (qui est la base canonique de Rn) tel que il existe des ai > 0 et (a1e1,....,anen) = (f1,...,fn) avec ai divisant ai+1 ?
    Dans ce cas on en deduirait la base (f1',.....,fn') et tout le reste plus explicitement non?

  15. #12
    God's Breath

    Re : reseau d' ev , modules

    Citation Envoyé par uniclaired Voir le message
    Un reseau de Rn est un sous Z-module libre ayant pour base une R-base de Rn. ( Z = entiers relatifs et R= réels)

    Soit M un reseau de Rn, de base (f1,f2,....,fn).
    Cette définition ne pose aucune condition sur . Tu ne pourras jamais démontrer que l'on a une forme .

    Place toi dans avec le réseau de base et , et parle-moi de cette base adaptée.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  16. Publicité
  17. #13
    uniclaired

    Re : reseau d' ev , modules

    Bonjour,
    oui merci effectivement , je m'en suis rendue compte peu après t'avoir écris ce message
    Pour prouver que M' est le reseau de base cette base duale, il est
    assez clair que les vecteurs de la base duale appartiennent à M' mais pour montrer que chaque vecteur de M' est engendré par les vecteurs de la base duale, je prend x de Rn , y de M , x= x1e1 +....+xnen (xi dans R et (e1,....,en) base canonique de Rn)
    y = z1f1+.....+znfn (zi dans Z)
    x appartient à M' implique que <x,y> = <(x1e1+....xnen) , (z1f1+.....+znfn)> appartient à Z mais est ce qu'on peut en deduire directement que x est engendré par (f1',...,fn') ?
    Merci.

  18. #14
    God's Breath

    Re : reseau d' ev , modules

    Les bases et de sont duales.
    Tout vecteur se décompose sous la forme , en particulier si ...
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

Discussions similaires

  1. modules et complexes
    Par mimi_49 dans le forum Mathématiques du collège et du lycée
    Réponses: 6
    Dernier message: 17/10/2006, 22h17
  2. modules
    Par LECOEURKIBAT dans le forum Secourisme spécial Croix-Rouge
    Réponses: 0
    Dernier message: 02/09/2005, 22h26
  3. 2 cartes reseau dans un PC en reseau avec un lecteur KISS
    Par project dans le forum Internet - Réseau - Sécurité générale
    Réponses: 1
    Dernier message: 19/07/2004, 22h16
  4. reseau local se branchant sur le reseau electrique
    Par andox dans le forum Électronique
    Réponses: 6
    Dernier message: 11/08/2003, 19h05
  5. Modules Aurel
    Par nono240 dans le forum Électronique
    Réponses: 0
    Dernier message: 31/05/2003, 20h54