11
$\begingroup$

We learned that if $V$ is a finite inner product space then for every linear transformation $T:V\to V$, there exists a unique linear transformation $T^*:V\to V$ such that $\forall u, v \in V: (Tv, u)=(v, T^*u)$.

The construction of $T^*$ used the fact that $V$ is finite and therefore has an orthonormal basis, which is not the case had it been infinite.

Are there infinite dimension inner product spaces such that not all linear transformations have an adjoint? Or is it somehow possible to extend this definition to infinite spaces as well?

3 Answers 3

8

This is true for (edit: bounded operators on) Hilbert spaces thanks to the Riesz representation theorem. It is false in general: let $e_1, e_2, ...$ be a sequence of orthogonal unit vectors in some infinite-dimensional Hilbert space and let $V$ be their span. Then the linear transformation

$T(e_i) = e_1 + e_2 + ... + e_i$

does not have an adjoint, since $\langle T(e_i), e_j \rangle = 1$ whenever $j \le i$, but $\langle e_i, T^{\ast}(e_j) \rangle$ must be $0$ for sufficiently large $i$ and fixed $j$ for any linear operator $V \to V$. This example can be modified so that $T$ is bounded.

If you are not familiar with Hilbert space theory, beware that the definition of "orthonormal basis" is different: it does not refer to a Hamel basis (which is what the word "basis" ordinarily means) but a collection of orthogonal unit vectors such that only the zero vector is orthogonal to all of them. Equivalently, it refers to a collection of orthogonal unit vectors whose span is dense (not the whole space).

  • 0
    @daniel.jackson: @Qiaochu is right; the space of just the polynomials is not a Hilbert space because it's not complete, but a suitable function space, for instance the space of all square-integrable functions on $[a,b]$, is a Hilbert space and orthogonal polynomials form a (Hilbert, not Hamel) basis for it.2011-03-26
4

Let's look at an example. Take the vector space $\mathbb{R}[x]$ of all real polynomials in one variable and define an inner product as

$\left( \sum_{j=0}^n a_jx^j, \sum_{k=0}^m b_kx^k \right)=\sum_{h=0}^{\min(n,m)}a_hb_h.$

Now let $T$ be the linear operator such that

$T\sum_{j=0}^n a_jx^j=\sum_{j=0}^n a_j+\left(\sum_{j=1}^na_j\right)x+\ldots + (a_{n-1}+a_n)x^{n-1}+a_nx^n.$

Think $T$ like the operator represented by the infinite matrix below:

$\begin{bmatrix} 1 & 1 & 1 & \ldots \\ 0 & 1 & 1 & \ldots \\ 0 & 0 & 1 & \ldots \\ \vdots & \vdots & \vdots & \ddots \\ \end{bmatrix}$

Should $T$ have an adjoint with respect to the inner product $(,)$, it should be somehow associated to this infinite matrix:

$\begin{bmatrix} 1 & 0 & 0 & \ldots \\ 1 & 1 & 0 & \ldots \\ 1 & 1 & 1 & \ldots \\ \vdots & \vdots & \vdots & \ddots \\ \end{bmatrix}$

but this makes no sense in $\mathbb{R}[x]$. Formally, let's suppose such an adjoint operator $T^\star$ exists. Fix $k \in \mathbb{N}$: who is $T^\star x^k$? For all $n=0, 1,\ldots$, we should have

$(x^n, T^\star x^k)=(T x^n, x^k)=(1+\ldots+ x^n, x^k)=\begin{cases}1 & n \ge k \\ 0 & n

this means that $T^\star x^k$ should be a polynomial with degree $\ge n$ for all $n\in \mathbb{N}$. So, $T$ hasn't got an adjoint.


The reason for it is that the mapping

$P \in \mathbb{R}[x] \mapsto (P, \cdot) \in \mathbb{R}[x]^\star$

(here $\mathbb{R}[x]^\star$ is the algebraic dual space of $\mathbb{R}[x]$) is not an isomorphism, because it is not surjective. In fact it can be shown that $\mathbb{R}[x]^\star$ can be represented as $\mathbb{R}[[x]]$, the space of formal power series with real coefficients.

  • 0
    @joriki, @Qiaochu: Exactly, joriki! I mean, my example is nothing more than a reformulation of Qiaochu's one. Then why did I publish it? Because it doesn't make use of Hilbert space language but only of familiar objects like polynomials and matrices. So I thought it might add something to the discussion, especially because the OP says he has little familiarity with Hilbert spaces. Sorry for the misunderstanding, Qiaochu.2011-03-26
3

It is possible to define adjoints on infinite-dimensional inner product spaces, but things get more complicated. Bounded linear operators on Hilbert spaces always have well-behaved adjoints, but for unbounded operators the domain of the adjoint may differ from the domain of the operator, and may in fact be just the zero subspace. For the nice case, see this. For the uglier cases, see this, especially the examples beginning on p. 15.

  • 0
    @daniel.jackson: Yes, it's possible; both Qiaochu and dissonance construct such a $T$ in their answers.2011-03-26