|
Cartan–Ambrose–Hicks Theorem
In mathematics, the Cartan–Ambrose–Hicks theorem is a theorem of Riemannian geometry, according to which the Riemannian metric is locally determined by the Riemann curvature tensor, or in other words, behavior of the curvature tensor under parallel translation determines the metric. The theorem is named after Élie Cartan, Warren Ambrose, and his PhD student Noel Hicks.0, the exponential maps : \exp_x:B_r(x)\subset T_xM\rightarrow M, \exp_y:B_r(y)\subset T_yN\rightarrow N are local diffeomorphisms. Here, B_r(x) is the ball centered on x of radius r. One then defines a diffeomorphism f:B_r(x)\rightarrow B_r(y) by : f=\exp_y\circ I\circ \exp_x^. When is f an isometry? Intuitively, it should be an isometry if it satisfies the two conditions: * It is a linear isometry at the tangent space of every point on B_r(x), that is, it is an isometry on the infinitesimal patches. * It preserves the curvature tensor at the tangent space of every point on B_r(x), that is, it preserves how ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...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] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension (mathematics), dimension, including the three-dimensional space and the ''Euclidean plane'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient History of geometry#Greek geometry, Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the Greek mathematics, ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of ''mathematical proof, proving'' all properties of the space as theorems, by starting from a few fundamental properties, called ''postulates'', which either were considered as eviden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the centre (geometry), centre of the sphere, and is the sphere's radius. The earliest known mentions of spheres appear in the work of the Greek mathematics, ancient Greek mathematicians. The sphere is a fundamental object in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubble (physics), Bubbles such as soap bubbles take a spherical shape in equilibrium. spherical Earth, The Earth is often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres rolling, roll smoothly in any direction, so mos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sectional Curvature
In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a point ''p'' of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ''p'' as a tangent plane at ''p'', obtained from geodesics which start at ''p'' in the directions of σ''p'' (in other words, the image of σ''p'' under the exponential map at ''p''). The sectional curvature is a real-valued function on the 2-Grassmannian fiber bundle, bundle over the manifold. The sectional curvature determines the Riemann curvature tensor, curvature tensor completely. Definition Given a Riemannian manifold and two linearly independent tangent vectors at the same point, ''u'' and ''v'', we can define :K(u,v)= Here ''R'' is the Riemann curvature tensor, defined here by the convention R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Space Form
Space is the boundless Three-dimensional space, three-dimensional extent in which Physical body, objects and events have relative position (geometry), position and direction (geometry), direction. In classical physics, physical space is often conceived in three linear dimensions, although modern physicists usually consider it, with time, to be part of a boundless four-dimensional Continuum (theory), continuum known as spacetime. The concept of space is considered to be of fundamental importance to an understanding of the physical universe. However, disagreement continues between philosophers over whether it is itself an entity, a relationship between entities, or part of a conceptual framework. Debates concerning the nature, essence and the mode of existence of space date back to antiquity; namely, to treatises like the ''Timaeus (dialogue), Timaeus'' of Plato, or Socrates in his reflections on what the Greeks called ''khôra'' (i.e. "space"), or in the ''Physics (Aristotle), P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Subgroup
In mathematics, a topological group ''G'' is called a discrete group if there is no limit point in it (i.e., for each element in ''G'', there is a neighborhood which only contains that element). Equivalently, the group ''G'' is discrete if and only if its identity is isolated. A subgroup ''H'' of a topological group ''G'' is a discrete subgroup if ''H'' is discrete when endowed with the subspace topology from ''G''. In other words there is a neighbourhood of the identity in ''G'' containing no other element of ''H''. For example, the integers, Z, form a discrete subgroup of the reals, R (with the standard metric topology), but the rational numbers, Q, do not. Any group can be endowed with the discrete topology, making it a discrete topological group. Since every map from a discrete space is continuous, the topological homomorphisms between discrete groups are exactly the group homomorphisms between the underlying groups. Hence, there is an isomorphism between the category of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Covering Map
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Levi-Civita Connection
In Riemannian or pseudo Riemannian geometry (in particular the Lorentzian geometry of general relativity), the Levi-Civita connection is the unique affine connection on the tangent bundle of a manifold (i.e. affine connection) that preserves the (pseudo-)Riemannian metric and is torsion-free. The fundamental theorem of Riemannian geometry states that there is a unique connection which satisfies these properties. In the theory of Riemannian and pseudo-Riemannian manifolds the term covariant derivative is often used for the Levi-Civita connection. The components (structure coefficients) of this connection with respect to a system of local coordinates are called Christoffel symbols. History The Levi-Civita connection is named after Tullio Levi-Civita, although originally "discovered" by Elwin Bruno Christoffel. Levi-Civita, along with Gregorio Ricci-Curbastro, used Christoffel's symbols to define the notion of parallel transport and explore the relationship of parallel transp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Map (Riemannian Geometry)
In Riemannian geometry, an exponential map is a map from a subset of a tangent space T''p''''M'' of a Riemannian manifold (or pseudo-Riemannian manifold) ''M'' to ''M'' itself. The (pseudo) Riemannian metric determines a canonical affine connection, and the exponential map of the (pseudo) Riemannian manifold is given by the exponential map of this connection. Definition Let be a differentiable manifold and a point of . An affine connection on allows one to define the notion of a straight line through the point .A source for this section is , which uses the term "linear connection" where we use "affine connection" instead. Let be a tangent vector to the manifold at . Then there is a unique geodesic satisfying with initial tangent vector . The corresponding exponential map is defined by . In general, the exponential map is only ''locally defined'', that is, it only takes a small neighborhood of the origin at , to a neighborhood of in the manifold. This is because it ... [...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] |
