In Axlers Linear Algebra Done Right haben wir das Theorem
6.42: (Riesz-Darstellungssatz) Angenommen ist ein endlichdimensionaler innerer Produktraum und ist ein lineares Funktional an . Dann gibt es einen eindeutigen Vektor so dass
für jeden
Ich lerne gerade Maßtheorie und bin auf Radon-Nikodym gestoßen
(Radon-Nikodym) Betrachten Sie einen messbaren Raum auf welchen zwei -endlich signierte Maßnahmen sind so definiert, dass ( ist absolut stetig bzgl ) dann gibt es ein -Integrierbare Funktion so dass
für jeden und jede andere Funktion dies zu befriedigen ist gleich fast überall in Bezug auf .
Diese beiden Theoreme scheinen sehr ähnlich zu sein. Ist es möglich, von Radon-Nikodym zu einer Riesz-Vertretung zu gelangen? Das Integral in Radon-Nikodym "wirkt" wie das Skalarprodukt in der Riesz-Darstellung, der Funktion "agiert" wie der Vektor in Riesz und das signierte Maß verhält sich wie das lineare Funktional .
Ich neige zu der Annahme, dass wir Riesz irgendwie von Radon-Nikodym zurückgewinnen können. Zu Beginn müssten wir irgendwie einen bekommen -Algebra, An so dass ist ein messbarer Raum. Das muss ein ganz besonderes sein -Algebra damit irgendwie das Integral auf das Skalarprodukt weiter reduziert werden kann . Wir müssten auch zeigen, dass das lineare Funktional bezüglich des Skalarprodukts absolut stetig ist.
Ist es also möglich, Riesz aus Radon-Nikodym zurückzugewinnen? Wenn das so ist, wie? Wenn nicht, was ist das Problem?
Ich bin mir Ihrer konkreten Behauptung nicht sicher, aber sicherlich gibt es einen Zusammenhang in die "entgegengesetzte" Richtung. Das heißt, eine allgemeine Version des Riesz-Darstellungssatzes wird verwendet, um den Radon-Nikodym-Satz zu beweisen. Siehe „von Neumanns Beweis“ des Radon-Nikodym-Theorems (z. B. Abschnitt 8.1, insbesondere Satz 8.1.3, von Daniel Stroocks „Essentials of Integration Theory for Analysis“, DOI:10.1007/978-1-4614-1135- 2, oder eine übersichtliche Zusammenfassung unter https://blameitontheanalyst.wordpress.com/2010/06/23/von-neumanns-proof-of-radon-nikodym/ ).
Marcelo