Homologietheorie

Eine Homologie (altgriechisch ὁμός homos, „ähnlich, gleich“, und λόγος logos, hier: „Verhältnis, Analogie, Proportion“^[1]) ist ein mathematisches Objekt. Sie ist eine Folge von mathematischen Objekten, den Homologiegruppen. Zu den wichtigsten Ausprägungen einer Homologie zählt die singuläre Homologie. Homologien wurden im Bereich der algebraischen Topologie entwickelt. Später wurden sie auch als rein algebraische Objekte betrachtet, woraus sich das Teilgebiet der homologischen Algebra entwickelte. Die ursprüngliche Motivation dafür, Homologiegruppen zu definieren, war die Beobachtung, dass sich Formen durch ihre Löcher unterscheiden lassen (beispielsweise in der Klassifikation der Flächen). Da Löcher aber „nicht da“ sind, ist es nicht offensichtlich, wie man Löcher mathematisch definieren kann. Die Homologie ist ein mathematischer Ansatz, die Existenz von Löchern zu formalisieren. Gewisse „sehr feine“ Löcher sind für die Homologie unsichtbar; hier kann u. U. auf die schwerer zu bestimmenden Homotopiegruppen zurückgegriffen werden.

Im Bereich der algebraischen Topologie sind die Homologien beziehungsweise die Homologiegruppen Invarianten eines topologischen Raums, sie helfen also dabei, topologische Räume zu unterscheiden.

1. ↑ Wilhelm Pape: Handwörterbuch der griechischen Sprache. Braunschweig 31914, Band 2, S. 58–61. Stichwort λόγος, Bedeutung C.5 (Online-Version)