Definition 10.2.4 (Complexification of Topological Vector Space).label Let $E$ be a TVS over $\real$, then there exists a pair $(\complex(E), \iota)$ such that:

1. (1)

   $\complex(E)$ is a TVS over $\complex$.

2. (2)

   $\iota: E \to \complex(E)$ is a continuous $\real$-linear map.

3. (U)

   For any pair $(F, T)$ satisfying (1) and (2), there exists a unique continuous $\complex$-linear map $\complex(T): \complex(E) \to F$ such that the following diagram commutes:

   \[\xymatrix{ \mathbb{C}(E) \ar@{->}[r]^{\mathbb{C}(T)} & F \\ E \ar@{->}[u]^{\iota} \ar@{->}[ru]_{T} & }\]

   
   
4. (4)

   $\complex(E) = \iota(E) \oplus i\iota(E)$ as a TVS over $\real$.

The pair $(\complex(E), \iota)$ is the complexification of $E$ as a topological vector space, and

1. (5)

   If $E$ is locally convex, then so is $\complex(E)$.

2. (6)

   If $E$ is normed, then $\complex(E)$ is normable, and there exists a norm $\norm{\cdot}_{\complex(E)}: \complex(E) \to [0, \infty)$ such that $\iota: E \to \complex(E)$ is isometric.

3. (F)

   For any vector space $F$ over $\real$ and continuous $\real$-linear map $T: E \to F$, there exists a unique continuous $\complex$-linear map $\complex(T): \complex(E) \to \complex(F)$ such that the following diagram commutes:

   \[\xymatrix{ \mathbb{C}(E) \ar@{->}[r]^{\mathbb{C}(T)} & \mathbb{C}(F) \\ E \ar@{->}[u]^{\iota} \ar@{->}[r]_{T} & F \ar@{->}[u]_{\iota} }\]

   
   

   which is given by

   \[\complex(T)(x + iy) = Tx + iTy\]