- #1
MathematicalPhysicist
Gold Member
- 4,699
- 371
Let X be a compact space, (Y,p) a compact metric space, let F be a closed subset of C(X,Y) (the continuous functions space) (i guess it obviously means in the open-compact topology, although it's not mentioned there) which satisifes:
for every e>0 and every x in X there exists a neighbourhood U of x s.t for every f in F:
f(U) is a subset of B_e(f(x)) which is an open ball with radius e.
prove that F is compact.
well i want to prove that C(X,Y) is compact and then it will follow that F is compact.
now let U(W(C,U))=C(X,Y) which is an arbitrary covering of C(X,Y), i.e for every C compact in X and every U open in Y s.t f(C) is contained in U.
now i need to find a finite covering, now because Y is compact and metric then it is covered by a finite union of open balls, because f in F is continuous then f^-1(B_e(f(x))
is open in X, so finite union of them cover the entire set X, so because every compact set in X is actually covered by a finite union of f^-1(B_e(f(x))) and also every every open set in Y is covered by a finite union of open balls, then C(X,Y) is covered by a finite union of W(C_i,B_e_j(f(x))) s.t C_i is compact in some f^-1(B_e_j(f(x)) i.e f(C_i) is contianed in B_e_j(f(x))), so C(X,Y) is compact and then also F is compact as beiing a closed subset of C(X,Y).
am i right or way off?
thanks in advance.
for every e>0 and every x in X there exists a neighbourhood U of x s.t for every f in F:
f(U) is a subset of B_e(f(x)) which is an open ball with radius e.
prove that F is compact.
well i want to prove that C(X,Y) is compact and then it will follow that F is compact.
now let U(W(C,U))=C(X,Y) which is an arbitrary covering of C(X,Y), i.e for every C compact in X and every U open in Y s.t f(C) is contained in U.
now i need to find a finite covering, now because Y is compact and metric then it is covered by a finite union of open balls, because f in F is continuous then f^-1(B_e(f(x))
is open in X, so finite union of them cover the entire set X, so because every compact set in X is actually covered by a finite union of f^-1(B_e(f(x))) and also every every open set in Y is covered by a finite union of open balls, then C(X,Y) is covered by a finite union of W(C_i,B_e_j(f(x))) s.t C_i is compact in some f^-1(B_e_j(f(x)) i.e f(C_i) is contianed in B_e_j(f(x))), so C(X,Y) is compact and then also F is compact as beiing a closed subset of C(X,Y).
am i right or way off?
thanks in advance.