Analysis II: Kompaktheit in metrischen Räumen

zurück zu Analysis II

EinleitungBearbeiten

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 beachtenBearbeiten

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ätzeBearbeiten

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 RaumBearbeiten

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 MengenBearbeiten

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 GrenzwerteBearbeiten

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 ÜberdeckungBearbeiten

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 StetigkeitBearbeiten

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 SchritteBearbeiten

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 => folgenkompaktBearbeiten

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 => kompaktBearbeiten

Zentrale Eigenschaften von Kompakta in metrischen RäumenBearbeiten

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 AbgeschlossenheitBearbeiten

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.
 

VererbungsprinzipBearbeiten

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änzungenBearbeiten

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-BorelBearbeiten

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^nBearbeiten

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

 

AllgemeinBearbeiten

Stetige Abbildungen kompakter RäumeBearbeiten

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  .