谈论命题,关心群体的对象,群体内的东西用条件描述
成员群体关系是抽象思考的基础(数字,全体数字.形状和全体图形,从属的关系
和集合没有关系,只是一个方便的符号,a是性质,满足a性质构成的群体(c就是把满足a性质
的东西收集在一起得到的对象
集合是恰当的群体(恰当--自然数的群体,整数群体,多项式的群体),不恰当的群体超出了讨论范围
成员与集体的关系
有a性质的s成员构成的群体叫做...
没有对应性质的成员s构成的群体叫做空集
什么时候集合是一样的--两个集合的元素是一样的,集合就是一样的
从定义想,空集说明x不属于空集,又蕴含有前面为假时候,整体是对的,所以有x属于空集,x属于s是对的
也就是空集属于s
反证法,定义出发(空集是所有集合子集,每个集合是子集的集合,定义出发
证明集合相同,就是证明集合元素相同或者是集合相互包含
恰当的群体中成员构成都是恰当的
(成员可以是一个对象,也可以是一个子群体)
x成员满足**性质,说明x成员是空集
差,与补集相关
联集与交集,联集,所有元素收集在一起,交集是共同的元素
群体和成员是一个嵌套的概念
思考,j也是一个集合
成员可能是个子群体
复杂的形式可以简化与固定
差集,联集,交集有一些交换的操作,摩根律,否定的时候群体不否定
证明一样只要证明互相包含即可,也就是任何一个人的元素都在对方
都可以用这两个方式证明
幂集(power set),幂集是一个集合,它里面的成员也是集合,成员可以是任何东西
元素是某些集合的集合,要习惯
讲一个集合,意思是他的原理是什么
两个集合挑一个成员,摆在一起就是笛卡尔积,配对就是笛卡尔积集合的元素
有序对,各调一个元素组成三元组
笛卡尔积
坐标平面可以看成实数和实数的笛卡尔积,坐标平面上每个点用实数来决定,第一个和第二个摆在一起决定,笛卡尔积有种平面的感觉,r22二维实数空间,三度就是三维实数空间
映射--最重要的概念:
首先要有两个集合,映射是一种规则(为每个s元素指定一个t中元素的规则)
考虑规则,映射也就是所谓的函数(现在允许s和t是更一般的集合
s出发,有个f规则告诉我s里面的元素怎么对应到t的元素
集合映射写箭头
s被f映射到t,映射不一定都能用公式表达,规则本身叫做映射,不一定要公式表达
只要制定好规则,把s的元素全对应过去,叫做映射,数学中很多映射都不会用公式表达
少见多怪-见怪不怪
大饼和小饼的比喻,收集所有小饼里面元素对外的结果
如果把整个大饼送过去,就叫做像集或者叫做值域
或者把t看成大饼,收集t中的小饼,看s中有哪些元素会对应到w上
f只是一个符号,真正的意思是右边的
如果w放整个t,则f-1就是s
括号内放{},{}内的每个成员送过去,再收集成为一个集合,f-1看成反映射
映射与反映射就是这样
单射是一对一映射(s内不同的成员对应到t中不同的成员)
如果s中两个元素送到t中同一个元素,元素一定是一样的,这是单射
满射,s里面的所有元素送过去对应到t中的所有元素
单射把s赛到t里面,但是不会重叠,不一定满,可能有些地方漏掉了
满射,s把整个t盖住了,但是可能会遇到重复的,不同s相同的t
对射,又要单射又要满射,不多不少
也有可能不是单射也不是满射
想问题先想单射是什么意思,然后想发生不是单射的情况是什么,不要先带入数字
群体内的成员x,下面的是映射关系,上面是我要映射的集合,满射,集合内所有元素都要被t映射到
映射可以做合成,叫做合成映射
映射就像连连看,合成是一路引到底
成员也可以是s到t的映射,一个映射也可以叫做集合,集合元素也可以是映射
不同符号描述同一个事情,怎么转换,合成后是单射,前面一定是单射,合成后是满射,前面一定是
满射
自己映射到自己,单位映射