3
$\begingroup$

In the paper

R. Arens: A Topology for Spaces of Transformations, Ann. of Math. 47(1946), 480-495

the author states in the introduction that if $B$ is a metric space and the space of continuous functions $C(A,B)$ in the compact-open topology is metrizable, then $A$ is hemicompact.

Later on, Theorem 8 says: If $C(A,B)$ satisfies the first axiom of countability and if for all points $x,y \in A$ there is a continuous $f: A \to \mathbb{R}$ with $f(x) \neq f(y)$, then $A$ is hemicompact.

Now, if $C(A,B)$ is metrizable, it's first countable. But I don't know how to find the $f$.

Can anyone give a hint ?

Added: In light of David's comment, it's clear that Theorem 8 alone doesn't imply hemicompactness. Thus the question:

Is it true that if $B$ is a metric space and $C(A,B)$ is metrizable, then $A$ is hemicompact ?

From the quoted Theorem 8 it's clear that if $A$ has in addition the separation property by continuous functions, then it's hemicompact. But since the converse ($A$ hemicompact, $B$ metric $\Rightarrow$ $C(A;B)$ metrizable) is true without this separation property, I wonder if it's really necessary.

$\endgroup$
3
  • $\begingroup$ Why do you think $f$ should exist? It seems the existence of $f$ is an assumption in the second result, rather than a conclusion? Or perhaps I'm too tired. $\endgroup$
    – Mark Grant
    Feb 29, 2012 at 22:44
  • 2
    $\begingroup$ You can't find the f without an additional hypothesis. Let A be an indiscrete space and B a metric space. Then C(A,B) is homeomorphic to B and thus metrizable, but distinct points in A are not separated by continuous real-valued functions. $\endgroup$ Feb 29, 2012 at 22:45
  • $\begingroup$ @David: I see. Thanks for the example. But isn't A in your example compact ? That would mean that Arens' introductory statement could be nevertheless true. $\endgroup$
    – Ralph
    Feb 29, 2012 at 22:57

1 Answer 1

3
$\begingroup$

For regular spaces the implication is false in general: let $A$ be regular and such that all continuous real-valued functions on it are constant (see Problem 2.7.17 in Engelking's General Topology). Then $C(A,B)$ consists of constant functions only whenever $B$ is metrizable (or even just completely regular) and therefore it is metrizable too. However $\sigma$-compact regular spaces are Lindelöf, hence normal, which a space like $A$ definitely is not.

$\endgroup$
1
  • $\begingroup$ Thanks for the answer. I thought about trying such a space (Hewitt's construction to be explicit), but shied away from figuring out how the compact subsets might look like. But just using "regular + $\sigma$-compact $\Rightarrow$ normal" is striking. $\endgroup$
    – Ralph
    Mar 18, 2012 at 11:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.