一组力学算符具有共同完备本征函数组的充要条件？

一组力学算符具有共同完备本征函数组的充要条件？

我引用曾谨言《量子力学教程》3.3节P65的原话 若两个厄密算符A与B队医，则总可与找出这样的态，使deltA和deltB同时为0，既可以找出它们的共同本征态。
下面是我的话，如果严格讲应该是A与B对易式的平均值为零是他的充要条件。

巧啊，今天我刚好在必修2的最后一页看了算符和本征 刚看的，有些模糊， 同一空间中两适量之间具体的对应关系,每一个都相对应就像g(x)=a f(x),就称a为算符 算符 1、定义：规定一种具体的对应关系，使得右矢空间每一个右矢 ψ 与同一个空间的另一 右矢 ? 相对应，将这个对应关系用 a 表示，则可记作： ? = a ψ = aψ ，我们称 a 为算符，可以说 a 作用在 ψ 上得出 ? 。 注意：算符是同一空间中两矢量之间的对应关系，而加法对应关系是同一空间中两个矢 量与另一个矢量的对应关系。算符的对应关系一定使空间中每一个右矢都与另一个右矢 相对应。 本征函数:具体讲是指某个力学量的本征函数(波函数),在这个波函数中,该力学量的测量值总为一常数,该常数是该力学量的一个本征值