Talk:Compact-open topology

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)

Continuity of the composition map
The conditions for the composition map to be continuous looks very strange to me. A regular space is usually already Hausdorff (unless you use strange and very non-Bourbaki definitions) and one usually only talks about a space being locally compact if it is already Hausdorff. Plus the locally compact condition is need on Y rather than X when composing maps from X to Y to Z. I've edited the page, following Dugundji's book. --Giansira (talk) 12:18, 29 January 2008 (UTC)


 * Please note the conventions used on Wikipedia: regular spaces need not be Hausdorff, nor do locally compact spaces. Also note that the composition was from Z to X to Y. You've also weakened the statement by unnecessarily requiring the first and last of these to be Hausdorff. I'm going to partially revert, but I'll try to reword things to be more clear. -- Fropuff (talk) 18:39, 29 January 2008 (UTC)

Typo in introduction?
In the first sentence of the second paragraph in the introduction:

If the codomain of the functions under consideration have a uniform structure or a metric structure then the compact-open topology is the "topology of uniform convergence on compact sets."

Shouldn't it rather be:

If the codomain of the functions under consideration has a uniform structure or a metric structure then the compact-open topology is the "topology of uniform convergence on compact sets."

as the uniform structure is a property of the codomain, not the functions? 2001:638:60E:1E03:33FC:2810:F67D:4E40 (talk) 14:38, 7 October 2018 (UTC)