Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
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 par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle R, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point. Si une application injective est aussi surjective, elle est dite bijective.
Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
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,...
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 .
Ensemble de définitionEn mathématiques, l'ensemble de définition (également appelé domaine de définition ou parfois ensemble de départ, voir la discussion plus bas) d'une application ou d'une fonction désigne informellement l'ensemble des entrées acceptées par elle. La terminologie entre ensemble de définition et ensemble de départ diffère si l'on fait la distinction entre la notion de fonction et d'application ou non.
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 .
Classe (mathématiques)En mathématiques, la notion de classe généralise celle d'ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu comme une collection d'objets, mais aussi comme un objet mathématique, qui en particulier peut lui-même appartenir à un autre ensemble. Ce n'est pas forcément le cas d'une classe, qui est une collection d'objets que l'on peut définir, dont on peut donc parler, mais qui ne forme pas nécessairement un ensemble.
Ensemble d'arrivéeEn mathématiques, pour une application ou une fonctionSelon les sources, il y a distinction ou non entre les notions de fonction et dapplication'', voir Application_(mathématiques)#Fonction_et_application pour plus de détails. Ce qui est énoncé dans cet article est valable que la distinction soit faite ou non. donnée f : A → B, l'ensemble B est appelé l'ensemble d'arrivée (on dit parfois le but de f ou le codomaine''' de f). L'ensemble d'arrivée ne doit pas être confondu avec l' f(A) de f, qui est en général seulement un sous-ensemble de B.
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
