AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator)