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)