Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Relation d'équivalence

Indice Relation d'équivalence

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

72 relations: Action de groupe (mathématiques), Anneau ℤ/nℤ, Application (mathématiques), Éditions Dunod, Égalité (mathématiques), Équipollence (mathématiques), Équivalence d'homotopie, Bijection, Canonique (mathématiques), Classe (mathématiques), Classe suivant un sous-groupe, Composition de fonctions, Congruence sur les entiers, Construction des entiers relatifs, Contre-exemple, Corps des fractions, Corps ordonné, Couple (mathématiques), Direction (géométrie), Ensemble, Ensemble des parties d'un ensemble, Ensemble négligeable, Ensemble vide, Ensembles disjoints, Entier relatif, Espace affine, Espace mesuré, Espace projectif, Fermeture transitive, Germe (mathématiques), Groupe (mathématiques), Groupe cyclique, Groupe quotient, Image (mathématiques), Image d'une application, Inclusion (mathématiques), Injection (mathématiques), Intégrale de Lebesgue, International Standard Book Number, Logique modale, Loi de composition interne, Mathématiques, Matrices équivalentes, Matrices congruentes, Matrices semblables, Nombre de Bell, Nombre réel, Paire, Parallélisme (géométrie), Partition d'un ensemble, ..., Préordre, Proposition contraposée, Propriété universelle, Recouvrement (mathématiques), Relation binaire, Relation d'ordre, Relation de tolérance, Relation réflexive, Relation symétrique, Relation transitive, Sémantique de Kripke, Singleton (mathématiques), Sous-groupe, Sous-groupe normal, Springer Science+Business Media, Structure algébrique, Suite définie par récurrence, Surjection, Topologie quotient, Triangles isométriques, Triangles semblables, Trivial (mathématiques). Développer l'indice (22 plus) »

Action de groupe (mathématiques)

En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires.

Nouveau!!: Relation d'équivalence et Action de groupe (mathématiques) · Voir plus »

Anneau ℤ/nℤ

En mathématiques, et plus particulièrement en algèbre, (ℤ/nℤ,+,×) est un cas particulier d'anneau commutatif, correspondant au calcul modulaire sur les restes des entiers dans la division par n. Tout anneau unitaire contient un sous-anneau isomorphe soit à (ℤ/nℤ,+,×) soit à l'anneau (ℤ,+,×) des entiers.

Nouveau!!: Relation d'équivalence et Anneau ℤ/nℤ · Voir plus »

Application (mathématiques)

Diagramme représentatif d'une application entre deux ensembles. En mathématiques, une application est une relation entre deux ensembles pour laquelle chaque élément du premier (appelé ensemble de départ ou source) est relié à un unique élément du second (l’ensemble d'arrivée ou but).

Nouveau!!: Relation d'équivalence et Application (mathématiques) · Voir plus »

Éditions Dunod

Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.

Nouveau!!: Relation d'équivalence et Éditions Dunod · Voir plus »

Égalité (mathématiques)

"Signe égal" exprimant l'égalité entre deux expressions. En mathématiques, l’égalité est une relation binaire entre deux objets signifiant que ces objets sont identiques, c’est-à-dire que le remplacement de l’un par l’autre dans une expression ne change jamais la valeur de cette dernière.

Nouveau!!: Relation d'équivalence et Égalité (mathématiques) · Voir plus »

Équipollence (mathématiques)

En mathématiques, plus précisément en géométrie affine, l'équipollence est une relation d'équivalence dans un carré cartésien, dotée de certaines propriétés supplémentaires.

Nouveau!!: Relation d'équivalence et Équipollence (mathématiques) · Voir plus »

Équivalence d'homotopie

Deux jeux d'ensembles homotopiques: les lettres bleues et celles rouges. En mathématiques, une équivalence d'homotopie est une application admettant une réciproque à homotopie près.

Nouveau!!: Relation d'équivalence et Équivalence d'homotopie · Voir plus »

Bijection

En mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédentC'est-à-dire est image d'exactement un élément de son domaine de définition.

Nouveau!!: Relation d'équivalence et Bijection · Voir plus »

Canonique (mathématiques)

En mathématiques, l'adjectif « canonique » a principalement deux emplois spécifiques.

Nouveau!!: Relation d'équivalence et Canonique (mathématiques) · Voir plus »

Classe (mathématiques)

En mathématiques, la notion de classe généralise celle d'ensemble.

Nouveau!!: Relation d'équivalence et Classe (mathématiques) · Voir plus »

Classe suivant un sous-groupe

En théorie des groupes, les classes à gauche d'un groupe G suivant un sous-groupe H sont les parties de G de la forme gH avec g élément de G, où gH désigne l'ensemble des éléments gh quand h parcourt H. Elles constituent les classes d'une relation d'équivalence sur G, donc forment une partition de G. On peut les voir aussi comme les orbites de l'action à droite de H sur G, par translations par les symétriques des éléments de H. L'ensemble des classes à gauche d'un groupe G suivant un sous-groupe H est noté G/H.

Nouveau!!: Relation d'équivalence et Classe suivant un sous-groupe · Voir plus »

Composition de fonctions

La composition de fonctions (ou composition d’applications) est, en mathématiques, un procédé qui consiste, à partir de deux fonctions, à en construire une nouvelle.

Nouveau!!: Relation d'équivalence et Composition de fonctions · Voir plus »

Congruence sur les entiers

La congruence sur les entiers est une relation pouvant unir deux entiers.

Nouveau!!: Relation d'équivalence et Congruence sur les entiers · Voir plus »

Construction des entiers relatifs

En mathématiques, la construction du groupe abélien (\Z,+) des entiers relatifs est un exemple standard de symétrisation d'un monoïde commutatif, en l'occurrence: le monoïde (\N,+) des entiers naturels.

Nouveau!!: Relation d'équivalence et Construction des entiers relatifs · Voir plus »

Contre-exemple

En logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions.

Nouveau!!: Relation d'équivalence et Contre-exemple · Voir plus »

Corps des fractions

En théorie des anneaux, le corps des fractions d'un anneau intègre A est le plus petit corps commutatif (à isomorphisme près) contenant A. Sa construction est une généralisation à un anneau de la construction du corps des rationnels à partir de l'anneau des entiers relatifs.

Nouveau!!: Relation d'équivalence et Corps des fractions · Voir plus »

Corps ordonné

En algèbre générale, un corps ordonné est la donnée d'un corps commutatif (K, +, ×), muni d'une relation d'ordre (notée ≤ dans l'article) compatible avec la structure de corps.

Nouveau!!: Relation d'équivalence et Corps ordonné · Voir plus »

Couple (mathématiques)

En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé.

Nouveau!!: Relation d'équivalence et Couple (mathématiques) · Voir plus »

Direction (géométrie)

En géométrie classique, la notion de direction est liée à celle de parallélisme.

Nouveau!!: Relation d'équivalence et Direction (géométrie) · Voir plus »

Ensemble

Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.

Nouveau!!: Relation d'équivalence et Ensemble · Voir plus »

Ensemble des parties d'un ensemble

En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).

Nouveau!!: Relation d'équivalence et Ensemble des parties d'un ensemble · Voir plus »

Ensemble négligeable

Le triangle de Sierpiński est un exemple d'ensemble nul de points dans \mathbbR^2. En théorie de la mesure, dans un espace mesuré, un ensemble négligeable est un ensemble de mesure nulle ou une partie d'un tel ensemble.

Nouveau!!: Relation d'équivalence et Ensemble négligeable · Voir plus »

Ensemble vide

En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.

Nouveau!!: Relation d'équivalence et Ensemble vide · Voir plus »

Ensembles disjoints

Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun.

Nouveau!!: Relation d'équivalence et Ensembles disjoints · Voir plus »

Entier relatif

En mathématiques, un entier relatif, un entier rationnel ou simplement un nombre entier est un nombre qui se présente comme un entier naturel auquel on a adjoint un signe positif ou négatif indiquant sa position par rapport à 0 sur un axe orienté.

Nouveau!!: Relation d'équivalence et Entier relatif · Voir plus »

Espace affine

En géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance.

Nouveau!!: Relation d'équivalence et Espace affine · Voir plus »

Espace mesuré

En théorie de la mesure, on appelle espace mesuré un triplet (X,\mathcal,\mu), où X est un ensemble, \mathcal une tribu sur X et \mu une mesure sur \mathcal.

Nouveau!!: Relation d'équivalence et Espace mesuré · Voir plus »

Espace projectif

En mathématiques, un espace projectif est le résultat d'une construction fondamentale qui consiste à rendre homogène un espace vectoriel, autrement dit à raisonner indépendamment des proportionnalités pour ne plus considérer que des directions.

Nouveau!!: Relation d'équivalence et Espace projectif · Voir plus »

Fermeture transitive

La fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés.

Nouveau!!: Relation d'équivalence et Fermeture transitive · Voir plus »

Germe (mathématiques)

La notion de germe en mathématiques capture les propriétés « locales » d'un phénomène, par exemple la coïncidence infinitésimale entre fonctions.

Nouveau!!: Relation d'équivalence et Germe (mathématiques) · Voir plus »

Groupe (mathématiques)

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.

Nouveau!!: Relation d'équivalence et Groupe (mathématiques) · Voir plus »

Groupe cyclique

En mathématiques et plus précisément en théorie des groupes, un groupe cyclique est un groupe qui est à la fois fini et monogène, c'est-à-dire qu'il existe un élément a du groupe tel que tout élément du groupe puisse s'exprimer sous forme d'un multiple de a (en notation additive, ou comme puissance en notation multiplicative); cet élément a est appelé générateur du groupe.

Nouveau!!: Relation d'équivalence et Groupe cyclique · Voir plus »

Groupe quotient

Dans l'étude des groupes, le quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens.

Nouveau!!: Relation d'équivalence et Groupe quotient · Voir plus »

Image (mathématiques)

En mathématiques, la notion d’image est reliée à la notion d’application avec plusieurs définitions distinctes.

Nouveau!!: Relation d'équivalence et Image (mathématiques) · Voir plus »

Image d'une application

f est une fonction de X dans Y. L'ovale jaune dans Y est l'image de f. On appelle image d'une application (d'un ensemble vers un ensemble) l'image directe par de l'ensemble de départ.

Nouveau!!: Relation d'équivalence et Image d'une application · Voir plus »

Inclusion (mathématiques)

En mathématiques, l’inclusion est une relation d'ordre entre ensembles.

Nouveau!!: Relation d'équivalence et Inclusion (mathématiques) · Voir plus »

Injection (mathématiques)

Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle ℝ, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point.

Nouveau!!: Relation d'équivalence et Injection (mathématiques) · Voir plus »

Intégrale de Lebesgue

En mathématiques, l’intégrale de Lebesgue désigne à la fois une théorie relative à l'intégration et à la mesure, et le résultat de l'intégration d'une fonction à valeurs réelles définie sur \mathbb (ou sur \mathbb^n) muni de la mesure de Lebesgue.

Nouveau!!: Relation d'équivalence et Intégrale de Lebesgue · Voir plus »

International Standard Book Number

LInternational Standard Book Number (ISBN) ou Numéro international normalisé du livre est un numéro internationalement reconnu, créé en 1970, identifiant de manière unique chaque édition de chaque livre publié.

Nouveau!!: Relation d'équivalence et International Standard Book Number · Voir plus »

Logique modale

En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.

Nouveau!!: Relation d'équivalence et Logique modale · Voir plus »

Loi de composition interne

En mathématiques, et plus précisément en algèbre générale, une loi de composition interne est une application qui, à deux éléments d'un ensemble E, associe un élément de E. Autrement dit, c'est une opération binaire par laquelle E est stable.

Nouveau!!: Relation d'équivalence et Loi de composition interne · Voir plus »

Mathématiques

Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.

Nouveau!!: Relation d'équivalence et Mathématiques · Voir plus »

Matrices équivalentes

En mathématiques, deux matrices A et B de même format (m,n) sont dites équivalentes si et seulement s'il existe deux matrices inversibles P et Q (de formats respectifs (n,n) et (m,m)) telles que B.

Nouveau!!: Relation d'équivalence et Matrices équivalentes · Voir plus »

Matrices congruentes

En algèbre linéaire, deux matrices carrées A et B (de même taille et à coefficients dans un même corps K) sont dites congruentes si elles représentent la même forme bilinéaire dans deux bases différentes, c'est-à-dire s'il existe une matrice inversible P telle que B.

Nouveau!!: Relation d'équivalence et Matrices congruentes · Voir plus »

Matrices semblables

En mathématiques, deux matrices carrées A et B sont dites semblables s'il existe une matrice inversible P telle que A.

Nouveau!!: Relation d'équivalence et Matrices semblables · Voir plus »

Nombre de Bell

En mathématiques, le n-ième nombre de Bell (du nom de Eric Temple Bell) est le nombre de partitions d'un ensemble à n éléments distincts ou, ce qui revient au même, le nombre de relations d'équivalence sur un tel ensemble.

Nouveau!!: Relation d'équivalence et Nombre de Bell · Voir plus »

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.

Nouveau!!: Relation d'équivalence et Nombre réel · Voir plus »

Paire

Une paire est un ensemble qui comprend exactement deux éléments.

Nouveau!!: Relation d'équivalence et Paire · Voir plus »

Parallélisme (géométrie)

En géométrie affine, le parallélisme est une propriété relative aux droites, aux plans ou plus généralement aux sous-espaces affines.

Nouveau!!: Relation d'équivalence et Parallélisme (géométrie) · Voir plus »

Partition d'un ensemble

Les 52 partitions d'un ensemble à 5 éléments. Les points noirs représentent les éléments de l'ensemble. Une région colorée correspond à un bloc de la partition qui regroupe plusieurs points noirs. Un point noir isolé signifie que cet élément appartient à un bloc qui est un singleton. En mathématiques, une partition d'un ensemble est un ensemble de parties non vides de deux à deux disjointes et dont l'union est.

Nouveau!!: Relation d'équivalence et Partition d'un ensemble · Voir plus »

Préordre

En mathématiques, un préordre est une relation binaire réflexive et transitive.

Nouveau!!: Relation d'équivalence et Préordre · Voir plus »

Proposition contraposée

En mathématiques et en logique, la contraposition transforme une implication « si A alors B » en une implication équivalente « si non B alors non A ».

Nouveau!!: Relation d'équivalence et Proposition contraposée · Voir plus »

Propriété universelle

En mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur.

Nouveau!!: Relation d'équivalence et Propriété universelle · Voir plus »

Recouvrement (mathématiques)

Un recouvrement d'un ensemble E est une famille (X) d'ensembles dont l'union contient E, c'est-à-dire telle que tout élément de E appartient à au moins l'un des X.

Nouveau!!: Relation d'équivalence et Recouvrement (mathématiques) · Voir plus »

Relation binaire

En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.

Nouveau!!: Relation d'équivalence et Relation binaire · Voir plus »

Relation d'ordre

Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.

Nouveau!!: Relation d'équivalence et Relation d'ordre · Voir plus »

Relation de tolérance

En mathématiques, une relation de tolérance est une relation réflexive, symétrique mais non transitive.

Nouveau!!: Relation d'équivalence et Relation de tolérance · Voir plus »

Relation réflexive

En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité).

Nouveau!!: Relation d'équivalence et Relation réflexive · Voir plus »

Relation symétrique

En mathématiques, une '''relation''' (binaire, interne) est dite symétrique si elle vérifie: ou encore, si elle est égale à sa relation réciproque.

Nouveau!!: Relation d'équivalence et Relation symétrique · Voir plus »

Relation transitive

En mathématiques, une relation transitive est une relation binaire pour laquelle une suite d'objets reliés consécutivement aboutit à une relation entre le premier et le dernier.

Nouveau!!: Relation d'équivalence et Relation transitive · Voir plus »

Sémantique de Kripke

En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales.

Nouveau!!: Relation d'équivalence et Sémantique de Kripke · Voir plus »

Singleton (mathématiques)

En mathématiques, un singleton est un ensemble qui comprend exactement un élément.

Nouveau!!: Relation d'équivalence et Singleton (mathématiques) · Voir plus »

Sous-groupe

Un sous-groupe est un objet mathématique décrit par la théorie des groupes.

Nouveau!!: Relation d'équivalence et Sous-groupe · Voir plus »

Sous-groupe normal

En théorie des groupes, un sous-groupe normal (également appelé sous-groupe distingué ou sous-groupe invariant) H d'un groupe G est un sous-groupe globalement stable par l'action de ''G'' sur lui-même par conjugaison.

Nouveau!!: Relation d'équivalence et Sous-groupe normal · Voir plus »

Springer Science+Business Media

Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.

Nouveau!!: Relation d'équivalence et Springer Science+Business Media · Voir plus »

Structure algébrique

En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité.

Nouveau!!: Relation d'équivalence et Structure algébrique · Voir plus »

Suite définie par récurrence

En mathématiques, une suite définie par récurrence est une suite définie par son (ou ses) premier(s) terme(s) et par une relation de récurrence, qui définit chaque terme à partir du précédent ou des précédents lorsqu'ils existent.

Nouveau!!: Relation d'équivalence et Suite définie par récurrence · Voir plus »

Surjection

En mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de l'ensemble de départ.

Nouveau!!: Relation d'équivalence et Surjection · Voir plus »

Topologie quotient

En mathématiques, la topologie quotient consiste intuitivement à créer une topologie en collant certains points d'un espace donné sur d'autres, par le biais d'une relation d'équivalence bien choisie.

Nouveau!!: Relation d'équivalence et Topologie quotient · Voir plus »

Triangles isométriques

Un triangle est isométrique avec un autre triangle lorsqu'il existe une isométrie (une translation, une rotation, une symétrie ou une composée de telles transformations) par laquelle il est l'image de l'autre.

Nouveau!!: Relation d'équivalence et Triangles isométriques · Voir plus »

Triangles semblables

En géométrie euclidienne, on dit que deux triangles sont semblables s'ils ont la même forme, mais pas nécessairement la même taille, donne cette définition intuitive, choisit la première caractérisation comme définition formelle, et démontre l'équivalence avec les deux suivantes.

Nouveau!!: Relation d'équivalence et Triangles semblables · Voir plus »

Trivial (mathématiques)

En mathématiques, on qualifie de trivial un énoncé dont on juge la vérité évidente à la lecture, ou un objet mathématique dont on estime que l'existence va de soi et que son étude n'a pas d'intérêt; il s'agit donc avant tout d'une notion subjective.

Nouveau!!: Relation d'équivalence et Trivial (mathématiques) · Voir plus »

Redirections ici:

Classe d'équivalence, Ensemble quotient, Ensemble-quotient, Projection canonique, Relation d'equivalence, Relation d'équivalence engendrée.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »