Zum Inhalt springen

Analysis II: Kompaktheit in metrischen Räumen

Aus Wikibooks

zurück zu Analysis II

Einleitung

[Bearbeiten]

Kompaktheit in metrischen Räumen ist ein wichtiges und praktisches Konstrukt in der reellen mehrdimensionalen Analysis und wird gerne nach der Einführung von metrischen Räumen, Umgebungen, offene/geschlossene Mengen und Folgen, und deren Grenzwerte eingeführt. Dieses Buch setzt seinen Schwerpunkt in reellen metrischen Räumen und besonders ausführlichen Beweisen, die auch mit Alltagssprache geführt werden, um anschaulicher und verständlicher zu sein als ihre rein mathematischen Pendanten. Das bedeutet, dass die rein mathematischen Beweise "angereichert" werden mit Alltagssprache. Es werden keine topologischen Begriffe benötigt (abgesehen von den im nächsten Abschnitt definierten) und Kompaktheit in topologischen Räumen wird nicht behandelt.

Bitte beachten

[Bearbeiten]

Allen Sätzen wird ein sinnhafter Name gegeben. Kleinere Sätze bekommen in der Literatur zwar keinen eigenen Namen, aber in diesem Buch schon. Diese Namen sind inoffiziell und werden nur innerhalb dieses Buches benutzt, um sinnvoll auf sie referenzieren zu können. Bei Sätzen mit mehr oder weniger bekannten Namen wird dieser gesondert formatiert.

  • offizielle Namen: Beispiel
  • inoffizielle Namen: Beispiel

Benötigte Definitionen und Sätze

[Bearbeiten]

Obwohl die folgenden Definitionen dem Leser schon bekannt sein sollten, seien sie hier noch einmal erwähnt, damit der Leser sie bei Bedarf schnell nachschlagen kann. Es werden keine Sätze aufbauend auf diesen Definitionen hier beschrieben oder bewiesen.

Metrik und Metrischer Raum

[Bearbeiten]

Definition: Sei eine Menge. Unter einer Metrik auf versteht man eine Abbildung

mit folgenden Eigenschaften:

  1. genau dann, wenn
  2. Symmetrie: Für alle gilt
  3. Dreiecksungleichung: Für alle gilt

Definition: Sei eine Menge und eine Metrik. Ein Metrischer Raum ist dann das Paar .

Umgebungen, offene und geschlossene Mengen

[Bearbeiten]

Definition: Sei ein metrischer Raum, ein Punkt und . Dann heißt:

die offene Kugel mit dem Mittelpunkt und Radius bzgl. der Metrik .

Definition: Sei ein metrischer Raum. Eine Teilmenge heißt Umgebung eines Punktes , falls ein existiert, so dass

Definition: Eine Teilmenge eines metrischen Raumes heißt offen, wenn sie Umgebung jeder ihrer Punkte ist, d.h. wenn zu jedem existiert, so dass

Definition: Eine Teilmenge eines metrischen Raumes heißt abgeschlossen, wenn ihr Komplement offen ist.

Folgen und Grenzwerte

[Bearbeiten]

Definition: Sei ein metrischer Raum und eine Folge von Punkten aus . Die Folge heißt konvergent gegen den Punkt , in Zeichen

,

wenn gilt: Zu jeder Umgebung von existiert ein , so dass

.

oder

.

offene Überdeckung

[Bearbeiten]

Definition: Sei eine Teilmenge eines metrischen Raumes . Unter einer offenen Überdeckung von versteht man eine Familie von offenen Teilmengen mit

Dabei ist eine beliebige (endliche oder unendliche) Indexmenge.

Globale Stetigkeit

[Bearbeiten]

Satz: Seien metrische Räume.
ist genau dann stetig auf ganz , wenn eine der folgenden gleichwertigen Bedinungen erfüllt ist:

  • Das Urbild jeder offenen Menge ist offen in .
  • Das Urbild jeder abgeschlossenen Menge ist abgeschlossen in .

Definition der Kompaktheit (Heine-Borelsche Überdeckungseigenschaft)

[Bearbeiten]

Komptaktheit wird üblicherweise über offene Überdeckungen definiert, was den Anfänger üblicherweise mehr verwirrt als hilft. Deswegen ist ein Studium der Definition und Sätze über Kompaktheit wichtig, um mit der Definition umgehen zu können und ein tieferes Verständnis über den Begriff entwickeln zu können.

Definition: Eine Teilmenge eines metrischen Raumes heißt kompakt, wenn es zu jeder offenen Überdeckung von endlich viele Indizes gibt, so dass

.

Einige Bemerkungen zu der Definition:

  • Grob übersetzt bedeutet die Definition: Zu jeder offenen Überdeckung kann ich eine offene Überdeckung aus endlich vielen Elementen finden, die genau das gleiche abdeckt.
  • Überdeckungen aus endlich vielen offenen Teilmengen sind für diese Definition nicht interessant, weil diese automatisch die Definition erfüllen. Daher werden wir uns eher mit offenen Überdeckungen aus unendlich vielen offenen Teilmengen beschäftigen.
  • Vorsicht: Es wird nicht nur verlangt, dass eine offene Überdeckung besitzt, weil zu sich selbst eine offene Überdeckung ist (endlich, weil nur ein Element). Es wird gefordert, dass man zu einer beliebigen offenen Überdeckung eine endliche offene Überdeckung finden kann.

Erste Schritte

[Bearbeiten]

So, jetzt kann es losgehen. Wir beweisen unseren ersten Satz.

Satz (konvergente Folgen sind kompakt)

Sei ein metrischer Raum und eine Punktfolge in , die gegen den Punkt konvergiert. Dann ist die Menge

kompakt

Beweis:
Was will uns dieser Satz sagen? Es bedeutet einfach, dass die Menge nur bestehend aus einer konvergenten Folge inklusive Grenzwert eine kompakte Menge bildet.
Wie beweist man nun diesen Satz mit der Definiton der Komptaktheit? Der erste Schritt ist sich eine Überdeckung zu basteln. Dann schaut man, ob diese nur endlich viele Elemente enthält. Falls ja, ist man schon fertig. Falls nicht, dann muss man schauen, ob man nicht unendlich viele Elemente (Teilmengen) unserer Überdeckung zu endlich vielen oder gar einer Teilmenge zusammenzurren kann.
Man könnte ganz naiv anfangen und einfach sagen, dass man jedes Folgenglied in eine offene Teilmenge packt nach dem Motto: . Die Vereinigung von allen ist offensichtlich eine offene Überdeckung von , weil 1. alle Elemente von enthalten sind und 2. die Vereinigung von offenen Mengen wieder offen ist. Beim Zählen der fällt aber leider auf, dass es zu viele sind für Kompaktheit. Es gibt so viele wie es Folgenglieder gibt: unendlich viele. Jetzt stellt sich die Frage, wie man daraus endlich viele Teilmengen basteln kann. Die Bastelanleitung dafür gibt uns die Konvergenz der Folge in die Hand. Konvergenz bedeutet nämlich, dass ab einem bestimmten Index N unendlich viele Folgenglieder einen kleineren Abstand als von a haben. Also habe ich bis N endlich viele Glieder und ab N unendlich viele Glieder. Folglich hat die offene Kugel unendlich viele Folgenglieder in sich! Somit habe ich eine offene Überdeckung gefunden, die nur endlich viele Glieder enthält:
Einmal die offenen Kugeln um jedes Folgenglied bis N und zum anderen die Kugel um den Grenzwert.

Der formale Beweis überspringt die Konstruktion einer Überdeckung aus unendlich vielen Teilmengen und konstruiert direkt um den Grenzwert eine Umgebung, welche wie eine offene Kugel behandelt werden kann.

Sei eine offene Überdeckung von . Da , gibt es einen Index , so dass . Weil offen ist, ist es eine Umgebung von a und wegen gibt es ein , so dass

für alle .

Außerdem liegt jedes in einem gewissen . Es gilt dann

Somit haben wir eine endliche Teilüberdeckung gefunden und folglich ist kompakt.

Alternative Definition (Bolzano-Weierstraß-Eigenschaft)

[Bearbeiten]

Außer der Definition über die Überdeckungseigenschaft gibt es noch eine zweite Definition, die in metrischen Räumen äquivalent zur Überdeckungseigenschaft ist.
Statt über Überdeckungen zu gehen, benutzt man konvergente Teilfolgen:
Definition: Ein metrischer Raum heißt folgenkompakt, wenn jede Folge von Punkten in eine konvergente Teilfolge besitzt.
Es ist naheliegend diese Definiton auf Teilmengen metrischer Räume auszudehnen:
Definition: Eine Teilmenge eines metrischen Raumes heißt folgenkompakt, wenn sie als Teilraum folgenkompakt ist, d.h. wenn jede Folge in eine konvergente Teilfolge besitzt, deren Grenzwert in liegt.

Nun wollen wir einen wichtigen Satz beweisen, nämlich die Äquivalenz der Definitionen in metrischen Räumen.

Satz (Äquivalenz von Heine-Borelsche-Überdeckungseigenschaft und Bolzano-Weierstraß-Eigenschaft)

In metrischen Räumen ist die Heine-Borelsche-Überdeckungseigenschaft und die Bolzano-Weierstraß-Eigenschaft äquivalent.

Der Beweis wird in zwei Teile unterteilt. Einmal zeigt man, aus (a) Kompaktheit folgt Folgenkompaktheit und aus (b) Folgenkompaktheit folgt Kompaktheit .

a) kompakt => folgenkompakt

[Bearbeiten]

Die Idee hinter diesem Beweisabschnitt ist, das aus der Kompaktheit nur die Folgenkompaktheit folgen kann.
Man baut sich zuerst eine Folge in einem kompakten Raum und untersucht diese auf Folgenkompaktheit. Es muss zwischen endlichen und unendlichen Folgen unterschieden werden.

  • endliche Folge
Bei einer endlichen Folge ist nicht viel zu zeigen, weil endliche Folgen immer konvergieren und daher auch immer eine konvergente Teilfolge besitzen.
  • unendliche Folge
Bei einer unendlichen Folge schaut das Ganze schon wieder anders aus. Sobald wir irgendwas Unendliches haben, müssen wir schauen, wie man sie unter dem Deckel der Endlichkeit vereinigen kann. Das ist ein sehr zentrales Konzept bei Kompaktheit, welches bei diesem Beweis sehr gut beobachtet werden kann. Bei dem vorherigen Beweis war der Trick den Grenzwert als Häufigungspunkt besonders genau zu betrachten. Jetzt dreht man den Spieß um: Man behaupte einfach, dass diese unendliche Folge keinen Häufigungspunkt hätte unter Einbeziehung der Kompaktheit. Die Kompaktheit sorgt dafür, dass ein Widerspruch entsteht. Grob formuliert: Wenn eine unendliche Folge keinen Häufigungspunkt hat, dann muss ich jeden Punkt einzeln überdecken mit Kugeln, die maximal endlich viele Punkte umschließen. Laut der Kompaktheit kann ich mir jetzt endlich viele Kugeln nehmen und überdecke damit die gesamte Folge. Aber endlich viele Teilmengen mit jeweils endlich vielen Punkten sind immer noch "nur" endlich viele Punkte! Eine unendliche Folge hat plötzlich nur noch endlich viele Glieder? Das ist ein klarer Widerspruch. Also muss die Folge einen Häufigungspunkt haben.
Jetzt muss man nur noch zeigen, dass dieser Häufigungspunkt der Grenzwert einer Teilfolge ist, weil man damit die Konvergenz bewiesen hätte, welche ja gefordert wird.
Dazu erstellen wir uns eine Kugel um den Häufigungspunkt a und suchen uns eine konvergente Teilfolge. Diese finden wir in der Kugel und betrachten einfach die Glieder innerhalb der Kugel als eine Teilfolge. Man setzt die Teilfolge nun so, dass sie am Rand der Kugel beginnt und pickt sich immer die Punkte aus der Kugel, die einen kleineren Abstand zu a haben als der vorherige Punkt. Das ist faktisch die Definiton von :Konvergenz und wir haben die Aussage bewiesen.

Der formale Beweis schaut folgendermaßen aus:

Sei eine Folge in und . Ist die Menge endlich, so hat die Folge sogar eine konstante Teilfolge. Sei die Menge nun unendlich. Jetzt suchen wir uns einen Häufigungspunkt. Wir nehmen an, dass es keinen gibt. Dann hat jeder Punkt eine offene Umgebung , die nur endlich viele Folgenglieder enthält. Die Umgebungen , bilden eine offene Überdeckung von . Als kompakter Raum wird bereits von endlich vielen überdeckt. Somit enthält auch nur endlich viele Punkte. Das ist ein Widerspruch!
Sei nun ein Häufigungspunkt von . Dann enthält für jedes die Kugel unendlich viele Punkte aus . Es gibt also eine streng monoton wachsende Indexfolge , so dass gilt. Die Teilfolge hat dann den Grenzwert .

b) folgenkompakt => kompakt

[Bearbeiten]

Zentrale Eigenschaften von Kompakta in metrischen Räumen

[Bearbeiten]

Unter Kompakta verstehen wir kompakte Teilmengen eines metrischen Raumes.
Nachdem wir uns mit der Definition beschäftigt haben, wollen wir nun wichtige Eigenschaften von Kompakta in metrischen Räumen diskutieren. Besonders interessant sind folgende Eigenschaften:

  • Kompakta sind beschränkt und abgeschlossen
  • Abgeschlossene Teilmengen von Kompakta sind wieder kompakt

Die beiden Eigenschaften kommen der Endlichkeit sehr nahe, denn endliche Mengen haben auch diese Eigenschaften. Man kann sogar soweit gehen und sagen, dass Kompakta bei Bedarf unendliche Mengen mit der Eigenschaft der Endlichkeit sind. Und mit der Endlichkeit kann man bekanntlich sehr gut hantieren ohne in allzu böse Fallen zu stolpern. Diese Erkenntnis wird folgerndermaßen zusammengefasst:

„Kompaktheit ist neben der Endlichkeit die beste Eigenschaft“

Nun wollen wir beide Aussagen nochmal präziser formulieren und beweisen.

Beschränktheit und Abgeschlossenheit

[Bearbeiten]

Satz (Satz über Beschränktheit und Abgeschlossenheit)

Jede kompakte Teilmenge A eines metrischen Raumes ist beschränkt und abgeschlossen.

Den Beweise unterteilen wir wieder in zwei Teile.

  • Beschränktheit
In diesem Beweis wird wieder die Kompaktheit ausgenutzt, um aus einer unendlichen Menge eine endliche herausschneiden zu können. Als Ausgangspunkt des Beweises kann man sich eine zentrale Eigenschaft von Metriken genauer anschauen: Metriken ordnen zwei Punkten einen endlichen Abstand zu. Jetzt muss man noch schauen, ob man nicht diesen endlichen Abstand zu einem endlichen Durchmesser einer Menge umwandeln kann. Und das geht tatsächlich. Grob formuliert bedeutet das: Bastel dir um einen belieben Punkt aus offene Kugeln mit dem Radius . Diese Kugeln können wir vereinigen zu einer offenen Überdeckung, die aus unendlich viele Teilmengen besteht. Das sind ein paar zu viele. Doch mit der Kompaktheit können wir endlich viele Kugeln auswählen und haben somit nur endlich viele Radien, die ein Maximum haben. Dieses Maximum ist unser Durchmesser von A!
Der formale Beweis schaut folgerndermaßen aus:

Sei beliebig. Da jeder Punkt aus einen endlichen Abstand von hat, gilt
also ist eine Überdeckung von . Weil kompakt ist, gibt es endlich viele Indizes mit
Für gilt also , woraus die Beschränktheit folgt.
  • Abgeschlossenheit
Für die Abgeschlossenheit wird nicht direkt, sondern sein Komplement untersucht, ob es offen ist. Aus der Offenheit von folgt die Abgeschlossenheit von .
Der Beweis ist im Prinzip dem Beweis für die Abgeschlossenheit ähnlich. Man versucht wieder eine unendliche Menge aus offenen Teilmengen zu konstruieren, die man mittels der Kompaktheit zusammenschnüren kann.
Diesmal versucht man erstmal zu überdecken mit einer Eigenkreation. Diese Eigenkreation soll aber eine besonder Eigenschaft haben: ein beliebiger Punkt x aus soll in der Vereinigung (d.h. die Eigenkration besteht aus vielen Teilmengen, genau gesagt sogar unendlich vielen) nicht vorkommen. Dadruch hat die Vereinigung eine sehr nützliche Eigenschaft: Offenheit. Warum? Man betrachte das Komplement . Das Komplement ist abgeschlossen, weil . Einelementige Mengen sind immer abgeschlossen und unsere Eigenkreation ist deren Komplement, also offen. Ab hier schlägt man wieder mit der Kompaktheit zu, um nur endlich viele Teilmengen aus unserer Eigenkreation zu erhalten. Aus diesen endlich vielen Teilmengen kann man dann wieder eine Kugel herstellen mit der man genau die Definiton von Offenheit erfüllt. Da dieser Trick für alle Punkte funktioniert, ist damit die Offenheit von gezeigt.
Der formale Beweis schaut folgendermaßen aus:

Sei beliebig. Für setzen wir
.
Die Menge ist offensichtlich offen (offene Kugeln sind offen) und es gilt
.
Weil A kompakt ist, gibt es endlich viele U mit endlich vielen Indizes mit
Für gilt also
Das entspricht genau einer Definiton von Offenheit, folglich is offen und abgeschlossen.

Vererbungsprinzip

[Bearbeiten]

Satz (Vererbungsprinzip)

Jede abgeschlossene Teilmenge eines kompakten Raumes ist kompakt

Für diesen Beweis benutzt man wieder das Schema: bastel dir eine Überdeckung mit beliebig (d.h. auch unendlich) vielen Teilmengen und nutze die Kompaktheit, um diese auf endlich viele Elemente zu reduzieren. Wichtig ist hier, dass man auch das Komplement betrachtet und dessen Offenheit ausnutzt. Wir haben also einmal und zum anderen . Jetzt muss es uns nur noch gelingen eine endliche Überdeckung von zu finden. Daher bauen wir uns ganz naiv einfach eine offene Überdeckung die beliebig viele Elemente enthält und überdeckt. und das Komplement überdecken also komplett. Weil aber kompakt ist, reichen schon endlich viele Teilmengen für die Überdeckung aus. Zum einen haben wir die offene Teilmenge (Komplement) und zum anderen unsere Familie . Also kann ich aus endlich viele Elemente auswählen, die zusammen mit komplett abdecken. Somit wird von endlich vielen Teilmengen überdeckt und ist folglich kompakt.

Der formale Beweis schaut folgendermaßen aus:

Sei eine Familie von offenen Mengen in mit

.

Dann bilden die offene Menge und die Mengen eine offene Überdeckung von . Mit geeignet gewählten , gilt also

also wird von überdeckt.

Ergänzungen

[Bearbeiten]

In diesem Abschnitt soll besonders gezeigt werden, dass man in metrischen Räumen, falls diese abgeschlossen und beschränkt sind, im Allgemeinen nicht darauf schließen kann, dass diese kompakt sind. Dazu wird die diskrete Metrik (auch Kronecker Metrik genannt) benutzt. Zur Erinnerung:

Definition: Die Abbildung

heißt Kronecker-Metrik

Satz (Kronecker-Metrik und Kompaktheit)

  1. ist genau dann kompakt, wenn nur endlich viele Elemente enthält
  2. ist beschränkt und abgeschlossen, wenn unendlich viele Elemente enthält

Beweis:

  1. Diesen Abschnitt beweist man wieder durch einen "Hinbeweis" und einen "Rückbeweis" wie bei der Äquivalenz von Heine-Borelsche-Überdeckungseigenschaft und Bolzano-Weierstraß-Eigenschaft. Der Rückbeweis ist um einiges einfacher als der Hinbeweis. Weil wenn die Endlichkeit vorgegeben wird, kann man einfach um jedes Element von eine offene Umgebung basteln, so dass alle offene Umgebungen ganz überdecken. Damit wäre man schon fertig.
Der Hinbeweis ist leider nicht ganz so einfach, weil Endlichkeit eine schärfere Aussage darstellt als Kompaktheit und man somit mehrere Eigenschaften betrachten muss als nur eine, wie beim Rückbeweis. Die Idee hinter dem Beweis ist es die Endlichkeit der Anzahl der offenen Teilmengen zu betrachten und dies mit den besonderen Eigenschaften der offenen Kugel mit der Kronecker-Metrik zu kombinieren. Man mache sich klar, dass mit :
für und
für
Mit diesem Rüstzeug kann man nun die Behauptung beweisen.
Man erstelle sich eine beliebige endliche Überdeckung von . Nun untersucht man die einzelnen Elemente von . Man nutzt die Offenheit dieser Elemente aus, um die Existenz von Kugeln zu fordern, die innerhalb des Elementes sind. Bei diesen Kugeln wendet man wieder die besonderen Eigenschaften der offenen Kugel an, die eben gezeigt wurden. Es gibt nur zwei Möglichkeiten und die zweite Möglichkeit würde die Offenheit des Elementes verletzten, sodass nur die erste Möglichkeit in Betracht kommt. Daraus folgt auch, dass jedes Element nur einen Punkt aus enthält, weil wenn er zwei enthalten würde, müsste der Radius der Kugel großer 1 sein, womit die Kugel wieder alle Elemente aus enthalten würde. Aus der Endlichkeit der Überdeckung und der Endlichkeit jeder offenen Teilmenge folgt die Endlichkeit der Anzahl von Punkten und der Satz ist damit bewiesen.
Der formale Beweise schaut ungefähr so aus:
  • Sei endlich,
dann kann für jedes eine offene Umgebung angegeben werden, so dass alle Umgebungen überdecken. Damit ist kompakt.
  • Sei kompakt,
dann gibt es eine offene Überdeckung
mit offen und endlich.
enthält nur endlich viele Punkte, weil es zu jedem ein mit gibt.
Damit die Bedingung erfüllt werden kann, muss sein und aus folgt
Zudem folgt aus , dass in nur ein Element aus sein kann. Somit enthält jedes nur endlich viele Elemente. Daraus folgt unmittelbar die Endlichkeit von .

Satz von Heine-Borel

[Bearbeiten]

Nun beschäftigten wir uns mit dem wichtigsten Satz zum Thema Kompaktheit im Bezug zum . Wir werden ihn einmal in einer abgeschwächten Version allein für den beweisen und für Interessierte in seiner gesamten Vollständigkeit. Hinweis: Man halte in Erinnerung, dass in metrischn Räumen Kompaktheit und Folgenkompaktheit äquivalent sind.

im R^n

[Bearbeiten]

Wenn man sich auf den beschränkt, dann besagt der Satz aus, dass Kompaktheit zu Abgeschlossenheit und Beschränktheit äquivalent ist. Man kann sich leicht vorstellen, dass dann Kompaktheit im eine freundliche Eigenschaft ist. <div id="Satz:Satz von Heine-Borel im " class="serlo-box serlo-theorem " style="border-left: #bedfed solid .3rem; margin-top: 1.5rem; margin-bottom: 2rem; padding-left: 0.8rem;">

Satz (Satz von Heine-Borel im )

Für eine Teilmenge ist äquivalent

  • ist abgeschlossen und beschränkt.
  • ist kompakt.

Der Beweis ist ein klassischer Widerspruchsbeweis, der die Geometrieeigenschaften des ausnutzt. Der Leser ruft sich am besten auch noch Cauchy-Folgen in Erinnerung. Man beachte, dass nur noch zu beweisen ist (s. Satz über Beschränktheit und Abgeschlossenheit).

Wie immer startet man ganz naiv und konstruiert eine offene Überdeckung U von und nimmt einfach an, dass diese nicht endlich viele Elemente enthält. Da abgeschlossen ist, kann ich eine Kugel um drüberstülpen, aber ein Würfel geht auch und ist auch praktischer im .

Nun fangen wir an diesen Würfel zu zerteilen. Geometrisch hübsch ist natürlich die Zerteilung in abgeschlossene Würfel mit halber Kantenlänge. Einer dieser Würfel wird dann wieder nicht von endlich vielen Elementen überdeckt. Diesen Würfel zerteilen wir nach dem gleichen Schema. Dadurch bekommen wir eine Folge von Würfeln (man betrachte nur die Punkte, die sowohl im Würfel als auch in liegen), die angeblich allesamt nicht von endlich vielen Elementen überdeckt werden. Jetzt wählen wir aus jedem Würfel (die Würfel aus der Folge) einen Punkt, der im Würfel und liegt. Dadurch bekommen wir eine Punktfolge, die wegen unseres Zerteilungsverfahren eine Cauchy-Folge ist.

Jetzt müssen wir uns noch deren Grenzwert anschauen. Da abgeschlossen ist, muss dieser Grenzwert auch in liegen.

Nun wird es an der Zeit den Widerspruch zu erzeugen:

Unser Grenzwert muss auch in einer offenen Menge der Überdeckung liegen und wegen der Eigenschaften von konvergierenden Folgen müssen fast alle Würfel in dieser offenen Menge liegen, insbesondere gilt das für die Durchschnitte von den Würfeln mit . Das ist ein Widerspruch zu einer von uns vorher gefolgerten Eigenschaft (fett geschrieben). Folglich muss kompakt sein.


Der formale Beweis schaut so aus:

Sei eine offene Überdeckung von , so dass nicht von endlich vielen der überdeckt wird.

Als beschränkte Menge liegt in einem abgeschlossenen Würfel , dessen Kantenlänge sei .

Wir zerlegen den Würfel in abgeschlossene Würfel mit Kantenlänge und finden einen Teilwürfel derart, dass auch nicht von endlich vielen der überdeckt wird. Wenn man dieses Verfahren immer weiter wiederholt, findet man eine Folge von Würfel (mit der Kantenlänge ) mit

und der Eigenschaft

Keine der Mengen wird von endlich vielen der überdeckt.

Jetzt nehmen wir aus jedem Würfel einen beliebigen Punkt . Die daraus resultierende Folge muss wegen der Konstruktion der Würfel eine Cauchy-Folge sein. Deren Grenzwert liegt wegen der Abgeschlossenheit von in und muss daher in einer offenen Menge der Überdeckung liegen. Dieses enthält dann fast alle Würfel , insbesonder fast alle im Widerspruch zu der Eigenschaft

Allgemein

[Bearbeiten]

Stetige Abbildungen kompakter Räume

[Bearbeiten]

In diesem Zusatzkapitel werden zwei Sätze, wovon einer für die Analysis besonders wichtig ist, besprochen.
Aus der eindimensionalen Analysis ist bekannt, dass stetige Funktionen zwischen abgeschlossenen und beschränkten Mengen immer ein Minimum und ein Maximum haben. Zentral ist dabei die Stetigkeit und die Tatsache, dass Stetigkeit immer nur für definierte Werte definiert ist. Als Beispiel betrachte man ein eindimensionales Beispiel, welches sich aber leicht ins mehrdimensionale übertragen lässt:
Sei Obwohl bekannt ist, lasse ich es undefiniert stehen, damit das Beispiel deutlicher wird. ist beschränkt und abgeschlossen (also kompakt) und ist überall stetig. Also könnte man meinen, dass man den Satz andwenden darf und es ein Minimum und ein Maximum geben muss. Aber kann gar kein Maximum haben, weil divergiert. Klingt nach einem handfesten Widerspruch. Wie wird dieser gelöst?
Es wird die Tatsache ausgenutzt, dass bei überhaupt nicht definiert ist und sich die Frage der Stetigkeit überhaupt nicht stellt! Die Funktion "sieht" faktisch nur das Intervall , welches nicht mehr abgeschlossen ist und somit der Satz nicht angewendet werden darf. Solche Spitzfindigkeiten sind eher selten, aber in der Mathematik wird Exaktheit eben groß geschrieben.

Nun zu unseren Sätzen:

Satz (Kompaktheit und Stetigkeit führt wieder zu Kompaktheit)

Sei eine stetige Abbildung eines kompakten Raumes in einen beliebigen Raum .
Dann ist auch das Bild kompakt.

Der Beweis verläuft klassisch, indem wieder offene Überdeckungen gebastelt werden, einmal von und zum anderen von . Dann versucht man zu zeigen, dass man jeder Teilmenge von der offenen Überdeckung von einer Teilmenge der offenen Überdeckung von zugeordnet werden kann. Diese Zuordnung wird mit dem Satz "Globale Stetigkeit" (s. Definitionen) bestätigt. Wenn diese Zuordnung gelingt, dann werden endlich viele Teilmengen von endlich vielen Teilmengen von zugeordnet, woraus unmittelbar die Kompaktheit folgt.
Der formale Beweis schaut so aus:
Sei eine offene Überdeckung von .
Die Mengen bilden dann nach dem Satz von der Globalen Stetigkeit eine offene Überdeckung von .
Endlich viele der Urbilder überdecken und somit überdecken endlich viele die Bildmenge .


Die Folgerung aus diesem Satz ist vergleichsweise wichtig und einleuchtend, aber trotzdem von fundamentaler Bedeutung:
<div id="Satz:Satz von Maximum und Minimum" class="serlo-box serlo-theorem " style="border-left: #bedfed solid .3rem; margin-top: 1.5rem; margin-bottom: 2rem; padding-left: 0.8rem;">

Satz (Satz von Maximum und Minimum)

Jede stetige Funktion auf einem kompakten Raum nimmt ein Maximum und ein Minimum an.

Beweis:
Das Bild ist beschränkt, hat also ein Supremum und ein Infimum und ist abgeschlossen, also sind und Elemente von .