Relation d'équivalence
Répondre à la discussion
Affichage des résultats 1 à 21 sur 21

Relation d'équivalence



  1. #1
    invite56460777

    Relation d'équivalence


    ------

    Bonjour,

    Je ne comprends pas très bien ce que signifie l'expression "relation d'équivalence", comment fait-on pour les reconnaitre et déterminer leur classe d'équivalence?
    D'avance, merci

    -----

  2. #2
    pallas

    Re : Relation d'équivalence

    Il suffit d'apprendre la définition :R est une relation d'équivalence si dans un ensemble E
    1) R est reflexive: pour tout a de E aRa
    2) Symétrique : si aRb alors bRa
    3) transitive : aRb et bRc implique aRc
    La classe de a est l'ensemble des éléments en relation avec a
    Par exemple si E = les droites et R le parrallelisme.
    c'est ok et la classe d'une droite est sa direction.

  3. #3
    invite56460777

    Re : Relation d'équivalence

    Si par exemple j'ai un ensemble M et la relation ~ (équivalent)

    M= ensemble des réels; a~b si et seulement si |a| = |b|

    |a|= a ou -a
    Donc ce n'est pas vrai, car la réflexivité n'existe pas?

  4. #4
    invite9e95248d

    Re : Relation d'équivalence

    si c'est vrai car la reflexivité te dis que tu prends un A et que tu dois avoir ARA autrement dit dans ton cas |A|=|A| c'est qui est vrai.

    La valeur absolue est bien une relation d'équivalence, les classes d'équivalences qui en sortent sont un nombre et son opposés

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

    Re : Relation d'équivalence

    ok. Existe t-il des cas où la relation est certes symétrique et transitive mais pour laquelle la réflexivité n'est pas respectée?

  7. #6
    invite14ea0d5b

    Re : Relation d'équivalence

    je pense pas ?_?

    aRb et bRa (par la symétrie)
    => aRa (par la transitivité)

    donc refléxivité

  8. #7
    invite56460777

    Re : Relation d'équivalence

    Je croyais que pour la transitivité marche il fallait trois éléments distincts a, b et c sinon les dés ne sont-ils pas pipés?
    aRb et bRc => aRc

  9. #8
    invite9e95248d

    Re : Relation d'équivalence

    tu veux dire quoi par existe-t-il des cas ?
    si tu parles d'une relation d'equivalence qui ne serait pas reflexive la réponse est non.
    apres une relation binaire vérifiant seulement symetrie et transitivité j'imagine que ça doit se trouver

  10. #9
    invite56460777

    Re : Relation d'équivalence

    Citation Envoyé par folky
    apres une relation binaire vérifiant seulement symetrie et transitivité j'imagine que ça doit se trouver
    Je recherche en effet une relation vérifiant seulement symétrie et transitivité. D'après les définitions, ca devrait exister mais je n'arrive pas à construire un tel exemple

  11. #10
    inviteab2b41c6

    Re : Relation d'équivalence

    Une relation d'équivalence c'est une partie de R².
    Elle doit vérifier les axiomes cités:
    reflexivité: (a,a) est dans la relation
    Symétrie: si (a,b) est dans la relation (b,a) est dans la relation
    Transitivité: si (a,b) et (b,c) sont dans la relation alors (a,c) est dans la relation.

    C'est assez facile de voir ce qui se passe graphiquement.
    Ca permet de bien voir ce qui se passe en général...

  12. #11
    invite1c6e02b6

    Re : Relation d'équivalence

    Citation Envoyé par Korgox
    je pense pas ?_?

    aRb et bRa (par la symétrie)
    => aRa (par la transitivité)

    donc refléxivité

    tu viens donc de démontrer que la reflexivite ne sert à rien..!!!
    et donc une relation d'equivalence serait définie seulement avec la symétrie et la transitivité....cela se saurait..

    en fait la symétrie te dit :
    SI aRb, alors bRa,
    ce qui ne veut pas dire que aRb....et donc on ne peut pas conclure que aRa par transitivite...

    pour une relation verifiant uniquement la symetrie et la transitivite, il suffit de la construire :
    je prend l'ensemble E={a,b,c}
    et la relation R definie sur E par : aRb, bRa, et cRc
    elle est symétrique, transitive et non reflexive..!!

  13. #12
    invite1c6e02b6

    Re : Relation d'équivalence

    euh..ma relation precedente n'est pas transitive..oups
    prendre plutot:
    aRb, bRa, aRa, bRb, et c en relation avec personne..

  14. #13
    invite14ea0d5b

    Re : Relation d'équivalence

    Citation Envoyé par penelope

    tu viens donc de démontrer que la reflexivite ne sert à rien..!!!
    et donc une relation d'equivalence serait définie seulement avec la symétrie et la transitivité....cela se saurait..
    mdr ^^' je vais recevoir la médaille fields :P en fait j'avais pas pensé (c'est bête) qu'un élément pouvait être en relation avec aucun autre... et si on sait que chaque élément est en relation avec un élément au moins et que la relation et transitive et symétrique, peut-on conclure qu'elle est refléxive ?

  15. #14
    invite1c6e02b6

    Re : Relation d'équivalence

    Citation Envoyé par Korgox
    et si on sait que chaque élément est en relation avec un élément au moins et que la relation et transitive et symétrique, peut-on conclure qu'elle est refléxive ?
    ça m'a l'air bon cette fois si :
    pour tout a, il existe b tq aRb (par hyp )
    or R symetrique donc bRa
    or R transitive donc aRa.

  16. #15
    invitea48de938

    Re : Relation d'équivalence

    Quant à une classe d équivalence , x et y sont dans la même classe d'équivalence si x~y . Hoplà . Pour un exemple pas mal je conseille la relation de congruence .

  17. #16
    inviteab2b41c6

    Re : Relation d'équivalence

    En fait techniquement la relation de congruence est justement le fait que x~y mais pour une relation particulière:
    On fixe un sous groupe H d'un groupe G
    on dit que x~y si
    xy^(-1) est dans H

    Concretement une classe d'équivalence est l'ensemble des éléments qui sont en relation entre eux. Il est assez simple de voir que l'ensemble des classes forme une partition de notre ensemble de départ.

    Pour revenir au commentaire précédent, je pense également que lorsque l'on veut voir ce qui se passe sur une structure quotient, il faut toujours faire une analogie avec une structure Z/pZ, tant qu'à faire p non premier, sinon on est dans un cadre un peu particulier...

  18. #17
    invite4793db90

    Re : Relation d'équivalence

    Salut,

    pour ma part, je dirais qu'une relation d'équivalence permet d'identifier des objets a priori différents pour s'intéresser à ce qui est commun entre eux. Dans Z/pZ, on s'intéresse aux entiers modulo p: la classe de 0 correspond aux multiples de p, celle de 1 à celle des entiers np+1, etc...

    Mais les ensembles quotients ne ressemblent pas forcément à Z/pZ: l'espace des germes d'une fonction analytique, L²(R) ou encore la construction de R (ou des nombres p-adiques) par Banach-complétion sont quelques exemples qui ne "ressemblent" pas beaucoup à un anneau Z/nZ. Non?

  19. #18
    inviteab2b41c6

    Re : Relation d'équivalence

    Ah non je n'ai pas dit que ca y ressemblait, mais je voulais dire que pour appréhender la notion, il est souvent facile de faire l'analogie...

  20. #19
    invite4793db90

    Re : Relation d'équivalence

    C'est vrai que ce sont les premiers exemples concrets et intéressants d'ensembles quotients!

  21. #20
    invite56460777

    Re : Relation d'équivalence

    Citation Envoyé par folky
    si c'est vrai car la reflexivité te dis que tu prends un A et que tu dois avoir ARA autrement dit dans ton cas |A|=|A| c'est qui est vrai.

    La valeur absolue est bien une relation d'équivalence, les classes d'équivalences qui en sortent sont un nombre et son opposés
    Je suis d'accord pour dire que les classes d'équivalence de la valeur absolue sont {a, -a} mais c'est plus de l'intuition qu'autre chose. Comment fait-on pour le justifier correctement?

  22. #21
    invite4793db90

    Re : Relation d'équivalence

    Citation Envoyé par Brumaire
    Je suis d'accord pour dire que les classes d'équivalence de la valeur absolue sont {a, -a} mais c'est plus de l'intuition qu'autre chose. Comment fait-on pour le justifier correctement?
    Si on se donne la classe de a, quels sont les nombres x qui vérifient |x|=|a|?

Discussions similaires

  1. Exercice relation d'équivalence
    Par invitef0ec9325 dans le forum Mathématiques du supérieur
    Réponses: 17
    Dernier message: 19/11/2007, 06h55
  2. Relation d'équivalence et classe d'équivalence
    Par invite3e257a4d dans le forum Mathématiques du supérieur
    Réponses: 14
    Dernier message: 29/10/2007, 21h59
  3. Relation d'équivalence
    Par invited89c0c70 dans le forum Mathématiques du supérieur
    Réponses: 10
    Dernier message: 25/10/2006, 12h02
  4. relation d'ordre, relation d'équivalence
    Par invite56f88dc9 dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 24/09/2006, 21h47
  5. relation d'équivalence
    Par invite7522a10d dans le forum Chimie
    Réponses: 7
    Dernier message: 12/11/2005, 22h35