Émile BorelÉmile Borel, né à Saint-Affrique le et mort à Paris le , est un mathématicien français, professeur à la Faculté des sciences de Paris. Il était spécialiste de la théorie des fonctions et des probabilités, membre de l'Académie des sciences, ainsi qu'un homme politique français, député et ministre. Ses actions pour la Société des Nations et au sein de son Comité fédéral de Coopération européenne font de lui un des précurseurs de l'idée européenne. Félix Édouard Justin Émile Borel est le fils d'un pasteur protestant.
Extensions of symmetric operatorsIn functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of observables in quantum mechanics. Other applications of solutions to this problem can be seen in various moment problems. This article discusses a few related problems of this type.
Compact operator on Hilbert spaceIn the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators (representable by finite-dimensional matrices) in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments.
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.
Générateur électriquethumb|Un générateur General Electric Un générateur électrique est un dispositif permettant de produire de l'énergie électrique à partir d'une autre forme d'énergie. Par opposition, un appareil qui consomme de l'énergie électrique s'appelle un récepteur électrique. Un générateur réel peut se modéliser de deux manières différentes : un générateur idéal de tension avec une résistance en série ; un générateur idéal de courant avec une résistance montée en parallèle. vignette|upright=.
Décomposition polaireLa décomposition polaire est un outil mathématique fondamental pour comprendre les propriétés topologiques des groupes linéaires réels et complexes. Les applications suivantes sont des homéomorphismes, et même des difféomorphismes. En particulier, toute matrice inversible réelle se décompose de façon unique en produit d'une matrice orthogonale et d'une matrice symétrique définie positive. Les applications suivantes sont surjectives mais non injectives : En particulier, toute matrice réelle se décompose en produit d'une matrice orthogonale et d'une unique matrice symétrique positive (mais pas nécessairement de façon unique).
Complétion d'une mesureEn mathématiques, une mesure μ est dite complète lorsque tout ensemble négligeable pour cette mesure appartient à la tribu sur laquelle μ est définie. Lorsqu'une mesure n'est pas complète, il existe un procédé assez simple de complétion de la mesure, c'est-à-dire de construction d'une mesure complète apparentée de très près à la mesure initiale. Ainsi la mesure de Lebesgue (considérée comme mesure sur la tribu de Lebesgue) est la complétion de la mesure dite parfois « mesure de Borel-Lebesgue », c'est-à-dire sa restriction à la tribu borélienne.
Théorie spectraleEn mathématiques, et plus particulièrement en analyse, une théorie spectrale est une théorie étendant à des opérateurs définis sur des espaces fonctionnels généraux la théorie élémentaire des valeurs propres et des vecteurs propres de matrices. Bien que ces idées viennent au départ du développement de l'algèbre linéaire, elles sont également liées à l'étude des fonctions analytiques, parce que les propriétés spectrales d'un opérateur sont liées à celles de fonctions analytiques sur les valeurs de son spectre.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Groupe spécial unitaireEn mathématiques, le groupe spécial unitaire de E, où E est un espace hermitien, est le groupe des automorphismes unitaires de E de déterminant 1, la loi de composition interne considérée étant la composition d’automorphismes. Il est noté SU(E). C’est un sous-groupe de U(E), le groupe unitaire des automorphismes de E. De manière générale, on peut définir le groupe spécial unitaire d'une forme sesquilinéaire hermitienne complexe non dégénérée, ou d'une forme sesquilinéaire hermitienne ou antihermitienne non dégénérée sur un espace vectoriel de dimension finie sur certains corps (commutatifs ou non) relativement à une involution.
Groupe électrogèneUn groupe électrogène est un dispositif autonome capable de produire de l'électricité. La plupart des groupes sont constitués d'un moteur thermique qui actionne un alternateur. Leur taille et leur poids peuvent varier de quelques kilogrammes à plusieurs dizaines de tonnes. La puissance d'un groupe électrogène s'exprime en VA (voltampère), kVA (kilovoltampère) ou MVA (mégavoltampère) selon la puissance. Les unités les plus puissantes sont mues par des turbines à gaz ou de gros moteurs Diesel.
