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

Relation D Ordre



  1. #1
    MATHIX

    Relation D Ordre


    ------

    BONJOUR,

    Juste une petite question :

    Si j'ai une relation R réflexive symétrique et transitive sur un ensemble E , je sais que l'on peut construire un espace quotient E/R;

    Mais si j'ai une relation d'ordre (cad réflexive antisymétrique et transitive) peut-on alors de la même façon construire un espace quotient et si c'est possible a-t-on alors les mêmes résultats que pour une relation d'équivalence(
    je pense à la factorisation canonique des morphismes...).

    MERCI POUR VOS REPONSES

    -----

  2. #2
    GuYem

    Re : Relation D Ordre

    Salut

    Si la relation d'ordre est totale alors tu ne vas te retrouver qu'avec une seule classe.
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  3. #3
    GuYem

    Re : Relation D Ordre

    Re salut, c'était une bétise !
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  4. #4
    rvz

    Re : Relation D Ordre

    Salut,

    Je ne comprends pas trop la question. Quand tu quotientes, ce que tu fais en fait, c'est identifier tous les coefficients d'une même classe. Donc, dans le cas d'une relation d'ordre, les seuls éléments que tu peux avoir envie d'identifier sont ceux qui sont égaux (au sens de la relation d'ordre), mais en général ça n'apporte pas grand intérêt puisque a <= b et b <=a doit entraîner a =b.

    Autant dire que non, tu ne pourras pas construire d'espaces quotients. Par contre, l'ordre peut servir. Par exemple, le lemme de Zorn, équivalent à l'axiome de choix permet de démontrer des tas de résultats importants. Par exemple Hahn Banach, et le théorème de la base incomplète en dimension infinie.

    Bon, vu ta question, je dirai que tu dois être en sup-spé ou quelque part par là, alors essaye de regarder lemme de Zorn sur google, et si tu t'y connais déjà un peu en algèbre linéaire, tente base incomplète en dimension infinie.

    __
    rvz

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

    Re : Relation D Ordre

    Cest une question intéressante. Considérons un ensemble X (de cardinal supérieur à trois) et muni d'une relation d'ordre.
    Faisons comme pour les relations d'équivalences et choisissons comme défintion du "quotientage" (que nous nommerons "réordonnement"), xRy si et seulement si x<=y ou y<=x. En fait, tes classes correspondent aux ensembles des éléments comparables entre eux.
    Intéressons-nous à la partititon que doit former les classes "d'équivalence" (que nous appellerons classes de réordonnement) .

    Si tu as une relation d'ordre totale, ton ensemble "quotienté" (que nous appellerons "réordonné") est un singleton et tu as bien une partition.

    Sinon, ce réordonnement ne forme pas en général une partition: par exemple, dans /|, les classes de 2 et 3 sont respectivement l'ensemble des multiples de 2 et celui des multiples de 3. Mais alors où se trouve 6?? Si tu veux une véritable partition,
    _tu dois avoir que si un élément est comparable à deux éléments non comparables entre eux, alors ces deux derniers sont comparables.(i)
    Alors, dans notre exemple, on ne dois considérer au mieux que les puissances des nombres premiers.
    _tu ne pas avoir d'élément comparable à tous (ii). Car la relation étant partielle, il existe deux éléments non comparables entre eux mais qui seraient comparables à un même élément!.
    Réciproquement, si on se donne un ensemble X avec une relation d'ordre partielle (non totale) et vérifiant (i) et (ii) tu obtiens clairement une partition. Nous nommerons un tel ensemble, ensemble réordonnable.
    Dernière modification par indian58 ; 13/04/2006 à 23h10.

  7. #6
    indian58

    Re : Relation D Ordre

    Oups, je viens de me rendre compte que notre relation de réordonnement est en fait une relation d'équivalence!!

Discussions similaires

  1. ordre lexicographique
    Par youenn dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 20/09/2008, 14h41
  2. ordre partiel/ordre global
    Par delphinounette dans le forum Chimie
    Réponses: 4
    Dernier message: 18/12/2006, 15h21
  3. relation d'ordre, relation d'équivalence
    Par sensor dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 24/09/2006, 20h47
  4. Ordre de grandeur
    Par MagStellon dans le forum Chimie
    Réponses: 8
    Dernier message: 24/09/2006, 12h27
  5. Equa diff 2nd ordre ==>sys equa diff 1er ordre
    Par oli78 dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 20/03/2006, 12h55