数学上定理写成A <=> B的形式，一般都是说A成立的充要条件是B.

你给的教材上那个是著名的柯西收敛定理，即：
数列{Xn}收敛的充要条件是，对任意ε>0，都存在自然数N，对任何大于N的自然数n和m, 有|Xn - Xm| < ε

所给教材里直接写成了A <=> B，
A = 数列{Xn}有极限
B = 对任意ε>0，都存在自然数N，对任何大于N的自然数n和m, 有|Xn - Xm| < ε

那么证明（A成立的)必要条件自然就是证明A => B.

【 在 x2303612 的大作中提到: 】
: 你说你我知道！但教材确定没问题？不过教材提到的是:必要性、充分性。
: 难道编书的人，在表达A是B的充分条件时，说B是A的必要性？
: - 来自 水木社区APP v3.5.7
: ...................
--
修改:Elale FROM 167.220.233.*
FROM 167.220.233.*