00:01
Given a self -adjoined operator a, we want to show if lambda is an eigenvalue a, then lambda is a real number or equivalent real number.
00:32
The conjugate of lambda must be equal to lambda.
00:36
The first thing we need to notice that we only discuss the self -adjoined property in hilbert space.
00:45
That means once we know this is self -adjoined, we know we must have a hilbert space.
00:55
I mean the inner product is allowed.
00:59
Okay, so now suppose lambda is an eigenvalue for a.
01:08
That means there's some x which is in our hilbert space h.
01:13
Such that ax is equal to lambda x.
01:21
This x is different from zero.
01:23
X is not the zero vector or equivalently the x2 norm is different from zero.
01:32
Which we can say it is strictly greater than zero.
01:39
Strictly greater than zero.
01:46
Okay, now consider the inner product of ax with x.
01:53
From one hand, we know it is equal to lambda x.
01:59
And use the linearity of the inner product for the first coordinate.
02:03
We can plug lambda out.
02:05
Lambda which is equal to lambda times the two norm.
02:15
On the other hand, as a is self -adjoined, we know it can be written as a times ax.
02:22
Because you see a is self -adjoined here...