Inscription / Connexion Nouveau Sujet
Niveau Licence Maths 1e ann
Partager :

Exercice relation

Posté par
bibjuju
11-06-15 à 20:46

Voici un certain nombre de tache à éxécuter le matin avant de sortir de chez soi : (1) se lever, (2) verser son lait au chat, (3) partir, (4) s'habiller, (5) se reveiller, (6) prendre son petit-déjeuner, (7) se laver. Question:

1- Définir un ordre partiel sur ces sept éléments.
2- Tracer le diagramme de Hasse de cet ordre.
3- Appliquer l'algorithme de linéarisation à cet ordre de sorte à en trouver une extension linéaire.
4- En existe-t-il d'autres? Pourquoi?


j'ai tenter de faire l'exercice mais je me suis rendu compte que j'ai du mal à chaque question car je ne sais pas par ou commencer pour y répondre..

Posté par
carpediem
re : Exercice relation 11-06-15 à 20:50

salut

se réveiller semble être la première action et partir la dernière

donc on a : (5) < (1), (5) < (2) , ..., (5) < (7)

et (1) < (3), (2) < (3), ..., (7) < (3)


comment peux-tu ordonner les autres actions ?

Posté par
jeveuxbientaider
re : Exercice relation 11-06-15 à 20:52

Bonjour,

On peut juste être persuadé qu'on s'habillera après s'être lavé et non avant !

Le reste cela dépend du caractère du chat .....

Posté par
jeveuxbientaider
re : Exercice relation 11-06-15 à 20:55

Quand au petit dèj !

Tu as le droit de la prendre avant ta toilette matinale , ou après !

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:01

bonjour construit

ton ordre partiel ici (mais c'est pas une obligation* mais pour ton exo oui c'est une obligation

est une espece d'arbre

donc le tronc central est (5) -> (1)

apres tu peut donner à manger à ton chat ou pas

t'habiller ou pas

etc ... tout ça se sont des branches et chaque branches constitue une serie de tâches particuliere pour une journée donnée

*des fois un ordre partiel R peut tres bien être un ensemble quotien E/R où chaque élément (sous ensemble) de E/R constitue un ordre total sur tout élément de E/R

mais ici c'est pas possible car tous les matins tu doit te reveiller et te lever avant de sortir

Posté par
bibjuju
Re 11-06-15 à 21:03

Oui mais le probleme c'est que je ne sais pas sous quel forme je doit présenter mon résultat. J'ai voulu écrit comme ordre partiel {5,1,7,4,6,2,3}.
Mais je suis sur que c'est pas sous cette forme que je doit présenter la chose pour etre en adequation avec la question posée ^^'

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:07

construit des ensembles qui sont des parties de {1,2,3,4,5,6,7}

et tels que ces parties possedent toujours au moins les elements 5,1, et 3

et sur toute ces parties construit un ordre total tel que 5>1>...>3

une fois que cela sera fait tu verra plus clair pour formaliser cela

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:13

à propos tu doit aussi savoir la formule qui te donne la quantité de parties de E qui possedent toujours les mêmes
x elements

quantité = 2^{n-x} où n est le cardinal de E

pour t'aider à finir à formaliser tout ça une fois que tu aura fais ce que je viens de dire cette formule t'aidera

pour faire ton algo

Posté par
bibjuju
re : Exercice relation 11-06-15 à 21:19

J'ai mis ensemble les élément qui pour moi pourrait être plus ou moins logique et j'ai :
(5,1) (1,2) (1,3) (1,4) (1,5) (1,6) (1,7)

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:25

c'est pas lisible camarade
1- Définir un ordre partiel sur ces sept éléments.


pour definir un ordre partiel tels que les conditions de ton exo (donc c'est pas tout ordre partiel n'importe lequel  mais celui de ton exo) tu doit  construire des parties de ton ensembles E={1,2,3,4,5,6,7}
telle que :
-toutes ces parties possedent les elements 5,1,3
-toutes ces parties possedent une relation d'ordre total et tel que 5>1>...>3

Posté par
bibjuju
re : Exercice relation 11-06-15 à 21:32

Pourquoi ils devraient tous avoir 5,1,3?

Par exemple la correction de l'exercice, le professeur donne:

(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)

Pourquoi cela défini un ordre partiel ?

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:36

...n'oublie pas non plus que cela ne constituera pas tout ordre partiel possible car par exemple

si tu est bien toujours obligé de te reveiller avant de te lever certaine commande possedent une permutation

5>1>x>y>z>3

tu peut tres bien construire (mais pour la question 1 on te le demande pas)

un autre ordre partiel tel que là tu aura

5>1>y>x>z>3

x y et z étant permutables

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:41

je viens de voir ton post et ta correction donnée par ton prof

(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)

c'est bien je le lit

ça donne un ordre 5>1>7>4>3

5>1>6>3

etc ...

oui c'est bon  

Posté par
bibjuju
re : Exercice relation 11-06-15 à 21:44

Tu pourrait me donner un exemple et me dire pourquoi il marche et pas un autre ? Par ce que je vois vraimen pas comment m'y prendre pour que se soit bon

Posté par Profil amethystere : Exercice relation 11-06-15 à 21:48

comprend tu comment il fonctionne ?

(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)

dans tout couple (x,y) l'element x est anterieur à l'element y

et pour tout binome de couples tel que tu voit (x,y) et (y,z)

alors x est anterieur à y et y est anterieur à z

tu remarque que sur la correction là

tout commence par 5>1>  et fini par> 3  

Posté par
lafol Moderateur
re : Exercice relation 11-06-15 à 22:06

bonsoir
le seul souci avec l'"ordre" proposé par ton prof, c'est que .... ce n'est pas un ordre !
une relation d'ordre est une relation réflexive, transitive et antisymétrique
celle là n'est manifestement pas réflexive.... et n'est pas transitive non plus .....

il ne confondrait pas ordre partiel avec ordre strict, ton prof ?

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:10

J'ai fait un arbre avec et je vois bien les différent chemin et il faut absolument que la fin de chaque chemin soit le même élément? Je pense avoir compris si c'est bien cela, Par exemple :
Si l'on me donne {1,2,3,4,5,6,7,8,9}:
un ordre partielle possible pourrait être :

(7,1) (7,2) (7,3) (1,6) (2,4) (3,5) (6,8) (4,8) (5,8)

Posté par
lafol Moderateur
re : Exercice relation 11-06-15 à 22:13

toujours pas transitif : tu as (7,1), (1,6), mais pas (7,6) ....

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:16

Oui, la remarque concernant l'ordre est aussi quelque chose que je me demandait.. Mais le professeur en question je devrais l'avoir l'an prochain, je bosse ces cours pour prendre de l'avance a vrais dire donc je ne pourrait pas te dire si il confond ou si il l'a fait exprès :/

Posté par
lafol Moderateur
re : Exercice relation 11-06-15 à 22:18

en fait même s'il confond ça ne colle pas : un ordre strict est aussi transitif
sa relation ne l'est pas

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:19

Oui mais du coup c'est pas un ordre non plus vue que c'est pas une relation réflexive ..

Posté par
lafol Moderateur
re : Exercice relation 11-06-15 à 22:21

tout à fait
je me demande bien ce qu'il appelle "ordre partiel" ....
tu as ses polys de cours ?

Posté par Profil amethystere : Exercice relation 11-06-15 à 22:24

oui







Posté par Profil amethystere : Exercice relation 11-06-15 à 22:26

pardon je voulais dire

oui Camarade Lafol (bonjour)

et non oui à ta question qui s'adressai au camarade BIBJUJU

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:30

Un ordre ≤  est dit total quand on a :   x ≠ y ⇒ ( x ≤ y ou y ≤ x ) c'est à dire lorsque deux éléments quelconques sont toujours comparables.

Un ordre non total  est dit partiel.

voila le passage de cour ou il en parle

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:31

Mais sinon Oui j'ai tout les polycopié du cours sur les relation d'ordre

Posté par
lafol Moderateur
re : Exercice relation 11-06-15 à 22:31

donc pour lui un ordre partiel ou total est bien un ordre : transitif, réflexif et antisymétrique
étrange, son corrigé, dans ces conditions

Posté par Profil amethystere : Exercice relation 11-06-15 à 22:35

...peut être que c'est pour un programme informatique

et le fait de definir par exemple le couple (x,z) n'est pas important si on a les deux couple (x,y) et (y,z)

le programme effectuant x puis y puis z

ni non plus important de definir le couple(x,x)

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:37

Oui c'est un cour pour Licence MIAGE/ informatique

Posté par Profil amethystere : Exercice relation 11-06-15 à 22:39

ok bon alors c'est bon ça marche

c'est special quoi ...

bonne nuit à plus les camarades!

Posté par
bibjuju
re : Exercice relation 11-06-15 à 22:42

En tout cas merci beaucoup !



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 1768 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 !