11
$\begingroup$

I used to think that if we say $f$ is a function from a set $X$ to $Y$ then this implied that $f$ was defined on all of $X$. Because the definition of function is that it's a set $\{(x,y) \mid \text{ for every } x \in X \text{ there is exactly one } (x,y) \text{ where } y \in Y \}$.

Now I'm reading the definition of closed graph of a linear operator:

enter image description here

So a linear operator is somehow not a function. But then what is it? Why does it make sense to say that $T$ is a map from $X$ to $Y$ when it's not even defined on all of $X$?


In response to comment:

enter image description here


Edit

Perhaps my question is: why and when does it make sense to say $T:X \to Y$ is a linear operator when $T$ is not even defined on all of $X$?

  • 1
    Re: Edit. Apart from *very* sloppy people no-one says "$T\colon X \to Y$ is a linear operator" if $T$ isn't everywhere defined. The domain of definition is a crucial part of the data -- the "same" operator can behave differently depending on the domain, see Paul's answer. People might say "$T$ *is a densely defined operator on* $X$" if the domain $D$ is understood but such abuse of language usually goes no further. Typically the (formal) operator $T$ is clear from the problem at hand, but neither $D_T$, $X$, nor $Y$ is fixed a priori. They're suitably chosen depending on what you want to do.2012-08-15

2 Answers 2

15

This is an admittedly confusing abuse of terminology which your book appears to make even more confusing by using somewhat nonstandard terminology. The following is more standard but also confusing in its own way. For what follows let $X$ and $Y$ be Banach spaces.

A bounded linear operator from $X$ to $Y$ is a function $T: X \to Y$ which is linear and norm continuous.

An unbounded linear operator from $X$ to $Y$ is a pair $(T,D_T)$ where $D_T$ is a linear subspace of $X$ and $T: D_T \to Y$ is a linear map.

Comments:

  • An unbounded linear operator from $X$ to $Y$ is not in general a function from $X$ to $Y$, and the definition does not claim it is. The phrase "from $X$ to $Y$" is part of what is being defined.

  • Because unbounded operators are not functions, extra care must be taken: two unbounded linear operators from $X$ to $Y$ cannot necessarily be added, and given unbounded linear operators from $X$ to $Y$ and from $Y$ to $Z$ they do not necessarily have a composition.

  • "Unbounded" really means "not necessarily bounded"; every bounded linear operator is an unbounded linear operator.

  • Some authors require that the domain $D_T$ of $T$ is a dense subspace of $X$. With this convention one can conceive of operators which are neither bounded nor unbounded. When this is not part of the definition, the assumption is added via the phrase "densely defined".

  • Adjoints can be very confusing: there are densely defined unbounded operators such that the largest possible domain of definition for the adjoint is $\{0\}$.

The only real way to sort through all of this language is to look at some examples and results. The theory was invented by Von Neumann in the 20's to make precise sense of what physicists were doing in quantum mechanics. They had stumbled onto the idea that classical notions like position and momentum can be profitably viewed as linear operators on Hilbert space which satisfy certain relations. Mathematicians noticed, however, that there are no bounded operators on Hilbert space which satisfy these relations, and in particular the physicists' use of spectral theory had no mathematical basis. So Von Neumann invented the language of unbounded operators to make sense of the operators that physicists were doing. In particular he generalized the spectral theorem to certain classes of unbounded operators.

Maybe it would help to look at a quick example. Consider the operator $D = i \frac{d}{dx}$, a linear map $C_{per}^\infty[0,1] \to C_{per}^\infty[0,1]$, the space of smooth periodic functions on the interval $[0,1]$. Notice that $D$ has a rich supply of eigenfunctions: setting $e_n(x) = e^{-2 \pi i n x}$, we find that $e_n$ is an eigenfunction of $D$ with eigenvalue $2 \pi n$. The set of functions $\{e_n\}$ forms an orthonormal basis for the Hilbert space $L^2[0,1]$, so even though $D$ isn't an operator on $L^2[0,1]$ we can in a sense diagonalize it and use Hilbert space techniques to study it.

By contrast, consider the same operator $D = i \frac{d}{dx}$, this time viewed as a linear map $C_0^\infty(0,1) \to C_0^\infty(0,1)$, the space of smooth functions on the interval $[0,1]$ which vanish at $0$ and $1$. Now the only eigenfunctions for $D$ are constant functions, so it is not clear how one would diagonalize $D$. Secretly we know that we should just enlarge the domain of $D$ to include all periodic functions, but this isn't immediately obvious. Part of Von Neumann's accomplishment was to understand abstractly why $D$ with the domain $C_{per}^\infty[0,1]$ is "good" but $D$ with the domain $C_0^\infty(0,1)$ is not.

  • 0
    Dear @PaulSiegel, thank you. I only saw your comment now, I'm sorry. You can ping/notify people by using "@username".2012-08-15
5

A linear operator $T$ is actually a pair $(D_T,T)$, where $D_T$ is a subspace of $X$ and $T\colon D_T\to Y$ is a linear map. So two linear operators $S$ and $T$ are considered to be equal if they have the same domain $D$, and $Sx=Tx$ for all $x\in D$.

This allows to consider the concept of extension: $(D_T,T)$ is an extension of $(D_S,S)$ if $D_S\subset D_T$ and for all $x\in D_S, Sx=Tx$.