2
$\begingroup$

I'm a bit confused about the following part in Sir Michael Atiyah's "K-Theory."

Let $E = X \times V$ and $F = X\times W$, and let $\phi: E\to F$ be a vector bundle homomorphism. Why is the induced map $\Phi: X \to Hom(V,W)$ continuous? $V$ and $W$ are finite dimensional vector spaces (over $\mathbb{C}$).

To be a bit more precise, for $(x,v) \in E$, $\phi(x,v) = (x,\Phi(x)v)$.

  • 0
    Ah, you just beat me to that very argument.2011-01-07

1 Answers 1

4

The map \Phi':X\times V\to W such that \phi(x,v)=(x,\Phi'(x,v)) is continuous. By properties of the the compact-open topology of function spaces, it follows that the map $\Phi:X\to\mathrm{Map}(V,W)$ such that \Phi(x)(v)=\Phi'(x,v) is also continuous. Now $\Phi$ actually takes values in $\hom(V,W)$, whose usual topology actualy coincides with the restriction of the compact-open topology of $\mathrm{Map}(V,W)$, so the restriction $\Phi:X\to\hom(V,W)$ is continuous.