Degree of a continuous mapping

Degree of a continuous mapping
A degree two map of a sphere onto itself.

In topology, the degree is a numerical invariant that describes a continuous mapping between two compact oriented manifolds of the same dimension. Intuitively, the degree represents the number of times that the domain manifold wraps around the range manifold under the mapping. The degree is always an integer, but may be positive or negative depending on the orientations.

The degree of a map was first defined by Brouwer[1], who showed that the degree is a homotopy invariant, and used it to prove the Brouwer fixed point theorem. In modern mathematics, the degree of a map plays an important role in topology and geometry. In physics, the degree of a continuous map (for instance a map from space to some order parameter set) is one example of a topological quantum number.

Contents

Definitions of the degree

From Sn to Sn

The simplest and most important case is the degree of a continuous map from Sn to itself (in the case n = 1, this is called the winding number):

Let :f\colon S^n\to S^n\, . be a continuous surjective map. Then f induces homomorphism f_*\colon H_n\left(S^n\right)\to H_n\left(S^n\right). Considering the fact that H_n\left(S^n\right)\cong\mathbb{Z}, we see that f * must be of the form f_*\colon x\mapsto\alpha x for some fixed \alpha\in\mathbb{Z}. This α is then called the degree of f.

Between manifolds

Algebraic topology

Let X and Y be closed connected oriented m-dimensional manifolds. Orientability of a manifold implies that its top homology group is isomorphic to Z. Choosing an orientation means choosing a generator of the top homology group.

A continuous map f : XY induces a homomorphism f* from Hm(X) to Hm(Y). Let [X], resp. [Y] be the chosen generator of Hm(X), resp. Hm(Y) (or the fundamental class of X, Y). Then the degree of f is defined to be f*([X]). In other words,

f_*([X])=\deg(f)[Y] \, .

If y in Y and f -1(y) is a finite set, the degree of f can be computed by considering the m-th local homology groups of X at each point in f -1(y).

Differential topology

In the language of differential topology, the degree of a smooth map can be defined as follows: If f is a smooth map whose domain is a compact manifold and p is a regular value of f, consider the finite set

f^{-1}(p)=\{x_1,x_2,\ldots,x_n\} \,.

By p being a regular value, in a neighborhood of each xi the map f is a local diffeomorphism (it is a covering map). Diffeomorphisms can be either orientation preserving or orientation reversing. Let r be the number of points xi at which f is orientation preserving and s be the number at which f is orientation reversing. When the domain of f is connected, the number r − s is independent of the choice of p and one defines the degree of f to be r − s. This definition coincides with the algebraic topological definition above.

The same definition works for compact manifolds with boundary but then f should send the boundary of X to the boundary of Y.

One can also define degree modulo 2 (deg2(f)) the same way as before but taking the fundamental class in Z2 homology. In this case deg2(f) is element of Z2, the manifolds need not be orientable and if n is the number of preimages of p as before then deg2(f) is n modulo 2.

Integration of differential forms gives a pairing between (C-)singular homology and de Rham cohomology: <[c], [ω]> = ∫cω, where [c] is a homology class represented by a cycle c and ω a closed form representing a de Rham cohomology class. For a smooth map f : XY between orientable m-manifolds, one has

\langle f_* [c], [\omega] \rangle = \langle [c], f^*[\omega] \rangle,

where f* and f* are induced maps on chains and forms respectively. Since f*[X] = deg f · [Y], we have

\deg f \int_Y \omega  = \int_X f^*\omega \,

for any m-form ω on Y.

Maps from closed region

If \Omega\subset\R^nis a bounded region, f:\bar\Omega\to\R^n smooth, p a regular value of f and p\notin f(\partial\Omega), then the degree deg(f,Ω,p) is defined by the formula

\deg(f,\Omega,p):=\sum_{y\in f^{-1}(p)} \sgn \det Df(y)

where Df(y) is the Jacobi matrix of f in y. This definition of the degree may be naturally extended for non-regular values p such that deg(f,Ω,p) = deg(f,Ω,p') where p' is a point close to p.

The degree satisfies the following properties:[2]

  • If \deg(f,\bar\Omega,p)\neq 0, then there exists x\in\Omega such that f(x) = p.
  • \deg(\operatorname{id}, \Omega, y) = 1 for all y \in \Omega.
  • Decomposition property:
deg(f,Ω,y) = deg(f1,y) + deg(f2,y), if Ω12 are disjoint parts of \Omega=\Omega_1\cup\Omega_2 and y \not\in f(\overline{\Omega}\setminus(\Omega_1\cup\Omega_2)).
  • Homotopy invariance: If f and g are homotopy equivalent via a homotopy F(t) such that F(0)=f,\,F(1)=g and p\notin F(t)(\partial\Omega), then deg(f,Ω,p) = deg(g,Ω,p)
  • The function p\mapsto \deg(f,\Omega,p) is locally constant on \R^n-f(\partial\Omega)

These properties characterise the degree uniquely and the degree may be defined by them in an axiomatic way.

In a similar way, we could define the degree of a map between compact oriented manifolds with boundary.

Properties

The degree of map is a homotopy invariant; moreover for continuous maps from the sphere to itself it is a complete homotopy invariant, i.e. two maps f,g:S^n\to S^n \, are homotopic if and only if deg(f) = deg(g).

In other words, degree is an isomorphism [S^n,S^n]=\pi_n S^n \to \mathbf{Z}.

Moreover, the Hopf theorem states that for any n-manifold M, two maps f,g: M\to S^n are homotopic if and only if deg(f) = deg(g).

A map f:S^n\to S^n is extendable to a map F:B_n\to S^n if and only if deg(f) = 0.

See also

Notes

  1. ^ Brouwer, L. E. J. (1911). "Über Abbildung von Mannigfaltigkeiten". Mathematische Annalen 71 (1): 97–115. http://www.springerlink.com/content/h15uqp1w28862q47. 
  2. ^ Dancer, E. N. (2000). Calculus of Variations and Partial Differential Equations. Springer-Verlag. pp. 185--225. ISBN 3-540-64803-8. 

References

  • Flanders, H. (1989). Differential forms with applications to the physical sciences. Dover. 
  • Hirsch, M. (1976). Differential topology. Springer-Verlag. ISBN 0-387-90148-5. 
  • Milnor, J.W. (1997). Topology from the Differentiable Viewpoint. Princeton University Press. ISBN 978-0691048338. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Degree — may refer to: Contents 1 As a unit of measurement 2 In mathematics 3 In education …   Wikipedia

  • Degree (mathematics) — This article is about the term degree as used in mathematics. For alternative meanings, see Degree (disambiguation). In mathematics, there are several meanings of degree depending on the subject. Contents 1 Unit of angle 2 Degree of a monomial 3… …   Wikipedia

  • Mapping class group — In mathematics, in the sub field of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a discrete group of symmetries of the space. Contents 1 Motivation 2… …   Wikipedia

  • Mapping cone (homological algebra) — In homological algebra, the mapping cone is a construction on a map of chain complexes inspired by the analogous construction in topology. In the theory of triangulated categories it is a kind of combined kernel and cokernel: if the chain… …   Wikipedia

  • Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… …   Wikipedia

  • Winding number — The term winding number may also refer to the rotation number of an iterated map. This curve has winding number two around the point p. In mathematics, the winding number of a closed curve in the plane around a given point is an integer… …   Wikipedia

  • Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

  • Topology — (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Topological quantum number — In physics, a topological quantum number is any quantity, in a physical theory, that takes on only one of a discrete set of values, due to topological considerations. Most commonly, topological quantum numbers are topological invariants… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”