Polnischer Raum - LinkFang.de





Polnischer Raum


Im Teilgebiet Topologie der Mathematik ist ein polnischer Raum ein separabler und vollständig metrisierbarer topologischer Raum.[1]

Dabei bedeutet vollständig metrisierbar, dass es eine Metrik [math]d[/math] auf [math]X[/math] gibt, die die Topologie induziert und zugleich vollständig ist, das heißt, dass jede Cauchy-Folge bezüglich [math]d[/math] konvergiert. (Eine Metrik [math]d[/math] induziert die Topologie auf [math]X[/math], wenn wir die offenen Mengen von [math]X[/math] durch offene Kugeln bezüglich [math]d[/math] erklären können.) Man beachte, dass die Vollständigkeit von der Metrik abhängt: Ist der Raum bezüglich einer Metrik vollständig, so kann es andere Metriken geben, die dieselbe Topologie erzeugen, und nicht vollständig sind. Es wird hier gefordert, dass es wenigstens eine vollständige Metrik gibt, die die Topologie erzeugt.

Ein topologischer Raum [math]X[/math] heißt separabel, wenn es eine abzählbare und dichte Teilmenge [math]A[/math] gibt, das heißt [math]A[/math] ist gleichmächtig zur Menge der natürlichen Zahlen und es gilt [math]\overline{A} = X[/math]. Durch diese Eigenschaft werden polnische Räume in ihrer Größe eingeschränkt, sie sind daher auch maßtheoretischen Methoden zugänglich.

Polnische Räume sind gleichwertig dadurch charakterisiert, dass sie vollständig metrisierbar sind und ihre Topologie eine abzählbare Basis hat.[2][3]

Separable und vollständig metrisierbare topologische Räume werden zu Ehren der polnischen Mathematiker, die sich als erste mit ihnen beschäftigten (Sierpiński, Kuratowski, Tarski), polnisch genannt. Die Terminologie geht auf Nicolas Bourbaki zurück.[2] Polnische Räume sind zentraler Untersuchungsgegenstand der deskriptiven Mengenlehre und spielen eine wichtige Rolle in der Maßtheorie, etwa im Zusammenhang mit Radon-Maßen.[4]

Effektive polnische Räume

Ein effektiver polnischer Raum ist ein polnischer Raum, der eine berechenbare Repräsentation besitzt. Derartige Räume sind Gegenstand der effektiven deskriptiven Mengenlehre und der konstruktiven Analysis.

Formal ist ein effektiver polnischer Raum ein polnischer Raum mit einer Metrik [math]d[/math], so dass es eine abzählbare dichte Menge [math]C = (c_0, c_1, \dotsc)[/math] gibt, welche die folgenden zwei Relationen auf [math]\mathbb{N}^4[/math] berechenbar macht:[5]

[math]P(i,j,k,m) \equiv d(c_i,c_j) \leq \frac{m}{k+1}[/math]
[math]Q(i,j,k,m) \equiv d(c_i,c_j) \lt \frac{m}{k+1}[/math]

Beispiele

  1. Jeder endliche oder abzählbar unendliche diskrete Raum ist ein polnischer Raum.
  2. Für jedes [math]n[/math] ist [math]\R^n[/math] mit seiner natürlichen Topologie ein polnischer Raum.
  3. Allgemein ist jeder separable Banachraum versehen mit der durch seine Norm induzierten Topologie polnisch, etwa viele Funktionenräume wie die [math]L^p[/math]-Räume, die Sobolev-Räume [math]W^{k,p}[/math] oder die Folgenräume [math]\ell^p[/math] jeweils für endliches [math]p[/math] oder gängige metrische Räume stetiger Funktionen.
  4. Jeder kompakte metrisierbare Raum ist polnisch.
  5. Allgemein ist jeder lokalkompakte, metrisierbare Raum, welcher abzählbar im Unendlichen ist, ein polnischer Raum[6].
  6. Das Produkt [math]\prod_{i \in I} X_i [/math] von polnischen Räumen [math]X_i[/math] (ausgestattet mit der Produkttopologie) bildet einen polnischen Raum, wenn die Indexmenge I endlich oder abzählbar ist.
  7. Das cantorsche Diskontinuum ist ein polnischer Raum.
  8. Die Menge der irrationalen Zahlen bildet einen polnischen Raum. In der üblichen ("euklidischen") Metrik (die durch [math]d(x, y) = |x-y|[/math] definiert ist) sind die Irrationalzahlen zwar nicht vollständig; eine Folge von Irrationalzahlen, die gegen eine rationale Zahl konvergiert, ist zwar eine Cauchyfolge, aber hat im Raum der Irrationalzahlen keinen Grenzwert. Die Irrationalzahlen sind aber homöomorph zum Baire-Raum, dem Produkt [math]\N^\N[/math] von abzählbar vielen Kopien der natürlichen Zahlen. Explizit kann man eine vollständige Metrik auf den Irrationalzahlen so angeben: [math]d(x, y) = \tfrac 1{n+1}[/math], wenn die ersten [math]n[/math] Terme der Kettenbruchentwicklung von [math]x[/math] und [math]y[/math] übereinstimmen, aber nicht der [math]n+1[/math]-te Term.
  9. Jeder abgeschlossene Unterraum eines polnischen Raums ist seinerseits ein polnischer Raum.
  10. Ein Unterraum eines polnischen Raums ist seinerseits ein polnischer Raum dann und nur dann, wenn er eine Gδ-Teilmenge ist, also die Schnittmenge abzählbar vieler offener Teilmengen in der gegebenen Topologie (Satz von Mazurkiewicz)[7].
  11. Die polnischen Räume sind bis auf Homöomorphie genau die Gδ-Teilmengen des Hilbertwürfels [math][0,1]^{\mathbb N}[/math] [8] [7].
  12. Jeder polnische Raum ist Bild einer stetigen Surjektion aus dem Baire-Raum. Der Baire-Raum ist ebenso wie der Cantor-Raum effektiv.

Siehe auch

Lehrbücher

Einzelnachweise

  1. Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA u. a. 1980, ISBN 3-7643-3003-1, Kapitel 8.1.
  2. 2,0 2,1 Bauer: Maß- und Integrationstheorie. 1992, S. 178.
  3. Querenburg: Mengentheoretische Topologie. 1973, S. 148.
  4. Bauer: Maß- und Integrationstheorie. 1992, S. 178–190.
  5. Yiannis N. Moschovakis: Descriptive Set Theory (= Mathematical Surveys and Monographs. Bd. 155). 2nd Edition. American Mathematical Society, Providence RI 2009, ISBN 978-0-8218-4813-5.
  6. Querenburg: Mengentheoretische Topologie. 1973, S. 149.
  7. 7,0 7,1 Querenburg: Mengentheoretische Topologie. 1973, S. 150.
  8. Oliver Deiser: Reelle Zahlen. Das klassische Kontinuum und die natürlichen Folgen. 2., korrigierte und erweiterte Auflage. Springer, Berlin u. a. 2008, ISBN 978-3-540-79375-5, Korollar auf Seite 335.

Kategorien: Mengentheoretische Topologie | Topologischer Raum | Deskriptive Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Polnischer Raum (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.