characterizes all inner products, when varies over positive (symmetric) operators in . Your hypothesis say for all , which means that must be orthogonal to the othogonal complement of , and since you're in two dimensions this is just . By linearity of it's not difficult to see that for all . Since must be positive, this means , and so and all inner products are multiples of the usual.