Moore-féle hányados tértétel

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 .

Formulációk

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 .

Jegyzetek

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 .

Változatok és általánosítások

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 .

Irodalom