Mesure de HaarEn mathématiques, une mesure de Haar sur un groupe localement compact est une mesure de Borel quasi-régulière non nulle invariante par translation à gauche. Autrement dit, pour toute partie borélienne B de G, et pour tout g dans G, on a : L'existence d'une mesure de Haar est assurée dans tout groupe localement compact. Elle est finie sur les parties compactes de G. De plus, toute mesure borélienne complexe invariante par translations à gauche s'écrit où est un nombre complexe.
Gelfand representationIn mathematics, the Gelfand representation in functional analysis (named after I. M. Gelfand) is either of two things: a way of representing commutative Banach algebras as algebras of continuous functions; the fact that for commutative C*-algebras, this representation is an isometric isomorphism. In the former case, one may regard the Gelfand representation as a far-reaching generalization of the Fourier transform of an integrable function.
Matrix ringIn abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication . The set of all n × n matrices with entries in R is a matrix ring denoted Mn(R) (alternative notations: Matn(R) and Rn×n). Some sets of infinite matrices form infinite matrix rings. Any subring of a matrix ring is a matrix ring. Over a rng, one can form matrix rngs. When R is a commutative ring, the matrix ring Mn(R) is an associative algebra over R, and may be called a matrix algebra.
Compacité (mathématiques)En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.
Fonction entièreEn analyse complexe, une fonction entière est une fonction holomorphe définie sur tout le plan complexe. C'est le cas notamment de la fonction exponentielle complexe, des fonctions polynomiales et de leurs combinaisons par composition, somme et produit, telles que sinus, cosinus et les fonctions hyperboliques. Le quotient de deux fonctions entières est une fonction méromorphe. Considérée comme un cas particulier de la théorie des fonctions analytiques, la théorie élémentaire des fonctions entières ne fait que tirer les conséquences de la théorie générale.
Algèbre de von NeumannUne algèbre de von Neumann (nommée en l'honneur de John von Neumann) ou W*-algèbre est une -algèbre d'opérateurs bornés sur un espace de Hilbert, fermée pour la topologie faible, et qui contient l'opérateur identité (définition « concrète ») . Les algèbres de von Neumann sont des C-algèbres. De façon surprenante, le théorème du bicommutant de von Neumann montre qu'elles admettent une définition purement algébrique équivalente à la définition topologique.
Radical de JacobsonEn algèbre, le radical de Jacobson d'un anneau commutatif est l'intersection de ses idéaux maximaux. Cette notion est due à Nathan Jacobson qui le premier en a fait l'étude systématique. Un élément x appartient au radical de Jacobson de l'anneau A si et seulement si 1 + ax est inversible pour tout a de A. Notons J le radical de Jacobson de l'anneau commutatif A et exploitons le fait que (d'après le théorème de Krull) 1 + ax est non inversible si et seulement s'il appartient à un idéal maximal.
Produit de convolutionEn mathématiques, le produit de convolution est un opérateur bilinéaire et un produit commutatif, généralement noté « ∗ », qui, à deux fonctions f et g sur un même domaine infini, fait correspondre une autre fonction « f ∗ g » sur ce domaine, qui en tout point de celui-ci est égale à l'intégrale sur l'entièreté du domaine (ou la somme si celui-ci est discret) d'une des deux fonctions autour de ce point, pondérée par l'autre fonction autour de l'origine — les deux fonctions étant parcourues en sens contraire
Dualité de Pontriaguinevignette|La transformée de Fourier En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontriaguine explique les principales propriétés de la transformée de Fourier.
Norme d'opérateurEn mathématiques, et plus particulièrement en analyse fonctionnelle, une norme d'opérateur ou norme subordonnée est une norme définie sur l'espace des opérateurs bornés entre deux espaces vectoriels normés. Entre deux tels espaces, les opérateurs bornés ne sont autres que les applications linéaires continues. Sur un corps K « valué » (au sens : muni d'une valeur absolue) et non discret (typiquement : K = R ou C), soient E et F deux espaces vectoriels normés respectivement munis des normes ‖ ‖ et ‖ ‖.
