00:01
Okay, so given to self -adjoint operators, t1 and t2, recall that an operator t is self -adjoint.
00:08
If, okay, it's a joint, it's just itself.
00:12
Okay, so what we want to show is that t -1 times t -2 is self -adjoint.
00:19
Okay, so in this case, okay, right here.
00:26
If and only if, okay, t -1 and t -2 commute.
00:29
So t1, t2 equals t2, t1.
00:34
Okay, so this is the conclusion that we're trying to reach.
00:37
So t1 and t2 is self -adjoint if and only if t -1 and t2 commute.
00:41
Okay, so how would we go about showing something like this? well, let's first show the first direction.
00:47
So we're given that t1, t2, a joint is equal to t1, t2, and we want to show that they commute.
00:56
Well, how do we go about doing this? well, let's expand the left -hand side of this...