TheoremBase

Integrable and Square-Integrable Vector-Valued Functions Are Maps into Rn\mathbb{R}^{n}

Every element of L1(muL^1(mu; Rn)R^n) or of L2(muL^2(mu; Rn)R^n) on a measure space, and every element of L2(PL^2(P; Rn)R^n) on a probability space, is a map from the underlying set into RnR^n.

Statement

In the setting of Measurable Functions and the Lebesgue Integral: Standing Notation, let (X,F,μ)(X,\mathcal{F},\mu) be a measure space and let n∈Nn\in\mathbb{N}.

Every integrable function f∈L1(μ;Rn)f\in\mathcal{L}^{1}(\mu;\mathbb{R}^{n}) is a map f:X→Rnf:X\to\mathbb{R}^{n}.

Every square-integrable function f∈L2(μ;Rn)f\in\mathcal{L}^{2}(\mu;\mathbb{R}^{n}) is a map f:X→Rnf:X\to\mathbb{R}^{n}.

If (Ω,A,P)(\Omega,\mathcal{A},P) is a probability space, then every Z∈L2(P;Rn)Z\in\mathcal{L}^{2}(P;\mathbb{R}^{n}) is a map Z:Ω→RnZ:\Omega\to\mathbb{R}^{n}.

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…