TheoremBase

On the Real Line the Tangent Space is the Whole Space of Square-Integrable Vector Fields

For every probability measure with finite second moment on the real line, the closure of the gradients of test functions is all of the square-integrable vector fields against it.

Statement

In the setting of Square-Integrable Vector Fields Against a Probability Measure on Euclidean Space, and Test Functions: Standing Notation, in dimension d=1d=1, with the identification of R\mathbb{R} and R1\mathbb{R}^{1} and the notation of claims 1 and 2 of One-Dimensional Test Functions: Scalars, Derivatives, and the Difference Quotient of the Derivative in force. Let μ∈P2(R)\mu\in\mathcal{P}_{2}(\mathbb{R}), let L2(μ;R)L^{2}(\mu;\mathbb{R}) be the space of square-integrable vector fields against μ\mu and let TμT_{\mu} be the tangent space at μ\mu.

1. (The tangent space is everything) Tμ=L2(μ;R)T_{\mu}=L^{2}(\mu;\mathbb{R}).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…