warning:个人笔记与习题解答,相信有很多错误
这一章全是各种逻辑推理,看完以后确实对集合论有了一定了解,了解了一些推理过程。习题也真多,所以分成1-3和4-6。
3.4 象和逆象
定义3.4.1
为什么根据替换公理,f(S)是明确定义了的
替换公理中,定义P(x,y)为 {
y:∃x∈S使得f(x)=y} ,这样选出的集合就是f(S)
如何根据分类公理来定义f(S)
分类公理中,定义f(S)为 {
y∈Y:∃x∈X使得f(x)=y}
为什么
y∈f(S)<=>∃x∈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幂集公理元素数量为 YX ,因为对于X中的每个元素,对应的函数值可能性等于Y的元素数量
为什么指标集是空的则集合为空?
因为没有任何集族
习题
3.4.1
f−1(y)=x
V在 f−1 下的前象
{
x:∃y∈Y,使得f−1(y)=x}
V在f下的逆象
{
x:f(x)∈V}
对于双射函数,上面两个集合相同。
3.4.2
S⊆f−1(f(S))
f(f−1(U))=U
,因为对于X中每个元素,Y中只有1个元素与其对应,对与Y中元素,X中可能有多个
3.4.3
根据3.4.1象的定义证明
f(A∩B):={
f(x):x∈A∩B}
。上面的集合即属于
{
f(x):x∈A}
也包含于
{
f(x):x∈B}
。证明完毕,等于不成立,考虑A:{