实变函数与泛函分析ppt
- 格式:ppt
- 大小:170.00 KB
- 文档页数:11
第 16页定义1 设,A B 为两个非空集合,如果有某一法则ϕ,使每个x A ∈有唯一确定的y B ∈和它对应,则称ϕ为A到B内的映射,记为:A B ϕ→.当映射ϕ使y和x对应时,y 称为x 在映射ϕ下的像,记作(x)y ϕ=,也可表示为:xy ϕ.对于任一固定的y,称适合关系(x)y ϕ=的x 的全体是元素y 在ϕ之下的原像,集合A称为映射ϕ的定义域,记为()βϕ,设C是A的子集,C中所有元素的像的全体,记为(c)ϕ,称它是C在ϕ之下的像,(A)ϕ称为映射ϕ的值域,记为()ϕℜ。
定义2 设A和B是两非空集合,若存在从集合A到B上的一一映射ϕ ,即满足:⑴ 单设:对任意x,y A ∈,若(x)(y)ϕϕ=,则x=y ;⑵ 满射:对任意y B ∈,存在x A ∈,使得(x)y ϕ=.则称A和B对等,记为A B ,规定φφ。
例 1我们可给出有限集合的一个不依赖于元素个数概念的定义,集合A称为有限集合,如果A=φ或者A 和正整数的某截段{1,2,......n}对等。
例 2 { 正奇数全体 }{ 正偶数全体 },事实上,只要令(x)x 1ϕ=+ 即可。
例 3{ 正整数全体}{ 正偶数全体},这只需令(x)2x ϕ=,第17页X 是整数。
例4 区间(0,1)和全体实数R 对等,只需对每个(0,1)x ∈,令(x)t a n (x )2πϕπ=-。
例5 设A与B是两个同心圆周(图1.4),显然A~B。
事实上,对A上每一点x 与同心圆的圆心的连线与B相交且交与一点,值得注意的是,若将此圆的两周展开为线段时,则这两条线段的长度并不相同。
这告诉我们,一个较长的线段并不例4表明,无限长的“线段”也不比有限比另一个较短线段含有“更多的点”。
长的线段有“更多的点”。
例 3和例4说明一个无限集可以和它的一个真子集对等(可以证明,这一性质正是无限极的特征,常用来作为无限极的定义)。
这一性质对于有限集来说显然不能成立,由此可以看到有限集和无限极之间的诧异。