Namespaces
Variants
Actions

Difference between revisions of "User:Boris Tsirelson/sandbox2"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 1: Line 1:
  
$\text{ $K$ compact}$
+
$\{ \text{ $K$ compact} \}$
  
 
\begin{equation}
 
\begin{equation}

Revision as of 16:06, 1 August 2013

$\{ \text{ $K$ compact} \}$

\begin{equation} \mu (B)= \sup \{\mu(K): K\subset B, \text{ '"`UNIQ-MathJax3-QINU`"' compact}\}\, \end{equation}

and having the following property: \begin{equation}\label{e:tight} \mu (B)= \sup \{\mu(K): K\subset B, \mbox{ '"`UNIQ-MathJax4-QINU`"' compact}\}\, \end{equation} (see [Sc]).


The total variation measure of a $\mathbb C$-valued measure is defined on $\mathcal{B}$ as: \[ \abs{\mu}(B) :=\sup\left\{ \sum \abs{\mu(B_i)}: \text{$\{B_i\}\subset\mathcal{B}'"`UNIQ-MathJax7-QINU`"'B$}\right\}. \] In the real-valued case the above definition simplifies as


and the following identity holds: \begin{equation}\label{e:area_formula} \int_A J f (y) \, dy = \int_{\mathbb R^m} \mathcal{H}^0 (A\cap f^{-1} (\{z\}))\, d\mathcal{H}^n (z)\, . \end{equation}

Cp. with 3.2.2 of [EG]. From \eqref{e:area_formula} it is not difficult to conclude the following generalization (which also goes often under the same name):



\begin{equation}\label{ab} E=mc^2 \end{equation} By \eqref{ab}, it is possible. But see \eqref{ba} below: \begin{equation}\label{ba} E\ne mc^3, \end{equation} which is a pity.

How to Cite This Entry:
Boris Tsirelson/sandbox2. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boris_Tsirelson/sandbox2&oldid=30020