00:01
We're asked to prove theorem 713 from this chapter.
00:07
Recall what this theorem says.
00:08
It says that if we're given an orthomormal basis, e1 through e .n, of a vector space v.
00:27
And in fact, not just a vector space, but an inner product space.
00:38
And we're given...
00:44
An orthogonal matrix p with entries a .i .j.
01:02
Then it follows that the n vectors, ei, prime, which is a1i1, plus a2ie2, all the way up to a, n, i, the n, where i ranges from one up to n.
01:33
Well, these n vectors, these form an orthonormal basis.
01:43
No, no, he's doing a comeback out.
01:44
I follow him on instagram.
01:46
Yeah, of course he'd say that on instagram.
01:49
For v also.
01:51
They all fucking home, i guess.
01:53
Oh, he's not into coke or yachts anymore.
01:56
He's like out his priorities.
01:58
But he does like smoke weed in the mall.
02:01
That's like his...
02:01
Prove this statement, well, because the set ei is an orthonormal set, it follows by a previous exercise at the inner products of ei prime and ej prime, which these are linear combinations of the ei.
02:26
Well, hey guys, these are the sum of the products of corresponding coefficients.
02:35
So, a1i times a1j plus a2i times a2j, all the way up to plus a.
02:48
A .n .i times a .n .j...