Diskussion:Maßtheorie

message: Einige Anwendungsgebiete sind die verschiedenen Integralsätze  (Gaußscher Integralsatz, Integralsatz von Stokes, Greenscher Integralsatz), partielle Differentialgleichungen, Funktionalanalysis, und damit auch die physikalische Feldtheorie.
:Habe ich erst einmal herausgenommen. Die genannten Integralsätze sind nicht zufällig wesentlich älter als die Maßtheorie. Die Maßtheorie erlaubt nur eine Neuformulierung und Erweiterung der zuvor entdeckten Zusammenhänge. Diese als ihre Anwendung darzustellen, wäre zumindest irreführend. Weialawaga 18:47, 29. Mär 2004 (CEST)
thread_title: Zu pauschale Aussage zu Anwendungen

message: Für 'σ-Algebra' gibt es eine eigene Seite, die von hier aus auch verlinkt ist. Dort steht die Definition noch einmal. Da könnte sie hier doch entfernt werden. Oder ist jemand anderer Meinung? --Sielenk 21:47, 12. Mär 2005 (CET)
thread_title:  Entfernen der Vokabelerklärung σ-Algebra 

message: Man sollte vielleicht die präzisere Fassung von :en:measure (mathematics) übersetzen, denn so ist das ziemlich verwirrend. Translationsinvariante reguläre Borelmaße sind Vielfache des Lebesgue-Maßes, siehe Haarmaß oder :en:Haar measure.
Der Punkt mit der Euler-Charakteristik kommt mir allerdings auch in der englischen Fassung merkwürdig vor. Für Würfel muss sie Null sein (Selbstähnlichkeit), aber aus Würfeln kann man geometrische Objekte basteln, die definitiv nicht Euler-Charakteristik Null haben sollten. (Habe die Frage auch auf :en:Hadwiger's theorem gestellt.)--Gunther 13:20, 22. Mär 2005 (CET)
thread_title:  Satz von Hadwiger 

message: Auch obige zwei Begriffe könnte man erklären Richardigel 06:00, 5. Mai 2006 (CEST)
replies: text: Das \leq sollte schon so passen. Ich habe noch einen Einzelnachweis ergänzt. -- HilberTraum (Diskussion) 20:46, 24. Jul. 2012 (CEST)

text: Ja, stimmt so wie es ist, es heißt ja nicht umsonst Superadditivität, dort ist das Zeichen umgekehrt zur Subadditivität --ThE cRaCkEr (Diskussion) 00:15, 25. Jul. 2012 (CEST)
thread_title:  Inhalt, Prämaß 

message: Ich bin kein Mathematiker, aber stimmt diese Zeile so (Letzte Zeile im Abschnitt "Maßraum"):
Die Struktur (Ω, Σ, μ) eines Messraums zusammen mit einem auf diesem definierten Maß heißt Maßraum.
Ich hatte das so verstanden, daß μ erst zum Maßraum, nicht aber zum Messraum gehört. (Der vorstehende, nicht signierte Beitrag stammt von 128.176.86.169 (Diskussion • Beiträge) Benutzer:NeoUrfahraner) 
:Genau. Der Satz ist so zu verstehen, dass (Ω, Σ, μ) "einen Messraums zusammen mit einem auf diesem definierten Maß" bezeichnet. Hast Du ihn so verstanden, dass (Ω, Σ, μ) bereits den Messraum bezeichnet? Dann gehört's evtl. weniger missverständlich formuliert, beispielsweise "Die Struktur (Ω, Σ, μ) eines Messraums (Ω, Σ) zusammen mit einem auf diesem definierten Maß μ heißt Maßraum."--NeoUrfahraner 15:41, 29. Mär. 2007 (CEST)
replies: text: Ja, das ist falsch formuliuert. Ich habe es durch "auf Omega definierte sigma-Algebra" (sagt man das so?) ersetzt. --NeoUrfahraner 13:00, 16. Apr. 2008 (CEST)
thread_title:  Letzte Zeile in "Maßraum" 

message: Ich bin und war auch in meiner aktiven Zeit kein Fachmann auf diesem Gebiet; aber ich fände es besser, wenn der Artikel zunächst an Beispielen in den Problemkreis einführen würde, also (Jordanschen) Inhalt und (Lebesguesches) Maß zunächst auf der reellen Geraden, in der reellen Ebene und im  dreidimensionalen Raum erklären und beschreiben und erst später abstrakte Begriffe wie den Maßraum definieren würde. Das Verständnis mathematischer Begriffe entsteht fast immer an Beispielen; abstrakte Definitionen, z. B. mit Hilfe von Axiomen, sieht man erst später ein. Ich fühle mich aber weder berechtigt noch imstande, einen Alternativartikel in diesem Sinn zu schreiben. Also lasse ich es beim Meckern hier in der Diskussion. 
--Hanfried.lenz 22:07, 30. Aug. 2007 (CEST)
replies: text: Es gibt doch sogar einen eigenen Artikel zum Lebesgue-Maß, der bei den Beispielen verlinkt ist. Das sollte doch, dank Inhaltsverzeichnis schnell erreichbar sein. Oder hättest du gerne das L.-Maß in den ersten Sätzen verlinkt? Dann denk dir einen schönen Satz aus und schreib' ihn rein. :-)--R. Möws 01:30, 31. Aug. 2007 (CEST)
thread_title:  Kritik an der Abstraktheit 

message: Zitat aus dem Artikel:
Eine Eigenschaft gilt fast überall (bzw. μ-fast überall) in (Ω,Σ,μ), wenn sie für jede Nicht-Nullmenge gilt.
Das ist doch Unfug. Richtig muesste es heissen:
Eine Eigenschaft gilt fast ueberall, wenn es eine Nullmenge gibt, sodass alle Elemente im Komplement die Eigenschaft haben.
Warum ist die Definition im Artikel Unfug?
f:R->R, x|->1/x ist bzgl. Lebesgue Mass fast ueberall definiert, weil {0} eine Nullmenge bzgl. besagtem Mass bildet. R ist auch eine Nicht-Nullmenge, auf der die Aussage aber nicht gilt.
84.191.246.108 20:54, 29. Feb. 2008 (CET)
replies: text: Ja stimmt, da ist die Negation nicht sauber. Hab ich übersehen. Ich werde mal deinen Satz reinstellen. Danke. Gruß Azrael. 14:56, 1. Mär. 2008 (CET)
thread_title:  Definition von "fast ueberall" falsch 

message: In der Definition des Prämaßes darf die Sigma-Additivität nur für solche Folgen gefordert werden, deren Vereinigung Element des Halbringes ist. 
: Ich habe das 'mal korrigiert. Bei so offensichtlichen Fehlern bedarf es übrigens keiner Diskussion. Einfach ändern, wie man es für richtig hält, siehe WP:Mut. Wie schauen schon darauf, dass nichts verschlimmbessert wird. --Drizzd 17:44, 14. Aug. 2008 (CEST)
thread_title:  Definition Prämaß nicht korrekt 

message: Zu Erzbischof's Revert meiner Änderung: Wenn wie in Giuseppe Vitali "nicht-messbare Menge" auf Maßtheorie verweist sollte das auf jeden Fall irgendwie zumindest mal vorkommen.. --Jol2040 13:50, 30. Aug. 2008 (CEST)
replies: text: Ich könnte mir vorstellen, dass es am Ende des Abschnitts (nach den Beispielen von Messräumen) besser passt. Irgendwie gehört's wohl in den Abschnitt hinein, derzeit lässt er ja die Frage ziemlich offen, ob man nicht einfach die σ-Algebra größer machen kann, damit alles messbar wird, oder ob es da nicht ein tieferes Problem gibt. --NeoUrfahraner 18:52, 30. Aug. 2008 (CEST)

text: Die Vitali-Menge ist nur bezüglich des Lebesgue-Maßes nicht messbar. Habe den Link in Giuseppe Vitali daher entsprechend korrigiert. --Drizzd 17:18, 31. Aug. 2008 (CEST)
thread_title:  Nicht messbare Mengen 

message: Ich bin kein Mathematiker, aber die Unterschrift unter dem Bild halte ich für falsch. Sollte da nicht, wie in der Englischen Version, von Obermengen an statt von größeren Mengen die Rede sein? 
: Selbst das würde nicht stimmen, denn echte Obermengen müssen nicht unbedingt größeres Maß haben. Insofern ist die vage Formulierung "größere Mengen" vielleicht angebracht. Aber wenn Dir eine bessere Bildunterschrift einfällt, nur zu. --Drizzd 17:51, 31. Okt. 2008 (CET)
replies: text:  Ich finde die Unterschrift auch nicht passend. Der Begriff "größere Menge" wird doch gerade durch das Maß definiert. Eventuell sollte man den Satz einfach weglassen, wenn ein allgemeines Maß eine solche Eigenschaft nicht aufweist? Eine Darstellung der Sigma-Additivität fände ich sinnvoller. --martinhei 15:10, 13. Mär. 2011 (CET)
replies: text: Gemeint ist hier doch einfach die Monotonie. Die Bildunterschrift suggeriert strenge Monotonie, was aber in der Regel nicht der Fall ist. -- Digamma 18:58, 13. Mär. 2011 (CET)
thread_title: Bildunterschrift

message: "Der komplizierte Aufbau der Maßtheorie wird dadurch verursacht, dass es nicht möglich ist, eine Maßfunktion zu finden, die beliebigen Teilmengen der reellen Zahlen (bzw. des n-dimensionalen reellen Raumes) ein sinnvolles Maß zuordnet"
Das sehe ich ein. Nur, wer außer Mathematikern braucht reelle Zahlen. Hand aufs Herz, jede Größe in der Natur läßt sich nur mit endlicher Genauigkeit bestimmen und es gibt eigentlich keine reale Menge, die nicht endlich abzählbar ist. Versuche Tarski Banach auf endlichen Mengen zu beweisen, sage ich ein klägliches Scheitern voraus.
Was bedeutet das? Es bedeutet, dass eine reale Trivialität, nämlich z.B. die Volumenmessung eine Kompliziertheit erfährt, die der realen Aufgabe unangemessen ist (und diese Formulierung ist schon reichlich euphemistisch). Auch mit endlichen Mengen lässt sich beliebige Genauigkeit erreichen und man stößt dabei auf keine irgendwie geartete Antinomie.
Die ständig beim Hantieren mit unendlichen Mengen auftretenden Schwierigkeiten könnten ein Hinweis sein, dass sie keine adäquate Beschreibung (d.h. Approximation) der Realität liefern. Das ursprüngliche Paradigma, welches mit der Erfindung unendlicher Mengen einhergeht, war ja die Welt beliebig genau zu beschreiben. Die Realität verweigert sich allerdings diesem Anspruch. 
In dem Moment, wo Maßtheorie mit endlichen Mengen betrieben wird, implodiert der gesamte Überbau. Für viele Mathematiker, die sich ein Leben lang mit dieser Theorie und ihren Feinheiten beschäftigt haben, möglicherweise eine ungeheuerliche Vorstellung ... (nicht signierter Beitrag von 88.78.154.197 (Diskussion | Beiträge) 15:43, 20. Okt. 2009 (CEST)
thread_title:  Existenzberechtigung? 

message: Die Notation Sigma (Bauer) oder mathcal A(Elstrodt) sind beide gebräuchlich. Wenn die Notation geändert wird, muss das auf jeden Fall konsequent im ganzen Artikel passieren (deswegen Revert). Ich bin eher für die Notation mit Sigma, da diese meines Wissens häufiger in der Stochastik verwendet wird und somit mehr verbreitet ist und weil es besser zum Namen Sigma-Algebra passt. Deswegen lieber bei Gelegenheit den Artikel Sigma Algebra ändern. Schönen Gruß "Wohingenau" 23:04, 8. Nov. 2009 (CET)
replies: text: Hab nochmal nachgesehen ist Falsch, mathcal A im Bauer und Fraktur A im Elstrodt. Somit wäre die Notation mit mathcal A schon sinvoller, aber wenn dann im ganzen Artikel...--Schönen Gruß "Wohingenau" 00:16, 9. Nov. 2009 (CET)
thread_title:  Bezeichnung für Sigma-Algebra 

message: In der Definition von Maß wird die Positivität aufgeführt:
* Positivität: \mu(A) \geq 0  für alle  A \in \mathcal{A} . 
Dies ist redundant, da die Abbildung \mu von \mathcal{A}  nach [0,\,\infty] definiert wurde.
-- TillTill 11:17, 10. Feb. 2011 (CET)
replies: text: Ich habe [0,\,\infty] wieder durch \overline {\R} ersetzt. Ich finde es wichtig, dass die Positivität explizit gemacht wird und sich nicht in \mu \colon \mathcal{A}  \to [0,\,\infty] versteckt. -- Digamma 15:01, 10. Feb. 2011 (CET)
thread_title:  Zur Definition vom Maß 

message: In der Einleitung des Artikels steht:
:Als Maß versteht man in der Maßtheorie eine Zuordnung von reellen oder komplexen Zahlen zu einem Teilmengensystem über einer Grundmenge.
(Hervorhebung von mir.) Im Rest des Artikels liegen die Werte von Maßen aber immer in \R \cup \{\infty\}. Die von Maßen geforderte Monotonie ergibt sonst auch gar keinen Sinn. Ich denke, man sollte das "komplex" einfach streichen. Dann kann man auch die kürzlich entfernte Grafik wieder einfügen. -- Digamma 21:47, 21. Mär. 2011 (CET)
replies: text: Ich würd's auch 'rausnehmen, denke ich. Komplexes Maß kann man stattdessen z.B. in #Verallgemeinerungen verlinken. --Daniel5Ko 23:30, 21. Mär. 2011 (CET)
thread_title:  Komplex? 

message: Was heisst im Abschnitt "Definition und Beispiele"
"Bedeutende Beispiele in der Maßtheorie Mengensysteme sind:"?
Meint dieses vielleicht:
"Bedeutende Beispiele die/welche in der Maßtheorie Mengensysteme sind:"? (nicht signierter Beitrag von 134.102.201.76 (Diskussion) 18:30, 5. Mai 2011 (CEST)
replies: text: hab den Satz jetzt umgeformt, vorher war das wirklich kein sinnvoller deutscher Satz--JonBs 19:05, 5. Mai 2011 (CEST)
thread_title:  Kein sinnvoller Satz (o.Ae.) 

message: Die Aussage, dass jedes Dynkin-System Durchschnittsstabil ist, ist falsch. Dann wäre ja jedes Dynkin-System eine Sigma Algebra. (nicht signierter Beitrag von 93.220.245.85 (Diskussion) 21:56, 15. Mai 2012 (CEST)
thread_title:  Definition und Beispiele 

message: (von einem Nicht-Mathematiker) Im Abschnitt sigma-Additivität wird gesagt "dass sogar die Frage nach der Existenz einer sigma-additiven Funktion auf der Potenzmenge einer überabzählbaren Menge nicht ohne weiteres gegeben ist". Ist es wirklich die Frage, die nicht ohne weiteres gegeben ist (und sollte das dann nicht eher heißen, dass sich die Frage nicht stellt) oder ist es nicht vielmehr die Existenz, die nicht ohne weiteres gegeben ist? --Pascal.vollmer.fr (Diskussion) 09:38, 16. Mär. 2020 (CET)
replies: text: Ja, ich habe mal versucht, den Satz umzuformulieren. Danke für den Hinweis. -- HilberTraum (d, m) 22:01, 16. Mär. 2020 (CET)
thread_title:  Verständnisfrage 

message: Täusche ich mich, oder ergibt der Satz, dass nicht mal die Existenz einer Sigma-additiven Funktionen auf der Potenzmenge einer überabzählbaren Menge ohne Weiteres klar ist, so keinen Sinn? Beispielsweise die Nullabbildung oder die Funktion, die jede Menge außer die leere Menge auf unendlich abbildet, sind zwei Sigma-additive Funktionen, die sich auf jeder Potenzmenge definieren lassen. Gemeint ist wahrscheinlich, dass die Existenz Sigma-additiver Abbildungen mit Zusatzforderungen nicht im Allgemeinen sichergestellt werden kann. Auf der Potenzmenge von IR existiert beispielsweise keine sigma-additive Funktion, die abgeschlossene Intervalle auf ihre Länge abbildet, d.h. für die f([a,b]) = b-a gilt. 
:Es sind sicher nichttrivialen Funktionen gemeint, die jetzt nicht alle Mengen auf Null oder Unendlich abbilden. Das ist möglicherweise auch ohne Zusatzbedingungen nicht klar, müßte ich jetzt erst drüber nachdenken.—Hoegiro (Diskussion) 16:04, 20. Nov. 2020 (CET)
thread_title:  Existenz Sigma-additiver Funktionen