Niveau maths spé

démontrer que l'union et l'itersectin associatives(treillis)

Posté par
zizou06 11-01-12 à 18:08

salut

aujourd'hui j'ai un autre problème

soit E un treillis. montrer que et sont associative

j'ai quelque idée

E un treillis alors sup et inf son existe donc on essaye de montrer que sup et inf sont associatives mais je ne sais pas comment le démontrer

Posté par re : démontrer que l'union et l'itersectin associatives(treill 11-01-12 à 19:01

Tu prends x, y et z dans ton treillis .
...(xy)z majore x et y et z .
Il majore donc x et yz et donc aussi x (yz) .
...

Posté par re : démontrer que l'union et l'itersectin associatives(treill 11-01-12 à 19:43

oui mais comment le démontré
stp expliquer un peut

Posté par re : démontrer que l'union et l'itersectin associatives(treill 11-01-12 à 23:40

Revois la définition d'un treillis.

Si t majore y et z il majore yz .

Posté par re : démontrer que l'union et l'itersectin associatives(treill 12-01-12 à 19:30

merci pour l'idée kybjm
mais j'ai un problème d'écriture de la démonstration
stp donne moi une démonstration complète

la démonstration de ce problème n'est pas facile stp aidez moi

Posté par re : démontrer que l'union et l'itersectin associatives(treill 13-01-12 à 01:12

celle que je t'ai écrite le 11-01-12 à 19:01 est un début .
Inspire-t-en pour montrer que x(yz) majore (xy)z et tu auras l'égalité de x(yz) et de (xy)z .

Pour la loi tu remplaces majore par minore et par dans ce qui précède.