|
Maps Of Manifolds
In mathematics, more specifically in differential geometry and topology, various types of functions between manifolds are studied, both as objects in their own right and for the light they shed Types of maps Just as there are various types of manifolds, there are various types of maps of manifolds. In geometric topology, the basic types of maps correspond to various categories of manifolds: DIFF for smooth functions between differentiable manifolds, PL for piecewise linear functions between piecewise linear manifolds, and TOP for continuous functions between topological manifolds. These are progressively weaker structures, properly connected via PDIFF, the category of piecewise-smooth maps between piecewise-smooth manifolds. In addition to these general categories of maps, there are maps with special properties; these may or may not form categories, and may or may not be generally discussed categorically. In geometric topology a basic type are embeddings, of which knot theo ... [...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 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 n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Submersion
In differential geometry, a branch of mathematics, a Riemannian submersion is a submersion from one Riemannian manifold to another that respects the metrics, meaning that it is an orthogonal projection on tangent spaces. Formal definition Let (''M'', ''g'') and (''N'', ''h'') be two Riemannian manifolds and f:M\to N a (surjective) submersion, i.e., a fibered manifold. The horizontal distribution \mathrm(df)^ is a sub-bundle of the tangent bundle of TM which depends both on the projection f and on the metric g. Then, ''f'' is called a Riemannian submersion if and only if the isomorphism df : \mathrm(df)^ \rightarrow TN is an isometry. Examples An example of a Riemannian submersion arises when a Lie group G acts isometrically, freely and properly on a Riemannian manifold (M,g). The projection \pi: M \rightarrow N to the quotient space N = M /G equipped with the quotient metric is a Riemannian submersion. For example, component-wise multiplication on S^3 \subset \mathbb^2 by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometric Immersion
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 numbe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometric 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 in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann–Hurwitz Formula
In mathematics, the Riemann–Hurwitz formula, named after Bernhard Riemann and Adolf Hurwitz, describes the relationship of the Euler characteristics of two surfaces when one is a ''ramified covering'' of the other. It therefore connects ramification with algebraic topology, in this case. It is a prototype result for many others, and is often applied in the theory of Riemann surfaces (which is its origin) and algebraic curves. Statement For a compact, connected, orientable surface S, the Euler characteristic \chi(S) is :\chi(S)=2-2g, where ''g'' is the genus (the ''number of handles''), since the Betti numbers are 1, 2g, 1, 0, 0, \dots. In the case of an (''unramified'') covering map of surfaces :\pi\colon S' \to S that is surjective and of degree N, we have the formula :\chi(S') = N\cdot\chi(S). That is because each simplex of S should be covered by exactly N in S', at least if we use a fine enough triangulation of S, as we are entitled to do since the Euler characteristic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. The main interest in Riemann surfaces is that holomorphic functions may be defined between them. Riemann surfaces are nowadays considered the natural setting for studying the global behavior of these functions, especially multi-valued functions such as the square root and other algebraic functions, or the logarithm. Every Riemann surface is a two-dimensional real analytic manifold (i.e., a surface), but it contains more structure (specifically a complex structure) which is needed for the unambiguous definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Sqrt
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to mathematical analysis, analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rigorous formulation of the integral, the Riemann integral, and his work on Fourier series. His contributions to complex analysis include most notably the introduction of Riemann surfaces, breaking new ground in a natural, geometric treatment of complex analysis. His On the Number of Primes Less Than a Given Magnitude, 1859 paper on the prime-counting function, containing the original statement of the Riemann hypothesis, is regarded as a foundational paper of analytic number theory. Through his pioneering Riemannian Geometry, contributions to differential geometry, Riemann laid the foundations of the mathematics of general relativity. He is considered by many to be one of the greatest mathematicians of all time. Biogra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Whitney Immersion Theorem
In differential topology, the Whitney immersion theorem (named after Hassler Whitney) states that for m>1, any smooth m-dimensional manifold (required also to be Hausdorff and second-countable) has a one-to-one immersion in Euclidean 2m-space, and a (not necessarily one-to-one) immersion in (2m-1)-space. Similarly, every smooth m-dimensional manifold can be immersed in the 2m-1-dimensional sphere (this removes the m>1 constraint). The weak version, for 2m+1, is due to transversality (general position, dimension counting): two ''m''-dimensional manifolds in \mathbf^ intersect generically in a 0-dimensional space. Further results William S. Massey went on to prove that every ''n''-dimensional manifold is cobordant to a manifold that immerses in S^ where a(n) is the number of 1's that appear in the binary expansion of n. In the same paper, Massey proved that for every ''n'' there is manifold (which happens to be a product of real projective spaces) that does not immerse in S^. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Whitney Embedding Theorem
In mathematics, particularly in differential topology, there are two Whitney embedding theorems, named after Hassler Whitney: *The strong Whitney embedding theorem states that any differentiable manifold, smooth real numbers, real -dimension (mathematics), dimensional manifold (required also to be Hausdorff space, Hausdorff and second-countable) can be smooth map, smoothly embedding, embedded in the real coordinate space, real -space (), if . This is the best linear bound on the smallest-dimensional Euclidean space that all -dimensional manifolds embed in, as the real projective spaces of dimension cannot be embedded into real -space if is a power of two (as can be seen from a characteristic class argument, also due to Whitney). *The weak Whitney embedding theorem states that any continuous function from an -dimensional manifold to an -dimensional manifold may be approximated by a smooth embedding provided . Whitney similarly proved that such a map could be approximated by an imm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ramified Covering Space
In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping. In complex analysis In complex analysis, the basic model can be taken as the ''z'' → ''z''''n'' mapping in the complex plane, near ''z'' = 0. This is the standard local picture in Riemann surface theory, of ramification of order ''n''. It occurs for example in the Riemann–Hurwitz formula for the effect of mappings on the genus. See also branch point. In algebraic topology In a covering map the Euler–Poincaré characteristic should multiply by the number of sheets; ramification can therefore be detected by some dropping from that. The ''z'' → ''z''''n'' mapping shows this as a local p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covering Space
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exists the covering \pi:X \rightarrow X with \pi(x)=x, which is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
