3
$\begingroup$

Let $(X,\tau)$ be a locally convex topological vector space and denote the product space

$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$

If we endow $X^{\infty}$ with the topology induced by projection, i.e. for $\{x^n\}_{n\geq 1}\subset X^{\infty}$ and $x\in X^{\infty}$ then

$$x^n\to x\Longleftrightarrow x^n_i\to x_i,~ \forall i\geq 1$$

My question is whether $X^{\infty}$ is a locally convex space? Maybe my question is naive, but please let me know if someone knows the result. Many thanks!

$\endgroup$
1
  • 1
    $\begingroup$ I edited the title into the form of a question. In the future, please try to put (a short version of) the question in the title, rather than titling posts "question about ...". $\endgroup$ Jan 28, 2014 at 4:27

1 Answer 1

9
$\begingroup$

Yes. A vector space is locally convex iff its topology can be defined by a family of semi-norms. Just take all semi-norms on $X$ composed with one of the projections.

$\endgroup$
4
  • $\begingroup$ Thanks a lot for your reply. Thus if the dual space of $X$ is denoted by $X^{\ast}$, then the dual space of $X^{\infty}$ is $(X^{\ast})^{\infty}$, is it right? $\endgroup$
    – CodeGolf
    Jan 22, 2014 at 9:05
  • 1
    $\begingroup$ Certainly not! Why should that be true? $\endgroup$
    – abx
    Jan 22, 2014 at 9:18
  • $\begingroup$ Sorry I made a mistake, it is not true. $\endgroup$
    – CodeGolf
    Jan 22, 2014 at 9:22
  • 2
    $\begingroup$ The dual of the product $X^\infty$ is the countable direct sum of the duals. $\endgroup$ Jan 28, 2014 at 7:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.