Morphisme d'anneauxUn morphisme d'anneaux est une application entre deux anneaux (unitaires) A et B, compatible avec les lois de ces anneaux et qui envoie le neutre multiplicatif de A sur le neutre multiplicatif de B. Un morphisme d'anneaux est une application f entre deux anneaux (unitaires) A et B qui vérifie les trois propriétés suivantes : Pour tous a, b dans A : f(a + b) = f(a) + f(b) f(a ∙ b) = f(a) ∙ f(b) f(1A) = 1B.
Famille (mathématiques)En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par tous les entiers naturels. Ainsi on pourra parler, en algèbre linéaire, de la famille de vecteurs qui est une famille finie, ou de la famille dénombrable (un)n ∈ N. Une famille est toujours indexée, même si elle l'est parfois implicitement, par exemple dans les locutions « famille libre » ou « famille génératrice ». Une famille (x) d'éléments x d'un ensemble E, indexée par un ensemble I, lindex, est une application définie sur I à valeurs dans E.
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.
Ensembles disjointsvignette|Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun. Par exemple, et sont deux ensembles disjoints. De manière formelle, deux ensembles A et B sont disjoints si leur intersection est l'ensemble vide, c'est-à-dire si (Dans le cas contraire, on dit que A et B « se rencontrent ».) Cette définition s'étend à une famille d'ensembles. Les ensembles d'une famille sont dits disjoints deux à deux ou mutuellement disjoints si deux ensembles quelconques de cette famille sont disjoints.
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.
Abus de notationEn mathématiques, un abus de notation est l'utilisation de symboles hors de leur usage d'origine de façon à résumer une expression, au risque de contrevenir à un formalisme en cours, voire d'obtenir une expression ambiguë. Par exemple, la notation , utilisée au pour désigner l'unité imaginaire, est abusive dans le formalisme actuel où le symbole radical est réservé aux nombres réels positifs. Un abus de notation courant est l'identification entre deux objets mathématiques différents, c'est-à-dire l'utilisation de l'un pour l'autre.
Fonction partiellevignette|Exemple d'une fonction partielle En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé ensemble de définition (ou domaine de définition) de la fonction partielle.
Fonction constantevignette|Graphique représentant la fonction constante f(x)=2. En mathématiques, une fonction constante est une fonction qui ne prend qu'une seule valeur, indépendamment de sa variable. En physique, une grandeur peut être fonction constante d'une autre lorsque les variations de la seconde ne perturbent pas la première. Une fonction est constante si et seulement si son est réduite à un singleton. Une fonction constante d'une variable réelle est représentée par une droite parallèle à l'axe des abscisses.
2-catégorieEn mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de Cat (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories.
Image d'une applicationvignette| est une fonction de dans . L'ovale jaune dans est l'image de . On appelle image d'une application f (d'un ensemble A vers un ensemble B) l' par f de l'ensemble de départ A. C'est donc le sous-ensemble de B contenant les de tous les éléments de A, et uniquement ces images. On le note Im(f). Exemple : Une application est surjective si et seulement si son image coïncide avec son ensemble d'arrivée. Lemme des noyaux Catégorie abélienne Limite projective Noyau (algèbre) (autrement dit : d'une relation
