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

Relation ordre complete



  1. #1
    Lucas34200

    Relation ordre complete


    ------

    Bonjour j'ai un exo à résoudre en utilisant une récurrence , j'ai initialisé mais ait du mal à faire l'hérédité
    Soit X = { C1 , C2 , ... , CN } un ensemble de n candidats
    Montrer que le nombre d'ordres totaux ( relation d'ordre complète ) est n!
    j'ai initialisé pour n = 3 et ait montré qu'il y avait 6 relations , 6 = 3! mais pour le montrer pour (n+1)! je ne vois pas comment je pourrai le faire pourriez vous me donner une piste vers où m'orienter svp , je sais que pour passer de n! à ( n+1 ) ! il faut multiplier par n+1 mais dans le contexte de l'exercice je ne vois pas comment je pourrai l'introduire

    -----

  2. Publicité
  3. #2
    minushabens

    Re : Relation ordre complete

    En général on ne fait pas de récurrence, on dit simplement qu'il y a n façons de choisir le premier élément, (n-1) façons de choisir le deuxième, etc. Après le prof peut trouver cet argument peu convainquant.

  4. #3
    syborgg

    Re : Relation ordre complete

    Encore des exos a la c... Autant dire qu'on voulait faire prouver a l'eleve que le nombre de permutations d'un ensemble a n elements est n !
    Pourquoi deguiser ca en ajoutant une hypothese non necessaire d'ordre total ?...

  5. #4
    Lucas34200

    Re : Relation ordre complete

    Mon prof a dit qu'il valait mieux utiliser une récurrence mais je ne vois pas comment je pourrai démarrer l'hérédité , écrire la définition de la permutation pour répondre à l'énoncé serait-il considéré comme juste malgré tout ?

  6. #5
    syborgg

    Re : Relation ordre complete

    Citation Envoyé par Lucas34200 Voir le message
    Mon prof a dit qu'il valait mieux utiliser une récurrence mais je ne vois pas comment je pourrai démarrer l'hérédité , écrire la définition de la permutation pour répondre à l'énoncé serait-il considéré comme juste malgré tout ?
    Suppose que le resultat est vrai pour n elements. Si tu passe de n a n+1 en rajoutant un element, comment peut il se placer par rapport aux n premiers pour conserver un ordre total ?

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

    Re : Relation ordre complete

    il doit appartenir au même ensemble pour pouvoir vérifier les propriétés d'antisymétrie , de réfléxivité et de totalité non ?

  9. Publicité
  10. #7
    syborgg

    Re : Relation ordre complete

    Citation Envoyé par Lucas34200 Voir le message
    il doit appartenir au même ensemble pour pouvoir vérifier les propriétés d'antisymétrie , de réfléxivité et de totalité non ?
    Ne pense pas en ces termes : comment se placent les un par rapport aux autres les elements d'un ensemble totalement ordonne fini ? selon une ligne, l'un apres l'autre, avec un premier et un dernier. Maintenant reprends mon conseil precedent avec cela en tete.

  11. #8
    Lucas34200

    Re : Relation ordre complete

    donc en ajoutant n+1 j'ai C1 , C2, ... Cn , C(n+1) , C(n+1 ) va être en relation avec n termes différents pour conserver un ordre total et multiplier par lui même on obtiendra n+1! est ce convainquant comme justification ?

  12. #9
    syborgg

    Re : Relation ordre complete

    Citation Envoyé par Lucas34200 Voir le message
    donc en ajoutant n+1 j'ai C1 , C2, ... Cn , C(n+1) , C(n+1 ) va être en relation avec n termes différents pour conserver un ordre total et multiplier par lui même on obtiendra n+1! est ce convainquant comme justification ?
    Pas trop non... imagine n boules (si tu preferes n = 3 ou 4) disposees en ligne de gauche a droite (un ordre total). Sans changer l'ordre de ces n boules, tu veux rajouter une autre boule de facon a obtenir un ordre total (une autre ligne). Quels choix as tu pour disposer cette boule parmi les autres ?

  13. #10
    Lucas34200

    Re : Relation ordre complete

    je la mets à gauche de la 1ere boule ou à droite de la troisième boule

  14. #11
    Tryss2

    Re : Relation ordre complete

    Oui, mais il t'en manque : Tu peux aussi mettre la nouvelle boule entre la première et la deuxième, ou entre la deuxième et la troisième


    Après, personnellement, j'aurai plutôt tendance à remarquer que donner un ordre total sur N boules, c'est équivalent à les numéroter de 1 à n, ce qui est équivalent à se donner une bijection de l'ensemble des N boules dans [|1,n|]
    Dernière modification par Tryss2 ; 09/10/2019 à 22h15.

  15. #12
    minushabens

    Re : Relation ordre complete

    Citation Envoyé par Tryss2 Voir le message
    Après, personnellement, j'aurai plutôt tendance à remarquer que donner un ordre total sur N boules, c'est équivalent à les numéroter de 1 à n, ce qui est équivalent à se donner une bijection de l'ensemble des N boules dans [|1,n|]
    ah tiens c'est marrant, j'aurais plutôt tendance à penser à la numérotation des N boules comme à une bijection de {1..N} vers l'ensemble des boules... bref, dans un sens comme dans l'autre ça revient à une permutation des N boules.

  16. Publicité
  17. #13
    Tryss2

    Re : Relation ordre complete

    Oui, en pratique, si j'ai besoin de l'expliciter je ferai comme toi (Nombres -> Boules). Mais si, physiquement, tu me donnes des boules ordonnées, je vais attribuer à chaque boule un numéro (donc Boules -> Nombres)

    Dans tout les cas, dans ma tête, quand je pense "bijection", j'ai automatiquement la bijection inverse qui vient avec, donc avoir une bijection de A vers B ou de B vers A, c'est "pareil"
    Images attachées Images attachées

Sur le même thème :

Discussions similaires

  1. Relation d'ordre
    Par kite4life dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 28/09/2014, 18h11
  2. Complété d'un corps valué et logique du premier ordre
    Par Seirios dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 13/05/2011, 11h43
  3. Relation d'ordre.
    Par Guigs. dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 13/11/2010, 17h51
  4. relation d'ordre
    Par titi07 dans le forum Mathématiques du supérieur
    Réponses: 22
    Dernier message: 23/11/2008, 09h50
  5. 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