Talk:Compact-open topology
From Wikipedia, the free encyclopedia
[edit] Subbases on the codomain
I qualified the statement
- If S is a subbase for Y, then the collection {V(K, U) : U in S} is a subbase for the compact-open topology on C(X, Y).
with the condition that the domain X be Hausdorff. If someone has a reference (or easy proof) that this is true for arbitrary X I would like to see it. -- Fropuff 17:59, 27 October 2006 (UTC)