陶哲轩实分析-第3章-集合论-4-6

warning：个人笔记与习题解答，相信有很多错误
这一章全是各种逻辑推理，看完以后确实对集合论有了一定了解，了解了一些推理过程。习题也真多，所以分成1-3和4-6。

3.4 象和逆象

定义3.4.1
为什么根据替换公理，f(S)是明确定义了的
替换公理中，定义P(x,y)为$\{y:\exists x\in S使得f(x)=y\}$，这样选出的集合就是f(S）

如何根据分类公理来定义f(S)
分类公理中，定义f(S)为$\{y\in Y:\exists x\in X使得f(x)=y\}$

为什么

$$y\in f(S) <=> \exists x\in S, y=f(x)$$ 感觉这就是象的定义，不明白作者为什么加了个为什么

例3.4.5的为什么
等号左边等于{2}!={1,2,3}
例3.4.6的为什么
等号左边等于{-2,-1,0,1,2}!={-1,0,1,2}

注3.4.7说得对于双射的两种定义逆函数的方式见习题的说明：
V在$f^{-1}$ 的前象
V在f下的逆象

3.10幂集公理元素数量为$Y^X$，因为对于X中的每个元素，对应的函数值可能性等于Y的元素数量

为什么指标集是空的则集合为空？
因为没有任何集族

习题

3.4.1
$f^{-1}(y)=x$
V在$f^{-1}$ 下的前象

$$\{x:\exists y\in Y，使得f^{-1}(y)=x\}$$

V在f下的逆象

$$\{x:f(x)\in V\}$$ 对于双射函数，上面两个集合相同。

3.4.2

$$S\subseteq f^{-1}(f(S))$$ $$f(f^{-1}(U))=U$$ ，因为对于X中每个元素，Y中只有1个元素与其对应，对与Y中元素，X中可能有多个

3.4.3
根据3.4.1象的定义证明

$$f(A\cap B):=\{f(x):x\in A\cap B\}$$ 。上面的集合即属于 $\{f(x):x\in A\}$ 也包含于 $\{f(x):x\in B\}$。证明完毕，等于不成立，考虑A:{