3
$\begingroup$

Consider the product topology on $\mathbb{R}^{\mathbb{R}}$. My textbook (Willard) describes the basic neighborhood of the zero function, which they label as $g$, as the set

$$U(g) = \{h \in \mathbb{R}^{\mathbb{R}} \mid |h(y) - g(y)| < \epsilon, y \in F\},$$

for some finite set $F \subset \mathbb{R}$ and some $\epsilon > 0$. I'm not quite sure where this comes from. I guess it intuitively makes sense that you'd want the inequality part with the $\epsilon$, but why a finite set $F$? What, in general, does a basic neighborhood of any given function $f: \mathbb{R} \rightarrow \mathbb{R}$ look like in this topology?

$\endgroup$
  • 1
    $\begingroup$ Define, for each $\alpha\in\mathbb R$, the evaluation function: $e_{\alpha}:\mathbb R^{\mathbb R}\to\mathbb R$ defined as $e_{\alpha}(f)=f(\alpha)$. Then the product topology is the smallest topology such that each of the $e_{\alpha}$ is continuous. $\endgroup$ – Thomas Andrews Jan 24 '17 at 0:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.