Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous mapping.

By the Riesz representation theorem, Hilbert spaces are isometric isomorphic to their own dual spaces. This leads to different notions of duality, which confuses me.

(i) The dual operator of $f^\ast$ is the operator $f^\ast : Y^\ast \rightarrow X^\ast$ defined by $y^\ast \mapsto ( x \mapsto y^\ast( f x ) )$

(ii) The dual operator is the adjoint, i.e. the unique operator $f^\ast : Y \rightarrow X$ such that $\forall x \in X, y \in Y : \langle fx,y \rangle_Y = \langle x,f^\ast y \rangle_X$

The transition between these two different notions is full and faithfully functiorial, to say it like that. - Nevertheless, I would like to differ between these two notions of duality; just think in analysis of the Hilbert space $H^1_0$ and its dual $H^{-1}$. But I even don't think speaking about "different dualities" is not a crime.

So, I would to know whether there are different words for this, whether these are really different concepts (except whether I use the isometry or not) and in which contexts, generally, to use these two appropiately. Although I think at least in the less algebraic parts of mathematics it would be helpful not to implicitly use the Riesz representation, this seems to be always swept under the rug.

share|improve this question
3  
The first is defined completely in terms of the linear structure while the second requires the inner product. Call the first one the dual and the second the adjoint. Use $\ast$ for the first one and $\dagger$ for the second one. –  Qiaochu Yuan Jul 23 '11 at 3:09
    
I use the notion "dual" for the first one and "Hilbert space dual" for the second one... –  Dirk Jul 23 '11 at 6:41

1 Answer 1

Hello!

Like Mr Yuan suggested, call the first one 'dual' and write $f^\*$ and the second one adjoint and write $f^\dagger$. Then a fairy simple calculation shows, that $f^\*$ and $f^\dagger$ are closely related to each other:

Let $i: X \to X^\*$ and $j: Y \to Y^\*$ be the operators coming from the Riesz's represantation theorem. Then for any $y' \in Y^\*$ and $x \in X$ there holds:

$\langle j^{-1}\cdot y', f \cdot x\rangle = \langle f^\dagger \cdot j^{-1} \cdot y, x\rangle$.

On the right hand side we have: $\langle f^\dagger \cdot j^{-1} \cdot y', x\rangle = i \cdot f^\dagger \cdot j^{-1} \cdot y' \cdot x$,

while on the right hand side there is: $\langle j^{-1} \cdot y', f \cdot x \rangle = y' \cdot f\cdot x = f^\* \cdot y' \cdot x$

That for we get: $f^\* \cdot y' \cdot x = i \cdot f^\dagger \cdot j^{-1} \cdot y' \cdot x$. Since this holds for all $x \in X$, there must be $f^\* \cdot y' = i \cdot f^\dagger \cdot j^{-1} y'$ for all $y' \in Y^\*$ and we can conclude, that

$f^\* = i\cdot f^\dagger \cdot j^{-1}$.

If you don't destinguish between $X$ and $X^\*$ and $Y$ and $Y^\*$ respectively, then $f^\* = f^\dagger$.

Kind regards Konstantin

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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