Diskussion:Maßtheorie
Zu pauschale Aussage zu Anwendungen
[Quelltext bearbeiten]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)
Entfernen der Vokabelerklärung σ-Algebra
[Quelltext bearbeiten]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)
Satz von Hadwiger
[Quelltext bearbeiten]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)
Inhalt, Prämaß
[Quelltext bearbeiten]Auch obige zwei Begriffe könnte man erklären Richardigel Diskussion:Ma%C3%9Ftheorie#c-Richardigel-2006-05-05T04:00:00.000Z-Inhalt, Prämaß11
Die Definition der Sigma-Superadditivität bei Inhalt auf einem Ring ist falsch, der Operator muss umgekehrt werden.19:36, 24 Juli 2012 (ohne Benutzername signierter Beitrag von 178.24.155.255 (Diskussion))
- Das sollte schon so passen. Ich habe noch einen Einzelnachweis ergänzt. -- HilberTraum (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-HilberTraum-2012-07-24T18:46:00.000Z-Inhalt, Prämaß11
- 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) Diskussion:Ma%C3%9Ftheorie#c-ThE cRaCkEr-2012-07-24T22:15:00.000Z-HilberTraum-2012-07-24T18:46:00.000Z11
Englische Übersetzung
[Quelltext bearbeiten]Ich schlage vor, die englische Übersetzung von Maßraum aus dem Artikel zu entfernen. Hier geht es darum, die benutzten Begriffe zu erklären, nicht darum, sie in andere Sprachen zu übersetzen. Dafür gibt es Wiktionary. Marcoscramer Diskussion:Ma%C3%9Ftheorie#c-Marcoscramer-2006-10-28T22:31:00.000Z-Englische Übersetzung11
- Da niemand sich dagegen geäußert hat, habe ich jetzt die englische Übersetzung entfernt. Marcoscramer Diskussion:Ma%C3%9Ftheorie#c-Marcoscramer-2006-11-08T21:29:00.000Z-Marcoscramer-2006-10-28T22:31:00.000Z11
- Zustimmung. Außerdem haben wir Interwiki-Links. --NeoUrfahraner
Endliches Maß
[Quelltext bearbeiten]Manche Literatur definiert Maße auf Semiringen (anstatt Prämaß); in diesem Fall heißt ein Maß endlich, wenn es für jede Menge des Semirings endlich ist. Da nicht der ganze Raum Omega im Semiring drinnenliegen muss, muss für ein solches endliches Maß nicht gelten, dass Omega endlichen Inhalt hätte! Ein Beispiel: Man nehme als Semiring die linkshalboffenen Intervalle (a,b] der Zahlengerade, mit reellen Zahlen a <= b; das Lebesguemaß eingeschraenkt auf diesen Semiring ist per Definitionem endlich, was es auf der Sigma-Algebra der Borelmengen nicht ist! --ASlateff
Letzte Zeile in "Maßraum"
[Quelltext bearbeiten]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 Diskussion:Ma%C3%9Ftheorie#c-NeoUrfahraner-2007-03-29T13:41:00.000Z-Letzte Zeile in "Maßraum"11
Unter Massraum heißt es, dass Omega, als Grundraum eine sigma-Algebra erzeuge. Dies ist meiner Ansicht nach falsch. Erzeugt wird eine Sigma-Algebra immer durch ein Erzeugendensytem.
Die von Omega erzeugte Sigma-Algebra enthielte dann doch nur Omega selbst und die Lehre Menge, oder? Das wäre aber nun eine sehr spezielle sigma-algebra...(Der vorstehende, nicht signierte Beitrag stammt von 132.230.21.41 (Diskussion • Beiträge) NeoUrfahraner Diskussion:Ma%C3%9Ftheorie#c-NeoUrfahraner-2008-04-16T11:00:00.000Z-Letzte Zeile in "Maßraum"11)
- Ja, das ist falsch formuliuert. Ich habe es durch "auf Omega definierte sigma-Algebra" (sagt man das so?) ersetzt. --NeoUrfahraner Diskussion:Ma%C3%9Ftheorie#c-NeoUrfahraner-2008-04-16T11:00:00.000Z-NeoUrfahraner-2008-04-16T11:00:00.000Z11
Kritik an der Abstraktheit
[Quelltext bearbeiten]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 Diskussion:Ma%C3%9Ftheorie#c-Hanfried.lenz-2007-08-30T20:07:00.000Z-Kritik an der Abstraktheit11.
- 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 Diskussion:Ma%C3%9Ftheorie#c-Krlkch-2007-08-30T23:30:00.000Z-Hanfried.lenz-2007-08-30T20:07:00.000Z11
Definition von "fast ueberall" falsch
[Quelltext bearbeiten]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 Diskussion:Ma%C3%9Ftheorie#c-84.191.246.108-2008-02-29T19:54:00.000Z-Definition von "fast ueberall" falsch11
- Ja stimmt, da ist die Negation nicht sauber. Hab ich übersehen. Ich werde mal deinen Satz reinstellen. Danke. Gruß Azrael. Diskussion:Ma%C3%9Ftheorie#c-A2r4e1-2008-03-01T13:56:00.000Z-84.191.246.108-2008-02-29T19:54:00.000Z11
Definition Prämaß nicht korrekt
[Quelltext bearbeiten]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. (nicht signierter Beitrag von 77.181.70.86 (Diskussion) 17:15, 14. Aug. 2008)
- 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 Diskussion:Ma%C3%9Ftheorie#c-Drizzd-2008-08-14T15:44:00.000Z-Definition Prämaß nicht korrekt11
Nicht messbare Mengen
[Quelltext bearbeiten]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 Diskussion:Ma%C3%9Ftheorie#c-Jol2040-2008-08-30T11:50:00.000Z-Nicht messbare Mengen11
- 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 Diskussion:Ma%C3%9Ftheorie#c-NeoUrfahraner-2008-08-30T16:52:00.000Z-Jol2040-2008-08-30T11:50:00.000Z11
- Die Vitali-Menge ist nur bezüglich des Lebesgue-Maßes nicht messbar. Habe den Link in Giuseppe Vitali daher entsprechend korrigiert. --Drizzd Diskussion:Ma%C3%9Ftheorie#c-Drizzd-2008-08-31T15:18:00.000Z-Jol2040-2008-08-30T11:50:00.000Z11
Bildunterschrift
[Quelltext bearbeiten]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? (nicht signierter Beitrag von 141.76.31.213 (Diskussion) 17:41, 29. Okt. 2008)
- 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 Diskussion:Ma%C3%9Ftheorie#c-Drizzd-2008-10-31T16:51:00.000Z-Bildunterschrift11
- 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 Diskussion:Ma%C3%9Ftheorie#c-Martinhei-2011-03-13T14:10:00.000Z-Drizzd-2008-10-31T16:51:00.000Z11
- Gemeint ist hier doch einfach die Monotonie. Die Bildunterschrift suggeriert strenge Monotonie, was aber in der Regel nicht der Fall ist. -- Digamma Diskussion:Ma%C3%9Ftheorie#c-Digamma-2011-03-13T17:58:00.000Z-Martinhei-2011-03-13T14:10:00.000Z11
- 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 Diskussion:Ma%C3%9Ftheorie#c-Martinhei-2011-03-13T14:10:00.000Z-Drizzd-2008-10-31T16:51:00.000Z11
Existenzberechtigung?
[Quelltext bearbeiten]"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) Diskussion:Ma%C3%9Ftheorie#c-88.78.154.197-2009-10-20T13:43:00.000Z-Existenzberechtigung?11)
Bezeichnung für Sigma-Algebra
[Quelltext bearbeiten]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" Diskussion:Ma%C3%9Ftheorie#c-Wohingenau-2009-11-08T22:04:00.000Z-Bezeichnung für Sigma-Algebra11
- 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" Diskussion:Ma%C3%9Ftheorie#c-Wohingenau-2009-11-08T23:16:00.000Z-Wohingenau-2009-11-08T22:04:00.000Z11
Zur Definition vom Maß
[Quelltext bearbeiten]In der Definition von Maß wird die Positivität aufgeführt:
- Positivität: für alle .
Dies ist redundant, da die Abbildung von nach definiert wurde. -- TillTill Diskussion:Ma%C3%9Ftheorie#c-TillTill-2011-02-10T10:17:00.000Z-Zur Definition vom Maß11
Ans Ende verschoben --Digamma Diskussion:Ma%C3%9Ftheorie#c-Digamma-2011-02-10T12:32:00.000Z-Zur Definition vom Maß11
- Ich habe wieder durch ersetzt. Ich finde es wichtig, dass die Positivität explizit gemacht wird und sich nicht in versteckt. -- Digamma Diskussion:Ma%C3%9Ftheorie#c-Digamma-2011-02-10T14:01:00.000Z-Digamma-2011-02-10T12:32:00.000Z11
Das sollte man dann aber konsequenterweise auch beim Inhalt und beim Prämaß machen, da ist es ja genau das selbe. (nicht signierter Beitrag von 91.8.152.209 (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-91.8.152.209-2012-06-16T12:02:00.000Z-Zur Definition vom Maß11)
Komplex?
[Quelltext bearbeiten]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 . 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 Diskussion:Ma%C3%9Ftheorie#c-Digamma-2011-03-21T20:47:00.000Z-Komplex?11
- Ich würd's auch 'rausnehmen, denke ich. Komplexes Maß kann man stattdessen z.B. in #Verallgemeinerungen verlinken. --Daniel5Ko Diskussion:Ma%C3%9Ftheorie#c-Daniel5Ko-2011-03-21T22:30:00.000Z-Digamma-2011-03-21T20:47:00.000Z11
Kein sinnvoller Satz (o.Ae.)
[Quelltext bearbeiten]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) Diskussion:Ma%C3%9Ftheorie#c-134.102.201.76-2011-05-05T16:30:00.000Z-Kein sinnvoller Satz (o.Ae.)11)
- hab den Satz jetzt umgeformt, vorher war das wirklich kein sinnvoller deutscher Satz--JonBs Diskussion:Ma%C3%9Ftheorie#c-JonBs-2011-05-05T17:05:00.000Z-134.102.201.76-2011-05-05T16:30:00.000Z11
Definition und Beispiele
[Quelltext bearbeiten]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) Diskussion:Ma%C3%9Ftheorie#c-93.220.245.85-2012-05-15T19:56:00.000Z-Definition und Beispiele11)
Unanschaulich
[Quelltext bearbeiten]Ich finde den Artikel reichlich unanschaulich. Ich habe an der Universität gelernt, dass jede endliche Punktmenge auf der Zahlengeraden das Maß Null hat. Ferner ist das Maß von abzählbar unendlichen Punktmengen im allgemeinen unbestimmbar. Nur beschränkte abzählbar unendliche Punktmengen haben das Maß Null. Davon kann ich in diesem Artikel nichts wiederfinden. --Dok21fie (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Dok21fie-2018-03-05T15:28:00.000Z-Unanschaulich11
- Dok21fie, du hast ein neues Thema angeschnitten. Dafür solltest du einen neuen Abschnitt beginnen, anstatt deinen Beitrag an einen andern, der eine ganz andere Frage behandelt, dranzuhängen. Und die Signatur setzt man normalerweise nicht zusätzlich in Klammern. Ich habe deshalb eine neue Überschrift eingefügt.
- Zu deiner Aussage: Maßtheorie ist unanschaulich. Was du an der Uni gelernt hast, bezieht sich wahrscheinlich auf ein spezielles Maß, das Lebesgue-Maß. In der Analysis wird meistens nur dieses betrachtet. Allgemeine Maße sind vor allem für die Wahrscheinlichkeitstheorie wichtig.
- Zum Inhalt deiner Aussage: Beim Lebesgue-Maß (und bei jedem Maß, bei dem einelementige Mengen das Maß Null haben) haben nicht nur endliche, sondern auch abzählbar unendliche Mengen das Maß Null. Das liegt daran, dass Maße sigma-additiv (abzählbar additiv) sind. Ein "Maß", das nicht sigma-additiv, sondern nur additiv ist, heißt nicht "Maß", sondern "Inhalt". Ich vermute deshalb, dass du dich einfach falsch erinnerst. --Digamma (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Digamma-2018-03-05T16:07:00.000Z-Dok21fie-2018-03-05T15:28:00.000Z11
Danke. Es handelt sich also im Artikel um eine Verallgemeinerung dessen, was man praktisch unter Messen versteht. --Dok21fie (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Dok21fie-2018-03-06T13:57:00.000Z-Unanschaulich11
Dabei ist das Maß disjunkter Mengen additiv, also das Maß ihrer Vereinigung ist die Summe der Einzelmaße. Allgemein ist aber das Maß einer Vereinigung von Mengen kleiner oder gleich der Summe der Maße der Einzelmengen. Wie bildet sich das auf die Maßtheorie ab ? --Dok21fie (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Dok21fie-2018-03-15T05:31:00.000Z-Unanschaulich11
- Bei zum Beispiel 2 Mengen A und B: Zerlege die Vereinigung in disjunkte Teilmengen und du erhältst: . Wende darauf die Additivität an und du erhältst:
- --Digamma (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Digamma-2018-03-15T09:34:00.000Z-Dok21fie-2018-03-15T05:31:00.000Z11
Danke. Und eine weitere Frage : Ist die Maßtheorie kongruent zum Verfahren, das das Maß einer Punktmenge als den Grenzwert einer Intervallschachtelung ( Summe i (Epsilon i gegen Null) ) definiert ? --Dok21fie (Diskussion) 06:46, 17. Mär. 2018 (CET) Wenn man dieses Verfahren anwendet, kommt man zu dem Schluss, dass nicht einmal alle begrenzten abzählbaren Punktmengen das Maß Null haben. So ist auch das Maß der rationalen Zahlen zwischen Null und Eins unbestimmbar. --Dok21fie (Diskussion) Diskussion:Ma%C3%9Ftheorie#c-Dok21fie-2018-03-17T05:46:00.000Z-Unanschaulich11
Verständnisfrage
[Quelltext bearbeiten](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) Diskussion:Ma%C3%9Ftheorie#c-Pascal.vollmer.fr-2020-03-16T08:38:00.000Z-Verständnisfrage11
- Ja, ich habe mal versucht, den Satz umzuformulieren. Danke für den Hinweis. -- HilberTraum (d, m) Diskussion:Ma%C3%9Ftheorie#c-HilberTraum-2020-03-16T21:01:00.000Z-Pascal.vollmer.fr-2020-03-16T08:38:00.000Z11
Existenz Sigma-additiver Funktionen
[Quelltext bearbeiten]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. (nicht signierter Beitrag von Nicolas0301 (Diskussion | Beiträge) Diskussion:Ma%C3%9Ftheorie#c-Nicolas0301-2020-05-07T18:45:00.000Z-Existenz Sigma-additiver Funktionen11)
- 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) Diskussion:Ma%C3%9Ftheorie#c-회기-로-2020-11-20T15:04:00.000Z-Nicolas0301-2020-05-07T18:45:00.000Z11