FTAP scratch

Oct 15, 2026

Fix \Omega, x\in\boldsymbol{{R}}^I and X\colon\Omega\to\boldsymbol{{R}}^I.

No arb if x = \int_\Omega X\,dD where D > 0.

If \Omega is finite then x = XD where X\in\boldsymbol{{R}}^{I\times\#\Omega} and D\in\boldsymbol{{R}}^{\#\Omega}.