Bonsoir,
Dans une relation d'équivalence qui est symétrique, j'avais la définition suivante de la symétrie :
(1)
J'aimerais démontrer à partir de cette définition que la définition de antisymétrie est :
(2)
Je dois faire la négation de (1) soit :
Mais déjà le pour tout va se transformer en "il existe" et donc je ne vois pas comment on pourrait obtenir (2).
Bonjour
avant de commencer les relations d'ordre, tu ferais bien de chercher à VRAIMENT comprendre les relations d'équivalence, ce qui vu tes autres sujets n'est pas gagné
antisymétrique n'est en aucun cas le contraire de symétrique
pas plus que croissant n'est le contraire de décroissant ...
et de toutes façons, si tu n'as toujours pas pigé qu'une définition ne se démontre pas mais s'apprend, fais autre chose que des maths ! des arts plastiques, de la traduction français/langue de bois, ce que tu veux, mais pas des maths !
Ok merci. C'est plutôt les classes d'équivalence qui me posent souci, pas les relations d'équivalence.
J'ai un exercice d'ailleurs dans mon livre sur les relations d'équivalence, je vais y réfléchir et je posterai mon raisonnement. Je le mets ici au cas où ça intéresse quelqu'un :
***non tu ne le mets pas ici ! > UN exo = UN topic et réciproquement ***
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :