User:Falaffel/sandbox

This is the user sandbox of Falaffel. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here. Other sandboxes: Main sandbox | Template sandbox Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review!

A presentation of a topological manifold is a

of atlases, where one defines equivalence of atlases below.

There are a number of different types of differentiable manifolds, depending on the precise differentiability requirements on the transition functions. Some common examples include the following.

• A differentiable manifold is a topological manifold equipped with an equivalence class of atlases whose transition maps are all differentiable. In broader terms, a
  C^k
  -manifold is a topological manifold with an atlas whose transition maps are all k-times continuously differentiable.

• A smooth manifold or C^∞-manifold is a differentiable manifold for which all the transition maps are
  smooth. That is, derivatives of all orders exist; so it is a C^k-manifold for all k. An equivalence class of such atlases is said to be a smooth structure
  .

• An analytic manifold, or C^ω-manifold is a smooth manifold with the additional condition that each transition map is analytic: the Taylor expansion is absolutely convergent and equals the function on some open ball.

• A complex manifold is a topological space modeled on a Euclidean space over the
  complex field and for which all the transition maps are holomorphic
  .

While there is a meaningful notion of a C^k atlas, there is no distinct notion of a C^k manifold other than C⁰ (continuous maps: a topological manifold) and C^∞ (smooth maps: a smooth manifold), because for every C^k-structure with k > 0, there is a unique C^k-equivalent C^∞-structure (every C^k-structure is uniquely smoothable to a C^∞-structure) – a result of

Nash embedding theorem

states that any manifold can be C^k isometrically embedded in Euclidean space R^N – for any 1 ≤ k ≤ ∞ there is a sufficiently large N, but N depends on k.

On the other hand, complex manifolds are significantly more restrictive. As an example, Chow's theorem states that any projective complex manifold is in fact a projective variety – it has an algebraic structure.

An

X, and for each index α

${\displaystyle \varphi _{\alpha }\colon U_{\alpha }\to {\mathbf {R} }^{n}}$

is a homeomorphism of U_α onto an open subset of n-dimensional real space. The transition maps of the atlas are the functions

${\displaystyle \varphi _{\alpha \beta }=\varphi _{\beta }\circ \varphi _{\alpha }^{-1}|_{\varphi _{\alpha }(U_{\alpha }\cap U_{\beta })}\colon \varphi _{\alpha }(U_{\alpha }\cap U_{\beta })\to \varphi _{\beta }(U_{\alpha }\cap U_{\beta }).}$

Every topological manifold has an atlas. A C^k-atlas is an atlas whose transition maps are C^k. A topological manifold has a C⁰-atlas and in general a C^k-manifold has a C^k-atlas. A continuous atlas is a C⁰ atlas, a smooth atlas is a C^∞ atlas and an analytic atlas is a C^ω atlas. If the atlas is at least C¹, it is also called a differential structure or differentiable structure. A holomorphic atlas is an atlas whose underlying Euclidean space is defined on the

.

An immersed submanifold of a manifold M is the image S of an

More narrowly, one can require that the map f: N → M be an inclusion (one-to-one), in which we call it an

: this is just the topology on N, which in general will not agree with the subset topology: in general the subset S is not a submanifold of M, in the subset topology.

Given any injective immersion f : N → M the image of N in M can be uniquely given the structure of an immersed submanifold so that f : N → f(N) is a diffeomorphism. It follows that immersed submanifolds are precisely the images of injective immersions.

The submanifold topology on an immersed submanifold need not be the

).

Immersed submanifolds occur in the theory of

Lie subgroups

are naturally immersed submanifolds.

Embedded submanifolds

An embedded submanifold (also called a regular submanifold), is an immersed submanifold for which the inclusion map is a

topological embedding

. That is, the submanifold topology on S is the same as the subspace topology.

Given any embedding f : N → M of a manifold N in M the image f(N) naturally has the structure of an embedded submanifold. That is, embedded submanifolds are precisely the images of embeddings.

There is an intrinsic definition of an embedded submanifold which is often useful. Let M be an n-dimensional manifold, and let k be an integer such that 0 ≤ k ≤ n. A k-dimensional embedded submanifold of M is a subset S ⊂ M such that for every point p ∈ S there exists a

for the differential structure on S.

Jordan-Schoenflies theorem

are good examples of smooth embeddings.

Subspace Topology

Given a topological space ${\displaystyle (X,\tau )}$ and a subset ${\displaystyle S}$ of ${\displaystyle X}$, the subspace topology on ${\displaystyle S}$ is defined by

${\displaystyle \tau _{S}=\lbrace S\cap U\mid U\in \tau \rbrace .}$

That is, a subset of ${\displaystyle S}$ is open in the subspace topology if and only if it is the intersection of ${\displaystyle S}$ with an open set in ${\displaystyle (X,\tau )}$. If ${\displaystyle S}$ is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of ${\displaystyle (X,\tau )}$. Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated.

Alternatively we can define the subspace topology for a subset ${\displaystyle S}$ of ${\displaystyle X}$ as the

${\displaystyle \iota :S\hookrightarrow X}$

is

continuous

.

More generally, suppose ${\displaystyle \iota }$ is an injection from a set ${\displaystyle S}$ to a topological space ${\displaystyle X}$. Then the subspace topology on ${\displaystyle S}$ is defined as the coarsest topology for which ${\displaystyle \iota }$ is continuous. The open sets in this topology are precisely the ones of the form ${\displaystyle \iota ^{-1}(U)}$ for ${\displaystyle U}$ open in ${\displaystyle X}$. ${\displaystyle S}$ is then

to its image in ${\displaystyle X}$ (also with the subspace topology) and ${\displaystyle \iota }$ is called a .

A subspace ${\displaystyle S}$ is called an open subspace if the injection ${\displaystyle \iota }$ is an

, i.e., if the forward image of an open set of ${\displaystyle S}$ is open in ${\displaystyle X}$. Likewise it is called a closed subspace if the injection ${\displaystyle \iota }$ is a .

Another, more abstract, notion of continuity is continuity of functions between

of X (with respect to the topology).

A function

${\displaystyle f\colon X\rightarrow Y}$

between two topological spaces X and Y is continuous if for every open set V ⊆ Y, the inverse image

${\displaystyle f^{-1}(V)=\{x\in X\;|\;f(x)\in V\}}$

is an open subset of X. That is, f is a function between the sets X and Y (not on the elements of the topology T_X), but the continuity of f depends on the topologies used on X and Y.

This is equivalent to the condition that the preimages of the closed sets (which are the complements of the open subsets) in Y are closed in X.

A function f: X → Y between two topological spaces (X, T_X) and (Y, T_Y) is called a homeomorphism if it has the following properties:

• f is a
  onto
  ),
• f is
  continuous
  ,
• the
  open mapping
  ).

A function with these three properties is sometimes called bicontinuous. If such a function exists, we say X and Y are homeomorphic. A self-homeomorphism is a homeomorphism of a topological space and itself. The homeomorphisms form an equivalence relation on the class of all topological spaces. The resulting equivalence classes are called homeomorphism classes.

In

map ${\displaystyle f:X\to Y}$ between topological spaces ${\displaystyle X}$ and ${\displaystyle Y}$ is a topological embedding if ${\displaystyle f}$ yields a homeomorphism between ${\displaystyle X}$ and ${\displaystyle f(X)}$ (where ${\displaystyle f(X)}$ carries the inherited from ${\displaystyle Y}$). Intuitively then, the embedding ${\displaystyle f:X\to Y}$ lets us treat ${\displaystyle X}$ as a of ${\displaystyle Y}$. Every embedding is is an embedding; however there are also embeddings which are neither open nor closed. The latter happens if the image ${\displaystyle f(X)}$ is neither an open set nor a closed set in ${\displaystyle Y}$.

For a given space ${\displaystyle X}$, the existence of an embedding ${\displaystyle X\to Y}$ is a

of ${\displaystyle X}$. This allows two spaces to be distinguished if one is able to be embedded into a space while the other is not.

In differential topology: Let ${\displaystyle M}$ and ${\displaystyle N}$ be smooth manifolds and ${\displaystyle f:M\to N}$ be a smooth map. Then ${\displaystyle f}$ is called an immersion if its derivative is everywhere injective. An embedding, or a smooth embedding, is defined to be an injective immersion which is an embedding in the topological sense mentioned above (i.e. homeomorphism onto its image).^[4]

In other words, an embedding is diffeomorphic to its image, and in particular the image of an embedding must be a submanifold. An immersion is a local embedding (i.e. for any point ${\displaystyle x\in M}$ there is a neighborhood ${\displaystyle x\in U\subset M}$ such that ${\displaystyle f:U\to N}$ is an embedding.)

When the domain manifold is compact, the notion of a smooth embedding is equivalent to that of an injective immersion.

An important case is ${\displaystyle N=\mathbb {R} ^{n}}$. The interest here is in how large ${\displaystyle n}$ must be, in terms of the dimension ${\displaystyle m}$ of ${\displaystyle M}$. The Whitney embedding theorem^[5] states that ${\displaystyle n=2m}$ is enough, and is the best possible linear bound. For example the real projective space of dimension ${\displaystyle m}$ requires ${\displaystyle n=2m}$ for an embedding. An immersion of this surface is, however, possible in ${\displaystyle \mathbb {R} ^{3}}$, and one example is

.

An embedding is proper if it behaves well w.r.t. boundaries: one requires the map ${\displaystyle f:X\rightarrow Y}$ to be such that

• ${\displaystyle f(\partial X)=f(X)\cap \partial Y}$, and
• ${\displaystyle f(X)}$ is transverse to ${\displaystyle \partial Y}$ in any point of ${\displaystyle f(\partial X)}$.

The first condition is equivalent to having ${\displaystyle f(\partial X)\subseteq \partial Y}$ and ${\displaystyle f(X\setminus \partial X)\subseteq Y\setminus \partial Y}$. The second condition, roughly speaking, says that f(X) is not tangent to the boundary of Y.

Let φ : M → N be a smooth map of smooth manifolds. Given some x ∈ M, the differential of φ at x is a linear map

${\displaystyle \mathrm {d} \varphi _{x}:T_{x}M\to T_{\varphi (x)}N\,}$

from the tangent space of M at x to the tangent space of N at φ(x). The application of dφ_x to a tangent vector X is sometimes called the pushforward of X by φ. The exact definition of this pushforward depends on the definition one uses for tangent vectors (for the various definitions see tangent space).

If one defines tangent vectors as equivalence classes of curves through x then the differential is given by

${\displaystyle \mathrm {d} \varphi _{x}(\gamma '(0))=(\varphi \circ \gamma )'(0).}$

Here γ is a curve in M with γ(0) = x. In other words, the pushforward of the tangent vector to the curve γ at 0 is just the tangent vector to the curve φ∘γ at 0.

Alternatively, if tangent vectors are defined as

acting on smooth real-valued functions, then the differential is given by

${\displaystyle \mathrm {d} \varphi _{x}(X)(f)=X(f\circ \varphi ).}$

Here X ∈ T_xM, therefore X is a derivation defined on M and f is a smooth real-valued function on N. By definition, the pushforward of X at a given x in M is in T_φ(x)N and therefore itself is a derivation.

After choosing

around x and φ(x), φ is locally determined by a smooth map

${\displaystyle {\widehat {\varphi }}:U\to V}$

between open sets of R^m and Rⁿ, and dφ_x has representation (at x)

${\displaystyle \mathrm {d} \varphi _{x}\left({\frac {\partial }{\partial u^{a}}}\right)={\frac {\partial {\widehat {\varphi }}^{b}}{\partial u^{a}}}{\frac {\partial }{\partial v^{b}}},}$

in the

, where the partial derivatives are evaluated at the point in U corresponding to x in the given chart.

Extending by linearity gives the following matrix

${\displaystyle (\mathrm {d} \varphi _{x})_{a}^{\;b}={\frac {\partial {\widehat {\varphi }}^{b}}{\partial u^{a}}}.}$

Thus the differential is a linear transformation, between tangent spaces, associated to the smooth map φ at each point. Therefore, in some chosen local coordinates, it is represented by the

of T_φ(x)N.

The differential is frequently expressed using a variety of other notations such as

${\displaystyle D\varphi _{x},\;(\varphi _{*})_{x},\;\varphi '(x),\;T_{x}\varphi .}$

It follows from the definition that the differential of a composite is the composite of the differentials (i.e., functorial behaviour). This is the chain rule for smooth maps.

Also, the differential of a

of tangent spaces.

Let X be a

map

${\displaystyle p\colon C\to X\,}$

such that for every x ∈ X, there exists an

The map p is called the covering map,[7] the space X is often called the base space of the covering, and the space C is called the total space of the covering. For any point x in the base the inverse image of x in C is necessarily a discrete space^[7] called the fiber over x.

The special open neighborhoods U of x given in the definition are called evenly-covered neighborhoods. The evenly-covered neighborhoods form an

of the space X. The homeomorphic copies in C of an evenly-covered neighborhood U are called the sheets over U. One generally pictures C as "hovering above" X, with p mapping "downwards", the sheets over U being horizontally stacked above each other and above U, and the fiber over x consisting of those points of C that lie "vertically above" x. In particular, covering maps are locally trivial. This means that locally, each covering map is 'isomorphic' to a projection in the sense that there is a homeomorphism, h, from the pre-image p⁻¹(U), of an evenly covered neighbourhood U, onto U × F, where F is the fiber, satisfying the local trivialization condition, which is that, if we project U × F onto U, π : U × F → U, so the composition of the projection π with the homeomorphism h will be a map π ∘ h from the pre-image p⁻¹(U) onto U, then the derived composition π ∘ h will equal p locally (within p⁻¹(U)).

A topological group G is a topological space and group such that the group operations of product:

${\displaystyle G\times G\to G:(x,y)\mapsto xy}$

and taking inverses:

${\displaystyle G\to G:x\mapsto x^{-1}}$

are

.

Although not part of this definition, many authors[8] require that the topology on G be Hausdorff; this corresponds to the identity map ${\displaystyle *\to G}$ being a

In the language of category theory, topological groups can be defined concisely as group objects in the category of topological spaces, in the same way that ordinary groups are group objects in the category of sets. Note that the axioms are given in terms of the maps (binary product, unary inverse, and nullary identity), hence are categorical definitions. Adding the further requirement of Hausdorff (and cofibration) corresponds to refining to a model category.

In mathematics, if ${\displaystyle A}$ is a subset of ${\displaystyle B}$, then the inclusion map (also inclusion function, insertion, or canonical injection) ^[10] is the function ${\displaystyle \iota }$ that sends each element, ${\displaystyle x}$ of ${\displaystyle A}$ to ${\displaystyle x}$, treated as an element of ${\displaystyle B}$:

${\displaystyle \iota :A\rightarrow B,\qquad \iota (x)=x.}$

A "hooked arrow" ${\displaystyle \hookrightarrow }$ is sometimes used in place of the function arrow above to denote an inclusion map.

This and other analogous

are sometimes called natural injections.

Given any

${\displaystyle \iota :A\rightarrow X}$, then one can form the restriction fi of f. In many instances, one can also construct a canonical inclusion into the codomain R→Y known as the range of f.

For a closed immersion in algebraic geometry, see closed immersion.

In

Explicitly, f : M → N is an immersion if

${\displaystyle D_{p}f:T_{p}M\to T_{f(p)}N\,}$

is an injective function at every point p of M (where T_pX denotes the tangent space of a manifold X at a point p in X). Equivalently, f is an immersion if its derivative has constant rank equal to the dimension of M:^[13]

${\displaystyle \operatorname {rank} \,D_{p}f=\dim M.}$

The function f itself need not be injective, only its derivative.

A related concept is that of an