在数学中，证明两个集合相等是集合论中的一个基本任务。两个集合相等意味着它们包含完全相同的元素。以下是几种常用的方法与技巧，用于用数学符号证明两个集合相等。
1. 元素互归法
原理：
若集合A中的每个元素都在集合B中，且集合B中的每个元素也在集合A中，则A=B。
符号表示：
设A和B为两个集合，证明A=B，需要证明以下两个条件同时成立：
- 对所有x，若x∈A，则x∈B。
- 对所有x，若x∈B，则x∈A。
例子：
证明集合A={x∈R | x²-5x+6=0}和集合B={2, 3}相等。
证明：
- 对于x∈A，由x²-5x+6=0，解得x=2或x=3。因此，A中的元素都在B中。
- 对于x∈B，即x=2或x=3，它们都满足x²-5x+6=0，因此都在A中。
结论：A=B。
2. 子集法
原理：
若集合A是集合B的子集，并且集合B是集合A的子集，则A=B。
符号表示：
设A和B为两个集合，证明A=B，需要证明以下两个条件同时成立：
- A⊆B。
- B⊆A。
例子：
证明集合A={x∈R | x²≤1}和集合B={x∈R | -1≤x≤1}相等。
证明：
- 对于所有x∈A，由于x²≤1，因此-1≤x≤1，即A⊆B。
- 对于所有x∈B，即-1≤x≤1，那么x²≤1，即B⊆A。
结论：A=B。
3. 对称法
原理：
若集合A与集合B之间存在一一对应的关系，则A=B。
符号表示：
设A和B为两个集合，证明A=B，需要找到一个双射函数f：A→B，使得f是单射且满射。
例子：
证明集合A={x∈R | x²=1}和集合B={-1, 1}相等。
证明：
- 定义函数f：A→B，f(x)=x。这是一个双射函数，因为：
- f是单射：若f(x₁)=f(x₂)，则x₁=x₂。
- f是满射：对于任意y∈B，存在x∈A使得f(x)=y。
结论：A=B。
4. 证明包含关系的方法
在证明集合相等时，通常先证明包含关系，即A⊆B和B⊆A。
证明包含关系的方法：
- 直接法：直接证明集合中任意一个元素都属于另一个集合。
- 反证法：假设集合A中存在一个元素不属于集合B，然后导出矛盾，从而证明假设不成立。
总结
证明集合相等时，可以采用上述方法与技巧。选择合适的方法取决于具体问题的情况。在证明过程中，要严谨地使用数学符号，确保逻辑推理的正确性。