Zum Kommentar: \(L_\mathbb{C}(W)\) muss nicht unbedingt größer sein als \(W\), z.B. \(L_\mathbb{C}(\mathbb{C})\cong \mathbb{C}\). Dummes Beispiel, aber muss man sich trotzdem mal klarmachen.
Und du hast recht, die Aussage stimmt nicht. Nimm als Obervektorraum \(V=\mathbb{C}^2\) und betrachte die reellen komplementären Vektorräume \(U = L_\mathbb{R}(\{(1,0),(0,1)\})\) und \(W = L_\mathbb{R}(\{(i,0),(0,i)\})\). Die beiden Vektorräume sind natürlich reelle Vektorräume der Dimension 2 und spannen den gesamtem Raum \(V\) auf in der Summe, also sind sie komplementär. Aber \(L_\mathbb{C}(W)\cong \mathbb{C}^2\) ist natürlich nicht komplementär zu \(U\).