The first point is fine. For the second, fix $(v_0,\alpha_0)\in V\times K$ and $\varepsilon >0$. We have to find $\delta>0$ such that if $|\alpha-\alpha_0|\leq \delta$ and $|v-v_0|\leq \delta$ then $\lVert \alpha_0v_0-\alpha v\rVert\leq \varepsilon$. We have
\begin{align}
\lVert \alpha_0v_0-\alpha v\rVert&\leq \lVert \alpha_0v_0-\alpha v_0\rVert+
\lVert \alpha v_0-\alpha v\rVert\\
&=|\alpha_0-\alpha|\lVert v_0\rVert+|\alpha|\lVert v-v_0\rVert\\
&\leq |\alpha_0-\alpha|(\lVert v_0\rVert+\lVert v-v_0\rVert)+|\alpha_0|\lVert v-v_0\rVert.
\end{align}
We take $\delta$ such that $\delta^2+\delta(\lVert v_0\rVert+|\alpha_0|)\leq \varepsilon$ (which is possible).
In this case, $\lVert \alpha_0v_0-\alpha v\rVert\leq \varepsilon$ when $|\alpha-\alpha_0|\leq \delta$ and $|v-v_0|\leq \delta$.
You have the following inclusions:
$$\{ \textrm{inner product vector spaces} \} \subsetneq \{ \textrm{normed vector spaces} \} \subsetneq \{ \textrm{metric spaces} \} \subsetneq \{ \textrm{topological spaces} \}.$$
Going from the left to the right in the above chain of inclusions, each "category of spaces" carries less structure. In inner product spaces, you can use the inner product to talk about both the length and the angle of vectors (because the inner product induces a norm). In a normed vector space, you can only talk about the length of vectors and use it to define a special metric on your space which will measure the distance between two vectors. In a metric space, the elements of the space don't even have to be vectors (and even if they are, the metric itself doesn't have to come from a norm) but you can still talk about the distance between two points in the space, open balls, etc. In a topological space, you can't talk about the distance between two points but you can talk about open neighborhoods.
Because of this inclusion, everything that works for general topological spaces will work in particular for all other spaces, but there are some things you can do in (say) normed vector spaces which don't make sense in a general topological space. For example, if you have a function $f \colon V \rightarrow \mathbb{R}$ on a normed vector space, you can define the directional derivative of $f$ at $p \in V$ in the direction $v \in V$ by the limit
$$ \lim_{t \to 0} \frac{f(p + tv) - f(p)}{t}. $$
In the definition, you are using the fact that you can add the vector $tv$ to the point $p$. If you try to mimick this definition in a topological space, then since the set itself doesn't have the structure of a vector space, you can't add two elements so this definition doesn't make sense. That's why during your studies you sometimes restrict your attention to a smaller category of spaces which has more structure so you can do more things in it.
You can discuss the notions of continuity, compactness only in the category (context) of topological spaces (but for reasons of simplicity it is often done in the beginning of one's studies in the category of metric spaces). However, once you want to discuss differentiability, then (in first approximation, before moving to manifolds) you need to restrict your category and work with normed vector spaces. If you also want to discuss the angle that two curves make, you will need to further restrict your category and work with inner product vector spaces in which the notion of angle makes sense, etc.
Best Answer
You have to be a bit more precise, there are several norms that induce the product topology on $V \times V$.
We have $$\|(v_1,v_2)\|_2 = \sqrt{\|v_1\|^2 + \|v_2\|^2}$$ as what you probably mean by the Euclidean one and $$\|(v_1, v_2)\|_1 = \|v_1\| + \|v_2\|$$
and $$\|(v_1,v_2)\|_\infty = \max\left(\|v_1\|,\|v_2\|\right)$$
as two other ones. All of these can checked to be valid norms on $V \times V$.
As we have $$\|(v_1,v_2)\|_\infty \le \|(v_1,v_2)\|_1 \le \|(v_1,v_2)\|_2 \le \sqrt{2}\|(v_1,v_2)\|_\infty$$ from the usual inequalities of reals, we can argue that all these norms on $V \times V$ are equivalent.
And as $B_{\infty}((v_1,v_2), r) = B(v_1,r) \times B(v_2,r)$ it's also not too hard to argue that the $\|\cdot\|_\infty$ surely induces the product topology. (open balls form a base, and products of open balls (from $V$) thus form a base for $V \times V$ etc.).