Upper half-planeIn mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is defined similarly, by requiring that be negative instead. Each is an example of two-dimensional half-space. The affine transformations of the upper half-plane include shifts , , and dilations , . Proposition: Let and be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes to . Proof: First shift the center of to . Then take and dilate.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Universality classIn statistical mechanics, a universality class is a collection of mathematical models which share a single scale invariant limit under the process of renormalization group flow. While the models within a class may differ dramatically at finite scales, their behavior will become increasingly similar as the limit scale is approached. In particular, asymptotic phenomena such as critical exponents will be the same for all models in the class.
Continuum limitIn mathematical physics and mathematics, the continuum limit or scaling limit of a lattice model refers to its behaviour in the limit as the lattice spacing goes to zero. It is often useful to use lattice models to approximate real-world processes, such as Brownian motion. Indeed, according to Donsker's theorem, the discrete random walk would, in the scaling limit, approach the true Brownian motion. The term continuum limit mostly finds use in the physical sciences, often in reference to models of aspects of quantum physics, while the term scaling limit is more common in mathematical use.
Plan projectifEn mathématiques, la notion de plan projectif a deux sens distincts, suivant que l'approche est algébrique ou par les axiomes d'incidence entre pointe et droites, l'approche axiomatique donnant une notion qui s'avère un peu plus générale que l'approche algébrique. Un plan projectif en géométrie algébrique est une variété particulière : l'espace projectif de dimension 2. On peut associer un plan projectif à tout corps commutatif (corps des réels, corps des complexes, corps finis) ou non commutatif (quaternions.
Deux dimensionsDeux dimensions, bidimensionnel ou 2D sont des expressions qui caractérisent un espace conçu à partir de deux dimensions. Ce type de plan peut représenter des corps en une ou deux dimensions. Un espace en deux dimensions est un plan. Un objet en deux dimensions a donc une superficie mais pas de volume. En mathématiques, le plan composé de deux dimensions est à distinguer de l’espace, qui est lui repéré par trois axes orthogonaux.
Amas de galaxiesUn amas de galaxies, ou amas galactique, est l'association de plus d'une centaine de galaxies liées entre elles par la gravitation. En dessous de 100, on parle plutôt de groupe de galaxies, même si la frontière entre groupe et amas n'est pas clairement définie. Ces amas se caractérisent par leur forme spécifique (sphérique, symétrique ou quelconque), ainsi que par la répartition et leurs nombres de galaxies (jusqu'à plusieurs milliers). Ils se sont formés il y a 10 milliards d'années et plus.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Nombre constructibleUn nombre constructible (sous-entendu à la règle et au compas) est la mesure d'une longueur associée à deux points constructibles à la règle (non graduée) et au compas. Ainsi, est un nombre constructible, mais ni ni π ne le sont. C'est effectivement en termes de longueurs que pensaient les mathématiciens grecs et ceux qui, à leur suite, ont cherché à déterminer quels étaient les points et les nombres constructibles de cette façon.
Constante de RydbergLa constante de Rydberg, nommée en l'honneur du physicien Johannes Rydberg, est une constante physique découverte en mesurant le spectre de l'hydrogène. Son unité est le mètre à la puissance moins un (m). Elle est définie à partir des résultats d'Anders Jonas Ångström et Johann Jakob Balmer. Chaque élément chimique a sa propre constante de Rydberg, qui peut être obtenue à partir de la constante de Rydberg.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
Amas globulaireEn astronomie, un amas globulaire est un amas stellaire très dense, contenant typiquement une centaine de milliers d'étoiles distribuées dans une sphère dont la taille varie d'une vingtaine à quelques centaines d'années-lumière. Leur densité est ainsi nettement plus élevée que celle des amas ouverts. Les étoiles de ces amas sont généralement des géantes rouges. On compte globulaires dans notre galaxie, la Voie lactée. Mais il en existe sans doute d'autres, qui restent indétectables parce que masqués par le disque galactique.
