紧算子的正逼近

• Positive approximant of compact operators