/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Problem 4 Es seien \(\mu\) ein \(\sigma\)-... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

Es seien \(\mu\) ein \(\sigma\)-endliches \(\mathrm{MaB}\) und \(\nu, \rho\) signierte Maße auf \(\mathfrak{A}\). a) Aus \(\nu \ll \mu\) folgt \(\alpha \nu \ll \mu(\alpha \in \mathbb{R})\) und \(d(\alpha \nu) / d \mu=\alpha(d \nu / d \mu) \mu\)-f.ü. b) Nehmen \(\nu\) und \(\rho\) beide den Wert \(+\infty\) oder beide den Wert \(-\infty\) nicht an, so ist \(\nu+\rho \ll \mu\), falls \(\nu \ll \mu\) und \(\rho \ll \mu\), und dann gilt: \(d(\nu+\rho) / d \mu=d \nu / d \mu+d \rho / d \mu \mu\)-f.ü. c) Ist \(\nu\) ein \(\sigma\)-endliches Maß mit \(\rho \ll \nu, \nu \ll \mu\), so gilt die „Kettenregel" $$ \frac{d \rho}{d \mu}=\frac{d \rho}{d \nu} \frac{d \nu}{d \mu} \quad \mu \text {-f.ü. } $$ d) Ist \(\nu\) ein \(\sigma\)-endliches Maß mit \(\nu \ll \mu\) und \(\mu \ll \nu\), so ist \(d \nu / d \mu \neq 0 \mu\)-f.ü. und $$ \frac{d \nu}{d \mu}=\left(\frac{d \mu}{d \nu}\right)^{-1} \quad \mu \text {-f.ü. } $$

Short Answer

Expert verified
The exercise involves the application of the Radon-Nikodym theorem for absolute continuity of measures and their derivatives. Parts a) and b) describe scaling and addition properties, part c) uses the chain rule for derivatives, and part d) involves the inverse of a derivative. Each part of the exercise requires a separate proof.

Step by step solution

01

Understanding the Proofs

This exercise contains multiple statements about Radon-Nikodym derivatives, each of which represents a different property of measures and needs to be proven. Each part of the exercise must be analyzed individually, thereby leading to different proofs. Let's start with part a) and then build up to parts b), c), and d).
02

Proving Part a)

We are given that \(\nu \ll \mu\), which means there is a nonnegative measurable function \(f\) (\(f = \frac{d\nu}{d\mu}\)) such that \(\nu(A) = \int_A f d\mu\) for all measurable sets \(A\). If we multiply \(\nu\) by a real number \(\alpha\), we obtain a new measure \(\alpha \nu(A) = \alpha \int_A f d\mu = \int_A \alpha f d\mu\). Thus \(\alpha \nu \ll \mu\), and \(\frac{d(\alpha \nu)}{d\mu} = \alpha \frac{d\nu}{d\mu} = \alpha f\), \(\mu\)-almost everywhere.
03

Proving Part b)

Assume \(\nu \ll \mu\) and \(\rho \ll \mu\), and neither \(\nu\) nor \(\rho\) take on the values \(\pm\infty\). Then, we have that \(\nu + \rho (A) = \int_A f d\mu + \int_A g d\mu = \int_A (f + g) d\mu\), with \(f = \frac{d\nu}{d\mu}\) and \(g = \frac{d\rho}{d\mu}\). Hence \(\nu + \rho \ll \mu\) and \(\frac{d(\nu + \rho)}{d\mu} = \frac{d\nu}{d\mu} + \frac{d\rho}{d\mu} = f + g\), \(\mu\)-almost everywhere.
04

Proving Part c)

If \(\rho \ll \nu\) and \(\nu \ll \mu\), we can use the chain rule for Radon-Nikodym derivatives to write \(\frac{d\rho}{d\mu} = \frac{d\rho}{d\nu} \frac{d\nu}{d\mu}\), \(\mu\)-almost everywhere. This equation is valid under the assumption that \(\nu\) is a \(\sigma\)-finite measure.
05

Proving Part d)

If \(\nu \ll \mu\) and \(\mu \ll \nu\), it's known that the Radon-Nikodym derivative \(\frac{d\nu}{d\mu}\) exists and is non-zero \(\mu\)-almost everywhere, because \(\nu\) is absolutely continuous with respect to \(\mu\). Applying the inverse function, we get that \(\frac{d\nu}{d\mu} = \left(\frac{d\mu}{d\nu}\right)^{-1}\), \(\mu\)-almost everywhere.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Es seien \(a, b \in \mathbb{R}\) und \(f:\left[0, \infty\left[\rightarrow \mathbb{R}, f(0):=0\right.\right.\) und \(f(x):=x^{a} \sin \left(x^{-b}\right)\) für \(x>0\). Unter welchen Bedingungen an \(a, b\) ist (i) \(f\) beschränkt, (ii) \(f\) stetig, (iii) \(\operatorname{Var}(f ;[0,1])<\infty\), (iv) \(f\)

Versieht \(\operatorname{man}(\mathbb{Z},+)\) mit dem Zählma 3 und den Banach- Raum \(l_{\mathbb{C}}^{1}(\mathbb{Z})\) mit der Faltung $$ (x * y)_{n}:=\sum_{k=-\infty}^{+\infty} x_{n-k} y_{k} \quad(n \in \mathbb{Z}) $$ \(\left(x=\left(x_{k}\right)_{k \in \mathrm{Z}}, y=\left(y_{k}\right)_{k \in \mathrm{Z}} \in l_{\mathrm{C}}^{1}(\mathbb{Z})\right)\) als Multiplikation, so ist \(l_{C}^{1}(\mathbb{Z})\) eine Banach-Algebra. Zeigen Sie: Zu jeder multiplikativen Linearform \(\varphi \neq 0\) von \(l_{\mathbb{C}}^{1}(\mathbb{Z})\) existiert ein mod \(2 \pi\) eindeutig bestimmtes \(t \in \mathbb{R}\), so daß

Es seien \(\nu, \rho\) signierte Maße auf \(\mathfrak{A}\). a) Für \(A \in \mathfrak{A}\) sind folgende Aussagen áquivalent: (i) \(A\) ist eine \(\nu\)-Nullmenge. (ii) \(A\) ist eine \(\nu^{+}-\)und eine \(\nu^{-}\)-Nullmenge. (iii) \(A\) ist eine \(\lfloor\nu \|\)-Nullmenge. b) Folgende Aussagen sind äquivalent: (i) \(\nu \perp \rho\); (ii) \(\nu^{+} \perp \rho\) und \(\nu^{-} \perp \rho ;\) (iii) \(\mid \nu\rfloor \perp \rho\) (iv) \(|\nu\|\perp\| \rho|\). Sind zusätzlich \(\rho, \nu\) endlich, so sind (i)-(iv) auch äquivalent \(\mathrm{zu}\) (v) \(|\nu\|\wedge \mid \rho\|=0\).

Zwei komplexe Maße \(\nu, \rho\) auf \(\mathfrak{A}\) heißen zueinander singulär, falls \(\lfloor\nu \rrbracket \perp \mid \rho \rrbracket ;\) Schreibweise: \(\nu \perp \rho .-\) Sind \(\nu, \rho\) komplexe Maße auf \(\mathfrak{A}\), so sind folgende Aussagen äquivalent: a) \(\nu \perp \rho\); b) \(\|\nu+\rho\|=\|\nu\|+\|\rho\|\) und \(\|\nu-\rho\|=\|\nu\|+\|\rho\|\); c) \(\|\nu+\rho\|+\|\nu-\rho\|=2(\|\nu\|+\|\rho\|)\).

das zugehörige Lebesgue-Stieltjessche Maß, das durch \(\left.\left.\mu_{F}(] \alpha, \beta\right]\right)=F(\beta)-F(\alpha), \mu_{F}([a, \beta])=\) \(F(\beta)-F(a) \quad(a<\alpha<\beta \leq b)\) definiert ist. Zeigen Sie: \(\mu_{F}\) ist singulär bez. \(\beta \mid \mathfrak{B}_{[a, b]}^{1}\) genau dann, wenn es zu jedem \(\varepsilon>0\) Zwischenpunkte \(a \leq \alpha_{1}<\beta_{1}<\ldots<\alpha_{n}<\beta_{n} \leq b\) gibt, so daß \(\sum_{k=1}^{n}\left(\beta_{k}-\alpha_{k}\right)<\varepsilon\) und \(\sum_{k=1}^{n}\left|F\left(\beta_{k}\right)-F\left(\alpha_{k}\right)\right| \geq \operatorname{Var}(F ;[a, b])-\varepsilon .\) Entsprechendes gilt für das signierte \(\mathrm{Ma} \beta \nu_{F}\), das zu einer auf \(] a, b[\) rechtsseitig stetigen Funktion \(F:[a, b] \rightarrow \mathbb{R}\) von beschränkter Variation gehört (s. Aufgabe 1.10).

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.