🧠 掌握集合语言与符号(数与数系)

欢迎来到集合的世界!别担心这听起来像深奥的数学术语——其实这只是数学家用来将事物分门别类的超强整理法。你可以把它想象成把你最喜欢的音乐整理成不同的播放列表。

在本章中,我们将学习描述数字集合时所使用的基本语言和符号。这为你理解不同的数系(例如整数和有理数)奠定了基础,对于你接下来的 International GCSE 之路至关重要!


第 1 节:集合与元素的基本概念

1.1 定义集合与元素

集合 (Set) 简单来说就是定义明确且互不相同的对象或数字的集合。集合内部的对象称为元素 (Elements)(或成员)。

• 我们使用花括号 \(\{ \}\) 来列出集合中的元素。
• 元素之间通常用逗号隔开。

例子:若 \(A\) 为小于 10 的偶数集合:
\(A = \{2, 4, 6, 8\}\)

在这个例子中,\(A\) 是集合,而 2、4、6 和 8 就是其中的元素。

你知道吗? 列出元素的顺序并不重要!\(\{1, 2, 3\}\) 和 \(\{3, 1, 2\}\) 是完全相同的集合。

1.2 集合的核心符号

为了能更精确、高效率地谈论集合,我们使用基本符号:

1. 属于 (\(\in\))

这个符号的意思是“是……的成员”或“属于”。

使用我们的集合 \(A = \{2, 4, 6, 8\}\):
\(4 \in A\)(读作:“4 是集合 A 的一个元素”)

2. 不属于 (\(\notin\))

这个符号的意思是“不是……的成员”或“不属于”。

使用集合 \(A\):
\(5 \notin A\)(读作:“5 不是集合 A 的一个元素”)

3. 元素数目 \(n(A)\)

符号 \(n(A)\) 表示集合 \(A\) 中的元素总数。

对于 \(A = \{2, 4, 6, 8\}\):
\(n(A) = 4\)

1.3 特殊集合类型

空集 (\(\emptyset\)) 或 \(\{ \}\)

空集 (Empty Set) 是指一个不包含任何元素的集合。它用符号 \(\emptyset\) 或两个空的花括号 \(\{ \}\) 来表示。对于空集,\(n(\emptyset) = 0\)。

类比:就像一个里面没有钱的钱包。它仍然是一个钱包(容器),但它是空的。

例子:令 \(P\) 为以字母 'Z' 开头的星期几的集合。
\(P = \emptyset\)

集合构建式符号 (代数形式)

集合也可以使用代数描述来定义,而不需要列出每个元素。例如,\(\{x : 1 \le x \le 5, x \in \mathbb{Z}\}\) 描述了集合 \(\{1, 2, 3, 4, 5\}\)。


第 2 节:标准数系

由于本章属于“数与数系”的一部分,你应该熟悉用来识别特定数字群组的标准符号:

\(\mathbb{N}\)(自然数):计数数字(正整数)。例如:\(\{1, 2, 3, 4, 5, \dots\}\)
\(\mathbb{Z}\)(整数):所有整数(正整数、负整数和零)。例如:\(\{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}\)
\(\mathbb{Q}\)(有理数):任何可以写成分数 \(\frac{a}{b}\) 的数字,其中 \(a, b \in \mathbb{Z}\) 且 \(b \neq 0\)。例如:\(0.5, \frac{3}{4}, -7, 0, 10\)
\(\mathbb{R}\)(实数):数轴上所有的数字(包括有理数和无理数)。例如:\(4, -1.25, \frac{1}{3}, \sqrt{2}, \pi\)

易记小窍门:数系层级

自然数 \(\mathbb{N}\) 包含于整数 \(\mathbb{Z}\) 之中。
整数 \(\mathbb{Z}\) 包含于有理数 \(\mathbb{Q}\) 之中。
有理数 \(\mathbb{Q}\) 包含于实数 \(\mathbb{R}\) 之中。


第 3 节:集合之间的关系

3.1 全集 (\(\mathcal{E}\))

全集 (Universal Set),以 \(\mathcal{E}\) 表示,是包含特定问题中所考虑的所有可能元素的集合。

例子:\(\mathcal{E} = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}\)

3.2 子集 (\(\subseteq\) 或 \(\subset\))

如果集合 \(A\) 的每一个元素都在集合 \(B\) 中,那么集合 \(A\) 就是集合 \(B\) 的子集 (Subset)(记作 \(A \subseteq B\) 或 \(A \subset B\))。

例子:若 \(A = \{2, 4\}\) 且 \(B = \{2, 4, 6, 8\}\),则 \(A \subset B\)。


第 4 节:集合运算 – 交集、并集与补集

4.1 交集 (\(\cap\)) – “AND” (且) 运算

交集 (Intersection) \(A \cap B\) 是同时属于 \(A\) 且 \(B\) 的元素集合。

例子:
若 \(A = \{1, 2, 3, 4, 5\}\) 且 \(B = \{4, 5, 6, 7\}\),则 \(A \cap B = \{4, 5\}\)。

4.2 并集 (\(\cup\)) – “OR” (或) 运算

并集 (Union) \(A \cup B\) 是属于 \(A\) 或属于 \(B\)(或两者皆有)的元素集合。

例子(使用上述的 \(A\) 和 \(B\)):
\(A \cup B = \{1, 2, 3, 4, 5, 6, 7\}\)(在列出集合元素时绝不重复)。

4.3 补集 (\(A'\)) – “NOT” (非) 运算

集合 \(A\) 的补集 (Complement),记作 \(A'\),是全集 \(\mathcal{E}\) 中所有不属于 \(A\) 的元素集合。

例子:
令 \(\mathcal{E} = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}\) 且 \(A = \{2, 4, 6, 8, 10\}\)。
则 \(A' = \{1, 3, 5, 7, 9\}\)。

符号重点总结:

• \(\in\):属于
• \(\notin\):不属于
• \(\emptyset\) 或 \(\{ \}\):空集
• \(\mathcal{E}\):全集
• \(A \cap B\):交集(同时属于 \(A\) 和 \(B\))
• \(A \cup B\):并集(属于 \(A\) 或 \(B\) 或两者皆有)
• \(A'\):补集(不属于 \(A\))
• \(n(A)\):\(A\) 中的元素数目
• \(A \subseteq B\):\(A\) 是 \(B\) 的子集