A 数学语言、集合与条件控制 · 10

充要条件

要写成 $p\Leftrightarrow q$，必须在共同范围内同时验证 $p\Rightarrow q$ 和 $q\Rightarrow p$。沿着参数 $a$ 的取值范围与条件集合的双向包含，可以看见：两条箭头同时成立，正好对应两个条件集合相等。

充要条件

定义：充分与必要同时成立

先固定共同讨论范围 $D$，设 $p(x),q(x)$ 是关于 $x$ 的两个条件。如果对每一个 $x\in D$，下面两个方向都成立：

$$p\Rightarrow q\quad\text{且}\quad q\Rightarrow p,$$

那么 $p$ 既是 $q$ 的充分条件，也是 $q$ 的必要条件。此时称 $p$ 是 $q$ 的充分必要条件，简称充要条件。

一条推出只说明一个方向；两个条件要在同一个范围 $D$ 内互相推出，才满足充要条件的定义。

$p\Rightarrow q$ $p$ 是 $q$ 的充分条件。 充分
$q\Rightarrow p$ $p$ 是 $q$ 的必要条件。 必要

记号与对称性

记号与对称性

两个推出方向都成立时，记作

$$p\Leftrightarrow q.$$

读作“$p$ 等价于 $q$”或“$p$ 当且仅当 $q$”。这个记号已经同时包含 $p\Rightarrow q$ 和 $q\Rightarrow p$，缺少任意一个方向，都不能写成 $p\Leftrightarrow q$。

充要关系是对称的：如果 $p$ 是 $q$ 的充要条件，那么 $q$ 也是 $p$ 的充要条件。

参数范围

继续移动端点：什么时候两个条件等价

沿用上一篇的两个条件。设 $D=\mathbb R$，$a\in\mathbb R$，并令

$$p_a(x):x>a,\qquad q(x):x>1.$$

它们对应的条件集合是

$$P_a=(a,+\infty),\qquad Q=(1,+\infty).$$

充分方向：$p_a\Rightarrow q$

要让 $p_a\Rightarrow q$，就是要让 $P_a\subseteq Q$。这要求

$$a\ge 1.$$

如果 $a<1$，取 $x=\dfrac{a+1}{2}$，就有 $x>a$ 却 $x<1$，因此这个方向不成立。

必要方向：$q\Rightarrow p_a$

要让 $q\Rightarrow p_a$，就是要让 $Q\subseteq P_a$。这要求

$$a\le 1.$$

如果 $a>1$，仍取 $x=\dfrac{a+1}{2}$，就有 $x>1$ 却 $x因此这个方向不成立。

同一个 $a$ 要让两个方向同时成立，就必须同时满足

$$a\ge 1\quad\text{且}\quad a\le 1\quad\Longleftrightarrow\quad a=1.$$

当 $a=1$，$P_a=Q=(1,+\infty)$，所以 $p_a\Leftrightarrow q$。

集合相等

条件集合：双向包含就是集合相等

在同一个讨论范围 $D$ 内，设

$$P=\{x\in D\mid p(x)\},\qquad Q=\{x\in D\mid q(x)\}.$$

每一条推出关系对应一个包含方向；充要关系要求两个包含方向同时成立。

$p\Rightarrow q$ 每个满足 $p(x)$ 的对象都满足 $q(x)$。 $P\subseteq Q$
$q\Rightarrow p$ 每个满足 $q(x)$ 的对象都满足 $p(x)$。 $Q\subseteq P$

因此，在共同范围 $D$ 内，

$$\begin{aligned} p\Leftrightarrow q &\quad\Longleftrightarrow\quad P\subseteq Q\ \text{且}\ Q\subseteq P\\ &\quad\Longleftrightarrow\quad P=Q. \end{aligned}$$

也就是说，$p\Leftrightarrow q$ 不是“更强的一条箭头”，而是两个条件在共同范围内选中了同一批对象。

范围变化

共同范围改变，条件关系也可能改变

考虑两个条件

$$p(x):x=1,\qquad q(x):x^2=1.$$
$D=\mathbb R$ $P=\{1\}$，$Q=\{-1,1\}$，所以 $P\subsetneqq Q$。 充分但不必要
$D=(0,+\infty)$ $-1$ 被排除，$P=Q=\{1\}$。 $p\Leftrightarrow q$

条件的写法没有改变，但它们的关系会随共同范围 $D$ 改变。因此，判断充要关系时不能省略共同讨论范围。

可逆变形

迁移到方程：不同写法可以表示同一范围

设 $x\in\mathbb R$，并令

$$p(x):x=1,\qquad r(x):x^2-2x+1=0.$$

把方程左边因式分解，得到一条每一步都可逆的变形链：

$$x^2-2x+1=0\quad\Leftrightarrow\quad (x-1)^2=0\quad\Leftrightarrow\quad x=1.$$

在实数范围内，每一步都能正向推出，也能反向推出，所以两个条件集合都是 $\{1\}$，从而 $p\Leftrightarrow r$。只验证一个方向，或者只代入几个数值，都不能替代双向的一般验证。

核心结论

核心理解：等价来自同一范围内的双向成立

判断充要条件时，先固定共同范围，再检查 $p\Rightarrow q$ 与 $q\Rightarrow p$ 是否同时成立。

用集合语言说，就是同时验证 $P\subseteq Q$ 与 $Q\subseteq P$；双向包含成立，正好得到 $P=Q$。

共同范围 → 双向成立 → 条件集合相等 → 得到充要关系。