Is Inner product continuous when one arg is fixed? In a inner product space with inner product $\langle\ ,\ \rangle$ and real or complex line as its base field, for each point $x$ in the space, is $\langle x,-\rangle$ continuous function on the second argument, and is $\langle - ,x\rangle$ continuous function on the first argument? "Continuous" is defined respect to the topology induced by the inner product.
Thanks and regards!
 A: I think the easiest way is to show that it is a convex function, and then use the theorem that says that if a convex function defined on a convex set, then the function is continuous in every interior point. Since we are talking about $\Bbb{R}^n$, then it is true for all points because $\Bbb{R}^n$ is a convex and open set.
A: Yes.
Fix x in the inner product space, and let $f(y) = \langle y, x \rangle$ denote the inner product function.  Note that this is a linear functional -- that is, it is linear in y, and maps vectors to scalars.
It is a well-known theorem that linear functionals are continuous (on the entire space) if and only if they are bounded.  Here, "bounded" means that there exists a constant M such that $|f(y)| \leq M|y|$ for all y in the space.
That the inner product functional is bounded now follows from the Cauchy-Schwarz Inequality: $|f(y)| \leq |x||y|.$
A: Fix $x$. We have $|\langle x,y\rangle - \langle x,z\rangle| = |\langle x,y-z\rangle|\leq ||x||||y-z||$ by the Cauchy-Schwarz inequality. This gives you easily that $\langle x,-\rangle\colon \mathbf{V}\to\mathbb{F}$ is not only continuous, but uniformly continuous. Similarly for $\langle -,x\rangle$. 
A: If we define $T_x v = \langle v,x\rangle$ then $T_x$ is a linear functional. Since an inner product induces a norm, and thus it is continuous if and only if it is bounded on the unit circle.
And so $|T_x v | = |\langle v,x\rangle | \le \|v\|\cdot \|x\|$ and for $v$ on the unit circle, i.e. $\|v\| = 1$ we have that $T_x$ is indeed bounded and therefore continuous.
The proof is similar if you fix the left argument, however it may not be a linear functional if it is a complex vector space, but rather antilinear (that is linear up to conjugation). The norm is unaffected by that, though, so it's not a big step to overcome.
