Baire-Eigenschaft
Als Baire-Eigenschaft (oder Eigenschaft von Baire, engl. property of Baire oder Baire property, nach René Louis Baire) bezeichnet man in der allgemeinen Topologie und insbesondere der deskriptiven Mengenlehre eine Eigenschaft bestimmter gutartiger Teilmengen eines topologischen Raumes. Eine Menge hat die Baire-Eigenschaft, wenn sie sich nur um eine magere Menge von einer offenen Menge unterscheidet.
Definition
Eine Teilmenge <math>M\subseteq X</math> eines topologischen Raumes <math>X</math> hat genau dann die Baire-Eigenschaft, wenn eine offene Menge <math>O\subseteq X</math> existiert, sodass die symmetrische Differenz <math>M \bigtriangleup O</math> mager ist.
Bezug zur projektiven Hierarchie und zur Borel-Hierarchie
Jede abgeschlossene Menge in einem topologischen Raum <math>X</math> hat die Eigenschaft von Baire,<ref name="marker-dst">Descriptive Set Theory (PDF; 643 kB), lecture notes by David Marker, 2002</ref> dies lässt sich wie folgt zeigen: Der Rand <math>\partial A</math> einer abgeschlossenen Menge <math>A</math> ist nirgends dicht und somit mager, denn ist er dicht in einer offenen Menge <math>O</math>, so ist <math>O \setminus \partial A \subset X \setminus A</math>. Somit liegt kein Element von <math>O \setminus \partial A</math> mit einer offenen Umgebung in <math>X \setminus A</math>. Doch <math>X \setminus A</math> ist offen, somit muss <math>O</math> leer sein und somit <math>\partial A</math> nirgends dicht.
Jede Borel-Menge hat die Baire-Eigenschaft. Dies folgt per (abzählbarer) transfiniter Induktion über die Borel-Hierarchie: Haben alle Mengen aus <math>\Pi^0_m</math> die Baire-Eigenschaft für alle Ordinalzahlen <math>m < n</math>, so hat auch jede <math>\Sigma^0_n</math>-Menge als abzählbare Vereinigung von Mengen mit der Baire-Eigenschaft die Baire-Eigenschaft. Hat jede <math>\Sigma^0_n</math>-Menge die Baire-Eigenschaft, so hat auch jede <math>\Pi^0_n</math>-Menge die Baire-Eigenschaft, denn sie ist Komplement einer <math>\Sigma^0_n</math>-Menge, und somit Komplement einer Menge, die sich nur um eine magere Menge von einer offenen Menge unterscheidet. Daher unterscheidet sie sich von einer abgeschlossenen Menge – dem Komplement besagter offener Menge – nur um eben jene magere Menge und hat somit ebenfalls die Baire-Eigenschaft. Es folgte, dass jede Borel-Menge die Baire-Eigenschaft hat, analog kann man folgern, dass die Mengen mit der Baire-Eigenschaft eine σ-Algebra bilden.
Für die projektive Hierarchie gilt dies nicht. Die Existenz projektiver Mengen, die nicht die Baire-Eigenschaft haben, ist unabhängig vom Axiomensystem ZFC. Die Nicht-Existenz solcher Mengen folgt etwa aus dem Axiom der projektiven Determiniertheit, welches aus der Existenz von Woodin-Kardinalzahlen folgt.<ref>W. Hugh Woodin, <templatestyles src="Webarchiv/styles.css" />{{#if:20120124183815
| {{#ifeq: 20120124183815 | *
| {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20120124183815}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20120124183815}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Strong Axioms of Infinity and the search for V | {{#invoke:WLink|getEscapedTitle|Strong Axioms of Infinity and the search for V}} | {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20120124183815|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf}}
|| {{#if: || }}
}}{{#if: Strong Axioms of Infinity and the search for V
| {{#if: {{#invoke:WLink|isBracketedLink|Strong Axioms of Infinity and the search for V}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://logic.harvard.edu/EFI_Woodin_StrongAxiomsOfInfinity.pdf }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}} (PDF; 160 kB)</ref> Die Existenz einer projektiven Menge (<math>\Delta^1_2</math>) ohne die Baire-Eigenschaft folgt dagegen etwa aus dem auf Kurt Gödel zurückgehenden Konstruierbarkeitsaxiom.<ref>Haim Judah und Otmar Spinas: Large cardinals and projective sets</ref> Analytische und koanalytische Mengen haben dagegen in ZFC die Baire-Eigenschaft, während sich dies für <math>\Delta^1_2</math>-Mengen schon nicht mehr zeigen lässt.<ref name="marker-dst"/>
Die Existenz einer Menge ohne die Baire-Eigenschaft folgt bereits aus dem Auswahlaxiom.<ref name="marker-dst"/>
Einzelnachweise
<references/>