\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Signed Measures
Needed by:
Measure Vector Space
Links:
Sheet PDF
Graph PDF

Finite Signed Measures

Why

For the difference of two (signed) measures to be well-defined, we need one of the two to be finite. Otherwise, the measure of the difference on the base set involves subtracting $\infty$ from $\infty$.

Definition

A finite signed measure is one for which the measure of every set is finite. This condition is equivalent to the base set having finite measure (see below).

Result

A signed measure is finite if and only if it is finite on the base set.

Let $(X, \mathcal{A} )$ be a measurable space. Let $\mu : \mathcal{A} \to \eri$ be a signed measure.

($\Rightarrow$) If $\mu $ is finite, then $\mu (X)$ is finite since $X \in \mathcal{A} $.

($\Leftarrow)$ Next, suppose $\mu (X)$ is finite. Let $A \in \mathcal{A} $. Then $X = A \union (X - A)$, with these sets disjoint, so by countable additivity of $\mu $, $\mu (X) = \mu (A) + \mu (X - A)$. Since $\mu (X)$ finite, $\mu (A)$ and $\mu (X - A)$ are both finite.

Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view