伴随算符:保持內积关系的唯一线性算符