Espace métriqueEn mathématiques et plus particulièrement en topologie, un espace métrique est un ensemble au sein duquel une notion de distance entre les éléments de l'ensemble est définie. Les éléments seront, en général, appelés des points. Tout espace métrique est canoniquement muni d'une topologie. Les espaces métrisables sont les espaces topologiques obtenus de cette manière. L'exemple correspondant le plus à notre expérience intuitive de l'espace est l'espace euclidien à trois dimensions.
Henri-Léon LebesgueHenri-Léon Lebesgue (1875-1941), plus connu sous le nom de Henri Lebesgue, né à Beauvais, est l'un des grands mathématiciens français de la première moitié du . Il est reconnu pour sa théorie d'intégration publiée initialement dans sa thèse Intégrale, longueur, aire, soutenue à la Faculté des sciences de Paris en 1902. Le père de Lebesgue, qui était ouvrier typographe, et ses deux sœurs aînées moururent de tuberculose alors qu'il avait trois ans. Ensuite, sa mère a travaillé pour qu'il puisse faire des études.
Représentation de SchrödingerEn mécanique quantique, la représentation de Schrödinger est une des trois formulations et modes de traitement des problèmes dépendant du temps dans le cadre de la mécanique quantique classique. Dans cette représentation, l'état d'un système évolue avec le temps. Le principe de superposition quantique stipule qu'une fonction d'état est en général une combinaison linéaire d'états propres.
Discrete-time Fourier transformIn mathematics, the discrete-time Fourier transform (DTFT), also called the finite Fourier transform, is a form of Fourier analysis that is applicable to a sequence of values. The DTFT is often used to analyze samples of a continuous function. The term discrete-time refers to the fact that the transform operates on discrete data, often samples whose interval has units of time. From uniformly spaced samples it produces a function of frequency that is a periodic summation of the continuous Fourier transform of the original continuous function.
Gravité quantiqueLa gravité quantique est une branche de la physique théorique tentant d'unifier la mécanique quantique et la relativité générale. Une telle théorie permettrait notamment de comprendre les phénomènes impliquant de grandes quantités de matière ou d'énergie sur de petites dimensions spatiales, tels que les trous noirs ou l'origine de l'Univers. L'approche générale utilisée pour obtenir une théorie de la gravité quantique est, présumant que la théorie sous-jacente doit être simple et élégante, d'examiner les symétries et indices permettant de combiner mécanique quantique et la relativité générale en une théorie globale unifiée.
Espace complètement métrisableUn espace complètement métrisable (ou espace métriquement topologiquement complet) est un espace topologique (X, T) pour lequel il existe au moins une distance d sur X telle d induit la topologie T (c'est-à-dire que X est métrisable) et fait de (X, d) un espace métrique complet. Le terme d'espace topologiquement complet est employé par certains auteurs comme synonyme despace complètement métrisable, mais parfois aussi utilisé pour d'autres classes d'espaces topologiques, comme les espaces complètement uniformisables ou les espaces Čech-complets.
Bernhard RiemannGeorg Friedrich Bernhard Riemann, né le à Breselenz, royaume de Hanovre, mort le à Selasca, hameau de la commune de Verbania, royaume d'Italie, est un mathématicien allemand. Influent sur le plan théorique, il a apporté de nombreuses contributions importantes à la topologie, l'analyse, la géométrie différentielle et au calcul, certaines d'entre elles ayant permis par la suite le développement de la relativité générale. Bernhard Riemann est né à Breselenz, un village du royaume de Hanovre.
Norfolk and Western LC-1 ClassThe N&W LC-1 was a class of boxcab electric locomotives built by Baldwin-Westinghouse for the Norfolk and Western Railway. The locomotives were part of an electrification project undertaken by the N&W to improve traffic conditions on the Elkhorn grade in its Bluefield Division. Baldwin-Westinghouse delivered 12 twin-unit boxcabs in 1914–1915. N&W scrapped them in 1950 when it discontinued electric operations. Elkhorn Grade Electrification In the early twentieth century the Bluefield Division of the Norfolk and Western Railway featured a forbidding two percent average grade.
Laird LC-EWThe Laird LC-EW was a six seat cabin sesquiplane designed for the industrialist George Horton. It first flew in 1934. Many Laird aircraft were designated as LC (Laird Commercial). In most cases this was followed by an airframe code, here E and an engine code, here W for Wasp. The LC-EW was designed to an order from the industrialist George Horton, who had previously owned the sole Laird LC-AA, first flown in 1928. It was a true sesquiplane, with a lower wingspan slightly less than half that of the upper.
Espace pseudo-métriqueEn mathématiques, un espace pseudo-métrique est un ensemble muni d'une pseudo-distance. C'est une généralisation de la notion d'espace métrique. Sur un espace vectoriel, tout comme une norme induit une distance, une semi-norme induit une semi-distance. Pour cette raison, en analyse fonctionnelle et dans les disciplines mathématiques apparentées, l'expression « espace semi-métrique » est utilisée comme synonyme d'espace pseudo-métrique (alors qu'« espace semi-métrique » a un autre sens en topologie).
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Théorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.