Überall maximale Funktionen (Q2528101)

Es wird die Existenz von ,,Maximalfunktionen'' untersucht. Genauer: Es wird eine notwendige und hinreichende Bedingung dafür angegeben, daß zu einem topologischen Raum \(X\) eine irreflexiv totalgeordnete Menge \(Y\) und eine Funktion \(f\colon X\to Y\) existiert, welche in jedem Punkt von \(X\) ein lokales Maximum hat. Eine Maximalfunktion existiert nämlich genau dann, wenn jedem Punkt \(x\in X\) eine Umgebung zugeordnet werden kann, so daß für kein \(n\)-Tupel paarweise verschiedener Punkte \(x_1, \ldots, x_n\) aus \(X\) gilt: \(x_1\in V(x_2)\), \(x_2\in V(x_3), \ldots, x_n\in V(x_1)\).