Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Antisymétrie relation d'ordre

Posté par Profil Ramanujan 30-06-19 à 21:44

Bonsoir,

Dans une relation d'équivalence qui est symétrique, j'avais la définition suivante de la symétrie :

\forall (x,y) \in E^2 , x \mathcal{R} y \implies y \mathcal{R} x (1)

J'aimerais démontrer à partir de cette définition que la définition de antisymétrie est :

\forall (x,y) \in E^2 , (x \mathcal{R} y \ \text{ET} \ y \mathcal{R} x ) \implies x=y (2)

Je dois faire la négation de (1) soit :

\bar {\forall (x,y) \in E^2 , x \mathcal{R} y \implies y \mathcal{R} x }

Mais déjà le pour tout va se transformer en "il existe" et donc je ne vois pas comment on pourrait obtenir (2).

Posté par
lafol Moderateur
re : Antisymétrie relation d'ordre 30-06-19 à 21:53

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 ...

Posté par
lafol Moderateur
re : Antisymétrie relation d'ordre 30-06-19 à 21:55

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 !

Posté par Profil Ramanujanre : Antisymétrie relation d'ordre 30-06-19 à 22:09

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 :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 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 !