|
Subbundle
In mathematics, a subbundle U of a vector bundle V on a topological space X is a collection of linear subspaces U_xof the fibers V_x of V at x in X, that make up a vector bundle in their own right. In connection with foliation theory, a subbundle of the tangent bundle of a smooth manifold may be called a distribution (of tangent vectors). If a set of vector fields Y_k span the vector space U, and all Lie commutator 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 fi ...s \left _i, Y_j\right/math> are linear combinations of the Y_k, then one says that U is an involutive distribution. See also * * {{Manifolds Fiber bundles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a manifold w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distribution (differential Geometry)
In differential geometry, a discipline within mathematics, a distribution on a manifold M is an assignment x \mapsto \Delta_x \subseteq T_x M of vector subspaces satisfying certain properties. In the most common situations, a distribution is asked to be a vector subbundle of the tangent bundle TM. Distributions satisfying a further integrability condition give rise to foliations, i.e. partitions of the manifold into smaller submanifolds. These notions have several applications in many fields of mathematics, e.g. integrable systems, Poisson geometry, non-commutative geometry, sub-Riemannian geometry, differential topology, etc. Even though they share the same name, distributions presented in this article have nothing to do with distributions in the sense of analysis. Definition Let M be a smooth manifold; a (smooth) distribution \Delta assigns to any point x \in M a vector subspace \Delta_x \subset T_xM in a smooth way. More precisely, \Delta consists in a collection \_ of vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Involutive Distribution
In differential geometry, a discipline within mathematics, a distribution on a manifold M is an assignment x \mapsto \Delta_x \subseteq T_x M of vector subspaces satisfying certain properties. In the most common situations, a distribution is asked to be a vector subbundle of the tangent bundle TM. Distributions satisfying a further integrability condition give rise to foliations, i.e. partitions of the manifold into smaller submanifolds. These notions have several applications in many fields of mathematics, e.g. integrable systems, Poisson geometry, non-commutative geometry, sub-Riemannian geometry, differential topology, etc. Even though they share the same name, distributions presented in this article have nothing to do with distributions in the sense of analysis. Definition Let M be a smooth manifold; a (smooth) distribution \Delta assigns to any point x \in M a vector subspace \Delta_x \subset T_xM in a smooth way. More precisely, \Delta consists in a collection \_ of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subbundle
In mathematics, a subbundle U of a vector bundle V on a topological space X is a collection of linear subspaces U_xof the fibers V_x of V at x in X, that make up a vector bundle in their own right. In connection with foliation theory, a subbundle of the tangent bundle of a smooth manifold may be called a distribution (of tangent vectors). If a set of vector fields Y_k span the vector space U, and all Lie commutator 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 fi ...s \left _i, Y_j\right/math> are linear combinations of the Y_k, then one says that U is an involutive distribution. See also * * {{Manifolds Fiber bundles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedded subspace R''p''. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable (of class ''Cr''), or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class ''Cr'' it is usually understood that ''r'' ≥ 1 (otherwise, ''C''0 is a topological foliation). The number ''p'' (the dimension of the leaves) is called the dimension of the foliation and is called its codimension. In some papers on general relativity by mathematical physicists, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topological spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Subspace
In mathematics, and more specifically in linear algebra, a linear subspace, also known as a vector subspaceThe term ''linear subspace'' is sometimes used for referring to flats and affine subspaces. In the case of vector spaces over the reals, linear subspaces, flats, and affine subspaces are also called ''linear manifolds'' for emphasizing that there are also manifolds. is a vector space that is a subset of some larger vector space. A linear subspace is usually simply called a ''subspace'' when the context serves to distinguish it from other types of subspaces. Definition If ''V'' is a vector space over a field ''K'' and if ''W'' is a subset of ''V'', then ''W'' is a linear subspace of ''V'' if under the operations of ''V'', ''W'' is a vector space over ''K''. Equivalently, a nonempty subset ''W'' is a subspace of ''V'' if, whenever are elements of ''W'' and are elements of ''K'', it follows that is in ''W''. As a corollary, all vector spaces are equipped with at least two ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of manifold the tangent spaces and have no common vector. This is graphically illustrated in the accompanying picture for tangent bundle of circle , see tangent bundle#Examples, Examples section: all tangents to a circle lie in the plane of the circle. In order to make them disjoint it is necessary to align them in a plane perpendicular to the plane of the circle. of the tangent spaces of M . That is, : \begin TM &= \bigsqcup_ T_xM \\ &= \bigcup_ \left\ \times T_xM \\ &= \bigcup_ \left\ \\ &= \left\ \end where T_x M denotes the tangent space to M at the point x . So, an element of TM can be thought of as a ordered pair, pair (x,v), where x is a point in M and v is a tangent vector to M at x . There i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Vector
In mathematics, a tangent vector is a vector that is tangent to a curve or surface at a given point. Tangent vectors are described in the differential geometry of curves in the context of curves in R''n''. More generally, tangent vectors are elements of a tangent space of a differentiable manifold. Tangent vectors can also be described in terms of germs. Formally, a tangent vector at the point x is a linear derivation of the algebra defined by the set of germs at x. Motivation Before proceeding to a general definition of the tangent vector, we discuss its use in calculus and its tensor properties. Calculus Let \mathbf(t) be a parametric smooth curve. The tangent vector is given by \mathbf'(t), where we have used a prime instead of the usual dot to indicate differentiation with respect to parameter . The unit tangent vector is given by \mathbf(t) = \frac\,. Example Given the curve \mathbf(t) = \left\ in \R^3, the unit tangent vector at t = 0 is given by \mathbf(0) = \frac = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Span
In mathematics, the linear span (also called the linear hull or just span) of a set of vectors (from a vector space), denoted , pp. 29-30, §§ 2.5, 2.8 is defined as the set of all linear combinations of the vectors in . It can be characterized either as the intersection of all linear subspaces that contain , or as the smallest subspace containing . The linear span of a set of vectors is therefore a vector space itself. Spans can be generalized to matroids and modules. To express that a vector space is a linear span of a subset , one commonly uses the following phrases—either: spans , is a spanning set of , is spanned/generated by , or is a generator or generator set of . Definition Given a vector space over a field , the span of a set of vectors (not necessarily infinite) is defined to be the intersection of all subspaces of that contain . is referred to as the subspace ''spanned by'' , or by the vectors in . Conversely, is called a ''spanning set'' of , and we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
