ScalingStacks

Proof. [03UU]

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

Proof. Let us proceed inductively by codimension of faces. The induction step reduces to the obvious remark that the extension of the standard ๐™{\bf Z}-affine structure on ๐‘nโˆ–L{{\bf R}}^{n}\setminus L to a neighborhood of point pโˆˆLp\in L in ๐‘n{\bf R}^{n} is unique in the case when LโŠ‚๐‘nL\subset{\bf R}^{n} is an affine subspace, dimLโ‰คnโˆ’2\dim L\leq n-2\,\,. โ– \blacksquare

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