Benutzer: Gast  Login
Weniger Felder
Einfache Suche
Dokumenttyp:
Bachelorarbeit
Autor(en):
Krofta, Niklas
Titel:
Topological Groups
Übersetzter Titel:
Topologische Gruppen
Abstract:
Topological groups are blends of groups and topological spaces with the property that the multiplication and inversion operations are continuous functions. They frequently occur in mathematics and physics, e.g. in the form of Lie groups. We have developed a formalization of topological groups in the theorem prover Isabelle. It contains basic properties of topological groups as well as their uniform structures. The most notable formalized result is the Birkhoff-Kakutani theorem which gives a...     »
übersetzter Abstract:
Topologische Gruppen sind Gruppen mit einer topologischen Struktur, bezüglich derer Multiplikation und Inversion stetige Funktionen sind. Sie treten häufig in Mathematik und Physik auf, etwa in Form von Lie-Gruppen. Wir haben mithilfe des Beweisassistenten Isabelle eine Formalisierung topologischer Gruppen entwickelt. Sie enthält grundlegende Eigenschaften topologischer Gruppen sowie ihre uniformen Strukturen. Das wichtigste formalisierte Ergebnis ist der Satz von Birkhoff-Kakutani, welcher ein...     »
Fachgebiet:
DAT Datenverarbeitung, Informatik
DDC:
000 Informatik, Wissen, Systeme
Betreuer:
Karayel, Emin
Gutachter:
Nipkow, Tobias (Prof. Dr.)
Jahr:
2024
Seiten/Umfang:
39
Sprache:
en
Sprache der Übersetzung:
de
Hochschule / Universität:
Technical University of Munich
Fakultät:
TUM School of Computation, Information and Technology
 BibTeX