展开 算符对易的充要条件