Diskussion:Überdeckung (Mathematik)

Grafik

Kann jemand vielleicht eine Grafik erstellen, welche eine Überdeckung in der Mathematik veranschaulicht? Zudem könnte man die Definitionen ein wenig erläutern. --132.252.185.42 10:00, 16. Dez. 2014 (CET)

Verfeinerung

Im Artikel steht sinngemäß, dass eine Verfeinerung ein Mengensystem sei, das wiederum eine echte Teilmenge eines anderen Mengensystems (Überdeckung) ist. Ich fand in der 3. Auflage von "Mengentheoretische Topologie" von Boto von Querenburg, dass eine Verfeinerung nicht eine echte Teilmenge, sondern eine echte Obermenge einer anderen Überdeckung sei. Ich hielt es für einen Fehler, da sich in beiden Artikeln, dem englischen und deutschen Artikel über Überdeckungen (auf Wikipedia), eine Definition vorfindet, die Verfeinerungen als Teilmengen bestimmt. Allerdings stieß ich auf erneut auf eine Definition in einem öffentlich zugänglichen Skript der Uni-Stuttgart von Prof. Dr. Michael Eisermann, in dem eine Verfeinerung als größte Topologie auf einer Trägermenge X definiert ist (Topologie - Uni Stuttgart (uni-stuttgart.de)). Man liest wörtlich auf S. 12: "Sind 𝒯₁ ⊆ 𝒯₂ ⊆ 𝔓(𝑋) Topologien auf 𝑋, dann heißt 𝒯₂ feiner als 𝒯₁ und entsprechend 𝒯₁ gröber als 𝒯₂ ."

Bei Boto von Querenburg ebenfalls: "Sind Ο₁ und Ο₂ Topologien auf X, so heißt Ο₁ feiner als Ο₂ ,wenn Ο₂ ᑕ Ο₁." (S.31)

Vielleicht findet sich jemand, der sich auskennt und meine Bemerkung bestätigen oder dementieren kann. --2A02:908:236:C40:D5C9:DBA2:C992:E32 19:46, 1. Mai 2024 (CEST)