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

Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?



  1. #1
    Seirios

    Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?


    ------

    Bonjour à tous,

    Tout est dans le titre, j'aimerais savoir s'il existe un isomorphisme de groupes entre et .

    Merci d'avance,
    Phys2

    -----
    If your method does not solve the problem, change the problem.

  2. #2
    Amanuensis

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    C'est toi qui poses cette question ???

    Je donne quand même la réponse, tant pis pour toi : l'exponentielle.

  3. #3
    Seirios

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Il me semble que l'exponentielle est un isomorphisme de groupe de dans , et non dans , non ?
    If your method does not solve the problem, change the problem.

  4. #4
    Amanuensis

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Aïe ! C'est moi qui me suis piégé, là. Mal lu la question... Je réfléchis...

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

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Non, parce qu'il n'y a pas d'élément non neutre dans (R,+) qui soit son propre inverse (d'ordre 2), alors qu'il y en a un dans (R*,.), -1
    Dernière modification par Amanuensis ; 10/11/2010 à 15h56.

  7. #6
    Médiat

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Petite remarque supplémentaire : vous venez de démontrer que, non seulement un isomorphisme ne peut exister, mais que ces deux structures ne sont pas élémentairement équivalentes ce qui est encore plus fort (j'enfonce une porte ouverte puisque justement vous avez exhibé une formule "vraie" dans l'une est "fausse" dans l'autre). Pour une démonstration irréprochable (je parle de mon intervention), il faudrait montrer que cette formule est bien du premier ordre, mais c'est une évidence.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  8. #7
    Seirios

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Non, parce qu'il n'y a pas d'élément non neutre dans (R,+) qui soit son propre inverse (d'ordre 2), alors qu'il y en a un dans (R*,.), -1
    C'est bien ce que je pensais, mais je n'arrivais pas à le montrer ; merci

    Citation Envoyé par Médiat
    vous venez de démontrer que, non seulement un isomorphisme ne peut exister, mais que ces deux structures ne sont pas élémentairement équivalentes ce qui est encore plus fort
    Il n'y a pas équivalence entre les notions d'isomorphisme et d'équivalence élémentaire ?
    If your method does not solve the problem, change the problem.

  9. #8
    Médiat

    Re : Existe-t-il un isomorphisme entre (IR,+) et (IR*,.) ?

    Citation Envoyé par Phys2 Voir le message
    Il n'y a pas équivalence entre les notions d'isomorphisme et d'équivalence élémentaire ?
    Non, Par contre isomorphisme => élémentairement équivalent, c'est d'ailleurs la contraposée de cette implication que Amanuensis a utilisé.

    Par exemple, la théorie des ordres totaux denses sans extremums est une théorie complète, donc tous ses modèles sont élémentairement équivalents, il suffit de prendre 2 modèles n'ayant pas le même cardinal pour qu'ils ne soient pas isomorphes (et dans ce cas précis on peut même facilement trouver des modèles de même cardinal (non dénombrable) qui ne sont pas isomorphes.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

Discussions similaires

  1. demontrer qu'un rationnel existe entre un rationel et un irrationnel
    Par damien.moreau1 dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 23/09/2010, 20h43
  2. [Zoologie] Existe t'il des massacre d'animaux...entre animaux?
    Par evrardo dans le forum Biologie
    Réponses: 62
    Dernier message: 31/08/2010, 20h43
  3. Réponses: 1
    Dernier message: 20/08/2008, 00h39
  4. existe-t-il une relation entre module d'young et raideur du ressort
    Par rechter05 dans le forum TPE / TIPE et autres travaux
    Réponses: 2
    Dernier message: 25/11/2007, 23h23
  5. Existe-t-il un lien entre inversion du champs magnétique terrestre et ères glaciaires
    Par Djo57 dans le forum Géologie et Catastrophes naturelles
    Réponses: 0
    Dernier message: 30/06/2007, 11h55