Orthogonal complement in Banach spaces

336 Views Asked by At

Let $X$ be a reflexive Banach space and $(A,D(A))$ a densely defined linear operator in $X$. We define its adjoint by $$D(A'):=\{x'\in X': \sup_{\|x\|\le 1, x\in D(A)}|\langle Ax,x'\rangle|<\infty\}$$ and $\langle x,A'x'\rangle:=\langle Ax,x'\rangle$ for $x'\in D(A')$. Denoting the range of $A'$ by $R(A')$ and its nullspace by $N(A')$, we want to show that $$\overline{R(A')}=N(A)^{\perp}=\{x'\in X':\langle x,x'\rangle=0\forall x\in N(A)\}.$$ ''$\subset$'' is clear to me, but I do not know how to prove the other inclusion: How can one construct a sequence of functionals converging in $X'$ to some given $x'\in N(A)$ from which it is 'only' known that it vanishes on $N(A)$? Can somebody give me a hint? Is reflexivity somewhere involved in this issue? Thank you very much in advance!