Inscription / Connexion Nouveau Sujet
Niveau Loisir
Partager :

Existence d'un élement minimal

Posté par
Atepadene
14-08-24 à 16:57

Bonjour,

Je n'arrive pas à démontrer le théorème qui postule que si E est un ensemble ordonné fini, alors E admet un élément minimal.

J'ai par ailleurs deux questions sur ce théorème :
i) Est-ce qu'il y a besoin d'avoir une relation d'ordre totale ou partielle suffit pour ce résultat ?
ii) A-t-on le même résultat pour donner l'existence d'un élément maximal ?

Merci d'avance.

Posté par
carpediem
re : Existence d'un élement minimal 14-08-24 à 17:17

salut

que penses-tu de la relation d'ordre suivante dans \N - \{0, 1\} :

on dit que a est inférieur à b si a divise b

tu peux vérifier que c'est une relation d'ordre (partiel, total ?) et te poser la question d'un élément minimal ...

Posté par
carpediem
re : Existence d'un élement minimal 14-08-24 à 17:18

ensuite pour répondre encore tu peux aussi considérer l'ensemble E des entiers de 2 à 100 ou de 1 à 100 avec la même relation d'ordre

Posté par
Atepadene
re : Existence d'un élement minimal 14-08-24 à 19:23

La relation divise est bien une relation d'ordre partielle ( exemple avec 2 et 5 par exemple ) et dans le cas des entiers naturels supérieurs ou égale à 2 tous les entiers premiers semblent vérifier la définition d'élément minimal.

Maintenant ma question principale était surtout de l'aide pour la démonstration, j'étais parti sur une démo par l'absurde mais je n'arrive pas à aller plus loin

Posté par
carpediem
re : Existence d'un élement minimal 14-08-24 à 20:07

quelle est la définition d'un élément minimal ?

pour tout élément a de E il y a deux cas :

a/ il existe un élément b de E tel que b \le a (et b \ne a )

b/ il n'existe pas de tel b

si a/ est vrai pour tout élément de E quel est le pb ?

Posté par
carpediem
re : Existence d'un élement minimal 14-08-24 à 20:08

dans ce raisonnement peut-on remplacer minimal par maximal ?

Posté par
Atepadene
re : Existence d'un élement minimal 14-08-24 à 21:26

On dit que x est un élément minimal de E s'il n'existe pas de x' \in E tel que x' < x . Si E n'a pas d'élément minimal on a votre proposition a pour tout les éléments de E et dans ce cas je peux construire une chaîne infinie par itération de cette propriété sur le plus petit élément de la chaîne ce qui est contradictoire avec l'hypothèse comme quoi l'ensemble était fini.

Merci pour votre aide précieuse, j'essaye de récupérer les parties du programme de math de classe préparatoire mp qui sont absentes de celui de pc !

Posté par
Atepadene
re : Existence d'un élement minimal 14-08-24 à 21:27

Par contre je ne vois pas où est ce qu'il y aurait un problème pour remplacer minimal par maximal dans ce raisonnement...

Posté par
GBZM
re : Existence d'un élement minimal 15-08-24 à 09:39

Bonjour,
J'ai l'impression que carpediem a embrouillé les choses. Je soupçonne qu'il a confondu élément minimal et plus petit élément.
Atepadene, ton raisonnement avec la construction d'une chaîne infinie descendante si l'ensemble ordonné n'a pas d'élément minimal est tout à fait correcte. Et il est tout à fait vrai que s'il n'y a pas d'élément maximal (à ne pas confondre avec plus grand élément), on peut construire une chaîne infinie montante, ce qui ne peut exister dans un ensemble ordonné fini.

Posté par
Atepadene
re : Existence d'un élement minimal 15-08-24 à 13:13

Ok merci pour vos réponses

Posté par
GBZM
re : Existence d'un élement minimal 15-08-24 à 13:57

Avec plaisir.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1719 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !