* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Chapter 4 Compact Topological Spaces
Sheaf (mathematics) wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Continuous function wikipedia , lookup
Surface (topology) wikipedia , lookup
Geometrization conjecture wikipedia , lookup
Covering space wikipedia , lookup
Fundamental group wikipedia , lookup
Proof. â Assume that x is an accumulation point of (xα )αâJ . By the definition of
accumulation point of a net we have for each open set U containing x
KU = {α â J : xα â U } is cofinal in J.
(4.9)
Let K = {(α, U ) â J à Nx : xα â U }, where Nx is the collection of all open sets
containing x. From Eq. (4.9), KU 6= Ï. (Fix α â J. Now KU is cofinal in J implies
there exists β â KU such that β ⥠α.) For (α, U ), (β, V ) â K define (α, U ) ⤠(β, V )
if and only if α ⤠β and V â U (reverse set inclusion). It is easy to see that (K, â¤)
is a directed set. It is given that (xα )αâJ is a net in X. Hence (J, â¤) is a directed set
and f : J â X is such that f (α) = xα . Now define g : K â J as g(α, U ) = α (refer
Eq. (4.9)).
Claim: g(K) is cofinal in J.
So take α â J. Now KU is cofinal in J (refer Eq. (4.9)) there exists β â KU
such that β ⥠α. Now β â KU implies xβ â U that is (β, U ) â K is such that
g(β, U ) = β ⥠α implies g(K) is cofinal in J. Also (α, U ), (β, V ) â K, (α, U ) ⤠(β, V )
implies g(α, U ) = α ⤠β = g(β, V ). Hence f ⦠g : K â X is a subnet of f (or say
f (α) = (xα )). Now let us prove that this subnet converges to x. So take an open set
U containing x. This implies KU is cofinal in J. Fix (α0 , U ) â K. Now α0 â J, KU
is cofinal in J implies β0 â KU such that β0 ⥠α0 . Hence (α, V ) â K, (α, V ) â¥
(α0 , U ) implies (f ⦠g)(α, V ) = f (α) = xα â V â U . That is for each open set U
containing x there exists (α0 , U ) â K such that (α, V ) â K (α, V ) ⥠(α0 , U ) implies
(f ⦠g)(α, V ) â U . This proves that f ⦠g â x.
Conversely, suppose there is a subnet of (f (α))αâJ = (xα )αâJ which converge
to an element x â X. A subnet of f converges to x means there exists a directed set
104