元素 (數學)

在数学领域,集合的元素()指构成该集合的任意物件;}-,也可以称作成员()。

集合
A = \{1, 2, 3, 4\}表示集合A中有四个元素,分别是数字1、2、3、4。由集合A中元素组成的集合是A的子集,例如 \{1, 2\}。

集合本身也可以是元素。例如,集合B = \{1, 2, \{3, 4\}\}的元素不是1、2、3、4四个数,而是数字1、2和集合\{3, 4\}这三个元素。

集合的元素还可以是任何东西。例如,集合C = \{\mathrm{\color{red}red}, \mathrm{\color{green}green}, \mathrm{\color{blue}blue}\}的元素为、和。

符号和术语
符号「∈」表示「是X中的元素」的关系,这种关系也称集合隶属关系()。可以用
:x \in A

表示「x是A中的元素」,也可以表达为「x是A的成员」、「x在A中」或「x属于A」。

有时也用「A包含x」表达集合隶属关系,但因为这样的说法也可以用来表达「x是A的子集」,应该谨慎使用,避免歧义。不过使用符号时没有歧义,可以用

: A \ni x

来表达「A包含x」。

不隶属的关系可以用符号「\not\in」表示,记作

:x \notin A

意思是「x不是A的元素」。

符号∈最早见于朱塞佩·皮亚诺1889年的论文**'。他在第 X 页上写道:

意思是
符号 ∈ 表示“是”。所以a ∈ b被读作 a 是 b; …

该符号源自希腊字母“E”的小写“ϵ”,是单词的第一个字母,意思为“是”。

集合的势
参见

  • 單位元
  • 单元素集合

注释
參考資料
延伸阅读

  • - "Naive" means that it is not fully axiomatized, not that it is silly or easy (Halmos's treatment is neither).

*

  • - Both the notion of set (a collection of members), membership or element-hood, the axiom of extension, the axiom of separation, and the union axiom (Suppes calls it the sum axiom) are needed for a more thorough understanding of "set element".

评论 (0)

  • 还没有评论,来抢沙发吧。