aboutsummaryrefslogtreecommitdiff
path: root/content
diff options
context:
space:
mode:
authorAdrian Kummerlaender2017-03-14 15:02:43 +0100
committerAdrian Kummerlaender2017-03-14 15:02:43 +0100
commitd18a53fb963719e02e80236c7ab92616ab5f8500 (patch)
tree58018fcd3e4beefbacd2e2fa693877ddf2625880 /content
parent573ca6eda2b62a1ff71ecec72dc72a1905c81a3b (diff)
downloadmath_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar.gz
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar.bz2
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar.lz
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar.xz
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.tar.zst
math_reference_sheets-d18a53fb963719e02e80236c7ab92616ab5f8500.zip
Add section on the transformation theorem
Diffstat (limited to 'content')
-rw-r--r--content/analysis_3.tex11
1 files changed, 11 insertions, 0 deletions
diff --git a/content/analysis_3.tex b/content/analysis_3.tex
index 5f2141d..2b19e10 100644
--- a/content/analysis_3.tex
+++ b/content/analysis_3.tex
@@ -470,3 +470,14 @@ Sei $f : \R^m \to [0,\infty]$ messbar. Dann:
Sei $f : \R^m \to \overline\R$ integrierbar. Dann ex. Nullmengen $M \in \B_k$ und $N \in \B_l$ s.d. $f^x : \R^l \to \overline\R$ für alle $x \in \R^k \setminus M$ und $f_y : \R^k \to \overline\R$ für alle $y \in \R^l \setminus N$ integrierbar sind.
Dann sind $x \mapsto \int_{\R^l} f(x,y) dy$ und $y \mapsto \int_{\R^k} f(x,y) dx$ integrierbar und es gilt der Satz von Tonelli.
+
+\subsection*{Transformationssatz}
+
+Sei $U \subseteq \R^m$ offen, $\phi \in C^1(U,\R^m)$ injektiv und $A \in \B_m$ mit $A \subseteq U$ s.d. $A^\circ \neq \emptyset$ und $A \setminus A^\circ$ Nullmenge ist. Sei $\phi(A) \in \B_m$ und $\forall x \in A^\circ : \det \phi'(x) \neq 0$.
+
+Dann ist $\phi(A^\circ)$ offen, $\phi : A^\circ \to \phi(A^\circ)$ Diffeomorphismus und $\phi(A) \setminus \phi(A^\circ)$ Nullmenge. Weiter:
+
+\begin{enumerate}[label=(\alph*)]
+ \item Sei $f: \phi(A) \to [0,\infty]$ messbar. Dann: \vspace{-2mm} $$\int_{\phi(A)} f(y) dy = \int_A f(\phi(x))|\det \phi'(x)| dx$$
+ \item Sei $f : \phi(A) \to \overline\R$ messbar. Dann ist $f$ auf $\phi(A)$ ib. gdw. $x \mapsto f(\phi(x))|\det(\phi'(x))|$ auf $A$ integrierbar ist. Es gilt dann auch (a).
+\end{enumerate}