Math 2.0

Global analysis, analysis on manifolds Definition

Singularity of a smooth map

Builds on Smooth manifoldDifferential of a smooth mapRank of a linear map

Definition

Let MM and NN be smooth manifolds of dimensions mm and nn, and let f ⁣:M→Nf \colon M \to N be a smooth map. For p∈Mp \in M, let dfp ⁣:TpM→Tf(p)Ndf_p \colon T_p M \to T_{f(p)} N be the differential of ff at pp. The point pp is a singular point, or singularity, of ff if the rank of dfpdf_p is less than min⁡(m,n)\min(m, n). Otherwise pp is a regular point of ff. The set of singular points of ff is denoted Σ(f)\Sigma(f).

Remarks

Example: f ⁣:ℝ2→ℝ2f \colon \R^2 \to \R^2, f(x,y)=(x,y2)f(x, y) = (x, y^2), has df(x,y)=(1002y)df_{(x,y)} = \begin{pmatrix} 1 & 0 \\ 0 & 2y \end{pmatrix}, of rank 1<21 < 2 exactly when y=0y = 0. So Σ(f)\Sigma(f) is the line y=0y = 0, along which ff folds the plane. Non-example: for f ⁣:ℝ→ℝ2f \colon \R \to \R^2, f(t)=(t,t2)f(t) = (t, t^2), the differential dftdf_t has matrix (1,2t)T(1, 2t)^T of rank 1=min⁡(1,2)1 = \min(1, 2) at every tt, so ff has no singular points. A point is regular if and only if ff is an immersion near it (when m≤nm \le n) or a submersion near it (when m≥nm \ge n). For N=ℝN = \R the singular points are the critical points of ff, where dfp=0df_p = 0. Some authors call every point with dfpdf_p not surjective a critical point; this agrees with the definition above when m≥nm \ge n.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential of a smooth map concept
  2. Rank of a linear map concept
  3. Smooth manifold concept
  4. Singularity of a smooth map definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Singularity_theory
About this page
TagRPSYWTKB4V
URIm2://RPSYWTKB4V
Kinddefinition
WritingW0 stub
MSC58K05, 57R45, 58K15
DefinesSingularity of a smooth map
UsesSmooth manifold, Differential of a smooth map, Rank of a linear map

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.