|
Second Fundamental Form
In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold. Surface in R3 Motivation The second fundamental form of a parametric surface in was introduced and studied by Gauss. First suppose that the surface is the graph of a twice continuously differentiable function, , and that the plane is tangent to the surface at the origin. Then and its partial derivatives with respect to and vanish at (0,0). Therefore, the Taylor expansion of ''f'' at (0,0) starts with quadratic terms: : z=L\frac + Mxy + N\frac + \text\,, and the second fundamental form at the origin in the coordinates is the qua ... [...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] |
Cross Product
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and is denoted by the symbol \times. Given two linearly independent vectors and , the cross product, (read "a cross b"), is a vector that is perpendicular to both and , and thus normal to the plane containing them. It has many applications in mathematics, physics, engineering, and computer programming. It should not be confused with the dot product (projection product). The magnitude of the cross product equals the area of a parallelogram with the vectors for sides; in particular, the magnitude of the product of two perpendicular vectors is the product of their lengths. The units of the cross-product are the product of the units of each vector. If two vectors are parallel or are anti-parallel (that is, they are linearly dependent), ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientability
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds oft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsion Tensor
In differential geometry, the torsion tensor is a tensor that is associated to any affine connection. The torsion tensor is a bilinear map of two input vectors X,Y, that produces an output vector T(X,Y) representing the displacement within a tangent space when the tangent space is developed (or "rolled") along an infinitesimal parallelogram whose sides are X,Y. It is skew symmetric in its inputs, because developing over the parallelogram in the opposite sense produces the opposite displacement, similarly to how a screw moves in opposite ways when it is twisted in two directions. Torsion is particularly useful in the study of the geometry of geodesics. Given a system of parametrized geodesics, one can specify a class of affine connections having those geodesics, but differing by their torsions. There is a unique connection which ''absorbs the torsion'', generalizing the Levi-Civita connection to other, possibly non-metric situations (such as Finsler geometry). The difference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Connection
In differential geometry, an affine connection is a geometric object on a smooth manifold which ''connects'' nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles. The notion of an affine connection has its roots in 19th-century geometry and tensor calculus, but was not fully developed until the early 1920s, by Élie Cartan (as part of his general theory of connections) and Hermann Weyl (who used the notion as a part of his foundations for general relativity). The terminology is due to Cartan and has its origins in the identification of tangent spaces in Euclidean space by translation: the idea is that a choice of affine connection makes a manifold look infinitesimally like Euclidean space not just smoothly, but as an affine space. On any manifold of positive dimension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covariant Derivative
In mathematics and physics, covariance is a measure of how much two variables change together, and may refer to: Statistics * Covariance matrix, a matrix of covariances between a number of variables * Covariance or cross-covariance between two random variables or data sets * Autocovariance, the covariance of a signal with a time-shifted version of itself * Covariance function, a function giving the covariance of a random field with itself at two locations Algebra and geometry * A covariant (invariant theory) is a bihomogeneous polynomial in and the coefficients of some homogeneous form in that is invariant under some group of linear transformations. * Covariance and contravariance of vectors, properties of how vector coordinates change under a change of basis ** Covariant transformation, a rule that describes how certain physical entities change under a change of coordinate system * Covariance and contravariance of functors, properties of functors * General covariance ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shape Operator
In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: ''extrinsically'', relating to their embedding in Euclidean space and ''intrinsically'', reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space. Surfaces naturally arise as graphs of functions of a pair of variables, and sometimes appear in parametric form or as loci associated to space curves. An important role in their study has been played by Lie groups (in the spirit of the Erlangen program), namely the symmetry groups of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point of is a bilinear form defined on the tangent space at (that is, a bilinear function that maps pairs of tangent vectors to real numbers), and a metric field on consists of a metric tensor at each point of that varies smoothly with . A metric tensor is ''positive-definite'' if for every nonzero vector . A manifold equipped with a positive-definite metric tensor is known as a Riemannian manifold. Such a metric tensor can be thought of as specifying ''infinitesimal'' distance on the manifold. On a Riemannian manifold , the length of a smooth curve between two points and can be defined by integration, and the distance between and can be defined as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector-valued Differential Form
In mathematics, a vector-valued differential form on a manifold ''M'' is a differential form on ''M'' with values in a vector space ''V''. More generally, it is a differential form with values in some vector bundle ''E'' over ''M''. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms. (A connection form is an example of such a form.) Definition Let ''M'' be a smooth manifold and ''E'' → ''M'' be a smooth vector bundle over ''M''. We denote the space of smooth sections of a bundle ''E'' by Γ(''E''). An ''E''-valued differential form of degree ''p'' is a smooth section of the tensor product bundle of ''E'' with Λ''p''(''T'' ∗''M''), the ''p''-th exterior power of the cotangent bundle of ''M''. The space of such forms is denoted by :\Omega^p(M,E) = \Gamma(E\otimes\Lambda^pT^*M). Because Γ is a strong monoidal functor, this can also be interpreted as :\Gamma(E\otimes\Lambd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps (formulating manifold) on tangent spaces. Suppose that \varphi\colon M\to N is a smooth map between smooth manifolds; then the differential of \varphi at a point x, denoted \mathrm d\varphi_x, is, in some sense, the best linear approximation of \varphi 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 \varphi(x), \mathrm d\varphi_x\colon 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 \varphi is also called, by various authors, the derivative or total derivative of \varphi. Motivation Let \varphi: U \to V be a Smooth function#Smooth functions on and between manifolds, smooth map from an Open subset#Euclidean space, open subset U of \R^m to an open subset V of \R^n. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauss Map
In differential geometry, the Gauss map of a surface is a function that maps each point in the surface to its normal direction, a unit vector that is orthogonal to the surface at that point. Namely, given a surface ''X'' in Euclidean space R3, the Gauss map is a map ''N'': ''X'' → ''S''2 (where ''S''2 is the unit sphere) such that for each ''p'' in ''X'', the function value ''N''(''p'') is a unit vector orthogonal to ''X'' at ''p''. The Gauss map is named after Carl F. Gauss. The Gauss map can be defined (globally) if and only if the surface is orientable, in which case its degree is half the Euler characteristic. The Gauss map can always be defined locally (i.e. on a small piece of the surface). The Jacobian determinant of the Gauss map is equal to Gaussian curvature, and the differential of the Gauss map is called the shape operator. Gauss first wrote a draft on the topic in 1825 and published in 1827. There is also a Gauss map for a link, which computes linking ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Notation
In mathematics, especially the usage of linear algebra in mathematical physics and differential geometry, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving brevity. As part of mathematics it is a notational subset of Ricci calculus; however, it is often used in physics applications that do not distinguish between tangent and cotangent spaces. It was introduced to physics by Albert Einstein in 1916. Introduction Statement of convention According to this convention, when an index variable appears twice in a single term and is not otherwise defined (see Free and bound variables), it implies summation of that term over all the values of the index. So where the indices can range over the set , y = \sum_^3 x^i e_i = x^1 e_1 + x^2 e_2 + x^3 e_3 is simplified by the convention to: y = x^i e_i The upper indices are not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
