Affine Lie algebraIn mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody algebra, as described below. From a purely mathematical point of view, affine Lie algebras are interesting because their representation theory, like representation theory of finite-dimensional semisimple Lie algebras, is much better understood than that of general Kac–Moody algebras.
Opérateur unitaireEn analyse fonctionnelle, un opérateur unitaire est un opérateur linéaire U d'un espace de Hilbert tel queUU = UU = Ioù U* est l'adjoint de U, et I l'opérateur identité. Cette propriété est équivalente à : U est une application d' dense et U préserve le produit scalaire ⟨ , ⟩. Autrement dit, pour tous vecteurs x et y de l'espace de Hilbert, ⟨Ux, Uy⟩ = ⟨x, y⟩ (ce qui entraîne que U est linéaire). D'après l'identité de polarisation, on peut remplacer « U préserve le produit scalaire » par « U préserve la norme » donc par « U est une isométrie qui fixe 0 ».
Isolant topologiqueUn isolant topologique est un matériau ayant une structure de bande de type isolant mais qui possède des états de surface métalliques. Ces matériaux sont donc isolants "en volume" et conducteurs en surface. En 2007, cet état de matière a été réalisé pour la première fois en 2D dans un puits quantique de (Hg,Cd)Te . Le BiSb (antimoniure de bismuth) est le premier isolant topologique 3D à être réalisé. La spectroscopie de photoélectrons résolue en angle a été l'outil principal qui a servi à confirmer l'existence de l'état isolant topologique en 3D.
Topological orderIn physics, topological order is a kind of order in the zero-temperature phase of matter (also known as quantum matter). Macroscopically, topological order is defined and described by robust ground state degeneracy and quantized non-Abelian geometric phases of degenerate ground states. Microscopically, topological orders correspond to patterns of long-range quantum entanglement. States with different topological orders (or different patterns of long range entanglements) cannot change into each other without a phase transition.
Groupe de HeisenbergEn mathématiques, le groupe de Heisenberg d'un anneau unifère A (non nécessairement commutatif) est le groupe multiplicatif des matrices triangulaires supérieures de taille 3 à coefficients dans A et dont les éléments diagonaux sont égaux au neutre multiplicatif de l'anneau : Originellement, l'anneau A choisi par Werner Heisenberg était le corps R des réels. Le « groupe de Heisenberg continu », , lui a permis d'expliquer, en mécanique quantique, l'équivalence entre la représentation de Heisenberg et celle de Schrödinger.
Triplet de GelfandEn analyse fonctionnelle, le triplet de Gelfand (aussi triplet de Banach-Gelfand ou triade hilbertienne ou rigged Hilbert space) est un espace-triplet consistant en un espace de Hilbert , un espace de Banach (ou plus généralement un espace vectoriel topologique) et son dual topologique . L'espace est choisi tel que soit un sous-espace dense dans et que son inclusion soitcontinue. Cette construction a l'avantage que les éléments de peuvent être exprimés comme des éléments de l'espace dual en utilisant le théorème de représentation de Fréchet-Riesz.
Espace de Hilbert à noyau reproduisantEn analyse fonctionnelle, un espace de Hilbert à noyau reproduisant est un espace de Hilbert de fonctions pour lequel toutes les applications sont des formes linéaires continues. De manière équivalente, il existe des espaces qu'on peut définir par des noyaux reproduisants. Le sujet a été originellement et simultanément développé par Nachman Aronszajn et Stefan Bergman en 1950. Les espaces de Hilbert à noyau reproduisant sont parfois désignés sous l’acronyme issu du titre anglais RKHS, pour Reproducing Kernel Hilbert Space.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe comme un groupe de matrices, d'où le terme représentation. On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Algebra representationIn abstract algebra, a representation of an associative algebra is a module for that algebra. Here an associative algebra is a (not necessarily unital) ring. If the algebra is not unital, it may be made so in a standard way (see the adjoint functors page); there is no essential difference between modules for the resulting unital ring, in which the identity acts by the identity mapping, and representations of the algebra.
Codage des caractèresvignette|alt=Carte rectangulaire beige clair avec dans le sens de la longueur 10 lignes constituées chacune d'une suite de chiffre identique, de 1 à 10. Des perforations verticales font disparaître certains de ces chiffres|Carte perforée à 80 colonnes, sur laquelle est codé le texte de programmation « CALL RCLASS (AAA, 21, NNC, PX3, PX4) ».
Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Caractère de contrôleUn caractère de contrôle ou caractère non imprimable, en informatique et en télécommunications, est un point de code d’un jeu de caractères codés qui ne représente pas un symbole. Ces caractères sont notamment utilisés pour la mise en page : saut de page (FF), saut de ligne (LF), retour-chariot (CR), tabulation horizontale (HT), etc. En ASCII, ces caractères sont codés de 0 à 31 (+127) : NULL, BS, CR, LF, HT, DC1, SI, ESC (+DEL)...
