|
Cartan Geometry
In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces. The theory of Cartan connections was developed by Élie Cartan, as part of (and a way of formulating) his method of moving frames (''repère mobile''). The main idea is to develop a suitable notion of the connection forms and curvature using moving frames adapted to the particular geometrical problem at hand. In relativity or Riemannian geometry, orthonormal frames are used to obtain a description of the Levi-Civita connection as a Cartan connection. For Lie groups, Maurer–Cartan frames are used to view the Maurer–Cartan form of the group as a Cartan c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as classical antiquity, antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Nikolai Lobachevsky, Lobachevsky. The simplest examples of smooth spaces are the Differential geometry of curves, plane and space curves and Differential geometry of surfaces, surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as manifold, smooth manifolds with a ''Riemannian metric'' (an inner product on the tangent space at each point that varies smooth function, smoothly from point to point). This gives, in particular, local notions of angle, arc length, length of curves, surface area and volume. From those, some other global quantities can be derived by integral, integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture "" ("On the Hypotheses on which Geometry is Based"). It is a very broad and abstract generalization of the differential geometry of surfaces in Three-dimensional space, 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Group
In mathematics, the affine group or general affine group of any affine space is the group of all invertible affine transformations from the space into itself. In the case of a Euclidean space (where the associated field of scalars is the real numbers), the affine group consists of those functions from the space to itself such that the image of every line is a line. Over any field, the affine group may be viewed as a matrix group in a natural way. If the associated field of scalars is the real or complex field, then the affine group is a Lie group. Relation to general linear group Construction from general linear group Concretely, given a vector space , it has an underlying affine space obtained by "forgetting" the origin, with acting by translations, and the affine group of can be described concretely as the semidirect product of by , the general linear group of : :\operatorname(V) = V \rtimes \operatorname(V) The action of on is the natural one (linear transformations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mean Curvature
In mathematics, the mean curvature H of a surface S is an ''extrinsic'' measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space. The concept was used by Sophie Germain in her work on elasticity theory. Jean Baptiste Marie Meusnier used it in 1776, in his studies of minimal surfaces. It is important in the analysis of minimal surfaces, which have mean curvature zero, and in the analysis of physical interfaces between fluids (such as soap films) which, for example, have constant mean curvature in static flows, by the Young–Laplace equation. Definition Let p be a point on the surface S inside the three dimensional Euclidean space . Each plane through p containing the normal line to S cuts S in a (plane) curve. Fixing a choice of unit normal gives a signed curvature to that curve. As the plane is rotated by an angle \theta (always containing the normal line) that cur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erlangen Programme
In mathematics, the Erlangen program is a method of characterizing geometries based on group theory and projective geometry. It was published by Felix Klein in 1872 as ''Vergleichende Betrachtungen über neuere geometrische Forschungen.'' It is named after the University Erlangen-Nürnberg, where Klein worked. By 1872, non-Euclidean geometries had emerged, but without a way to determine their hierarchy and relationships. Klein's method was fundamentally innovative in three ways: :* Projective geometry was emphasized as the unifying frame for all other geometries considered by him. In particular, Euclidean geometry was more restrictive than affine geometry, which in turn is more restrictive than projective geometry. :* Klein proposed that group theory, a branch of mathematics that uses algebraic methods to abstract the idea of symmetry, was the most useful way of organizing geometrical knowledge; at the time it had already been introduced into the theory of equations in the form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Felix Klein
Felix Christian Klein (; ; 25 April 1849 – 22 June 1925) was a German mathematician and Mathematics education, mathematics educator, known for his work in group theory, complex analysis, non-Euclidean geometry, and the associations between geometry and group theory. His 1872 Erlangen program classified geometries by their basic symmetry groups and was an influential synthesis of much of the mathematics of the time. During his tenure at the University of Göttingen, Klein was able to turn it into a center for mathematical and scientific research through the establishment of new lectures, professorships, and institutes. His Felix Klein Protocols, seminars covered most areas of mathematics then known as well as their applications. Klein also devoted considerable time to mathematical instruction and promoted mathematics education reform at all grade levels in Germany and abroad. He became the first president of the International Commission on Mathematical Instruction in 1908 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Subspace
In mathematics, an affine space is a geometry, geometric structure (mathematics), structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance (mathematics), distance and measure of angles, keeping only the properties related to parallel (geometry), parallelism and ratio of lengths for parallel line segments. Affine space is the setting for affine geometry. As in Euclidean space, the fundamental objects in an affine space are called ''point (geometry), points'', which can be thought of as locations in the space without any size or shape: zero-dimensional. Through any pair of points an infinite straight line can be drawn, a one-dimensional set of points; through any three points that are not collinear, a two-dimensional plane (geometry), plane can be drawn; and, in general, through points in general position, a -dimensional flat (geometry), flat or affine subspace can be drawn. Affine space is charact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Transport
In differential geometry, parallel transport (or parallel translation) is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection (a covariant derivative or connection on the tangent bundle), then this connection allows one to transport vectors of the manifold along curves so that they stay '' parallel'' with respect to the connection. The parallel transport for a connection thus supplies a way of, in some sense, moving the local geometry of a manifold along a curve: that is, of ''connecting'' the geometries of nearby points. There may be many notions of parallel transport available, but a specification of one way of connecting up the geometries of points on a curve is tantamount to providing a ''connection''. In fact, the usual notion of connection is the infinitesimal analog of parallel transport. Or, ''vice versa'', parallel transport is the local realization of a connection. As parallel transport suppl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Klein Geometry
In mathematics, a Klein geometry is a type of geometry motivated by Felix Klein in his influential Erlangen program. More specifically, it is a homogeneous space ''X'' together with a transitive action on ''X'' by a Lie group ''G'', which acts as the symmetry group of the geometry. For background and motivation see the article on the Erlangen program. Formal definition A Klein geometry is a pair where ''G'' is a Lie group and ''H'' is a closed Lie subgroup of ''G'' such that the (left) coset space ''G''/''H'' is connected. The group ''G'' is called the principal group of the geometry and ''G''/''H'' is called the space of the geometry (or, by an abuse of terminology, simply the ''Klein geometry''). The space of a Klein geometry is a smooth manifold of dimension :dim ''X'' = dim ''G'' − dim ''H''. There is a natural smooth left action of ''G'' on ''X'' given by :g \cdot (aH) = (ga)H. Clearly, this action is transitive (take ), so that one may then regard ''X'' as a homog ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein–Cartan Theory
In theoretical physics, the Einstein–Cartan theory, also known as the Einstein–Cartan–Sciama–Kibble theory, is a classical theory of gravitation, one of several alternatives to general relativity. The theory was first proposed by Élie Cartan in 1922. Overview Einstein–Cartan theory differs from general relativity in two ways: : (1) it is formulated within the framework of Riemann–Cartan geometry, which possesses a locally gauged Lorentz symmetry, while general relativity is formulated within the framework of Riemannian geometry, which does not; : (2) an additional set of equations are posed that relate torsion to spin. This difference can be factored into :: general relativity (Einstein–Hilbert) → general relativity (Palatini) → Einstein–Cartan by first reformulating general relativity onto a Riemann–Cartan geometry, replacing the Einstein–Hilbert action over Riemannian geometry by the Palatini action over Riemann–Cartan geometry; and second, rem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan Formalism (physics)
The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independent vector fields called a ''tetrad'' or ''vierbein''. It is a special case of the more general idea of a ''vielbein formalism'', which is set in (pseudo-)Riemannian geometry. This article as currently written makes frequent mention of general relativity; however, almost everything it says is equally applicable to (pseudo-)Riemannian manifolds in general, and even to spin manifolds. Most statements hold by substituting arbitrary n for n=4. In German, "" translates to "four", "" to "many", and "" to "leg". The general idea is to write the metric tensor as the product of two ''vielbeins'', one on the left, and one on the right. The effect of the vielbeins is to change the coordinate system used on the tangent manifold to one that is simpler ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conformal Connection
In conformal differential geometry, a conformal connection is a Cartan connection on an ''n''-dimensional manifold ''M'' arising as a deformation of the Klein geometry given by the celestial ''n''-sphere, viewed as the homogeneous space :O+(n+1,1)/''P'' where ''P'' is the stabilizer of a fixed null line through the origin in R''n''+2, in the orthochronous Lorentz group O+(n+1,1) in ''n''+2 dimensions. Normal Cartan connection Any manifold equipped with a conformal structure has a canonical conformal connection called the normal Cartan connection. Formal definition A conformal connection on an ''n''-manifold ''M'' is a Cartan geometry modelled on the conformal sphere, where the latter is viewed as a homogeneous space for O+(n+1,1). In other words, it is an O+(n+1,1)-bundle equipped with * a O+(n+1,1)-connection (the Cartan connection) * a reduction of structure group to the stabilizer of a point in the conformal sphere (a null line in R''n''+1,1) such that the solder form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
