2
$\begingroup$

Suppose that $f$ is the continuous function from $X^2$ to $I=[0,1]$ and $K$ is the compact subset of $X$. Define the function $F$ from $X$ to $I^K$ by $F(x)(b)=f(x,b)$. The topology on the space $I^K$ is compact-open topology. Is $F$ continuous?

1 Answers 1

3

Theorem 3.4.1 of Engelking’s General Topology says that for every pair of topological spaces $X$ and $Y$, the compact-open topology on $Y^X$ is proper. Just before Proposition 2.6.11 he defines the notion of a proper topology on $Y^X$ as follows:

A topology on $Y^X$ is proper if for every space $Z$ and any $f\in Y^{(Z\times X)}$, the function $F:Z\to Y^X$ defined by $\big(F(z)\big)(x)=f(z,x)$ is continuous.

Take his $X,Y,Z$ to be your $K,I,X$, respectively, and you have the desired result: your $F$ is continuous.

  • 0
    $I^K$ denotes the function space here.2012-01-04