Concerning uniordered spaces (Q567087)

\(Z\) bezeichne immer ein solches System abgeschlossener Punktmengen, daß\ sowohl die Summe je zweier Elemente von \(Z\) als auch jede abgeschlossene Teilmenge jedes Elementes von \(Z\) Element von \(Z\) ist. Definition: Ein separabler metrischer Raum \(S\) heißt ``uniordered'' in bezug auf ein System \(Z\), wenn jeder Punkt \(p\) eine abnehmende Folge von Umgebungen \(U_n\) besitzt, deren Begrenzungen \(B_n\) zu \(Z\) gehören, und für welche \(p\) der einzige Punkt des Durchschnittes aller \(U_n+B_n\) ist. Problem (von \textit{Whyburn}): Kann jeder separable metrische Raum \(S\), der ``uniordered'' in bezug auf ein System \(Z\) ist, eineindeutig und stetig in einen separablen metrischen Raum \(T\) abgebildet werden, in dem jeder Punkt \(p\) in beliebig kleinen Umgebungen enthalen ist, deren Begrenzungen Bilder von Elementen von \(Z\) sind? Die Antwort lautet im allgemeinen nein, jedoch ja, falls alle Elemente von \(Z\) kompakt sind.