查看“︁综合数学/实数与集合/实数与集合”︁的源代码

实数和集合是数学上最基本的概念。
== 实数 ==
在数学中，'''实数'''是有理数和无理数的总称。<br>
'''有理数'''就是可以表示成两个整数的比的数，即可表示成<math>\frac{p}{q}</math>的形式的数，其中<math>p,q</math>均为整数且<math>q\not = 0</math>。明显，有理数就是整数（可以表示成<math>\frac{na}{n}</math>的形式，其中<math>a, n</math>皆为整数且<math>n\not = 0</math>）和分数[包含一切有限小数及无限循环小数（下节证明）]的总称。实数又可以分为正数、零和负数。'''正数'''就是大于零的实数，'''负数'''就是小于零的实数。<br>
'''无理数'''就是除有理数之外的实数，即不能表示成两整数之比的数。<br>所有实数的集合则可称为'''实数系'''或'''实数连续统'''。任何一个完备的阿基米德有序域均可称为实数系。在保守同构意义下它是唯一的，常用<math>\mathbb{R}</math>表示。
=== 数轴 ===
在数学中，可以用一条直线上的点表示数，这条直线就叫做'''数轴'''。如图，数轴上表示数字0的点叫做数轴的'''原点'''，通常用<math>O</math>表示；一般规定，原点的右侧（或上）为正方向，应标有箭头，原点的左侧（或下）为负方向；一般选取1为单位长度。<br>
[[File:Number line with numbers -3 to 3.svg|frame|数轴]]
'''实数与数轴上的点是一一对应的'''，这就是'''实数的几何意义'''。为简便起见，通常用同一个字母或数既表示某个实数又表示实数在数轴上对应的点。<br>
数轴上表示有理数的点叫'''有理点'''，表示无理数的点叫作'''无理点'''。在任意两个不同的有理点之间一定存在无穷个有理点，同样的，任意两个不同的无理点之间也一定存在无穷多个无理点，这就叫做有理点（数）和无理点（数）的'''稠密性'''。<br>
'''任何不同的两个实数都可以比较大小'''。在数轴上，右边的数总大于左边的数。

=== 实数的绝对值 ===
设<math>a</math>为一个实数，定义
::<math>|a|:=\left\{\begin{matrix}
a,&a\geqslant 0 \\ 
-a,&a<0
\end{matrix}\right.</math><br>
为数<math>a</math>的'''绝对值'''。明显，互为相反数的两个数绝对值相等。<br>
它的几何意义表示点<math>a</math>与原点<math>O</math>在数轴上的距离。<br>
由定义，若<math>a,b</math>为两个实数，则
::<math>|a-b|=\left\{\begin{matrix}
a-b,&a\geqslant b \\ 
b-a,&a<b
\end{matrix}\right.</math><br>
它的几何意义表示点<math>a</math>与点<math>b</math>在数轴上的距离。<br>
绝对值有下列基本性质：
:(1)  <math>|a|\geqslant 0,|a|=|-a|,|a|=\sqrt{a^2}</math>；
:(2)  <math>-|a|\leqslant a\leqslant |a|</math>；
:(3)  <math>|a|\leqslant k\Leftrightarrow -k\leqslant a\leqslant k</math>（<math>k\geqslant 0</math>）；
:(4)  <math>\left | \sum_{i=1}^{n}a_i \right | \leqslant \sum_{i=1}^{n}|a_i|</math>；
:(5)  <math>||a|-|b||\leqslant |a-b|</math>；
:(6)  <math>\left | \prod_{i=1}^{n}a_i \right |=\prod_{i=1}^{n}|a_i|</math>；
:(7)  <math>\left | \frac{a}{b} \right |=\frac{|a|}{|b|}</math>（<math>b\not=0</math>）。<br>
'''证'''  性质(1)(2)(3)证明略；<br>
(4)  由性质(2)可知
::<math>-|a_i|\leqslant a_i\leqslant |a_i|,i=1,2,\cdots ,n</math>，
则
::<math>-\left ( \sum_{i=1}^{n}|a_i| \right )\leqslant \sum_{i=1}^{n}a_i \leqslant \sum_{i=1}^{n}|a_i| </math>，
令<math>k=\sum_{i=1}^{n}|a_i|</math>，则由性质(3)有
::<math>\left | \sum_{i=1}^{n}a_i \right | \leqslant \sum_{i=1}^{n}|a_i|</math>；<br>
(5)  由性质(4)有
::<math>|a|=|(a-b)+b|\leqslant |a-b|+|b|</math>，
即有
::<math>|a|-|b|\leqslant |a-b|</math>，
类似地有
::<math>|b|-|a|\leqslant|b-a|=|a-b|</math>，
于是
::<math>||a|-|b||\leqslant |a-b|</math>；
性质(6)(7)证明略。<math>\blacksquare </math><br>
{{TextBox|1=
;例1.1.1{{anchor|综合数学}}: 
解不等式<math>|x+3|<|x-1|</math><br>
'''解'''  由绝对值几何意义可知，待解不等式表示：点<math>x</math>与点-3的距离小于点<math>x</math>与点1的距离。因此，直接在数轴上观察可知，待解不等式的解为
::<math>x<-1</math>。
或用区间的方式表示为
::<math>x\in (-\infty ,-1)</math>。
}}
== 集合==
集合是数学中一个基本概念，现今被普遍接受的集合论是'''策梅洛-弗兰克尔'''（Zermelo-Fraenkel）'''集合论'''，包括选择公理，简称'''ZFC'''。<br>
一般地，我们把研究对象统称为'''元素'''，把一些元素组成的整体叫做'''集合'''，简称'''集'''。通常，我们用大写字母<math>A, B, C \cdots</math>表示集合，用小写字母<math>a, b, c \cdots</math>表示集合中的元素。如果<math>a</math> 是集合<math>A</math> 的元素，我们就称<math>a</math> '''属于'''集合<math>A</math>，记作<math>a\in A</math>；反之，则称<math>a</math> 不属于集合<math>A</math>，记作<math>a\not\in A</math>。<br>
<br>
一般地，如果一个集合含有我们所研究问题中涉及的所有元素，那么就称这个集合为'''全集'''（通常情况下，也把给定的集合称为全集），通常记作<math>U</math>。

=== 集合的表示 ===
集合一般有两种表示法：'''列举法'''和'''描述法'''。
==== 列举法 ====
顾名思义，列举法就是一个一个将集合中的元素列举出来，再用“<math>\{ \}</math>”将元素括起来表示集合，元素与元数之间应用“<math>, </math>”隔开。当元素个数过多时，可在将元素规律表示出来后用“<math>\cdots </math>”省略后续元素。
{{TextBox|1=
;例1.1.2{{anchor|综合数学}}: 
用列举法表示集合<math>A= </math>“不大于20的正奇数”，<math>B= </math>“大于或等于10的偶数”。<br>
'''解'''  这里集合<math>A</math>是一个有限集合，元素较少，可以完全列举；但集合<math>B</math>是一个无穷集合，只能用省略号省去部分元素。<br>
故<br>
:<math>
\begin{alignat}{2}
&A= \{ 1, 3, 5, 7, 9, 11, 13, 15, 17, 19\}, \\
&B= \{ 10, 12, 14, 16, \cdots\}\mbox{。 }
\end {alignat}
</math>}}
==== 描述法 ====
描述法是表示一个集合最常用的方法。设<math>P(x)</math>为某个与<math>x</math>有关的条件或法则，<math>X</math>为满足<math>P(x)</math>的全体<math>x</math>构成的集合，则记<math>X</math>为<br>
::<math>X=\{ x | P(x) \}</math>。
相应地，设<math>P(x,y)</math>为某个与<math>x,y</math>有关的条件或法则，<math>A</math>为满足<math>P(x,y)</math>的全体有序数对<math>(x,y)</math>构成的集合，则记<math>A</math>为<br>
::<math>A=\{ (x,y) | P(x,y) \}</math>。以此类推。
{{TextBox|1=
;例1.1.3{{anchor|综合数学}}: 
用描述法表示例1.1.2中的集合。<br>
'''解'''  依题意，用描述法表示集合，则<br>
::<math>
\begin{alignat}{2}
&A= \{ x|x=2n+1,0\le n\le 9,n\in \mathbb {Z}\}, \\
&B= \{ x|x=2n,n\ge 5,n\in \mathbb{Z}\}\mbox{。 }\end {alignat}
</math><br>
答案不唯一。
}}
=== 集合的分类 ===
集合有许多种，在数学上可以将集合按元素的个数分为'''无限集'''、'''有限集'''和'''空集'''。
==== 数集和点集 ====
顾名思义，数集就是数构成的集合，点集就是点构成的集合。我们见的最多的集合就是数集。数学中有一些特殊数集：
::<math>\mathbb {N}</math>：自然数集；
::<math>\mathbb {Z}</math>：整数集；
::<math>\mathbb {Q}</math>：有理数集；
::<math>\mathbb {R}</math>：实数集；
::<math>\mathbb {C}</math>：复数集；
::<math>\mathbb {H}</math>：四元数集；
::<math>\mathbb {O}</math>：八元数集；
::<math>\mathbb {S}</math>：十六元数集；<br>
上述集合存在关系<math>\mathbb {N}\subseteq\mathbb {Z}\subseteq\mathbb {Q}\subseteq\mathbb {R}\subseteq\mathbb {C}\subseteq\mathbb {H}\subseteq\mathbb {O}\subseteq\mathbb {S}</math>。还有几个特殊的数集：<br>
::<math>\mathbb {P}</math>：素数集；
::<math>\mathbb {A}</math>：代数数集。<br>
上述数集是非完备的。
==== 无限集、有限集和空集 ====
令<math>\mathbb {N}^*</math>是正整数的全体，且<math>N_n=\{1, 2, 3, \cdots , n \}</math>,如果存在一个正整数<math>n</math>，使得集合<math>A</math>与<math>N_n</math>一一对应，那么我们称集合A为有限集。同时定义，不含任何元素的集合称作空集，记作<math>\varnothing</math>。空集是特殊的有限集（有时不将空集看作有限集），且空集是否是点集或数集是任意的。相反地，有限集之外的集合我们叫作无限集。
{{TextBox|1=
;例1.1.4{{anchor|综合数学}}: 
判断下列集合是什么集合<br>
:(1)<math>A= \left \{ x|0\leqslant x\leq 10  \right \}</math>；<br>
:(2)<math>B=\left \{ x|x\in \mathbb{Z},x^2\leqslant 0 \right \}</math>；<br>
:(3)<math>C=\left \{ x|x\in \mathbb{N},x<-3  \right \}</math>；<br>
:(4)<math>D=\left \{ \left ( x,y \right )|x\geqslant y \right \}</math>；<br>
'''解'''  (1)依题意，集合<math>A=</math>“大于等于0、小于等于10的（实）数”，明显，集合<math>A</math>是无限数集；<br>
(2)由于实数范围内满足<math>x^2 \leq0</math>的数只有0，且<math>0\in \mathbb{Z}</math>，故集合<math>B=\left \{ 0 \right \}</math>为有限数集；<br>
(3)明显，自然数集内没有小于-3的数，则<math>C=\varnothing</math>，为空集；<br>
(4)由于集合满足<math>x\geqslant y</math>的点有无数个，故集合<math>D</math>为一无限点集。<br>
}}
=== 集合的性质 ===
集合有'''确定性'''、'''互异性'''和'''无序性'''三个性质。
==== 确定性 ====
给定一个集合，则哪些元素在这个集合中，哪些元素不在都应是确定的。例如“我们班个子高的学生”就不是一个集合，因为多高才叫“高个子”是不确定的，不满足集合的确定性；而“我们班身高高于170 cm的学生”是一个集合。或说，任意给定一个元素<math>a</math>，则它是否属于集合<math>A</math>是确定的。
==== 互异性 ====
集合中任意两个元素都是不同的对象。如<math>\{ 1, 1, 2\}</math>不是一个集合，而<math>\{ 1, 2\}</math>才是一个集合（有时也将含有几个相同的元素的集合视为集合，并将几个相同元素视为一个元素）。互异性使集合中的元素是没有重复，即使两个相同的对象在同一个集合中，也只能算作这个集合的一个元素。
==== 无序性 ====
集合中的元素排列是没有顺序的。例如，集合<math>\{ 1, 3, 2\}=\{ 1, 2, 3\}</math>。<br>
<br>
以上就是集合的三个性质。

=== 集合间的基本关系 ===
==== 子集 ====
一般地，对于两个集合<math>A,B</math>，如果集合<math>A</math>中的任何一种元素都是集合<math>B</math>的元素，我们则称集合<math>A</math>是集合<math>B</math>的'''子集'''，记作<br>
::<math>A\subseteq B</math>（或<math>B\supseteq A</math>）<br>
读作“<math>A</math>包含于<math>B</math>”（或“<math>B</math>包含<math>A</math>”）。同时，如果有两个集合<math>A,B</math>满足<math>A\subseteq B</math>且<math>B\subseteq A</math>，我们则称这两个集合相等，记作<br>
::<math>A=B</math>。<br>
'''外延公理'''是ZFC的公理之一，其可描述为
::<math>\forall x\forall y[\forall z(z\in x\Leftrightarrow z\in y)\Rightarrow x=y]</math>，<br>
其实质是：'''两个含有相同元素的集合相等'''。<br>
若对于两个集合<math>A,B</math>，有<br>
::<math>A\subseteq B</math>但<math>A\neq B</math><br>
我们则称集合<math>A</math>是集合<math>B</math>的'''真子集'''，记作<br>
::<math>A\subsetneq B</math>（或<math>B\supsetneq A</math>）<br>
读作“<math>A</math>真包含于<math>B</math>”（或“<math>B</math>真包含<math>A</math>”）。
由上述定义我们可以得到（'''子集的性质'''）：
:1.  空集是任何集合的子集；
:2.  任何集合都是它本身的子集，即
::<math>A\subseteq A</math>；
:3. （'''集合的传递性'''）如果集合<br />
::<math>A\subseteq B, B\subseteq C</math>，<br />
:则<br />
::<math>A\subseteq C</math>；<br />
:更一般地，我们有：<br />
:若<br />
::<math>A_1 \subseteq A_2 , A_2 \subseteq A_3 ,\cdots ,A_{n-1} \subseteq A_n,</math><br/>
:则<br />
::<math>A_1 \subseteq A_n</math>；<br>
:4.  若集合<math>A</math>中有<math>n</math>个元素，则<math>A</math>的子集共有<math>2^n</math>，真子集有<math>2^{n-1}</math>个。
集合的相等和真子集均满足上述性质。证明略。
{{TextBox|1=
;例1.1.5{{anchor|综合数学}}: 
列举出集合<br>
::<math>A=\{ 1,2,3 \}</math>
的全部子集。<br>
'''解'''  集合<math>A</math>的全部子集有：
::<math>\varnothing ,\{ 1\} ,\{2\} ,\{3\} ,\{1,2\} ,\{ 2,3\} ,\{ 1,2,3\}</math>
}}
==== 幂集 ====
在数学上，给定集合<math>S</math>，则定义
::<math>\mathrm{P}(S):=\{U|U\subseteq S\}</math><br>
为集合<math>S</math>的'''幂集'''。若<math>|S|=n</math>，则<math>|\mathrm{P}(S)|=2^n</math>。<br>
其中<math>\mathrm{P}(S)</math>的任一子集<math>F</math>称作<math>S</math>上的'''集族'''。<br>
'''幂集公理'''是ZFC公理之一，其描述为
::<math>\forall S\exists \mathrm {P} (S)\forall x:x\in \mathrm {P} (S)\Leftrightarrow (\forall y:y\in x\Rightarrow y\in S) </math>，<br>
其本质为'''所有集合都有一个幂集'''。

== 区间与邻域 ==
集合论中常用的实数集合为区间与邻域。<br>
设<math>a,b \in \mathbb{R}</math>且<math>a<b</math>，我们定义：
:(1)'''闭区间'''：<math>[\, a,b\, ]:=\{ x|a\leqslant x\leqslant b\}</math>；
:(2)'''开区间'''：<math>(a,b):=\{ x|a<x<b\}</math>；
:(3)'''半开区间'''：
::(3.1)左开区间：<math>(a,b\, ]:=\{ x|a<x\leqslant b\}</math>；
::(3.2)右开区间：<math>[\, a,b):=\{ x|a\leqslant x<b\}</math>；
:(4)'''无穷区间'''：
::(4.1)  <math>(-\infty ,b\, ]:=\{ x|x\leqslant b\}</math>；
::(4.2)  <math>(-\infty ,b):=\{ x|x<b\}</math>；
::(4.3)  <math>[\, a,+\infty ):=\{ x|x\geqslant a\}</math>；
::(4.4)  <math>(a,+\infty ):=\{ x|x>a\}</math>；
::(4.5)  <math>(+\infty ,-\infty):=\mathbb{R}</math>。<br>
通常，我们将上述四类区间统称为'''区间'''。其中(1)-(3)我们称为'''有限区间'''，<math>a,b</math>分别称为区间的左端点、右端点。<br>
设<math>\varepsilon</math>为某个正数，则称开区间<math>(x_0-\varepsilon ,x_0+\varepsilon)</math>为点<math>x_0</math>的<math>\varepsilon</math>邻域；称<math>x_0</math>为邻域的中心，<math>\varepsilon</math>为邻域的半径。<br>
点<math>x_0</math>的邻域去掉中心<math>x_0</math>后的集合
::<math>(x_0-\varepsilon ,x_0)\cup(x_0,x_0+\varepsilon)</math><br>
称为点<math>x_0</math>的'''空心邻域'''或'''去心邻域'''；称开区间<math>(x_0-\varepsilon ,x_0)</math>为点<math>x_0</math>的'''左邻域'''，<math>(x_0,x_0+\varepsilon)</math>为点<math>x_0</math>的'''右邻域'''。<br>
点<math>x_0</math>的邻域可表示为不等式
::<math>|x-x_0|<\varepsilon</math>；<br>
点<math>x_0</math>的空心邻域可表示为不等式
::<math>0<|x-x_0|<\varepsilon</math>。