Relation antisymétriqueEn mathématiques, une relation (binaire, interne) R sur un ensemble E est dite antisymétrique si elle vérifie : ce qui signifie que l'intersection de son graphe avec celui de sa relation réciproque est incluse dans la diagonale de E, autrement dit : La condition (1) peut aussi s'écrire On remarque l'antisymétrie d'une relation sur son diagramme sagittal par le fait qu'il n'y a pas de double flèche (donc que des sens uniques).
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
Relation binaireEn 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. Les composantes d'un couple appartenant au graphe d'une relation R sont dits en relation par R. Une relation binaire est parfois appelée correspondance entre les deux ensembles.
Order theoryOrder theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.
Relation d'équivalenceEn 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 « .
Espace topologiqueLa topologie générale est une branche des mathématiques qui fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage. Les espaces topologiques forment le socle conceptuel permettant de définir ces notions. Elles sont suffisamment générales pour s'appliquer à un grand nombre de situations différentes : ensembles finis, ensembles discrets, espaces de la géométrie euclidienne, espaces numériques à n dimensions, espaces fonctionnels plus complexes, mais aussi en géométrie algébrique.
Nombre réelEn mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
PréordreEn mathématiques, un préordre est une relation binaire réflexive et transitive. C'est-à-dire que si E est un ensemble, une relation binaire sur E est un préordre lorsque : (réflexivité) ; (transitivité). Un ensemble préordonné est un ensemble muni d'un préordre, ou plus formellement un couple où désigne un ensemble et un préordre sur . Les ordres sont les préordres antisymétriques. Les relations d'équivalence sont les préordres symétriques. Dans un anneau commutatif, la relation « divise » est une relation de préordre.
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Plus petit commun multipleEn mathématiques, et plus précisément en arithmétique, le plus petit commun multiple – en abrégé PPCM – (peut s'appeler aussi PPMC, soit « plus petit multiple commun ») de deux entiers non nuls a et b est le plus petit entier strictement positif qui soit multiple de ces deux nombres. On le note a ∨ b ou PPCM(a, b), ou parfois simplement [a, b]. On peut également définir le PPCM de a et b comme un multiple commun de a et de b qui divise tous les autres.
Conditions de chaîneLes conditions de chaîne (ascendante et descendante) sont deux propriétés mathématiques sur les ordres, identifiées initialement par Emmy Noether dans le contexte de l'algèbre commutative. Sur un ensemble partiellement ordonné (V, ≤), la condition de chaîne ascendante désigne la propriété suivante : toute suite croissante (xn)n ∈ N d'éléments de V est stationnaire, c'est-à-dire constante à partir d'un certain rang (il existe un entier N tel que pour tout n ≥ N, xn = xN) ou également la propriété (équivalente car il s'agit d'une relation d'ordre) V ne contient pas de suite infinie strictement croissante.
IsomorphismeEn mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .
Relation transitiveEn 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. Formellement, la propriété de transitivité s'écrit, pour une relation définie sur un ensemble : Une relation binaire non transitive est donc une relation pour laquelle la propriété universelle ci-dessus est fausse, c'est-à-dire qu'il existe un élément en relation avec un deuxième qui lui-même est en relation avec un troisième, sans que le premier soit en relation avec le troisième : C'est le cas de l'orthogonalité de droites, par exemple.
Suite (mathématiques)vignette|Exemple de suite : les points bleus représentent ses termes. En mathématiques, une suite est une famille d'éléments — appelés ses « termes » — indexée par les entiers naturels. Une suite finie est une famille indexée par les entiers strictement positifs inférieurs ou égaux à un certain entier, ce dernier étant appelé « longueur » de la suite. Lorsque tous les éléments d'une suite (infinie) appartiennent à un même ensemble , cette suite peut être assimilée à une application de dans .
Espace vectorielvignette|Dans un espace vectoriel, on peut additionner deux vecteurs. Par exemple, la somme du vecteur v (en bleu) et w (en rouge) est v + w. On peut aussi multiplier un vecteur, comme le vecteur w que l'on peut multiplier par 2, on obtient alors 2w et la somme devient v + 2w. En mathématiques, plus précisément en algèbre linéaire, un espace vectoriel est un ensemble d'objets, appelés vecteurs, que l'on peut additionner entre eux, et que l'on peut multiplier par un scalaire (pour les étirer ou les rétrécir, les tourner, etc.
Fonction monotoneEn mathématiques, une fonction monotone est une fonction entre ensembles ordonnés qui préserve ou renverse l'ordre. Dans le premier cas, on parle de fonction croissante et dans l'autre de fonction décroissante. Ce concept est tout d'abord apparu en analyse réelle pour les fonctions numériques et a été généralisé ensuite dans le cadre plus abstrait de la théorie des ordres. Intuitivement (voir les figures ci-contre), la représentation graphique d'une fonction monotone sur un intervalle est une courbe qui « monte » constamment ou « descend » constamment.
Application identitéEn mathématiques, l'application identité ou la fonction identité est l'application qui n'a aucun effet lorsqu'elle est appliquée à un élément : elle renvoie l'argument sur lui-même. Formellement, sur un ensemble , c'est l'application : Le graphe de l'application identité de est appelé la diagonale du produit cartésien . Pour l'ensemble des réels, ce graphe est la première bissectrice du plan euclidien. vignette|Graphe de la fonction identité sur . L'application identité de est notée ou .
Borne supérieure et borne inférieureEn mathématiques, les notions de borne supérieure et borne inférieure d'un ensemble de nombres réels interviennent en analyse, comme cas particulier de la définition générale suivante : la borne supérieure (ou le supremum) d'une partie d'un ensemble (partiellement) ordonné est le plus petit de ses majorants. Une telle borne n'existe pas toujours, mais si elle existe alors elle est unique. Elle n'appartient pas nécessairement à la partie considérée. Dualement, la borne inférieure (ou l'infimum) d'une partie est le plus grand de ses minorants.
Ensemble des parties d'un ensembleEn 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). Soit un ensemble. L'ensemble des parties de est l'ensemble, généralement noté , dont les éléments sont les sous-ensembles de : Il est également parfois noté , ou (gothique), ou encore (P de Weierstrass). Dans la théorie des ensembles de Zermelo, l'existence, pour tout ensemble , d'un tel ensemble , est postulée par l'axiome de l'ensemble des parties, et son unicité résulte de l'axiome d'extensionnalité.
