11
$\begingroup$

Let $V$ be a complex inner product space. If $W$ is a closed subspace of $V$, we may define $W^\perp$ to be the subspace of all vectors $v \in V$ such that $\langle v | w\rangle =0$ for all $w \in W$. Repeating this construction a second time, we obtain the subspace $W^{\perp \perp}$, the double orthogonal complement of $W$. A moment's thought shows that $W \subseteq W^{\perp\perp}$, and $(W^{\perp\perp})^{\perp\perp}= W^{\perp\perp}$. If $V$ is complete, i.e., a Hilbert space, then $W = W^{\perp\perp}$. Presumably, this equality is not true in general, though I don't know of a counterexample. Thus, the equation $W = W^{\perp\perp}$ defines a class of closed subspaces of $V$.

If $X$ is a set, let $\ell^1(X)$ denote the complex inner product space of absolutely summable functions $X \to \mathbb{C}$ with the usual inner product $\langle g |f\rangle= \sum_{x \in X}\overline{g(x)}f(x)$. If $\mathcal H$ is a Hilbert space, let $\mathcal B^1(\mathcal H )$ denote the complex inner product space of trace class operators on $\mathcal H$ with the usual inner product $\langle b | a \rangle = \mathrm{Tr}(b^*a)$.

Which closed subspaces $W \subseteq \ell^1(X)$ satisfy $W = W^{\perp\perp}$? Which closed subspaces $W \subseteq \mathcal B ^1 (\mathcal H)$ satisfy $W = W^{\perp\perp}$? More formally, is it possible in each case to characterize the class of subspaces $W$ satisfying $W = W^{\perp\perp}$ in another natural or revealing way?

Edit. Here is a counterexample that shows that in general $W \neq W^{\perp\perp}$. Let $\ell^2$ be the usual Hilbert space of square summable sequences, and let $\ell^2_f$ be the subspace of sequences that are eventually zero. Let $s\in \ell^2$ be the sequence defined by $(s)_n = \frac 1 n$. Finally, let $W = \ell^2_f \cap \{s\}^\perp$, a closed subspace of $\ell^2_f$.

For all natural numbers $n$, $W$ contains a sequence whose $n^{th}$ element is $-n$, whose $(n+1)^{st}$ element is $n+1$, and whose other elements are $0$. We deduce that $W^\perp \cap \ell^2_f = \{ 0 \}$, so the double orthogonal complement of $W$ in $\ell^2_f$ is all of $\ell^2_f$. However, $W \neq \ell^2_f$ because $W$ does not contain the sequence $(1,0,0, \ldots)$. Thus $W$ is not equal to its double orthogonal complement in the complex inner product space $\ell^2_f$.

$\endgroup$

1 Answer 1

6
$\begingroup$

In relation to the question: is it possible to characterize the class of subspaces $W$ satisfying $W=W^{\perp\perp}$ in another natural or revealing way? A theorem of Amemiya and Araki shows that the partially ordered set of such subspaces forms an orthomodular lattice if and only if the surrounding inner product space is a Hilbert space.

$\endgroup$
1
  • $\begingroup$ Nice find! I removed my answer since there's nothing worth keeping in it. $\endgroup$ Nov 28, 2012 at 20:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.