Let C(X,Y) be the continuous functions space between the topological spaces X,Y, with the open-compact topology. prove that if the sequence {f_n} of C(X,Y) converges to f0 in C(X,Y) then for every point x in X the sequence {f_n(x)} in Y converges to f0(x).(adsbygoogle = window.adsbygoogle || []).push({});

here's what I did, let x be in X and for every U_x, neighbourhood, of f0(x) i need to prove that there exists N s.t for every n>=N f_n(x) is in U_x.

but because f_n converges to f_0 in C(X,Y), then for every U open in C(X,Y), s.t f_0 is in U then there exists N s.t for every n>=N f_n is in U, but U is open in C(X,Y) which means that U containes a set W(C,V) which contains f_n, i.e C is compact in X and V is open in Y, s.t f_n(C) is contained in V, but C is compact then so is f_n(C) (cause it's continuous), and thus for every collection of open set in Y which cover f_n(C) also finite union of them covers it.

Now how to relate those matters, if f0(x) in U_x, then let's take a compact set which contains x then from what is given we know that there exists N s.t for every n>=N s.t f_n in W(C,U_x) then f_n(C) is contained in U_x which means that f_n(x) is in U_x.

but here's the catch how do i know that there exists a compact set in X which contains x, unless X is a union of compact sets i don't see how to do this question, any hints?

thanks in advance.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Open compacted topology.

**Physics Forums | Science Articles, Homework Help, Discussion**