Difficulty with EASY equivalence statement

[Emieno]

Again before I go to bed, I would like to only say that I was not saying that x=y, but just *because they are arbitrary, so we can replace the x with y or y with x*.

I am sure you can also say <Sy|x>=<Ty|x> , because S=T;

 

[Hurkyl]

I think you have the quantifiers wrong, Oxymoron, and that's the source of your problem:

$$\left( \forall x \in \mathcal{H}: Ax = 0 \right) \implies A = 0$$

is the statement, and is trivial to prove. (What's the definition of equality for two operators?)

 

[Oxymoron]

Two operators are equal if and only if they do the same thing to an arbitrary element. That is

$$S=T \quad \Leftrightarrow \quad Sx = Tx$$

 

[Oxymoron]

Ok, so using the same ideas I can prove $S=T \Rightarrow \langle Sx\,|\,x \rangle = \langle Tx\,|\,x \rangle$ like this:

Suppose $S=T$. Then by the equality of operators we have $Sx = Tx$. Then we have $\langle Sx\,|\,x \rangle = \langle Tx\,|\,x \rangle$ and we are done.

How does this look?

 

[Hurkyl]

Yes, that looks like a good proof of that statement.

(But, as emieno was saying, you could skip the step saying that Sx=Tx)