Les recouvrements des espaces topologiques: espaces complets, espaces bicompacts. (Q2606658)

\(E\) sei eine Menge, \(R\) ein System von Teilmengen, \(A^R\) die Vereinigung derer unter ihnen, die mit der Teilmenge \(A\) von \(E\) einen nicht leeren Durchschnitt haben; \((A^R)^R\) heiße auch \(A^{R^2}\). Sei \(R'\) ein weiteres System von Teilmengen, \(R < R'\) bzw. \(R^2 < R'\) bedeute: \(p^R\subset p^{R'}\) bzw. \(p^{R^2}\subset p^{R'}\) für jeden Punkt \(p\in E\). Für einen topologischen Raum \(E\) heiße \(R\) eine Überdeckung, wenn \(p\) innerer Punkt von \(p^R\) ist. Eine Schar \(C\) von Überdeckungen heißt regulär, wenn (1) zu jedem \(p\) und jedem offenen \(\varOmega\) ein \(R\) in \(C\) mit \(p^R\subset\varOmega\) existiert, (2) zu \(R, R'\in C\) ein \(R''\in C\) mit \(R < R''\), \(R' < R''\) existiert, (3) zu \(R\in C\) ein \(R'\in C\) mit \(R^{\prime2} < R\) existiert. Existiert solch eine reguläre Überdeckungsschar, so ist \(E\) vollständig regulär. Was ein relativ \(C\) bikompakter bzw. vollständiger Raum ist, ist klar. Für die relativ \(C\) vollständigen Räume sind Bikompaktheit und Bikompaktheit relativ \(C\) äquivalente Begriffe.