|
Cartan–Hadamard Theorem
In mathematics, the Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Hans Carl Friedrich von Mangoldt for surfaces in 1881, and independently by Jacques Hadamard in 1898. Élie Cartan generalized the theorem to Riemannian manifolds in 1928 (; ; ). The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; detailed proofs were published by for metric spaces of non-positive curvature and by for general locally convex metric spaces. Riemannian geometry The Cartan–Hadamard theorem in conventional Riemannian geometry asserts that the universal covering space of a connected complete Riemannian manifold of non-positive sectional curvature is diffeomorphic to R''n''. In fact, f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a ''Riemannian metric'', i.e. with an inner product on the tangent space at each point that varies smoothly from point to point. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture "''Ueber die Hypothesen, welche der Geometrie zu Grunde liegen''" ("On the Hypotheses on which Geometry is Based.") It is a very broad and abstract generalization of the differential geometry of surfaces in R3. Development of Riemannian geometry resulted in synthesis of diverse results concerning the geometry of surfaces and the behavior of geodesics on them, with techniques that can be applied to the study of differentiable manifolds of higher dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Manifold
In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold provides a possibility of extending the theory of manifolds to infinite-dimensional setting. Analogously to the finite-dimensional situation, one can define a ''differentiable'' Hilbert manifold by considering a maximal atlas in which the transition maps are differentiable. Properties Many basic constructions of the manifold theory, such as the tangent space of a manifold and a tubular neighbourhood of a submanifold (of finite codimension) carry over from the finite dimensional situation to the Hilbert setting with little change. However, in statements involving maps between manifolds, one often has to restrict consideration to ''Fredholm maps'', that is, maps whose differential at every point is Fredholm. The reason for this is that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aspherical Space
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] |
Intrinsic Metric
In the mathematical study of metric spaces, one can consider the arclength of paths in the space. If two points are at a given distance from each other, it is natural to expect that one should be able to get from the first point to the second along a path whose arclength is equal to (or very close to) that distance. The distance between two points of a metric space relative to the intrinsic metric is defined as the infimum of the lengths of all paths from the first point to the second. A metric space is a length metric space if the intrinsic metric agrees with the original metric of the space. If the space has the stronger property that there always exists a path that achieves the infimum of length (a geodesic) then it is called a geodesic metric space or geodesic space. For instance, the Euclidean plane is a geodesic space, with line segments as its geodesics. The Euclidean plane with the origin removed is not geodesic, but is still a length metric space. Definitions Let (M, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Function
In mathematics, a real-valued function is called convex if the line segment between any two points on the graph of a function, graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (mathematics), epigraph (the set of points on or above the graph of the function) is a convex set. A twice-differentiable function of a single variable is convex if and only if its second derivative is nonnegative on its entire domain. Well-known examples of convex functions of a single variable include the quadratic function x^2 and the exponential function e^x. In simple terms, a convex function refers to a function whose graph is shaped like a cup \cup, while a concave function's graph is shaped like a cap \cap. Convex functions play an important role in many areas of mathematics. They are especially important in the study of optimization problems where they are distinguished by a number of convenient properties. For instance, a st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toponogov's Theorem
In the mathematical field of Riemannian geometry, Toponogov's theorem (named after Victor Andreevich Toponogov) is a triangle comparison theorem. It is one of a family of comparison theorems that quantify the assertion that a pair of geodesics emanating from a point ''p'' spread apart more slowly in a region of high curvature than they would in a region of low curvature. Let ''M'' be an ''m''-dimensional Riemannian manifold with sectional curvature ''K'' satisfying K\ge \delta\,. Let ''pqr'' be a geodesic triangle, i.e. a triangle whose sides are geodesics, in ''M'', such that the geodesic ''pq'' is minimal and if δ > ''0'', the length of the side ''pr'' is less than \pi / \sqrt \delta. Let ''p''′''q''′''r''′ be a geodesic triangle in the model space ''M''δ, i.e. the simply connected space of constant curvature δ, such that the lengths of sides ''p′q′'' and ''p′r′'' are equal to that of ''pq'' and ''pr'' respectively and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CAT(k) 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 \in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic Triangle
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line". The noun ''geodesic'' and the adjective ''geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's Planetary surface, surface. For a spherical Earth, it is a line segment, segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a Distance (graph theory), geodesic between two vertex (graph theory), vertices/nodes of a Graph (discrete mathematics), graph. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geodesic
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line". The noun '' geodesic'' and the adjective ''geodetic'' come from ''geodesy'', the science of measuring the size and shape of Earth, though many of the underlying principles can be applied to any ellipsoidal geometry. In the original sense, a geodesic was the shortest route between two points on the Earth's surface. For a spherical Earth, it is a segment of a great circle (see also great-circle distance). The term has since been generalized to more abstract mathematical spaces; for example, in graph theory, one might consider a geodesic between two vertices/nodes of a graph. In a Riemannian manifold or submanifold, geodesics are characterised by the property of having vanishin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contractible
In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space. Properties A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since singular homology is a homotopy invariant, the reduced homology groups of a contractible space are all trivial. For a topological space ''X'' the following are all equivalent: *''X'' is contractible (i.e. the identity map is null-homotopic). *''X'' is homotopy equivalent to a one-point space. *''X'' deformation retracts onto a point. (However, there exist contractible spaces which do not ''strongly'' deformation retract to a point.) *For any space ''Y'', any two maps ''f'',''g' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simply Connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the space) into any other such path while preserving the two endpoints in question. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial. Definition and equivalent formulations A topological space X is called if it is path-connected and any loop in X defined by f : S^1 \to X can be contracted to a point: there exists a continuous map F : D^2 \to X such that F restricted to S^1 is f. Here, S^1 and D^2 denotes the unit circle and closed unit disk in the Euclidean plane respectively. An equivalent formulation is this: X is simply connected if and only if it is path-connected, and whenev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hadamard Space
In geometry, an Hadamard space, named after Jacques Hadamard, is a non-linear generalization of a Hilbert space. In the literature they are also equivalently defined as complete CAT(0) spaces. A Hadamard space is defined to be a nonempty complete metric space such that, given any points x and y, there exists a point m such that for every point z, d(z, m)^2 + \leq . The point m is then the midpoint of x and y: d(x, m) = d(y, m) = d(x, y)/2. In a Hilbert space, the above inequality is equality (with m = (x+y)/2), and in general an Hadamard space is said to be if the above inequality is equality. A flat Hadamard space is isomorphic to a closed convex subset of a Hilbert space. In particular, a normed space is an Hadamard space if and only if it is a Hilbert space. The geometry of Hadamard spaces resembles that of Hilbert spaces, making it a natural setting for the study of rigidity theorems. In a Hadamard space, any two points can be joined by a unique geodesic between them; in p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
