Caro wrote:Staat dat niet in dat bewijs?
waarschijnlijk impliciet maar zeker niet expliciet
er worden enkel kaarten geconstrueerd in het bewijs en aangetoond dat ze een atlas vormen en enkel AT3 staat er expliciet in
AT1 is omdat de unie van alle open omgevingen van alle punten van X, X is
AT2 omdat de doorsnede van 2 omgevingen een omgeving is van hetzelfde punt zolang het niet de lege verz is (beeld van lege verz zelf is lege verz en dus ook open)
kanoniek
D open in X <=> voor alle kaarten in de atlas (f, V doorsnede X):
f(D doorsnede V doorsnede X) open in R(n+m)
spoor
D open <=> D = X doorsnede V met V open in R(n+m)