Odwzorowanie atomowe

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Odwzorowanie atomowe – odwzorowanie suriektywne f:XY między przestrzeniami topologicznymi X i Y o tej własności, że dla każdego continuum K zawartego w X, którego obraz f[K] ma co najmniej dwa elementy, spełniony jest warunek

f1[f[K]]=K.

Pojęcie odwzorowania atomowego (zakładając dodatkowo ciągłość) wprowadził R.D. Anderson[1], a zastosowane zostało ono później do konstrukcji pewnych szczególnych continuów[2][3]. W 1972 roku Adam Emeryk udowodnił następujące twierdzenie dotyczące odwzorowań atomowych[4]:

Niech X będzie continuum metrycznym oraz dla każdego elementu x przestrzeni X niech Kx będzie również continuum metrycznym. Istnieje wówczas ośrodkowe continuum S spełniające pierwszy aksjomat przeliczalności oraz suriektywne, atomowe odwzorowanie nieprzywiedlne
π:SX
o tej własności, że dla wszelkich xX
π1[{x}]=Kx.
Jeżeli ponadto, X jest continuum nierozkładalnym, to S również jest takie.

Przypisy

Szablon:Przypisy