ScalingStacks

Definition 6.4 . [04K7]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 6.4.

A set of coordinates on B⊆ℝ×MB\subseteq\mathbb{R}\times M, given by a map ϕ:B→ℝn\phi:B\rightarrow\mathbb{R}^{n}, is said to be admissible if the components of ϕ=(ϕ1,…,ϕn)\phi=(\phi_{1},\ldots,\phi_{n}) satisfy the following properties:

  • (i)

    ϕ1\phi_{1} is the restriction to BB of the projection map ℝ×M→ℝ\mathbb{R}\times M\rightarrow\mathbb{R};

  • (ii)

    for j=2,…,nj=2,\ldots,n the restrictions of ϕj\phi_{j} to B+B^{+} and B−B^{-} are locally restrictions of smooth functions on BB.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.