Continuity of multiplication in a topological (vector) space I'm researching topological vector spaces for my dissertation, and have been reading Functional Analysis by Walter Rudin. In the definition of a TVS, he (and others) state the following.
"Multiplication is continuous means that the mapping $(\alpha, x) \to \alpha x$ is continuous; if $x \in X$, $\alpha$ is a scalar, and $V$ is a neighbourhood of $\alpha x$, then for some $r > 0$ and some neighbourhood $W$ of $x$, it follows that $\beta W \subset V$ whenever $|\beta - \alpha| < r$."
My question is: why doesn't the definition just state "...then for some neighbourhood $W$ of $x$, $\alpha W \subset V$" --- why are the variables $r$ and $\beta$ necessary?
 A: In any useful application of TVS I believe you need the property that if $x_n\rightarrow x\in X$ and $\alpha_n\rightarrow \alpha\in K$ then $\alpha_n x_n \rightarrow \alpha x$, whence this joint continuity property (which is btw very strong). You could create a topology which does not verify joint continuity but I can't think  of any use in applications.
A: What Rudin is saying is that the function $f: K \times X \rightarrow X: (\alpha, x) \rightarrow \alpha x $, where $K$ is the scalar field is continuous when $K \times X$ has the product topology (generated by all sets of the form $U \times V$, $U$ open in $K$, $V$ open in $X$). He doesn't seem to want to assume that the reader knows about topological products.
He then gives the local continuity for this condition: if $W$ is a neighbourhood of $f(\alpha,x)$ we need a basic neighbourhood $U \times V$ of $(\alpha,x)$ in the product such that $f[U \times V] \subseteq W$, and we can assume that $U$ (as open balls form a base in any metric space) is of the form $B_r(\alpha)$, the $r$-ball around $\alpha$, which are all $\beta \in K$ such that $|\beta - \alpha| < r$.
So the existence of $U \times V$ is just the existence of $r>0$ and $V$ a neighbourhood of $x$ such that for all $(\beta,v) \in B_r(\alpha) \times V$, so for all $\beta \in K$ with $|\beta - \alpha | < r$ and all $v \in V$, we have that $f(\beta, v) = \beta v \in W$.
So Rudin just reformulates continuity in the product topology on $K \times V$ without explicitly mentioning products. 
