Analytische P-Ideale, Banachräume und Maßalgebren

Dieses Projekt befasst sich mit dem teils wohlbekannten, teils neu entdeckten Wechselspiel klassischer mathematischer Objekte aus verschiedenen Gebieten wie Kombinatorik, Mengenlehre, Algebra, Geometrie und Topologie. Wir erwähnen ein paar Beispiele. Wie kompliziert kann eine endliche Menge natürlicher Zahlen sein? Für ein weniger offensichtliches Beispiel, betrachte die folgende Eigenschaft einer solchen Menge: sie hat höchstens so viele Elemente wie ihr kleinstes Element. Auch wenn diese Idee ad hoc erscheinen mag, ist die Familie dieser Mengen unter dem Namen Schreier Familie bekannt und hat in der Geschichte der unendlich dimensionalen Geometrie eine fundamentale Rolle gespielt. Unter den zahlreichen mengentheoretischen Strukturen, die wir in diesem Z usammenhang erforschen werden, sind Ideale die vielleicht wichtigsten. Dies sind Familien von Mengen natürlicher Zahlen, ganz wie die Schreier Familie aber wir erlauben auch unendliche Mengen, die in einem gewissen präzisen analytischen Sinn "dünn" sind. Nicht zuletzt, wollen wir die Familie der Menge der Ebenenpunkte erwähnen, die "eine Fläche haben" (die meisten haben keine). Diese Familie formt eine algebraische Struktur und spielt gleichzeitig eine wichtige Rolle dabei, Zeugen für Gödels ersten Unvollständigkeitssatz zu finden, nämlich mathematische Fragen, die niemals beantwortet werden können. Das Wechselspiel dieser Begriffe und Strukturen wird seit Langem erforscht. Es zeigt sich, dass gewisse Strukturen eines Gebiets aus gewissen Strukturen eines anderen Gebiets konstruiert werden können. Neben dem natürlichen Interesse, das ein solches Wechselspiel verschiedener mathematischer Gebiete verdient, eröffnen die erwähnten Konstruktionen neue Möglichkeiten, an vielstudierte klassische Konzepte heranzugehen, und stellen neue Werkzeuge bereit, die betreffenden Strukturen zu erforschen. Dies führt zu neuen Charakterisierungen teils grundlegender Eigenschaften, und zeigte in einigen Fällen neue Ansätze zur Lösung zentraler, seit langer Zeit offener Probleme auf. Dieses Projekt besteht in der Entwicklung und Anwendung dieser alten und neuen Brücken zwischen verschiedenen Gebieten, und wird hoffentlich eine systematischen Grundlage für weitere Forschung in diesem interdisziplinären Gebiet darlegen.