|
Torsion Of Connection
In differential geometry, the notion of torsion is a manner of characterizing a twist or screw theory, screw of a moving frame around a curve. The torsion of curves, torsion of a curve, as it appears in the Frenet–Serret formulas, for instance, quantifies the twist of a curve about its tangent vector as the curve evolves (or rather the rotation of the Frenet–Serret frame about the tangent vector). In the geometry of surfaces, the ''geodesic torsion'' describes how a surface twists about a curve on the surface. The companion notion of curvature measures how moving frames "roll" along a curve "without twisting". More generally, on a differentiable manifold equipped with an affine connection (that is, a connection (vector bundle), connection in the tangent bundle), torsion and curvature form the two fundamental invariants of the connection. In this context, torsion gives an intrinsic characterization of how tangent spaces twist about a curve when they are parallel transported ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsion Along A Geodesic
Torsion may refer to: Science * Torsion (mechanics), the twisting of an object due to an applied torque * Torsion of spacetime, the field used in Einstein–Cartan theory and ** Alternatives to general relativity * Torsion angle, in chemistry Biology and medicine * Torsion fracture or spiral fracture, a bone fracture when torque is applied * Organ torsion, twisting that interrupts the blood supply to that organ: ** Splenic torsion, causing splenic infarction ** Ovarian torsion ** Testicular torsion * Penile torsion, a congenital condition * Torsion of the digestive tract in some domestic animals: ** Torsion, a type of horse colic ** Gastric torsion, or gastric dilatation volvulus * Torsion (gastropod), a developmental feature of all gastropods Mathematics * Torsion of a curve * Torsion tensor, in differential geometry * Torsion (algebra), in ring theory * Torsion group, in group theory and arithmetic geometry * Tor functor, the derived functors of the tensor product of modules o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Bracket Of Vector Fields
In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields ''X'' and ''Y'' on a smooth manifold ''M'' a third vector field denoted . Conceptually, the Lie bracket is the derivative of ''Y'' along the flow generated by ''X'', and is sometimes denoted ''\mathcal_X Y'' ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by ''X''. The Lie bracket is an R- bilinear operation and turns the set of all smooth vector fields on the manifold ''M'' into an (infinite-dimensional) Lie algebra. The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius integrability theorem, and is also fundamental in the geometric theory of nonlinear control systems., nonholonomic systems; , feedback linearization. Definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Function
In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all Order of derivation, orders in its Domain of a function, domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or C^ function). Differentiability classes Differentiability class is a classification of functions according to the properties of their derivatives. It is a measure of the highest order of derivative that exists and is continuous for a function. Consider an open set U on the real line and a function f defined on U with real values. Let ''k'' be a non-negative integer. The function f is said to be of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leibniz Rule (generalized Product Rule)
In calculus, the general Leibniz rule, named after Gottfried Wilhelm Leibniz, generalizes the product rule (which is also known as "Leibniz's rule"). It states that if f and g are n-times differentiable functions, then the product fg is also n-times differentiable and its nth derivative is given by :(fg)^=\sum_^n f^ g^, where = is the binomial coefficient and f^ denotes the ''j''th derivative of ''f'' (and in particular f^= f). The rule can be proved by using the product rule and mathematical induction. Second derivative If, for example, , the rule gives an expression for the second derivative of a product of two functions: :(fg)''(x)=\sum\limits_^=f''(x)g(x)+2f'(x)g'(x)+f(x)g''(x). More than two factors The formula can be generalized to the product of ''m'' differentiable functions ''f''1,...,''f''''m''. :\left(f_1 f_2 \cdots f_m\right)^=\sum_ \prod_f_^\,, where the sum extends over all ''m''-tuples (''k''1,...,''k''''m'') of non-negative integers with \sum_^m k_t=n, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covariant Derivative
In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component (dependent on the embedding) and the intrinsic covariant derivative component. The name is motivated by the importance of changes of coordinate in physics: the covariant derivative transforms covariantly under a general coordinate transformation, that is, linearly via the Jacobia ... [...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 similar to general relativity. The theory was first proposed by Élie Cartan in 1922. Einstein–Cartan theory is the simplest Poincaré gauge theory. 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 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, removing the zero torsion constraint from the Palatini action, whic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relativity Theory
The theory of relativity usually encompasses two interrelated theories by Albert Einstein: special relativity and general relativity, proposed and published in 1905 and 1915, respectively. Special relativity applies to all physical phenomena in the absence of gravity. General relativity explains the law of gravitation and its relation to the forces of nature. It applies to the cosmological and astrophysical realm, including astronomy. The theory transformed theoretical physics and astronomy during the 20th century, superseding a 200-year-old theory of mechanics created primarily by Isaac Newton. It introduced concepts including 4-dimensional spacetime as a unified entity of space and time, relativity of simultaneity, kinematic and gravitational time dilation, and length contraction. In the field of physics, relativity improved the science of elementary particles and their fundamental interactions, along with ushering in the nuclear age. With relativity, cosmology and astrophysi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Connection
In differential geometry, a projective connection is a type of Cartan connection on a differentiable manifold. The structure of a projective connection is modeled on the geometry of projective space, rather than the affine space corresponding to an affine connection. Much like affine connections, projective connections also define geodesics. However, these geodesics are not affinely parametrized. Rather they are projectively parametrized, meaning that their preferred class of parameterizations is acted upon by the group of fractional linear transformations. Like an affine connection, projective connections have associated torsion and curvature. Projective space as the model geometry The first step in defining any Cartan connection is to consider the flat case: in which the connection corresponds to the Maurer-Cartan form on a homogeneous space. In the projective setting, the underlying manifold M of the homogeneous space is the projective space RPn which we shall represent by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan's Equivalence Method
In mathematics, Cartan's equivalence method is a technique in differential geometry for determining whether two geometrical structures are the same up to a diffeomorphism. For example, if ''M'' and ''N'' are two Riemannian manifolds with metrics ''g'' and ''h'', respectively, when is there a diffeomorphism :\phi:M\rightarrow N such that :\phi^*h=g? Although the answer to this particular question was known in dimension 2 to Gauss and in higher dimensions to Christoffel and perhaps Riemann as well, Élie Cartan and his intellectual heirs developed a technique for answering similar questions for radically different geometric structures. (For example see the Cartan–Karlhede algorithm.) Cartan successfully applied his equivalence method to many such structures, including projective structures, CR structures, and complex structures, as well as ostensibly non-geometrical structures such as the equivalence of Lagrangians and ordinary differential equations. (His techniques were l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
G-structure
In differential geometry, a ''G''-structure on an ''n''- manifold ''M'', for a given structure group ''G'', is a principal ''G''- subbundle of the tangent frame bundle F''M'' (or GL(''M'')) of ''M''. The notion of ''G''-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(''n'')-structure defines a Riemannian metric, and for the special linear group an SL(''n'',R)-structure is the same as a volume form. For the trivial group, an -structure consists of an absolute parallelism of the manifold. Generalising this idea to arbitrary principal bundles on topological spaces, one can ask if a principal G-bundle over a group G "comes from" a subgroup H of G. This is called reduction of the structure group (to H). Several structures on manifolds, such as a complex structure, a symplectic structure, or a Kähler structure, are ''G''-structures with an additional integrabilit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contorsion Tensor
The contorsion tensor in differential geometry is the difference between a connection with and without torsion in it. It commonly appears in the study of spin connections. Thus, for example, a vielbein together with a spin connection, when subject to the condition of vanishing torsion, gives a description of Einstein gravity. For supersymmetry, the same constraint, of vanishing torsion, gives (the field equations of) 11-dimensional supergravity. That is, the contorsion tensor, along with the connection, becomes one of the dynamical objects of the theory, demoting the metric to a secondary, derived role. The elimination of torsion in a connection is referred to as the ''absorption of torsion'', and is one of the steps of Cartan's equivalence method for establishing the equivalence of geometric structures. Definition in metric geometry In metric geometry, the contorsion tensor expresses the difference between a metric-compatible affine connection with Christoffel symbol \Gamma_^k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Smooth Function")
.svg "Click for more on -> Relativity Theory")