Chapter 19 Semi‐Riemannian Manifolds

Looking back at the material presented on smooth manifolds and smooth manifolds with a connection, we see that many of the concepts and results motivated by our study of regular surfaces and regular surfaces in images have been recovered—but not all. Missing from our recent efforts has been any discussion of “length” and “area”. To address this shortfall, it is necessary to endow smooth manifolds with additional structure, which entails a consideration of semi‐Riemannian manifolds.

19.1 Semi‐Riemannian Manifolds

The following material builds on portions of the discussion in Section 12.2. Let M be a smooth m ‐manifold, and let images be a symmetric tensor field in images , so that images is a symmetric tensor in images for all p in M . We say that images is a metric on M if:

[G1] is nondegenerate on T p (M) for all p in M .

[G2] ind is independent of p

Get Semi-Riemannian Geometry now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.