5
$\begingroup$

Let $E$ be a not normable locally convex space, define $$F: E'\times E\to \mathbb R$$ $$(f,e)\to f(e)$$ I have to show that $F$ is not continuous when $E'\times E$ is given product topology.

I was reading an article and i came across with this fact.. Please give me atleast a hint to start..

My try: I know that $E$ is normable if and only if origin has a convex bounded neighborhood. So i was trying to produce any such neighborhood to contradict to assumption. Assume $F$ is continuous, then we have $\{(f,e): a is open in product topology of $E'\times E$, for any $a,b\in \mathbb R$. This means there is some open set $U'$ in $E'$ and $U$ in $E$ such that $$U'\times U\subset \{(f,e): a
Now let $V:=\{e\in E: a, this is open convex neighborhood of origin, but how to prove this is bounded. Or we have any other way to produce such a neighborhood.

Thanks for your time.

  • 3
    I find the presence of $a,b$ distracting. Since you are constructing a neighborhood of the origin, it's convenient to consider $\{(f,e) : |f(e)|<1\}$ and accordingly $V=\{e: |f(e)|<1 \ \forall f\in U'\}$. // More importantly, you have not really used the assumption that $E$ is locally convex: it carries a family of seminorms, which we can assume directed. // Take any open nbhd of zero $W\subset E$: it contains a nbhd of the form $\{p(x) where $p$ is a seminorm. Now you need a functional $f\in U'$ such that $|f(x)|<\epsilon \implies p(x). Think of Hahn-Banach.2012-12-31
  • 0
    What is $E'$? What topology do you take on $E'$?2014-10-26

1 Answers 1