Complexifying a real Banach space and its dual - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:12:49Z http://mathoverflow.net/feeds/question/121437 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/121437/complexifying-a-real-banach-space-and-its-dual Complexifying a real Banach space and its dual Fred Dashiell 2013-02-11T00:48:57Z 2013-02-13T12:41:29Z <p>A standard way to define the "complexification" $E_\mathbb{C}$ of a real Banach space $E$ is to define a complex linear structure on $E\times E$ by (1) $(x,y)+(u,v)=(x+u, y+v)$, (2) $(a+ib)(x,y)=(ax-by, bx+ay)$ and a norm by (3) $\|(x,y)\|^\mathbb{C}=\sup_{\theta\in [0,2 \pi]}\|\cos(\theta)x+\sin(\theta)y\|$. (That $\|\cdot\|^\mathbb{C}$ is a norm requires a little proving.)</p> <p>This definition gives us what we want when going from real $C(K)$ or $l_p$, etc., to their complex versions.</p> <ol> <li><p>I believe I can show that the (complex) Banach dual of $E_\mathbb{C}$ is the complexification of the real dual $E^*$, i.e., $(E_\mathbb{C})^* = (E^*)_\mathbb{c}$. But my proof is somewhat messy. This must surely be in the literature somewhere! Can anyone suggest a reference?</p></li> <li><p>How about the converse? What if we know that $E_\mathbb{C} = V^*$ for some complex Banach space $V$. Is $E$ the (real) Banach dual of some Banach space? (Again, a reference would be appreciated).</p></li> </ol> <p>[Edit Feb. 13, 2013] Based on Bill Johnson's comment below, perhaps I should motivate the question a bit, and revise question 2. For a compact space $K$, we know that the Banach space $C(K)$ over the real scalars is isometrically the dual of a real Banach space if and only if $C(K)$ over the complex scalars is isometrically the dual of some complex Banach space. A standard proof is particular to the situation, going through hyperstonian spaces $K$ and normal measures. I was wondering if this is just a special case of a more general fact. So here is a revision of 2. </p> <p>Q3. Suppose $E$ is a real Banach lattice and the complexification $E_\mathbb{C}$ is a Banach dual space. Must $E$ then be the dual of some real Banach space?</p> http://mathoverflow.net/questions/121437/complexifying-a-real-banach-space-and-its-dual/121545#121545 Answer by Bill Johnson for Complexifying a real Banach space and its dual Bill Johnson 2013-02-12T01:26:17Z 2013-02-12T01:26:17Z <p>Not an answer, but this is a bit long for a comment. </p> <p>A Banach space is a dual space iff there is a total family of continuous linear functionals so that the unit ball of the space is compact in the weak topology on the space generated by the family of functionals. From this it is easy to see that if $E_\Bbb{C}$ is a dual space, then $E_\Bbb{C}$ is a dual space when considered as a real Banach space, which implies that there is a norm on $E\oplus E$ which is a dual norm and the projections onto the copies of $E$ have norm one. </p> <p>This suggests the following questions, which as far as I know are open problems.</p> <ol> <li><p>If $E\oplus E$ is isomorphic to a dual space, is $E$ isomorphic to a dual space? This question is equivalent to: if $E_\Bbb{C}$ is isomorphic to a dual space, is $E$ isomorphic to a dual space? </p></li> <li><p>Same as (1), but with the additional condition that $E$ be separable.</p></li> <li><p>Is every complemented subspace of a separable dual space isomorphic to a dual space? </p></li> </ol> http://mathoverflow.net/questions/121437/complexifying-a-real-banach-space-and-its-dual/121707#121707 Answer by Fred Dashiell for Complexifying a real Banach space and its dual Fred Dashiell 2013-02-13T12:21:40Z 2013-02-13T12:41:29Z <p>This is a response to the request for references, but not an answer to Q3. I came across a related paper: "Complexifications of real Banach spaces, polynomials and multilinear maps", by Munoz, Sarantopoulos, and Tonge, Studia Math. 134 (1999), 1-33.</p> <p>They point out that there are many different ways to put a reasonable norm on the algebraic complexification $E\times E$.</p>