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

Ensemble ordonné et treillis



  1. #1
    Bleyblue

    Ensemble ordonné et treillis

    Bonjour,

    J'essaie de montrer que tout treillis fini (c'est à dire un ensemble ordonné fini E,R tel que toute paire d'élements admette une borne supérieur et une borne inférieur) admet un maxium (c'est à dire un élement x tel que aRx pour tout a de E) et un minimum (un élément y tel que yRa pour tout a de E)

    Bon, j'essaie de montrer que :

    (pas de maximum ou pas de minimum) => E n'est pas un treillis

    a) Je suppose que E ne possède pas de minimum. J'affirme que cet ensemble admet au moins deux éléments minimaux distincts (c'est à dire des éléments x tels que tRx => x=t pour tout t de E) parce que :

    -S'il n'en admettait qu'un seule alors ce dernier serait un minimum (par définition)
    -S'il n'en admettait aucun alors l'ensemble serait infini car :
    pour tout x de E il existerait t tels que tRx et t différent de x, en d'autres termes le nombre d'éléments serait infini)

    Si je sélectionne deux éléments distincts a et b parmis les éléments minimaux j'aurais :

    pour tout t de E :

    tRa => t = a
    tRb => t =b
    (a différent de b)

    Nous n'avons pas ni aRb ni bRa sinon a et b ne seraient pas minimaux.
    Ce couple d'éléments n'admet pas de minimum, un élément y tel que yRa et yRb ne pourrait pas exister (sinon a et b ne seraient pas minimaux)

    Donc l'ensemble n'est pas un treillis

    b) Je suppose que E ne possède pas de maximum et le raisonnement est similaire

    Ca va ça ?

    merci

    -----


  2. Publicité
  3. #2
    matthias

    Re : Ensemble ordonné et treillis

    Si le minimum existe, alors c'est l'unique élément minimal, mais on peut avoir un unique élément minimal sans avoir de minimum (avec une relation d'ordre partiel).

    Par exemple, tu prends l'ensemble , muni de la relation d'ordre :



    (0;0) est l'unique élément minimal, mais n'est pas un minimum.

  4. #3
    Bleyblue

    Re : Ensemble ordonné et treillis

    Mais ton ensemble est infini ...
    C'est aussi possible pour les ensembles finis ?

    merci

  5. #4
    matthias

    Re : Ensemble ordonné et treillis

    Je n'ai jamais dit que mon ensemble satisfaisait tes hypothèses. Ce que je conteste, c'est cette phrase :
    -S'il n'en admettait qu'un seule alors ce dernier serait un minimum (par définition)
    Cela ne découle pas directement de la définition.

  6. #5
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ah ok, je vais essayer de justifier mais sinon pour ton exemple moi il me semble que (0,0) n'est pas minimal vu que (0,0) R (a,b) n'implique par (a,b) = (0,0)


    on a (0,0) R (0,0) mais aussi (0,0) R (0,a) a réel positif

    non ?

  7. A voir en vidéo sur Futura
  8. #6
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ouille non pardon je m'embrouille dans mes définitions

  9. Publicité
  10. #7
    matthias

    Re : Ensemble ordonné et treillis

    Oui mais c'est (a;b) R (0;0) qui implique (a;b) = (0;0)

  11. #8
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ok oui je me suis emmêlé les pinceaux.
    Bon je vais essayer de justifier ça un coup ...

    merci

  12. #9
    Bleyblue

    Re : Ensemble ordonné et treillis

    Mais en fait c'est aussi possible avec les ensemble finis parce que si je remplace ton ensemble par :

    {-2,-1,0,1,2} x {0,1,2,3,4}

    par exemple, le même problème se présente.

    C'est peut-être bien faux ce que j'essaie de montrer alors

  13. #10
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ah non parce que dans ce cas la on a plusieurs éléments minimaux

  14. #11
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ah mais attend, dans ton exemple aussi il y a plusieurs minimaux non ?

    Si a est un réel fixé alors (a,0) est minimal je pense

    Merci

  15. #12
    matthias

    Re : Ensemble ordonné et treillis

    Citation Envoyé par Bleyblue
    Ah mais attend, dans ton exemple aussi il y a plusieurs minimaux non ?

    Si a est un réel fixé alors (a,0) est minimal je pense
    Non, puisqu'il n'appartient pas à l'ensemble. y est forcément non nul sauf si x est lui-même nul.

  16. Publicité
  17. #13
    Bleyblue

    Re : Ensemble ordonné et treillis

    Ahhhh mince, j'ai mal interprété tes notations alors.
    Pour moi c'était équivalent à x ce qui aurait tout changé

    merci
    Dernière modification par Bleyblue ; 10/06/2006 à 13h33.

  18. #14
    homotopie

    Re : Ensemble ordonné et treillis

    Cherche à montrer proprement le résultat (vrai au demeurant) signalé par Matthias, tu verras que ça va tout seul mais en appliquant trois définitions (élt minimal, minimum et treillis)

  19. #15
    Bleyblue

    Re : Ensemble ordonné et treillis

    Mais je ne peux pas utiliser la définition de treillis vu que je cherche à démontrer justement que l'ensemble n'est pas un treillis.

    C'est bien de ce résultat la :



    que tu parles ?

    merci

  20. #16
    matthias

    Re : Ensemble ordonné et treillis

    Personnellement, ce que je commencerais par montrer, c'est que E étant fini, pour tout élément x de E, il existe un élément minimal a tel que aRx. Ensuite il n'y a plus grand-chose à faire.

  21. #17
    Bleyblue

    Re : Ensemble ordonné et treillis

    Citation Envoyé par matthias
    Personnellement, ce que je commencerais par montrer, c'est que E étant fini, pour tout élément x de E, il existe un élément minimal a tel que aRx. Ensuite il n'y a plus grand-chose à faire.
    Ah, mais c'est évident vu que R étant un ordre, c'est réflexif et donc xRx pour tout x de E.

    merci

  22. #18
    homotopie

    Re : Ensemble ordonné et treillis

    Citation Envoyé par Bleyblue
    Ah, mais c'est évident vu que R étant un ordre, c'est réflexif et donc xRx pour tout x de E.

    merci
    Je crois que Matthias parle d'un élément x quelconque d'un ensemble ordonné quelconque (seule la propriété finie joue un rôle ici donc autant montrer en tooute généralité).
    Donc c'est un peu moins évident que ce que tu écris.

    Sinon je précise mon idée, il est facile de montrer qu'un élément minimal d'un treillis est un minimum. Ce qui suffit largement (le cas deux élts minimaux distincts, ou plus, est immédiatement exclus par le fait évident qu'un minimum est unique)
    Néanmoins, il est plus simple de l'ajouter au fait qu'il existe au moins un élt minimal dans un ensemble ordonné fini.

  23. Publicité
  24. #19
    Bleyblue

    Re : Ensemble ordonné et treillis

    ah d'accord

    Moi je pense que je vais abandonner cette démonstration parceque j'ai examen mercredi et si je tombe sur une question pareille je suis coulé de toutes façons alors autant réviser des exercices plus classiques

    merci !

  25. #20
    homotopie

    Re : Ensemble ordonné et treillis

    Vu les circonstances, voici une démo :
    1) dans un ensemble ordonné fini (E,R) non vide, pour tout x il existe un élément minimal a tel que aRx
    Supposons qu'il n'y ait pas d'élément minimal
    Soit , un élément de E.
    n'est pas minimal donc il existe .
    (Hn) :Supposons qu'on ait défini (n+1) éléments distincts (n entier positif) tels que
    On peut définir strictement inférieur pour R à .
    vérife H(n+1)
    On définit ainsi une injection de N dans E qui est donc infini.
    Par contraposéee, si E est fini alors il admet au moins un élément minimal. (En moodifiant un peu, on peut montrer que pour tout x on peut en trouver un élément minimal qui lui est inférieur)

    2) un élément minimal d'un treillis est un minimum
    En efet, soit m minimal et x dans E, il existe p inférieur à m et x car E est un treillis.
    On a alors pRm avec m minimal donc p=m et par conséquent mRx. m est bien un minimum.

    Tu vois que tu n'en étais pas loin.

  26. #21
    Bleyblue

    Re : Ensemble ordonné et treillis

    ah super, c'est bien gentil
    Je prends bonne note

    merci !

Sur le même thème :

    Sur le même sujet

    Définitions

Discussions similaires

  1. Filtre RII en treillis
    Par kaxman dans le forum Électronique
    Réponses: 1
    Dernier message: 22/12/2007, 22h03
  2. Définition d'un Treillis ...
    Par LocalStone dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 15/08/2006, 04h37
  3. dualité ordonné désordonné dans l'expansion de l'univers
    Par zaizai dans le forum TPE / TIPE et autres travaux
    Réponses: 0
    Dernier message: 19/03/2006, 15h18
  4. Corps totalement ordonné complet.
    Par Vassia Pupkin dans le forum Mathématiques du supérieur
    Réponses: 13
    Dernier message: 22/02/2005, 09h25
  5. Treillis
    Par aiolia dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 30/01/2005, 19h05