En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient.
vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « ... a le même ISBN que ... » est une relation d'équivalence.Considérons un ensemble de huit exemplaires de livres, comme le montre la figure à droite. Par exemple : deux exemplaires du même dictionnaire Le Robert (en bleu), deux exemplaires d'un même livre de botanique (en vert), trois exemplaires du même livre de mathématiques (en rouge), et un livre de sciences-fiction (en jaune). La relation « ... a le même ISBN que ... » est une relation d'équivalence. Par exemple, Deux exemplaires du même dictionnaire ont le même ISBN et sont donc "en relation". On peut regrouper ces exemplaires ensemble : un paquet avec les deux dictionnaires, un paquet avec les deux livres de botaniques, etc. Les paquets sont les classes d'équivalence. L'ensemble de ces quatre paquets est un ensemble quotient.
Comme on le verra dans la définition formelle qui suit, une relation d'équivalence est :
réflexive : un exemplaire a le même ISBN que lui-même ;
symétrique : si un exemplaire A a le même ISBN que l'exemplaire B alors l'exemplaire B a aussi le même ISBN que A ;
transitive : si un exemplaire A a le même ISBN que l'exemplaire B, qui a le même ISBN qu'un exemplaire C, alors l'exemplaire A a le même ISBN que l'exemplaire C.
Plus explicitement :
~ est une relation binaire sur E : un couple (x, y) d'éléments de E appartient au graphe de cette relation si et seulement si x ~ y.
~ est réflexive : pour tout élément x de E, on a x ~ x.
~ est symétrique : chaque fois que deux éléments x et y de E vérifient x ~ y, ils vérifient aussi y ~ x.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).
vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété. On pourra ainsi regrouper ces éléments par « paquets » d'éléments qui se ressemblent, définissant ainsi la notion de classe d'équivalence, pour enfin construire de nouveaux ensembles en « assimilant » les éléments similaires à un seul et même élément. On aboutit alors à la notion d'ensemble quotient. vignette|upright=1.5|Sur cet ensemble de huit exemplaires de livres, la relation « .
In mathematics, when the elements of some set have a notion of equivalence (formalized as an equivalence relation), then one may naturally split the set into equivalence classes. These equivalence classes are constructed so that elements and belong to the same equivalence class if, and only if, they are equivalent. Formally, given a set and an equivalence relation on the of an element in denoted by is the set of elements which are equivalent to It may be proven, from the defining properties of equivalence relations, that the equivalence classes form a partition of This partition—the set of equivalence classes—is sometimes called the quotient set or the quotient space of by and is denoted by .
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
Ce cursus particulier - dont l'admission est sujette à l'acceptation d'un dossier de candidature - offre à l'étudiant engagé dans des études en musique de haut niveau en parallèle à ses études EPFL la
The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of compl
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: 1.On marked simplicial sets (due to Lurie [31]), 2.On bisimplicial spac
In this thesis, we investigate the inverse problem of trees and barcodes from a combinatorial, geometric, probabilistic and statistical point of view.Computing the persistent homology of a merge tree