|
Ehresmann Connection
In differential geometry, an Ehresmann connection (after the French mathematician Charles Ehresmann who first formalized this concept) is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action. Introduction A covariant derivative in differential geometry is a linear differential operator which takes the directional derivative of a section of a vector bundle in a covariant manner. It also allows one to formulate a notion of a parallel section of a bundle in the direction of a vector: a section ''s'' is parallel along a vector ''X'' if \nabla_X s = 0. So a covariant derivative provides at least two t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and 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 manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that is a smooth map between smooth manifolds; then the differential of ''φ, d\varphi_x,'' at a point ''x'' is, in some sense, the best linear approximation of ''φ'' near ''x''. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of ''M'' at ''x'' to the tangent space of ''N'' at ''φ''(''x''), d\varphi_x: T_xM \to T_N. Hence it can be used to ''push'' tangent vectors on ''M'' ''forward'' to tangent vectors on ''N''. The differential of a map ''φ'' is also called, by various authors, the derivative or total derivative of ''φ''. Motivation Let \varphi: U \to V be a smooth map from an open subset U of \R^m to an open subset V of \R^n. For any point x in U, the Jacobian of \varphi at x (with respect to the standard coordinates) is the matrix representation of the total d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Horizontal Bundle
In mathematics, the vertical bundle and the horizontal bundle are vector bundles associated to a smooth fiber bundle. More precisely, given a smooth fiber bundle \pi\colon E\to B, the vertical bundle VE and horizontal bundle HE are subbundles of the tangent bundle TE of E whose Whitney sum satisfies VE\oplus HE\cong TE. This means that, over each point e\in E, the fibers V_eE and H_eE form complementary subspaces of the tangent space T_eE. The vertical bundle consists of all vectors that are tangent to the fibers, while the horizontal bundle requires some choice of complementary subbundle. To make this precise, define the vertical space V_eE at e\in E to be \ker(d\pi_e). That is, the differential d\pi_e\colon T_eE\to T_bB (where b=\pi(e)) is a linear surjection whose kernel has the same dimension as the fibers of \pi. If we write F=\pi^(b), then V_eE consists of exactly the vectors in T_eE which are also tangent to F. The name is motivated by low-dimensional examples like the triv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vertical Bundle
Vertical is a geometric term of location which may refer to: * Vertical direction, the direction aligned with the direction of the force of gravity, up or down * Vertical (angles), a pair of angles opposite each other, formed by two intersecting straight lines that form an "X" * Vertical (music), a musical interval where the two notes sound simultaneously * "Vertical", a type of wine tasting in which different vintages of the same wine type from the same winery are tasted * Vertical Aerospace, stylised as "Vertical", British aerospace manufacturer * Vertical Kilometer, a discipline of skyrunning * Vertical market, a market in which vendors offer goods and services specific to an industry Media * ''Vertical'' (1967 film), Soviet movie starring Vladimir Vysotsky * "Vertical" (''Sledge Hammer!''), 1987 television episode * ''Vertical'' (novel), 2010 novel by Rex Pickett * Vertical Entertainment, an American independent film distributor and production company * Vertical (publish ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Manifold
In mathematics, a Banach manifold is a manifold modeled on Banach spaces. Thus it is a topological space in which each point has a neighbourhood homeomorphic to an open set in a Banach space (a more involved and formal definition is given below). Banach manifolds are one possibility of extending manifolds to infinite dimensions. A further generalisation is to Fréchet manifolds, replacing Banach spaces by Fréchet spaces. On the other hand, a Hilbert manifold is a special case of a Banach manifold in which the manifold is locally modeled on Hilbert spaces. Definition Let X be a set. An atlas of class C^r, r \geq 0, on X is a collection of pairs (called charts) \left(U_i, \varphi_i\right), i \in I, such that # each U_i is a subset of X and the union of the U_i is the whole of X; # each \varphi_i is a bijection from U_i onto an open subset \varphi_i\left(U_i\right) of some Banach space E_i, and for any indices i \text j, \varphi_i\left(U_i \cap U_j\right) is open in E_i; # the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibered Manifold
In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion \pi : E \to B\, that is, a surjective differentiable mapping such that at each point y \in U the tangent mapping T_y \pi : T_ E \to T_B is surjective, or, equivalently, its rank equals \dim B. History In topology, the words fiber (Faser in German) and fiber space (gefaserter Raum) appeared for the first time in a paper by Herbert Seifert in 1932, but his definitions are limited to a very special case. The main difference from the present day conception of a fiber space, however, was that for Seifert what is now called the base space (topological space) of a fiber (topological) space E was not part of the structure, but derived from it as a quotient space of E. The first definition of fiber space is given by Hassler Whitney in 1935 under the name sphere space, but in 1940 Whitney changed the name to sphere bundle. The theory of fibered spaces, of which vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submersion (mathematics)
In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion. Definition Let ''M'' and ''N'' be differentiable manifolds and f\colon M\to N be a differentiable map between them. The map is a submersion at a point p\in M if its differential :Df_p \colon T_p M \to T_N is a surjective linear map. In this case is called a regular point of the map , otherwise, is a critical point. A point q\in N is a regular value of if all points in the preimage f^(q) are regular points. A differentiable map that is a submersion at each point p\in M is called a submersion. Equivalently, is a submersion if its differential Df_p has constant rank equal to the dimension of . A word of warning: some authors use the term ''critical point'' to describe a point where the rank of the Jacobian matrix of at is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surjective
In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of its domain. It is not required that be unique; the function may map one or more elements of to the same element of . The term ''surjective'' and the related terms ''injective'' and ''bijective'' were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word '' sur'' means ''over'' or ''above'', and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surjective function has a right inverse assuming the axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ehresmann Connection
In differential geometry, an Ehresmann connection (after the French mathematician Charles Ehresmann who first formalized this concept) is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action. Introduction A covariant derivative in differential geometry is a linear differential operator which takes the directional derivative of a section of a vector bundle in a covariant manner. It also allows one to formulate a notion of a parallel section of a bundle in the direction of a vector: a section ''s'' is parallel along a vector ''X'' if \nabla_X s = 0. So a covariant derivative provides at least two t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curvature Form
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra \mathfrak g, and ''P'' → ''B'' be a principal ''G''-bundle. Let ω be an Ehresmann connection on ''P'' (which is a \mathfrak g-valued one-form on ''P''). Then the curvature form is the \mathfrak g-valued 2-form on ''P'' defined by :\Omega=d\omega + omega \wedge \omega= D \omega. (In another convention, 1/2 does not appear.) Here d stands for exterior derivative, cdot \wedge \cdot/math> is defined in the article "Lie algebra-valued form" and ''D'' denotes the exterior covariant derivative. In other terms, :\,\Omega(X, Y)= d\omega(X,Y) + omega(X),\omega(Y)/math> where ''X'', ''Y'' are tangent vectors to ''P''. There is also another expression for Ω: if ''X'', ''Y'' are horizontal vector fields on ''P'', thenProof: \sigma\Omega(X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connection Form
In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms. Historically, connection forms were introduced by Élie Cartan in the first half of the 20th century as part of, and one of the principal motivations for, his method of moving frames. The connection form generally depends on a choice of a coordinate frame, and so is not a tensorial object. Various generalizations and reinterpretations of the connection form were formulated subsequent to Cartan's initial work. In particular, on a principal bundle, a principal connection is a natural reinterpretation of the connection form as a tensorial object. On the other hand, the connection form has the advantage that it is a differential form defined on the differentiable manifold, rather than on an abstract principal bundle over it. Hence, despite their lack of tensoriality, connection forms continue to be used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Form
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 is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
