Product of locally convex spaces (source code)

= Product of locally convex spaces

The product topology on $X\times Y$ is generated by the seminorms $(x,y)\mapsto p(x)$ and $(x,y)\mapsto q(y)$. Its continuous dual is canonically $X^*\oplus Y^*$.