|
Connection (mathematics)
In geometry, the notion of a connection makes precise the idea of transporting local geometric objects, such as tangent vectors or tensors in the tangent space, along a curve or family of curves in a ''parallel'' and consistent manner. There are various kinds of connections in modern geometry, depending on what sort of data one wants to transport. For instance, an affine connection, the most elementary type of connection, gives a means for parallel transport of tangent vectors on a manifold from one point to another along a curve. An affine connection is typically given in the form of a covariant derivative, which gives a means for taking directional derivatives of vector fields, measuring the deviation of a vector field from being parallel in a given direction. Connections are of central importance in modern geometry in large part because they allow a comparison between the local geometry at one point and the local geometry at another point. Differential geometry embraces severa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Koszul Connection
In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a ''covariant derivative'', an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear. Linear connections are also called Koszul connections after Jean-Louis Koszul, who ga ... [...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] |
Inversion In A Circle
Inversion or inversions may refer to: Arts * , a French gay magazine (1924/1925) * ''Inversion'' (artwork), a 2005 temporary sculpture in Houston, Texas * Inversion (music), a term with various meanings in music theory and musical set theory * ''Inversions'' (novel) by Iain M. Banks * ''Inversion'' (video game), a 2012 third person shooter for Xbox 360, PlayStation 3, and PC * ''Inversions'' (EP), the 2014 extended play album by American rock music ensemble The Colourist * ''Inversions'' (album), a 2019 album by Belinda O'Hooley * ''Inversion'' (film), a 2016 Iranian film Linguistics and language * Inversion (linguistics), grammatical constructions where two expressions switch their order of appearance * Inversion (prosody), the reversal of the order of a foot's elements in poetry * Anastrophe, a figure of speech also known as an ''inversion'' Mathematics and logic * Involution (mathematics), a function that is its own inverse (when applied twice, the starting value is ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Atlas (topology)
In mathematics, particularly topology, one describes a manifold using an atlas. An atlas consists of individual ''charts'' that, roughly speaking, describe individual regions of the manifold. If the manifold is the surface of the Earth, then an atlas has its more common meaning. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles. Charts The definition of an atlas depends on the notion of a ''chart''. A chart for a topological space ''M'' (also called a coordinate chart, coordinate patch, coordinate map, or local frame) is a homeomorphism \varphi from an open subset ''U'' of ''M'' to an open subset of a Euclidean space. The chart is traditionally recorded as the ordered pair (U, \varphi). Formal definition of atlas An atlas for a topological space M is an indexed family \ of charts on M which covers M (that is, \bigcup_ U_ = M). If the codomain of each chart is the ''n''-dimensiona ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stereographic Projection
In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere (the ''pole'' or ''center of projection''), onto a plane (geometry), plane (the ''projection plane'') perpendicular to the diameter through the point. It is a smooth function, smooth, bijection, bijective function (mathematics), function from the entire sphere except the center of projection to the entire plane. It maps circle of a sphere, circles on the sphere to generalised circle, circles or lines on the plane, and is conformal map, conformal, meaning that it preserves angles at which curves meet and thus Local property, locally approximately preserves similarity (geometry), shapes. It is neither isometry, isometric (distance preserving) nor Equiareal map, equiareal (area preserving). The stereographic projection gives a way to representation (mathematics), represent a sphere by a plane. The metric tensor, metric induced metric, induced by the inverse s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
South-pointing Chariot
The south-pointing chariot (or carriage) was an ancient Chinese two-wheeled vehicle that carried a movable pointer to indicate the south, no matter how the chariot turned. Usually, the pointer took the form of a doll or figure with an outstretched arm. The chariot was supposedly used as a compass for navigation and may also have had other purposes. The ancient Chinese invented a mobile-like armored cart in the 5th century BC called the Dongwu Che (). It was used for the purpose of protecting warriors on the battlefield. The Chinese war wagon was designed as a kind of mobile protective cart with a shed-like roof. It would serve to be rolled up to city fortifications to provide protection for sappers digging underneath to weaken a wall's foundation. The early Chinese war wagon became the basis of technologies for the making of ancient Chinese south-pointing chariots. There are legends of earlier south-pointing chariots, but the first reliably documented one was created by the Chi ... [...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] |
Coordinate System
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is significant, and they are sometimes identified by their position in an ordered tuple and sometimes by a letter, as in "the ''x''-coordinate". The coordinates are taken to be real numbers in elementary mathematics, but may be complex numbers or elements of a more abstract system such as a commutative ring. The use of a coordinate system allows problems in geometry to be translated into problems about numbers and ''vice versa''; this is the basis of analytic geometry. Common coordinate systems Number line The simplest example of a coordinate system is the identification of points on a line with real numbers using the ''number line''. In this system, an arbitrary point ''O'' (the ''origin'') is chosen on a given line. The coordinate of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsion Tensor
In differential geometry, the notion of torsion is a manner of characterizing a twist or screw of a moving frame around a curve. The 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 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; whereas curvature describes how the tangent spaces roll al ... [...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] |
.jpg "Click for more on -> South-pointing Chariot")
