Moore hányadostér-tétele, a kétdimenziós topológia klasszikus állítása, elegendő feltételt ad arra, hogy egy gömb hányadostere homeomorf egy kétdimenziós gömbhöz.
Robert Moore bizonyította 1925 - ben .
Legyen egy kétdimenziós gömb szürjektív folyamatos leképezése egy Hausdorff-térre . Tételezzük fel, hogy bármely pontban az előkép és a komplementere összefügg . Ekkor homeomorf , ráadásul a leképezés a homeomorfizmusok határa .
A tétel ekvivalens megfogalmazása az ekvivalenciareláció nyelvén a -n . A leképezés egy ekvivalencia relációt definiál -on , a következőképpen definiálva
Az ekvivalenciaosztályok zárt halmazok félig folytonos családját alkotják. Vagyis ha , és bármelyik esetén , akkor .
A szoros homeomorfizmus létezéséhez szükséges magasabb dimenziókban a sokaságból a Hausdorff-térbe történő szurjektálásnak sejtesnek kell lennie . Ez azt jelenti, hogy bármely ponthoz és bármely nyitott halmazhoz , amely előképet tartalmaz , találhatunk egy zárt halmazt , amely homeomorf egy labdára, úgy, hogy .