Subanalytic triangulations on analytic manifolds

A compatible triangulation construction for arbitrary second-countable real analytic manifolds, with full finite-colour covering, differentiable subanalytic cutoff, proper-embedding and analytic open-simplex recovery arguments. The relative Euclidean proof and its exact lower prerequisites are included. Compatible locally finite analytic partitions and simultaneous restriction constant ranks are proved with explicit cell coordinates and a dimension induction. Six exercises have complete solutions.

Read the proof and solutions online

Native MathML reader · Editable source · Reuse terms · Provenance

Shiota, Kankaanrinta, Milnor and Munkres receive credit for the mathematical source arguments. Valette’s linked preparation component retains its component terms. Original teaching, illustration, solutions and reader code here are CC0. Rebuild with Python 3 and Pandoc using python build/build_reader.py. Wide formulas scroll on small screens. The remaining parent-course lower geometry and curriculum are still being developed.

Download the reading, editable source and build code