|
Submanifold
In mathematics, a submanifold of a manifold M is a subset S which itself has the structure of a manifold, and for which the inclusion map S \rightarrow M satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. Formal definition In the following we assume all manifolds are differentiable manifolds of class C^r for a fixed r\geq 1, and all morphisms are differentiable of class C^r. Immersed submanifolds An immersed submanifold of a manifold M is the image S of an immersion map f: N\rightarrow M; in general this image will not be a submanifold as a subset, and an immersion map need not even be injective (one-to-one) – it can have self-intersections. More narrowly, one can require that the map f: N\rightarrow M be an injection (one-to-one), in which we call it an injective immersion, and define an immersed submanifold to be the image subset S together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the manifold decomposition, decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedding, embedded subspace topology, 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 manifold, piecewise-linear, differentiable manifold, differentiable (of class ''Cr''), or analytic manifold, 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 dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neat Submanifold
In differential topology, an area of mathematics, a neat submanifold of a manifold with boundary is a kind of "well-behaved" submanifold. To define this more precisely, first let :M be a manifold with boundary, and :A be a submanifold of M. Then A is said to be a neat submanifold of M if it meets the following two conditions:. *The boundary of A is a subset of the boundary of M. That is, \partial A \subset \partial M. *Each point of A has a neighborhood within which A's embedding in M is equivalent to the embedding of a hyperplane in a higher-dimensional Euclidean space. More formally, A must be covered by charts (U, \phi) of M such that A \cap U = \phi^(\mathbb^m) where m is the dimension For instance, in the category of 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immersion (mathematics)
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, is an immersion if :D_pf : T_p M \to T_N\, is an injective function at every point of (where denotes the tangent space of a manifold at a point in and is the derivative (pushforward) of the map at point ). Equivalently, is an immersion if its derivative has constant rank equal to the dimension of : :\operatorname\,D_p f = \dim M. The function itself need not be injective, only its derivative must be. Vs. embedding A related concept is that of an ''embedding''. A smooth embedding is an injective immersion that is also a topological embedding, so that is diffeomorphic to its image in . An immersion is precisely a local embedding – that is, for any point there is a neighbourhood, , of such that is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differentiable 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 homeomorphism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Theorem (differential Topology)
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern differential geometry, geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the Picard–Lindelöf theorem, existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of ''r'' vector fields mesh into coordinate grids on ''r''-dimensional integral manifolds. The theorem is foundational in differential topology and Differentiable manifold, calculus on manifolds. Contact geometry studies 1-forms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inclusion Map
In mathematics, if A is a subset of B, then the inclusion map is the function \iota that sends each element x of A to x, treated as an element of B: \iota : A\rightarrow B, \qquad \iota(x)=x. An inclusion map may also be referred to as an inclusion function, an insertion, or a canonical injection. A "hooked arrow" () is sometimes used in place of the function arrow above to denote an inclusion map; thus: \iota: A\hookrightarrow B. (However, some authors use this hooked arrow for any embedding.) This and other analogous injective functions from substructures are sometimes called natural injections. Given any morphism f between objects X and Y, if there is an inclusion map \iota : A \to X into the domain X, then one can form the restriction f\circ \iota of f. In many instances, one can also construct a canonical inclusion into the codomain R \to Y known as the range of f. Applications of inclusion maps Inclusion maps tend to be homomorphisms of algebraic structures; thus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a Neighbourhood (mathematics), neighborhood that is homeomorphic to an open (topology), open subset of n-dimensional Euclidean space. One-dimensional manifolds include Line (geometry), lines and circles, but not Lemniscate, self-crossing curves such as a figure 8. Two-dimensional manifolds are also called Surface (topology), surfaces. Examples include the Plane (geometry), plane, the sphere, and the torus, and also the Klein bottle and real projective plane. The concept of a manifold is central to many parts of geometry and modern mathematical physics because it allows complicated structures to be described in terms of well-understood topological properties of simpler spaces. Manifolds naturally arise as solution sets of systems of equations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some Injective function, injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in the rational numbers, the rational num ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space
In mathematics, the tangent space of a manifold is a generalization of to curves in two-dimensional space and to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold. Informal description In differential geometry, one can attach to every point x of a differentiable manifold a ''tangent space''—a real vector space that intuitively contains the possible directions in which one can tangentially pass through x . The elements of the tangent space at x are called the ''tangent vectors'' at x . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a 2 -sphere, then one can picture the tangent space at a point ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wild Arc
In geometric topology, a wild arc is an embedding of the unit interval into 3-dimensional space not equivalent to the usual one in the sense that there does not exist an ambient isotopy taking the arc to a straight line segment. found the first example of a wild arc. found another example, called the Fox-Artin arc, whose complement is not simply connected. Fox-Artin arcs Two very similar wild arcs appear in the article. Example 1.1 (page 981) is most generally referred to as the Fox-Artin wild arc. The crossings have the regular sequence over/over/under/over/under/under when following the curve from left to right. The left end-point 0 of the closed unit interval ,1/math> is mapped by the arc to the left limit point of the curve, and 1 is mapped to the right limit point. The range of the arc lies in the Euclidean space \mathbb^3 or the 3-sphere S^3. Fox-Artin arc variant Example 1.1* has the crossing sequence over/under/over/under/over/under. According to , ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wild Knot
In the mathematical theory of knots, a knot is tame if it can be "thickened", that is, if there exists an extension to an embedding of the solid torus S^1\times D^2 into the 3-sphere. A knot is tame if and only if it can be represented as a finite closed polygonal chain. In knot theory and 3-manifold theory, often the adjective "tame" is omitted. Smooth knots, for example, are always tame. Knots that are not tame are called wild and can have pathological behavior. Every closed curve containing a wild arc is a wild knot. It has been conjectured that every wild knot has infinitely many quadrisecants. As well as their mathematical study, wild knots have also been studied for their potential for decorative purposes in Celtic-style ornamental knotwork. See also * Wild arc In geometric topology, a wild arc is an embedding of the unit interval into 3-dimensional space not equivalent to the usual one in the sense that there does not exist an ambient isotopy taking the arc to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
