Morphisme de groupesUn morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure de groupe. Plus précisément, c'est un morphisme de magmas d'un groupe dans un groupe , c'est-à-dire une application telle que et l'on en déduit alors que f(e) = e (où e et e désignent les neutres respectifs de G et G) et ∀x ∈ G f(x) = [f(x)]. donc ; en composant par l'inverse de , on obtient (autrement dit, un morphisme de groupes conserve l'idempotence, et l'élément neutre d'un groupe est son unique élément idempotent).
Continuous linear operatorIn functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous function (topology) and Discontinuous linear map Bounded operator Suppose that is a linear operator between two topological vector spaces (TVSs). The following are equivalent: is continuous.
Continuous functionIn mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is .
Théorie de l'homotopie stableEn mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
Espace de FréchetUn espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme. Cette dénomination fait référence à Maurice Fréchet, mathématicien français ayant participé notamment à la fondation de la topologie et à ses applications en analyse fonctionnelle. C'est dans ce dernier domaine que la structure des espaces de Fréchet se révèle particulièrement utile, notamment en fournissant une topologie naturelle aux espaces de fonctions infiniment dérivables et aux espaces de distributions.
Degré d'une applicationLe degré d'une application continue entre variétés de même dimension est une généralisation de la notion d'enroulement d'un cercle sur lui-même. C'est un invariant homologique à valeurs entières. Sa définition, d'abord réservée aux applications différentiables, s'étend aux applications continues par passage à la limite du fait de son invariance par homotopie. Mais la construction des groupes d'homologie permet aussi de proposer une définition directe pour les applications continues.
Espace pointéEn topologie, un espace pointé est un espace topologique dont on spécifie un point particulier comme étant le point de base. Formellement, il s'agit donc d'un couple (E, x) pour lequel x est un élément de E. Une application pointée entre deux espaces pointés est une application continue préservant les points de base. Les espaces pointés sont les objets d'une catégorie, notée parfois Top, dont les morphismes sont les applications pointées. Cette catégorie admet le point comme objet nul.
Module homomorphismIn algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Discontinuous linear mapIn mathematics, linear maps form an important class of "simple" functions which preserve the algebraic structure of linear spaces and are often used as approximations to more general functions (see linear approximation). If the spaces involved are also topological spaces (that is, topological vector spaces), then it makes sense to ask whether all linear maps are continuous. It turns out that for maps defined on infinite-dimensional topological vector spaces (e.g.
Algebra homomorphismIn mathematics, an algebra homomorphism is a homomorphism between two algebras. More precisely, if A and B are algebras over a field (or a ring) K, it is a function such that, for all k in K and x, y in A, one has The first two conditions say that F is a K-linear map, and the last condition says that F preserves the algebra multiplication. So, if the algebras are associative, F is a rng homomorphism, and, if the algebras are rings and F preserves the identity, it is a ring homomorphism.
