Talk:Compact-open topology

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Stub Class	Mid Priority	Field: Analysis
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Cronholm144 04:20, 23 May 2007 (UTC)

[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)

[edit] 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)