Diese Bachelorarbeit ist setzt sich mit dem Lemma von Sperner auseinander. Dieser Hilfssatz hat sich in der Mathematik als fundamentales Hilfsmittel erwiesen, da viele mathematische Lehrsätze durch dieses Lemma kombinatorisch elegant bewiesen werden können.
Den Kern dieser Arbeit bilden zwei verschiedene Beweise, die mit Hilfe des Lemmas von Sperner erfolgreich bewiesen werden. Dies ist zum einen der Brouwersche Fixpunktsatz und zum anderen ein alltägliches Problem, nämlich das "Kuchenproblem" (cake division problem), welches mit Hilfe des Lemmas gelöst werden kann.
Inhaltsverzeichnis
1 Einleitung
1.1 Wichtige Begriffe für das Verständnis des Lemmas
1.1.1 Grundbegriffe aus der Graphentheorie
2 Lemma von Sperner für n = 2
2.1 Beweis des Lemmas für n = 2
3 Lemma von Sperner für höhere Dimensionen
3.1 Konvexe Menge und konvexe Hülle
3.2 Simplex
3.3 Lemma von Sperner
3.4. Beweis des Lemmas
4 Der Brouwersche Fixpunktsatz
4.1 Beweis des Fixpunktsatzes von Brouwer
5 Das Kuchenproblem
5.1 Grundlegende Definitionen
5.2 Neidfrei-gerecht vs. Proportional-gerecht
5.3 Das Moving Knife – Verfahren
5.4 Neidfrei-gerechte Verteilung mithilfe des Lemmas von Sperner
5.4.1 Beispiel für n = 3
5.4.2 Aufteilung auf n – Spieler
6 Resümee und Ausblick
Zielsetzung & Themen
Die vorliegende Arbeit untersucht das Lemma von Sperner als fundamentales mathematisches Werkzeug und demonstriert dessen Anwendung sowohl in der theoretischen Topologie als auch bei der Lösung praktischer Alltagsfragestellungen. Das primäre Ziel ist es, die kombinatorische Eleganz des Lemmas anhand des Brouwerschen Fixpunktsatzes sowie durch die mathematische Modellierung einer neidfreien Kuchenaufteilung für mehrere Personen aufzuzeigen.
- Mathematische Grundlagen der Graphentheorie und Triangulierung
- Beweisführung des Lemmas von Sperner in höheren Dimensionen
- Theoretische Herleitung des Brouwerschen Fixpunktsatzes
- Anwendung auf das „Kuchenproblem“ (cake division problem)
- Vergleich von proportional-gerechter und neidfrei-gerechter Verteilung
Auszug aus dem Buch
3.3 Lemma von Sperner
Nun ist es möglich Sperners Lemma für höhere Dimensionen aufzustellen:
Lemma 3.11 (Lemma von Sperner). Jede Triangulierung eines n – Simplex‘ mit einer Sperner - Beschriftung besitzt eine ungerade Zahl an voll beschriebenen elementaren n – Simplexe. Insbesondere existiert immer mindestens eins solcher Simplexe.
Es existieren viele Wege dieses Lemma zu beweisen. Im Folgenden werden wir eine Induktion über n durchführen.
Zusammenfassung der Kapitel
1 Einleitung: Einführung in das Seminarthema Differentialtopologie und die Motivation, das Lemma von Sperner als zentrales Hilfsmittel für mathematische Beweise zu nutzen.
2 Lemma von Sperner für n = 2: Vorstellung des Lemmas in seiner zweidimensionalen, anschaulichen Form inklusive des dazugehörigen Beweises.
3 Lemma von Sperner für höhere Dimensionen: Mathematische Generalisierung auf n Dimensionen, Definition der notwendigen geometrischen Strukturen wie Simplex und Triangulierung sowie der Beweis mittels Induktion.
4 Der Brouwersche Fixpunktsatz: Herleitung des bedeutenden topologischen Fixpunktsatzes und dessen kombinatorischer Beweis unter Verwendung des Lemmas von Sperner.
5 Das Kuchenproblem: Praktische Anwendung des Lemmas zur Lösung eines Optimierungsproblems bei der gerechten Aufteilung von Ressourcen auf mehrere Personen.
6 Resümee und Ausblick: Zusammenfassung der erzielten Ergebnisse und Einordnung der Bedeutung des Lemmas von Sperner in Theorie und Alltag.
Schlüsselwörter
Lemma von Sperner, Differentialtopologie, Brouwerscher Fixpunktsatz, Simplex, Triangulierung, Kuchenproblem, cake division problem, neidfreie Verteilung, proportionale Gerechtigkeit, mathematische Induktion, Graphentheorie, konvexe Hülle, topologischer Raum, Homöomorphismus, baryzentrische Unterteilung
Häufig gestellte Fragen
Worum geht es in dieser Arbeit grundsätzlich?
Die Arbeit untersucht die Relevanz des Lemmas von Sperner als fundamentalen Hilfssatz, der komplexe mathematische Existenzaussagen elegant beweisbar macht.
Welche zentralen Themenfelder werden abgedeckt?
Die Schwerpunkte liegen auf der algebraischen Topologie, der kombinatorischen Geometrie sowie der Spieltheorie in Form von fairen Verteilungsproblemen.
Was ist das primäre Ziel der Forschungsarbeit?
Das Ziel ist es, die Verbindung zwischen abstrakten mathematischen Sätzen und ihrer praktischen Anwendbarkeit auf reale Probleme wie das Kuchenaufteilen zu verdeutlichen.
Welche wissenschaftlichen Methoden kommen zur Anwendung?
Es werden insbesondere induktive Beweisverfahren, topologische Definitionen von Stetigkeit und Homöomorphismus sowie grafische Modellierungen verwendet.
Welche Aspekte werden im Hauptteil behandelt?
Der Hauptteil gliedert sich in die theoretische Herleitung des Sperner-Lemmas für n Dimensionen, den Beweis des Fixpunktsatzes von Brouwer und die Analyse von Kuchenverteilungsalgorithmen.
Welche Begriffe charakterisieren die Arbeit am stärksten?
Zentrale Begriffe sind das Sperner-Lemma, die Triangulierung, der Brouwersche Fixpunktsatz, das Simplex und die neidfreie Gerechtigkeit.
Wie unterscheidet sich die proportional-gerechte von der neidfrei-gerechten Verteilung?
Während bei einer proportionalen Verteilung jeder Spieler mindestens 1/n des Kuchens erhält, garantiert die neidfreie Verteilung zusätzlich, dass kein Spieler sein gewähltes Stück gegen das eines anderen tauschen möchte.
Was besagt das Moving Knife-Verfahren?
Es ist ein Algorithmus, bei dem ein Messer kontinuierlich über den Kuchen bewegt wird, um eine proportionale Aufteilung zwischen n Spielern zu ermöglichen.
Warum ist das Sperner-Lemma für das Kuchenproblem so entscheidend?
Das Lemma garantiert die Existenz eines "voll beschriebenen" Simplexes, was mathematisch auf eine Aufteilung hinweist, bei der die individuellen Präferenzen aller Beteiligten optimal erfüllt sind.
- Quote paper
- Anonym (Author), 2016, Zur Relevanz des Lemmas von Sperner in Theorie und Alltag, Munich, GRIN Verlag, https://www.grin.com/document/454156
