求证$A\times B=B\times A$当且仅当$A=B$及反向证明方法咨询

先直接给你个明确结论：你提出的原命题不成立，除非我们额外加上「(A) 和 (B) 都不为空集」这个前提。下面一步步拆解给你看：

一、先看推翻原命题的反例 #

当其中一个集合是空集时，比如 (A = \emptyset)，(B = {1})：

• (A \times B = \emptyset \times {1} = \emptyset)
• (B \times A = {1} \times \emptyset = \emptyset)
  显然 (A \times B = B \times A)，但 (A \neq B)，这就直接证明原命题的「当且仅当」不成立。

二、修正后的命题才成立：若 (A,B) 均非空，则 (A \times B = B \times A \iff A = B) #

接下来我们证明这个修正后的命题，分正反两个方向：

1. 正向推导（(A = B \implies A \times B = B \times A)） #

这部分非常直观：
如果 (A = B)，那么 (A \times B) 就是 (A \times A)，(B \times A) 同样也是 (A \times A)，两者自然相等，没什么复杂的。

2. 反向推导（(A \times B = B \times A \implies A = B)，前提 (A,B \neq \emptyset)） #

这里确实需要结合集合是否为空的情况讨论，不过核心思路是利用笛卡尔积的定义+集合双向包含来证明：

• 因为 (A) 非空，随便拿一个元素 (a \in A)；同理 (B) 非空，拿一个元素 (b \in B)。
• 由于 ((a,b)) 属于 (A \times B)，而题目里说 (A \times B = B \times A)，所以 ((a,b)) 必须属于 (B \times A)。根据笛卡尔积的定义，这意味着 (a) 必须在 (B) 里，同时 (b) 必须在 (A) 里。
• 因为 (a) 是 (A) 里任意挑的元素，所以 (A) 里所有元素都在 (B) 中，也就是 (A \subseteq B)；同理，(b) 是 (B) 里任意元素，所以 (B \subseteq A)。
• 根据集合相等的定义，双向包含就意味着 (A = B)。

要是不考虑空集的情况，反向推导根本走不通——因为空集里没有元素能用来推导子集关系，这也是原命题翻车的核心原因。

三、最后再梳理一遍关键点 #

• 原命题不成立，空集的情况会直接产生反例；
• 当 (A) 和 (B) 都非空时，命题成立；
• 反向推导的最佳方法就是「利用笛卡尔积元素的定义，结合集合双向包含的逻辑」，而且必须分空集/非空集的情况讨论，不然会漏掉反例。

内容的提问来源于stack exchange，提问作者Sofía Contreras