Aspherical Manifold
In topology, a branch of mathematics, an aspherical space is a topological space with all homotopy groups \pi_n(X) equal to 0 when n>1. If one works with CW complexes, one can reformulate this condition: an aspherical CW complex is a CW complex whose universal cover is contractible. Indeed, contractibility of a universal cover is the same, by Whitehead's theorem, as asphericality of it. And it is an application of the exact sequence of a fibration that higher homotopy groups of a space and its universal cover are same. (By the same argument, if ''E'' is a path-connected space and p\colon E \to B is any covering map, then ''E'' is aspherical if and only if ''B'' is aspherical.) Each aspherical space ''X'' is, by definition, an Eilenberg–MacLane space of type K(G,1), where G = \pi_1(X) is the fundamental group of ''X''. Also directly from the definition, an aspherical space is a classifying space for its fundamental group (considered to be a topological group when endowed with t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Twist (mathematics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Product Topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seeming, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product. Definition Throughout, I will be some non-empty index set and for every index i \in I, let X_i be a topological space. Denote the Cartesian product of the sets X_i by X := \prod X_ := \prod_ X_i and for every index i \in I, denote the i-th by \begin p_i :\;&& \prod_ X_j &&\;\to\; & X_i \\ .3ex && \left(x_j\r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
CAT(0) Space
In mathematics, a \mathbf(k) space, where k is a real number, is a specific type of metric space. Intuitively, triangles in a \operatorname(k) space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature k. In a \operatorname(k) space, the curvature is bounded from above by k. A notable special case is k=0; complete \operatorname(0) spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard. Originally, Aleksandrov called these spaces “\mathfrak_k domain”. The terminology \operatorname(k) was coined by Mikhail Gromov in 1987 and is an acronym for Élie Cartan, Aleksandr Danilovich Aleksandrov and Victor Andreevich Toponogov (although Toponogov never explored curvature bounded above in publications). Definitions For a real number k, let M_k denote the unique complete simply connected surface (real 2-dimensional Riemannian manifold) with constant curvature k. Denote by D_k the diameter of M_k, which is \i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aleksandr Danilovich Aleksandrov
Aleksandr Danilovich Aleksandrov (russian: Алекса́ндр Дани́лович Алекса́ндров, alternative transliterations: ''Alexandr'' or ''Alexander'' (first name), and ''Alexandrov'' (last name)) (4 August 1912 – 27 July 1999) was a Soviet/Russian mathematician, physicist, philosopher and mountaineer. Personal Life Aleksandr Aleksandrov was born in 1912 in Volyn, Ryazan Oblast. His father was a headmaster of a secondary school in St Petersburg and his mother a teacher at said school, thus the young Alekandrov spent a majority of his childhood in the city. His family was old Russian nobility—students noted ancestral portraits which hung in his office. His sisters were Soviet botanist Vera Danilovna Aleksandrov (RU) and Maria Danilovna Aleksandrova, author of the first monograph on gerontopsychology in the USSR. In 1937, he married a student of the Faculty of Physics, Marianna Leonidovna Georg. Together they had two children: Daria (b. 1948) and Daniil (R ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sphere Theorem (3-manifolds)
In mathematics, in the topology of 3-manifolds, the sphere theorem of gives conditions for elements of the second homotopy group of a 3-manifold to be represented by embedded spheres. One example is the following: Let M be an orientable 3-manifold such that \pi_2(M) is not the trivial group. Then there exists a non-zero element of \pi_2(M) having a representative that is an embedding S^2\to M. The proof of this version of the theorem can be based on transversality methods, see . Another more general version (also called the projective plane theorem, and due to David B. A. Epstein) is: Let M be any 3-manifold and N a \pi_1(M)- invariant subgroup of \pi_2(M). If f\colon S^2\to M is a general position map such that notin N and U is any neighborhood of the singular set \Sigma(f), then there is a map g\colon S^2\to M satisfying # notin N, #g(S^2)\subset f(S^2)\cup U, #g\colon S^2\to g(S^2) is a covering map, and #g(S^2) is a 2-sided submanifold (2-sphere or projective plane) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Knot (mathematics)
In mathematics, a knot is an embedding of the circle into three-dimensional Euclidean space, (also known as ). Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of which takes one knot to the other. A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed — there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term ''knot'' is also applied to embeddings of in , especially in the case . The branch of mathematics that studies knots is known as knot theory and has many relations to graph theory. Formal definition A knot is an embedding of the circle () into three-dimensional Euclidean space (), or the 3-sphere (), since the 3-sphere is compact. Two knots are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Discrete Valuation
In mathematics, a discrete valuation is an integer valuation on a field ''K''; that is, a function: :\nu:K\to\mathbb Z\cup\ satisfying the conditions: :\nu(x\cdot y)=\nu(x)+\nu(y) :\nu(x+y)\geq\min\big\ :\nu(x)=\infty\iff x=0 for all x,y\in K. Note that often the trivial valuation which takes on only the values 0,\infty is explicitly excluded. A field with a non-trivial discrete valuation is called a discrete valuation field. Discrete valuation rings and valuations on fields To every field K with discrete valuation \nu we can associate the subring ::\mathcal_K := \left\ of K, which is a discrete valuation ring. Conversely, the valuation \nu: A \rightarrow \Z\cup\ on a discrete valuation ring A can be extended in a unique way to a discrete valuation on the quotient field K=\text(A); the associated discrete valuation ring \mathcal_K is just A. Examples * For a fixed prime p and for any element x \in \mathbb different from zero write x = p^j\frac with j, a,b \in \Z such that ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Group
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called ''linear algebraic groups''. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bruhat–Tits Building
In mathematics, a building (also Tits building, named after Jacques Tits) is a combinatorial and geometric structure which simultaneously generalizes certain aspects of flag manifolds, finite projective planes, and Riemannian symmetric spaces. Buildings were initially introduced by Jacques Tits as a means to understand the structure of exceptional groups of Lie type. The more specialized theory of Bruhat–Tits buildings (named also after François Bruhat) plays a role in the study of -adic Lie groups analogous to that of the theory of symmetric spaces in the theory of Lie groups. Overview The notion of a building was invented by Jacques Tits as a means of describing simple algebraic groups over an arbitrary field. Tits demonstrated how to every such group one can associate a simplicial complex with an action of , called the spherical building of . The group imposes very strong combinatorial regularity conditions on the complexes that can arise in this fashion. By tre ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Locally Symmetric Space
In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis. In geometric terms, a complete, simply connected Riemannian manifold is a symmetric space if and only if its curvature tensor is invariant under parallel transport. More generally, a Riemannian manifold (''M'', ''g'') is said to be symmetric if and only if, for each point ''p'' of ''M'', there exists an isometry of ''M'' fixing ''p'' and acting on the tangent space T_pM as minus the identity (every symmetric space is complete, since any geodesic can be extended indefinitely via symmetries about t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lattice (discrete Subgroup)
In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of R''n'', this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood. The theory is particularly rich for lattices in semisimple Lie groups or more generally in semisimple algebraic groups over local fields. In particular there is a wealth of rigidity results in this setting, and a celebrated theorem of Grigory Margulis states that in most cases all lattices are obtained as arithmetic groups. Lattices are also well-studied in some other classes of groups, in particular groups associated to Kac–Moody algebras and automorphisms groups of regular trees (the latter are known as ''tree lattices''). Lattices are of inter ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |