|
Cartan Formula
The Cartan formula in mathematics may refer to two different formulae in differential geometry or algebraic topology. Cartan formula in differential geometry The Cartan formula in differential geometry states: : \mathcal L_X = \mathrm d \, \iota_X + \iota_X \mathrm d, where \mathcal L_X, \mathrm d, and \iota_X are Lie derivative, exterior derivative, and interior product, respectively, acting on differential forms. It is also called the Cartan homotopy formula or Cartan magic formula. This formula is named after Élie Cartan. Cartan formula in algebraic topology The Cartan formula in algebraic topology is one of the five axioms of Steenrod algebra.More precisely, these five axioms define cohomology operations, which are natural transformations between cohomology functors, which in turn define Steenrod algebra. It reads: :\begin Sq^n(x \smile y) & = \sum_ (Sq^i x) \smile (Sq^j y) \quad \text \\ P^n(x \smile y) & = \sum_ (P^i x) \smile (P^j y) \end. The name derives from Henr ... [...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] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold. Functions, tensor fields and forms can be differentiated with respect to a vector field. If ''T'' is a tensor field and ''X'' is a vector field, then the Lie derivative of ''T'' with respect to ''X'' is denoted \mathcal_X T. The differential operator T \mapsto \mathcal_X T is a derivation of the algebra of tensor fields of the underlying manifold. The Lie derivative commutes with contraction and the exterior derivative on differential forms. Although there are many concepts of taking a derivative in differential geometry, they all agree when the expression being differentiated is a function or scalar field. Thus in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a differential -form is thought of as measuring the flux through an infinitesimal - parallelotope at each point of the manifold, then its exterior derivative can be thought of as measuring the net flux through the boundary of a -parallelotope at each point. Definition The exterior derivative of a differential form of degree (also differential -form, or just -form for brevity here) is a differential form of degree . If is a smooth function (a -form), then the exterior derivative of is the differential of . That is, is the unique -form such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interior Product
In mathematics, the interior product (also known as interior derivative, interior multiplication, inner multiplication, inner derivative, insertion operator, contraction, or inner derivation) is a degree −1 (anti)derivation on the exterior algebra of differential forms on a smooth manifold. The interior product, named in opposition to the exterior product, should not be confused with an inner product. The interior product \iota_X \omega is sometimes written as X \mathbin \omega. Definition The interior product is defined to be the contraction of a differential form with a vector field. Thus if X is a vector field on the manifold M, then \iota_X : \Omega^p(M) \to \Omega^(M) is the map which sends a p-form \omega to the (p - 1)-form \iota_X \omega defined by the property that (\iota_X\omega)\left(X_1, \ldots, X_\right) = \omega\left(X, X_1, \ldots, X_\right) for any vector fields X_1, \ldots, X_. When \omega is a scalar field (0-form), \iota_X \omega = 0 by convention ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Forms
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression f(x) \, dx is an example of a 1-form, -form, and can be integral, integrated over an interval [a,b] contained in the domain of f: \int_a^b f(x)\,dx. Similarly, the expression f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz is a -form that can be integrated over a Surface (mathematics), surface S: \int_S \left(f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz\right). The symbol \wedge denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form f(x,y,z) \, dx \wedge dy \wedge dz represents a volume element that can be integrated over a region of space. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Élie Cartan
Élie Joseph Cartan (; 9 April 1869 – 6 May 1951) was an influential French mathematician who did fundamental work in the theory of Lie groups, differential systems (coordinate-free geometric formulation of PDEs), and differential geometry. He also made significant contributions to general relativity and indirectly to quantum mechanics. He is widely regarded as one of the greatest mathematicians of the twentieth century. His son Henri Cartan was an influential mathematician working in algebraic topology. Life Élie Cartan was born 9 April 1869 in the village of Dolomieu, Isère to Joseph Cartan (1837–1917) and Anne Cottaz (1841–1927). Joseph Cartan was the village blacksmith; Élie Cartan recalled that his childhood had passed under "blows of the anvil, which started every morning from dawn", and that "his mother, during those rare minutes when she was free from taking care of the children and the house, was working with a spinning-wheel". Élie had an elder sister Jeanne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category. Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications. Definition If F and G are functors between the categories C and D (both from C to D), then a natural transformation \eta from F to G is a family of morphisms that satisfies two requirements. # The natural transformation must associate, to every object X in C, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henri Cartan
Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology. He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of composer , physicist and mathematician , and the son-in-law of physicist Pierre Weiss. Life According to his own words, Henri Cartan was interested in mathematics at a very young age, without being influenced by his family. He moved to Paris with his family after his father's appointment at Sorbonne in 1909 and he attended secondary school at Lycée Hoche in Versailles. available also at In 1923 he started studying mathematics at École Normale Supérieure, receiving an agrégation in 1926 and a doctorate in 1928. His PhD thesis, entitled ''Sur les systèmes de fonctions holomorphes à variétés linéaires lacunaires et leurs applications'', was supervised by Paul Montel. Cartan taught at Lycée Malherbe in Caen from 1928 to 1929, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Things Named After Élie Cartan
These are things named after Élie Cartan (9 April 1869 – 6 May 1951), a French mathematician. Mathematics and physics * Cartan calculus * Cartan connection, Cartan connection applications * Cartan's criterion * Cartan decomposition * Cartan's equivalence method * Cartan formalism (physics) * Cartan involution * Cartan's magic formula * Cartan relations ** Cartan map * Cartan matrix * Cartan pair * Cartan subalgebra * Cartan subgroup * Cartan's method of moving frames * Cartan's theorem, a name for the closed-subgroup theorem * Cartan's theorem, a name for the theorem on highest weights * Cartan's theorem, a name for Lie's third theorem * Einstein–Cartan theory **Einstein–Cartan–Evans theory * Cartan–Ambrose–Hicks theorem * Cartan–Brauer–Hua theorem * Cartan–Dieudonné theorem * Cartan–Hadamard manifold * Cartan–Hadamard theorem * Cartan–Iwahori decomposition * Cartan-Iwasawa-Malcev theorem * Cartan–Kähler theorem * Cartan–Karlhede algori ... [...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] |
Differential Forms
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression f(x) \, dx is an example of a 1-form, -form, and can be integral, integrated over an interval [a,b] contained in the domain of f: \int_a^b f(x)\,dx. Similarly, the expression f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz is a -form that can be integrated over a Surface (mathematics), surface S: \int_S \left(f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz\right). The symbol \wedge denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form f(x,y,z) \, dx \wedge dy \wedge dz represents a volume element that can be integrated over a region of space. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
