Registry · Remark V.R139 tau-effective not_applicable

V.R139 — Contrast with mathbbR

Contrast with R^3: on non-compact R^3, L^2-norm is not automatically bounded by L^inf-norm because volume is infinite -- energy can concentrate at a point without violating global L^2 bounds. On compact T^2 this is impossible; compactness is a structural feature, not a simplifying assumption.

Book V Part 4 Ch. 27

Lean Formalization

Module: