最后更新: 2025-11-25 09:32 查看: 119 次反馈能力测评会员8.2元/月赞助

集合的映射、特征函数与基

## 集合的映射
集合的基数描述的是，集合包含多少元素．如果集合是有限集，即元素只有有限个，则元素的多少可以用一个自然数表示，数值大自然就表示元素多．但如果集合是无穷集，该怎样表示元素的多少呢？是否可以认为所有无穷集的元素都一样多（即不能区别它们元素有多少）？无穷集元素的多少，靠数（shă）是数 （shŭ）不清的，因此需要寻找一个比较两个集合（主要是无穷集）元素多少的方法，这就是一一对应。

> 先看有限集的情况．例如，一个集合是在座的学生，一个是教室中的椅子，如果不去数它们，怎样判别这两个集合的元素究竟谁多谁少？我们可以让每个学生都坐下来，一位学生坐一把椅子，不同的学生坐不同的椅子．谁都知道，如果有椅子没有学生坐，则椅子多；如果有学生没有椅子坐，则学生多．说明白一点就是，让每个学生对应他坐的椅子，这是一种一一对应，如果全体学生与全部椅子一一对应，则两者的数目一样多；如果学生只与一部分椅子（椅子的一个真子集）对应，而不与全部椅子一一对应，则椅子的数目就大了（椅子多了）。用这个思想去考察无穷集，就能判定无穷集元素的多少了．下面我们先用映射的语言把一一对应说清楚。

**定义1.7** 设 $X, Y$ 是两个非空集合，若存在一种对应关系 $f$ ，使得每个 $x \in$ $X$ 都有惟一的 $y \in Y$ 与它对应，则称 $f$ 为 $X$ 到 $Y$ 的一个映射，记为

$$
f: X \rightarrow Y
$$

同时称 $y=f(x)$ 为 $x$ 在映射 $f$ 下的**像**，$x$ 为 $y$ 的**原像**．若对每个 $y \in Y$ 存在 $x \in$ $X$ ，使得 $y=f(x)$ ，则称 $f$ 为 $X$ 到 $Y$ 的**满射**．

![图片](/uploads/2025-11/eada57.jpg)
 集合映射关系可能图
 
很明显， $R \rightarrow R$ 的映射就是实值函数（例如 $y=2x$）， $R ^2 \rightarrow R$ 的映射就是二元实函数(例如$z=x^2+y^2$)． $R ^n$ $\rightarrow C$（复数集）的映射就是 $(n$ 元）复值函数．可见，映射是函数概念的推广（现在很多数学书已不严格区分＂函数＂与＂映射＂这两个概念，但数集（或点集）到数集的映射习惯上仍称为函数）。

若 $A \subset X$ ，全体 $x \in A$ 在映射 $f: X \rightarrow Y$ 下的像组成的集合称为 $A$ 在 $f$ 下的**像集**，记为 $f(A)$ ，即

$$
f(A)=\{y \in Y \mid y=f(x), x \in A\}
$$

按像集来说，$f: X \rightarrow Y$ 是满射指的是 $f(X)=Y$ ．

**定义1.8** 对于 $f: X \rightarrow Y$ ，若任意的 $x_1, x_2 \in X$ ，只要 $x_1 \neq x_2$ 就有 $f\left(x_1\right) \neq$ $f\left(x_2\right)$ ，则称 $f$ 是 $X$ 到 $Y$ 的**单射**．

单射是指 $X$ 中不相同的 $x$ 有不同的像，即没有两个不同的 $x$ 有相同的像．回忆反函数的概念便可推知，若 $f: X \rightarrow Y$ 是单射，则 $f$ 在 $X$ 的像集 $f(X)$ 中具有逆映射 $f^{-1}: f(X) \rightarrow X(f(X) \subset Y)$ ，即对任意的 $y \in f(X)$ 存在惟一的 $x \in X$ 使得 $y=$ $f(x)$ 或 $x=f^{-1}(y)$ 。

> **定义1.9 若 $f: X \rightarrow Y$ 既是单射又是满射，则称 $f$ 为 $X$ 到 $Y$ 的一一映射（也叫做双射）**．

注意，若 $f$ 是 $X$ 到 $Y$ 的一一映射，则对每个 $x \in X$ 有惟一的 $y \in Y$ 与它对应．反过来，由于 $f$ 既是满射又是单射，故存在逆映射 $f^{-1}$ ，其定义域是整个的 $Y$ ，从而对每个 $y \in Y$ 有惟一的一个 $x \in X$ 与之对应，使得 $y=f(x)$ 或 $x=f^{-1}(y)$ 。这样就在 $X$ 与 $Y$ 之间建立了一个一一对应关系(参考上图左边第一个图）。

从单射的定义立刻看出，若 $f$ 是单射，则 $f$ 是 $X$ 到 $f(X)$ 的一一映射．
现在我们可以说，若对于集合 $X$ 与 $Y$ ，存在一个一一映射 $f$ ，使得 $f(X)=Y$ ，即在 $X$ 与 $Y$ 之间建立了一个一一对应，则可以认为 $X$ 与 $Y$ 的元素一样多．

**定义1.10** 若存在一个由集合 $X$ 到集合 $Y$ 的一一映射，即集合 $X$ 与 $Y$ 之间存在一一对应，则称 $X$ 与 $Y$ 是**对等**的，记为 $X \sim

其他版本
【高等数学】集合的概念【数学分析】集合

免费注册看余下 70%

非VIP会员每天5篇文章，开通VIP 无限制查看

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：笛卡尔积(直积)

下一篇：可列集

本文对您是否有用？有用 (0) 无用 (0)