Discussion:Relation d'équivalence
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Élevée |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Portail[modifier le code]
Cette notion n'est clairement pas restreinte à l'algèbre. C'est une notion de théorie des ensembles qui a autant d'importance en algèbre qu'en topologie ou en combinatoire, sans parler de l'analyse (espace de fonctions Lp) ou de la géométrie (projection, équipollence), de la théorie des ordres... Ambigraphe, le 9 mars 2012 à 21:38 (CET)
- Je suis d'accord. Je m'étais fait la même réflexion il y a 3 jours. Anne (d) 9 mars 2012 à 21:43 (CET)
Relation d'équivalence engendrée[modifier le code]
Je voulais poser un lien à ce sujet dans Objet libre mais je ne trouve rien ici, ni dans Relation binaire. J'ai bien vu Fermeture transitive mais ça n'est pas satisfaisant. Anne (discuter) 2 novembre 2013 à 21:05 (CET)
- Fait. Anne, 3/11/13
Relation d'équivalence en informatique[modifier le code]
Bonjour,
L'utilisateur Marvoir a annulé ma modification de l'article, peut-être à juste titre (exemple exotique). C'est pourquoi j'ouvre cependant une discussion. En informatique/logique/IA/système multi-agents, il y a de plus en plus de travaux sur le raisonnement stratégique avec information imparfaite. L'indistinguabilité qu'a un agent est modélisé par une relation d'équivalence entre états possibles du système. Ref ː http://dl.acm.org/citation.cfm?id=995831, https://plato.stanford.edu/entries/dynamic-epistemic/. Je comprends que ça peut paraître capilotracté. Mais en même temps, ça peut donner une coloration plus informatique et des exemples plus originaux que des les exemples classiques en mathématiques.
Aussi, j'y pense, l'article pourrait pointer sur union find qui est une structure de donnée en informatique pour représenter une relation d'équivalence. Je pense aussi aux relations d'équivalences utilisées en informatique comme l'équivalence de Nerode. J'ai peur de me faire annuler les modifications et peur que ça dénature trop l'article pour des mathématiciens purs et durs.
En tout cas, je vous souhaite à tous une bonne journée.
--Fschwarzentruber (discuter) 23 juillet 2017 à 12:13 (CEST)
- Merci de réagir aimablement. Comme je l'ai dit, votre exemple me semble exotique, en ce sens que pour une personne capable de comprendre cet exemple, une relation d'équivalence est depuis longtemps quelque chose de trivial. Dans tous les coins de toutes les théories mathématiques, il y a des relations d'équivalence et si on accepte des exemples tirés des théories les plus abstruses, la liste sera interminable. Cela dit, s'il se dégage un consensus contre ma façon de voir, je n'insisterai pas. Marvoir (discuter) 23 juillet 2017 à 12:31 (CEST)
- OK, c'est pour éviter un catalogue interminable. Je partage votre avis. Dans ce cas, quid d'une section "Informatique" dans laquelle on mentionne "indistiguabilité entre états" (et pt mentionner les systèmes distribués), la relation de Nerode en théorie des automates et la structure de donnée union-find ?
- Je laisse la parole à d'autres intervenants. Marvoir (discuter) 23 juillet 2017 à 12:50 (CEST)
- Moi je serais assez partant pour un exemple capilotracté. Même si l'exemple n'est pas une relation d'équivalence au sens strictement mathématique, je crois qu'il y a bien des informaticiens qui s'inspirent de la notion pour traiter leurs problèmes.
- Ça montre que le concept est fertile et a de la descendence en-dehors de la mathématique. Laurent.Claessens (discuter) 27 février 2021 à 11:37 (CET)
- OK, c'est pour éviter un catalogue interminable. Je partage votre avis. Dans ce cas, quid d'une section "Informatique" dans laquelle on mentionne "indistiguabilité entre états" (et pt mentionner les systèmes distribués), la relation de Nerode en théorie des automates et la structure de donnée union-find ?