1集合论与实分析基础(数理经济学讲义-西安交大寿纪麟)
交大数理逻辑课件数理逻辑和集合论复习提纲

4.使用推理规则证明: P(QR),S∨P, Q S R
《数理逻辑》样卷
六.应用题(共20分)
1. 甲、乙、丙、丁四人参加考试,有人问他们,谁的成绩最 好,甲说:“不是我”,乙说:“是丁”,丙说:“是乙”, 丁说:“不是我”.四人的回答只有一人符合实际,问是 谁的成绩最好,若只有一人成绩最好,他是谁?
A.A=B
B.BA
C.AB
D.A≠B
8.下列一阶谓词公式中,是逻辑有效 式的是____________。
A. x(F(x) G(x))
B. xF(x) xF(x)
C. Байду номын сангаасF(x,y) R(x,y)) R(x,y)
D. xyF(x,y) xyF(x,y)
9.设 f:B→C, g:A→B. 则下面命 题是错误的是___________。
第11章 函 数
11.1 函数 11.2 函数的合成和函数的逆
第12章 集合的基数
12.2 集合的等势 12.3 有限集合与无限集合 12.4 集合的基数
试题结构
卷面
一. 选择题(10%) 二. 填空题(20%) 三. 判断题(10%) 四. 运算题(20%) 五. 证明题(20%) 六. 应用题(20%)
《数理逻辑》样卷
6.设A、B是集合,右图的文氏图的 阴影部分的区域可用________表 达式表示
A. A∩B B. A∪B
C. A-B D. (A∪B)-(A∩B)
7.集合A和B定义如下,则它们之间 满足_________关系。
现代数学基础

现代数学基础1《代数与编码》(第三版)万哲先编著2《应用偏微分方程讲义》姜孔尚孔德兴陈志浩编著3《实分析》(第二版)程民德邓东皋龙瑞麟编著4《高等概率论及其应用》胡迪鹤著5《线性代数与矩阵论》许以超编著6《矩阵论》詹兴致7《可靠性统计》茆诗松汤银才王玲玲编著8《泛函分析第二教程》(第二版)夏道行严绍宗舒五昌童裕孙编著9《无限维空间上的测度和积分—抽象调和分析》(第二版)夏道行著10《奇异摄动问题中的渐近理论》倪明康林武忠11《整体微分几何初步》(第三版)沈一兵编著12《数论Ⅰ—Ferma的梦想和类域论》加藤和也黑川信重斋藤毅著胥鸣伟印林生译13《数论Ⅱ—岩泽理论和自守形式》加藤和也栗原将人斋藤毅著印林生胥鸣伟译14《微分方程与数学物理问题》[瑞典]Nail H. lbragimov 著卢琦杨凯罗朝俊胡享平译15《有限群表示论》(第二版)曹锡华时俭益16《实变函数论与泛函分析》(上册·第二版修订本)夏道行吴卓人严绍宗舒五昌编著17《实变函数论与泛函分析》(下册·第二版修订本)夏道行吴卓人严绍宗舒五昌编著18《现代极限理论及其在随机结构中的应用》苏淳冯群强刘杰著19《偏微分方程》孔德兴20《几何与拓扑的概念导引》古志鸣编著21《控制论中的矩阵计算》徐树方著22《多项式代数》王东明牟晨琪李晓亮杨静金萌黄艳丽编著23 《矩阵计算六讲》徐树芳钱江著24《变分学讲义》张恭庆编著25《现代极小曲面讲义》Frederico Xavier·潮小李26《群表示论》丘维声编著27《可靠性数学引论》(修订版)曹晋华程侃著28《次正常算子解析理论》夏道行著28《复变函数专题选讲》余家荣路见可主编余家荣柏盛桄肖修治何育赞路见可编30《数论—从同余的观点出发》蔡天新31《多复变函数论》萧荫堂陈志华钟家庆著32《工程数学的新方法》蒋耀林33《现代芬斯勒几何初步》沈一兵沈忠民34《数论基础》潘承洞著展涛刘建亚校35《Toeplitz 系统预处理方法》金小庆著庞宏奎译36《索伯列夫空间》王明新37《伽罗瓦理论—天才的激情》章璞著38《李代数》(第二版) 万哲先编著39《实分析中的反例》汪林40《泛函分析中的反例》汪林著41《拓扑线性空间与算子谱理论》刘培德编著42《旋量代数与李群、李代数》戴建生43《格论导引》方捷著44《李群讲义》项武义侯自新孟道骥著45《古典几何学》项武义王申怀潘养廉著46《黎曼几何初步》伍鸿熙沈纯理虞言林著47《高等线性代数学》黎景辉白正简周国晖编著48《实分析与泛函分析(续论)》(上册) 匡继昌51《阶的估计基础》潘承洞于秀源52《非线性泛函分析》(第三版) 郭大钧著复习题1. 判断下面方程的类型并把它化成标准型:4520.xx xy yy x y u u u u u +++++=证明:因为判别式,0942〉=-=∆ac b 故方程为双曲型。
西安交大教授谈如何学好高等数学

集合论、计算数学、电子计算机等的出现 和发展构成了现在丰富多彩、渗透到各个科 学技术部门的现代数学。
高等数学课教学的特点
(1) 课堂大。高等数学一般都是一个系同 年级的几个小班合班上课。教师授课的基点, 只能照顾大多数,不可能给跟不上、听不全 懂的少数同学细讲、重复讲。
(2) 时间长,连贯性强。高等数学每上一次课, 一般都是连续讲授两节。而且各章的内容有很 强的连贯性。
四、导数
曲线的切线斜率
y
曲线
在 M 点处的切线
割线 M N 的极限位置 M T
(当
时)
o
切线 MT 的斜率
y f (x)
N
CM
T
x0 x x
lim tan
割线 M N 的斜率 tan
k
lim
x x0
f (x) f (x0 ) x x0
f (x) f (x0 ) x x0
瞬时速度 切线斜率
数学不但研究数量关系与空间形式,还 研究现实世界的任何关系和形式。因此, 数学的研究对象是抽象的关系与形式,数 学研究的是各种抽象的“数”和“形”的模 式 结恩构格。斯说:“要辩证而又唯物地了解自然, 就必须掌握数学”。英国著名哲学家培根说: “数学是打开科学大门的钥匙”。
数学如今已经越来越被人们认为是在科学 发展中具有高度重视课程。它不仅是各专业 的后继课程所必需。而且它本身就是科学思维, 逻辑分析的素质*训练。通俗地说数学是 思维方法的体操。 自然科学各学科数学化的趋势,社会科学各 部门定量化的要求,使许多学科都在直接间 接地,或先或后地经历着一场数学化的进程。
3) 近似和.
4) 取极限 .
上述两个问题的共性: • 解决问题的方法步骤相同,即(分,粗,合,精) :
实分析答案

容易验证 f 可测且显然有 f = g µ − a.e. 但是 {x ∈ X : g(x) > 1} = A\B ∈/ A . 故 g 不可 测.
2.证明定理1.2.1-1.2.10, 特别是1.2.7和1.2.10.
证明. 这些定理的证明可以完全仿照《实变》获得证明.
2
1.3 LP (X, A , µ)
证明. 我们很容易验证d 是一个距离. 下面我们来验证它的完备性.
事实上, 根据
∫
µ(E1∆E2) = |χE1 − χE2 |dµ,
X
它与 L1 的闭子空间 {χE : E ∈ A }, 是等距地一一对应的. 设 {En} 是 (X, A , µ) 中的一个基本 列. 则
∫
d(En, Em) → 0 ⇔ µ(En∆Em) → 0 ⇔ |χE1 − χE2|dµ → 0 (n → 0, m → 0).
∫ |gm − gn|pdµ < ϵ.
X
用Fatou引理, 令 n → ∞, 得
∫
|gm − f |pdµ < ϵ, ∀m > N.
X
可见 lim
m→∞
∫
X
|gm
−
f |pdµ
=
0,
从而 lim
n→∞
∫
X
|fn
−
f |pdµ
=
0.
2.设 f ∈ L∞(X, A , µ). 证明
∥f ∥∞ = inf{α > 0 : µ({x ∈ X : |f (x)| > α}) = 0}.
∥p
≤
1
lim (|E| + 1) p
p→∞
=
=
∥f ∥∞.
第一章集合论基础 1 [兼容模式]
![第一章集合论基础 1 [兼容模式]](https://img.taocdn.com/s3/m/6e95ca611ed9ad51f01df2ae.png)
集合运算举例
例1. 已知A∪B=A∪C, A∩B=A∩C, 证明B=C.
例2. 化简: ((A∪B∪C) ∩(A∪B)) ∩(A∪(A∩C))
例3. 证明: (A∪B)-(A∩B)=(A- B) ∪(B-A)
例1. 已知A∪B=A∪C, A∩B=A∩C, 证明B=C.
证: B=C 左=B= B∩(A∪B) (吸收律) = B∩ (A ∪C) = (B∩ A) ∪ (B∩C) = (A ∩ C) ∪ (B∩C) = C ∩ (A∪B) = C ∩ (A∪ C) =C
= (A∪B) ∩ ~(A∩B) = (A∪B) ∩(~ A ∪ ~ B) =(A ∩ ~ A ) ∪ (A ∩ ~ B) ∪ (B ∩ ~ A ) ∪ (B∩ ~ B)
=Φ ∪ (A ∩ ~ B) ∪ (B ∩ ~ A )
= (A ∩ ~ B) ∪ (B ∩ ~ A ) =(A- B) ∪(B-A)
Discrete Mathematics
课程要求
• 教材 • 课时安排 • 课程要求以及考试安排
• 参考书目
• 耿素云,屈婉玲编著.离散数学(修订版).北京:高等教育出版社,2004 • 左孝凌,李为鉴,刘永才编著.离散数学.上海:上海科学技术文献出版
社,1982 • 孙吉贵,杨凤杰,欧阳丹彤,李占山编著.离散数学.高等教育出版社,
B⊆C ,则A⊆C。 (c). 有反对称性,对任何集合A、B,有 A⊆B且
B⊆A ,则A=B。
集合间的关系
2. 相等关系 定义:A、B是集合,如果它们的元素完全相 同,则称A与B相等。记作A=B。 性质:
⑴有自反性,对任何集合A,有A=A。 ⑵有传递性,对任何集合A、B、C,如果有 A=B且 B=C ,则A=C。 ⑶有对称性,对任何集合A、B,如果有A=B, 则B=A。
林寿数学史教案-第十讲:19世纪的分析

林寿数学史教案-第十讲:19世纪的分析第一篇:林寿数学史教案-第十讲:19世纪的分析第十讲:19世纪的分析1、分析的严格化经过近一个世纪的尝试与酝酿,数学家们在严格化基础上重建微积分的努力到19世纪初开始获得成效。
1.1 分析的算术化所谓分析是指关于函数的无穷小分析,主要贡献归功于柯西(法,1789-1857年)和魏尔斯特拉斯(德,1815-1897),前者著有《分析教程》(1821)、《无穷小分析教程概论》(1823)和《微分学教程》(1829),后者创造了ε-δ语言,是“现代分析之父”。
1837年狄里克雷(德,1805-1859年)的函数定义。
魏尔斯特拉斯简介。
1.2 实数理论19世纪60年代魏尔斯特拉斯提出“单调有界原理”,康托、戴德金各自独立地给出了无理数定义,建立了严格的实数论。
实数的定义及其完备性的确立,标志着由魏尔斯特拉斯倡导的分析算术化运动大致宣告完成。
1.3 集合论康托(德,1845-1918年),1874年发表了“关于一切代数实数的一个性质”,引入了无穷的概念。
康托简介。
2、分析的拓展 2.1 复变函数论在18世纪后半叶到19世纪初,开始了复函数的偏导数与积分性质的探索。
复分析真正作为现代分析的一个研究领域是在19世纪建立起来的,主要奠基人:柯西(法,1789-1857年)、黎曼(德,1826-1866年)和魏尔斯特拉斯(德,1815-1897年)。
柯西建立了复变函数的微分和积分理论。
1814年、1825年的论文《关于积分限为虚数的定积分的报告》建立了柯西积分定理,1826年提出留数概念,1831年获得柯西积分公式,1846年发现积分与路径无关定理。
柯西简介。
背景:波旁王朝、捷克简史、哈布斯堡王朝、拿破仑三世、欧洲1848年革命。
黎曼的几何观点,引入“黎曼面”的概念。
1851年博士论文《单复变函数一般理论基础》,建立了柯西-黎曼条件、黎曼映射定理。
魏尔斯特拉斯于19世纪40年代,以追求绝对的严格性为特征,建立了幂级数基础上的解析函数理论,解析开拓。
3.消费者理论(数理经济学讲义-西安交大 寿纪麟)

令 x1 (1 )x2 y1,由S(f (x2 ))严格弯曲的假设,
必有点 y 2 y1 , x 2 , 使 f (y 2 ) f (y 1 ) f (x 2 ),
31凸集与凸函数定义集合叫做凸集如果对任意的平面中的圆盘性质是凸的等价于对任意的x记为它是该集合中所有凸组合所组成的集合因此如果对任意的和任意的证明与定理一样可证反证法若存在12都产生了矛盾因而证明了是严格拟凹的
第3章 消费者理论(Consumer Theory)
3.1 凸集与凸函数
定义 集合C Rn叫做凸集,如果对任意的 x1,x2 C
当x y时,u(x) e u(y) e u(x) u(y),
当x=y时,u(x) e u(y) e u(x) u(y)。
当xn x0时,有 u(xn ) e u(x0 ) e,
因而 u(xn ) u(x0 ),即 u(x)是连续的。
定理得证。
注意:对一个偏好,与此相协调的效用函数不是
而 y1 x1 ,y 2 , f (y1 ) min f (x1 ), f (y 2 )
x1
x2
y2
1.若f (x1 ) f (x 2 ), 则 f (y 1 ) f (x 2 ) f (y 1 ),
2.若f (x1 ) f (x 2 ), 则 f (y 1 ) f (x 2 ) f (y 1 ),
则称f为(严格)拟凹函数。
定理3.1 设 E R
n
为凸集。f : E R,则
f(x) 为拟凹 D={x f (x) },,为凸集; |
2.1 集合论基础

例如,令A={a,b,c,d},B={c,d,e,f},于
是A∪B={a,b,c,d,e,f}。
A
B
A∪ B
设 A , B 是两个集合。由属于 A 又属于 B 的元素组成 的 集 合 , 称 为 A 和 B 的 交 集 , 记 以 A∩ B 。 即
A∩B={x|xA xB}
例如,令A={a,b,c,d},B={c,d,e,f},于
定义3.1.4 没有任何元素的集合,称为空集,记 为,它可形式地表为:
={x|P(x)P(x)}
其中P(x)为任何谓词公式。
由定义可知,对任何集合A,有A。这是因为 任意元素x,公式xxA总是为真(为什么?)。
例
◦ {x|x∈R∧x2+1=0}是方程x2+1=0的实数解集,因 为该方程无实数解,所以是空集。
随着集合论的发展,以及它与数学哲学密切联系所 作的讨论,在1900年左右出现了各种悖论,使集 合论的发展一度陷入僵滞的局面。 第一个悖论是布拉利-福尔蒂的最大序数悖论。 1901年罗素发现了有名的罗素悖论。1932年康脱 也发表了关于最大基数的悖论。
设集合S={A|A是集合,且AA}
1. 若SS,则S是集合S的元素,则根据S的定义,有S
◦ 集合论的现代公理化开始于1908年策梅罗所发表的 一组公理,经过弗兰克尔的加工,这个系统称为策梅 罗-弗兰克尔集合论(ZF),其中包括1904年策梅罗 引入的选择公理。另外一种系统是冯·诺伊曼-伯奈斯 -哥德尔集合论。公理集合论中一个有名的猜想是连 续统假设(CH)。哥德尔证明了连续统假设与策梅 罗-弗兰克尔集合论的相容性,科恩证明了连续统假 设与策梅罗-弗兰克尔集合论的独立性。现在把策梅 罗-弗兰克尔集合论与选择公理一起称为ZFC系统。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
含有xn中无穷多个点,且 a2,b2 a1,b1;
以此类推,可得到一个闭区间列an,bn ,n=1,2,...
其中每一个an ,bn 都包含了无穷多个xn ,且
... an ,bn an-1,bn-1 ... a2,b2 a1,b1
由此构造可知 an,bn 为一个闭区间套。
由定理1.1,必存在
事实上,取 =1, N1,当m,n N1时,| xn xm | 1,
取m=N1+1, 当n>N1时, | xn xm | 1
令
A=max x1 ,x2 ,...,xN1+1 ,
因此,A 1为xn的上界,-(A+1)为xn的下界。
即
xn A+1,
n
由定理1.2 在xn中必存在子列{xnk } {xn},使
数列x
n
n=1
收敛的充要条件是它为基本数列。
证(
)设
x
n
n=1
为收敛数列。令x
n
a,则
>0,N,当m,n N时,有
xn a / 2, xm a / 2
xn xm xn a a xm | xn-a|+|xm a |
即xn 为Cauchy数列。
( )设xn为Cauchy列,首先我们来证xn为有界数列。
则
x A C, 或 x B C 。
从而, x C 且 x A 或 x B,即 x (A B) C,
(A C)(B C)(A B) C 。
因此 (A C)(B C)=(A B) C。
转换律: A\B=A BC;
对偶原理;(De-Morgen原理)
(1) (
A )C=
A
C
,
(2) (
A )C=
-
an ) 0 ,
lim
n
an=lnim
b
n=
因为 {xnk
}为 {xn }的子列,故
lim
k
x nk=
。
定义
设
xn
n=1
为一个数列,若当m,n
时,
有 xn - xm 0, 即 0 , N , 当 m,n N 时,有 | xn - xm |
则称该数列为基本数列或Cauchy数列。
定理 1.3 (完备性定理)
例1.3 (y) = {(x1, x2) R+ 2 | y Ax1x12- } 例1.4 C[a, b] {f(x) | f(x)为[a, b]上的连续函数}
1.2 集合及其运算
并:A B={x | x A,或x B} 交:A B={x | x A,且x B} 差:A \ B ={x | x A,但x B}
A
C
。
De-Morgen原理的证明。
(1) x ( A)C x A ,x A
,x A x
A
C
C
C
另一方面, x
A
C
,x
A
C
,x
A
x A x ( A)C ,
A
C
(
A )C
(
A )C=
A
C
(2)由(1)可以证(2)。
因为
所以
(
A
C
)C=
(A
C
)C=
第1章 集合论与实分析基础
1.1 集合的定义
集合已被广泛应用在现代数学的各个方面,尤其是应用在 经济学,简单的讲,集合是具有某种确定性的事物的全体。
例1.1 {(x,y)|x2+y2=1}表示以原点为中心,半径为 1 的
圆周上点的全体。
例1.2 {x|u(x)=}表示消费者的效用值为的商品组合 的全体,即为一条效用值为的无差别曲线。
定理1.2 (Bolzano Weierstrass 定理)
任何有界数列必有收敛子列。
证 设xn 为有界数列,则存在上下界a, b, 即a < xn< b。 两等分a,b,其中至少有一个分区间,记为a1,b1 ,
含有xn中无穷多个点。 a
a1
a2
b2
b1
b
两等分a1,b1,其中至少有一个分区间,记为a2,b2 ,
余:Ac= {x | x A} 集合的运算规则: 交换律: A B=B A,A B=B A;
结合律:(A B) C=A (B C), (A B) C=A (B C);
分配律: (A B) C=(A C)(B C), (A B) C=(A C)(B C);
吸收律; 若A B,则A B=B;A B=A, A , A \ B=,A =A;
A,
A
C=(
A )C。
例1.8 [0,2]可以被区间族:
证 A\(A\B)=A (A \ B)C=A (A BC)C =A (AC B)=(A AC)(A B)
= (A B)=A B
实分析基础
有理数集(Q) 有理数是指一切形如 p/q 的数,其中 p,q 0 均为整数,
Q =x|x=p/q , p,q为整数,q 0
命题1.1 有理数集是稠密的。 即 对 x、y Q,x y, x<y,必 z Q , 使 z (x、y)。 命题1.2 有理数集对四则运算法则是封闭的。 但是有理数对极限运算不是封闭的,换句话说有理 数集是不完备的。
1.3 实数集(R)的完备性 定义 若满足下列条件:
(1) a1,b1 a2, b2 ... an, bn ...
xn k k a
现在来证明
lim
n
x
=a
n
事实上, > 0, K, 当 k>K 时,有 xnk a / 2 。
由设xn为Cauchy数列,故 N1,当 k N1时,
且
lim
n
an=lnim
b
n=
由于每一个an ,bn 中含有无穷多个xi,所以先取
xn1 a1,b1 ,再取xn2 a2,b2 ,且n2 n1,
如此继续下去,可取出使xnk ak ,bk ,且nk1 nk ,
所以
ak xnk bk ,
k=1,2,3,......
lim
n
(bn
例1.5 求证(A B) C=(A C)(B C)。
证 x (A B) C,则 x A B 且 x C,
从而, x A 或 x B,且 x C,
这就是说,x A ,且 x C, 或 x B,且 x C,
即
x (A C)(B C),
所以 (A B) C (A C)(B C)。
另一方面, x (A C)(B C),
(2) 闭区间an ,bn 的长度数列,bn-an n 0
则称这个闭区间列为一个闭区间套。
定理1.1 Contor闭区间套定理。(当作公理承认)
设an,bn 为任意一个闭区间套,则必存在唯一的实数,
使 an,bn ,n=1,2,..., m,...,即
n1
an ,bn
,且
lim an = lim bn