nLab
Thom's transversality theorem

Contents

Statement

Theorem

Let PP be a smooth manifold and let i:MEi : M \hookrightarrow E be a smooth submanifold. The subspace

C tri (P,E)C (P,E) C^{\infty}_{tr i}(P,E) \subset C^\infty(P,E)

of smooth functions that are transverse maps to ii is a dense subspace.

This is due to (Thom 54).

Relate entries

References

The result is due to

  • René Thom, Quelques propriétés globales des variétés différentiables Comment. Math. Helv. 28, (1954). 17-86

A review is in

  • John Francis, Topology of manifolds course notes (2010) (web)

    Lecture 4 Transversality (notes by I. Bobkova) (pdf)

Revised on May 31, 2016 09:42:43 by Urs Schreiber (131.220.184.222)