第一章基本概念 1 1集合1 2映射1 3数学归纳法1 4整数的一些整除性质1 5数环和数域 课外学习1 山穷水尽疑无路 柳暗花明又一村 评析数学进程中的三次危机 在数学的领域中 提出问题的艺术比解答问题的艺术更为重要 康托尔 Cantor 集合论的奠基人 1845 1918 算术给予我们一个用之不竭的 充满有趣真理的宝库 高斯 Gauss 1777 1855 数可以说成是统治整个量的世界 而算术的四则可以被认为是作为数学家的完全的装备 麦斯韦 JamesClarkMaxwell1831 1879 1 1集合 内容分布1 1 1集合的描述性定义1 1 2集合的表示方法1 1 3集合的包含和相等1 1 4集合的运算及其性质教学目的掌握集合概念 运算 证明集合相等的一般方法重点 难点集合概念 证明集合相等 1 1 1集合的描述性定义 表示一定事物的集体 我们把它们称为集合或集 如 一队 一班 一筐 组成集合的东西叫这个集合的元素 我们常用大写拉丁字母A B C 表示集合 用小写拉丁字母a b c 表示元素 如果a是集合A的元素 就说a属于A 记作 或者说A包含a 记作A a如果a不是集合A的元素 就说a不属于A 记作 或者说A不包含a 记作 例如 设A是一切偶数所成的集合 那么4 A 而 一个集合可能只含有有限多个元素 这样的集合叫做有限集合 如 前十个正整数的集合 一个学校的全体学生的集合 一本书里面的所有汉字的集合等等这些都是有限集合 如果一个集合是由无限多个元素组成的 就叫做无限集合 如 全体自然数的集合 全体实数的集合 小于的全体有理数的集合等等都是无限集合 不含任何元素的集合叫空集 表示为 1 1 2集合的表示方法 枚举法 例如 我们把一个含有n个元素的集合的有限集合表示成 前五个正整数的集合就可以记作 拟枚举 自然数的集合可以记作 拟枚举可以用来表示能够排列出来的的集合 像自然数 整数 概括原则 表示一切大于 1且小于1的实数的所组成的集合 常用的数集 全体整数的集合 表示为Z全体有理数的集合 表示为Q全体实数的集合 表示为R全体复数的集合 表示为C 1 1 3集合的包含和相等 设A B是两个集合 如果A的每一元素都是B的元素 那么就说 是 的子集 记作 读作 属于 或记作 读作 包含 根据这个定义 是 的的子集必要且只要对于每一个元素x 如果 就有 例如 一切整数的集合是一切有理数的集合的子集 而后者又是一切实数的集合的子集 A是B的子集 记作 如果A不是B的子集 就记作 或 因此 A不是B的子集 必要且只要A中至少有一个元素不属于B 即 例如 一节可以用被有整除的整数所成的集合 不是一切偶数所成的集合的子集 因为3属于前者但不属于后者 集合 1 2 3 不是 2 3 4 5 的子集 根据定义 一个集合A总是它自己的子集 即 如果集合A与B的由完全相同之处的元素组成部分的 就说A与B相等 记作 A B 我们有 例如 设A 1 2 B是二次方程的根的集合 则A B 1 1 4集合的运算及其性质 并运算设A B是两个集合 由A的一切元素和B的一切元素所成的集合叫做A与B的并集 简称并 记作 如图1所示 例如 A 1 2 3 B 1 2 3 4 则 根据定义 我们有 交运算由集合A与B的公共元素所组成的集合叫做A与B的交集 简称交 记作 如图2所示 例如 A 1 2 3 4 B 2 3 4 5 则 我们有 两个集合A与B不一定有公共元素 我们就说它们的交集是空集 例如 设A是一切有理数的集合 B是一切无理数的集合 那么就是空集 又如方程的实数根的集合为空集 空集是任意集合的子集 运算性质 分配律 证明设 那么且 于是且至少属于B与C中的之一 若 那么因为 所以 同样 若 则 不论哪一种情形都有 所以 反之 若 那么或者 但 所以不论哪一种情形都有 所以这就证明了上述等式 两个集的并与交的概念可以推广到任意n个集合上去 设是给定的集合 由的一切元素所成的集合叫做的并 由的一切公共元素所成的集合叫做的交 的并和交分别记为 和 我们有 积运算 设设A B是两个集合 令称为A与B的笛卡儿积 简称为积 是一切元素对 a b 所成的集合 其中第一个位置的元素a取自A 第二个位置的元素b取自B 1 2映射 一 内容分布1 2 1映射的概念及例1 2 2映射的相等及像1 2 3映射的合成1 2 4单射 满射 双射二 教学目的掌握映射的概念 映射的合成 满射 单射 可逆映射的判断 三 重点 难点映射的合成 满射 单射 可逆映射的判断 1 2 1映射的概念及例 定义1设A B是两个非空的集合 A到B的一个映射指的是一个对应法则 通过这个法则 对于集合A中的每一个元素x 有集合B中一个唯一确定的元素y与它对应 用字母f g 表示映射 用记号表示f是A到B的一个映射 如果通过映射f 与A中元素x对应的B中元素是y 那么就写作 这时y叫做x在f之下的象 记作 例1令Z是一切整数的集合 对于每一整数n 令与它对应 那f是Z到Z的一个映射 例4设A是一切非负被减数的集合 B是一切实数的集合 对于每一 令与它对应 f不是A到B的映射 因为当时 不能由x唯一确定 例5令A B等于一切正整数的集合 不是A到B的一个映射 因为 例6设A是任意一个集合 对于每一 令与它对应 这自然是A到A的一个映射 这个映射称为集合A的恒等映射 注意 A与B可以是相同的集合 也可以是不同的集合 对于A的每一个元素x 需要B中一个唯一确定的元素与它对应 一般说来 B中的元素不一定都是A中元素的象 A中不相同的元素的象可能相同 1 2 2映射的相等及像 设是一个映射 对于 x的象 一切这样的象作成B的一个子集 用表示 叫做A在f之下的象 或者叫做映射f的象 设 都是A到B的映射 如果对于每一 都有 那么就说映射f与g是相等的 记作 1 2 3映射的合成 设是A到B的一个映射 是B到C的一个映射 那么对于每一个 因而是C中的一个元素 因此 对于每一 就有C中唯一的确定的元素与它对应 这样就得到A到C的一个映射 这映射是由和所决定的 称为f与g的合成 乘积 记作 于是有 对于一切 f与g的合成可以用下面的图示意 A B C 设给映射 有 但是 一般情况下 设A是非空集合 称为设A上的恒等映射 1 2 4单射 满射 双射 定义2设f是A到B的一个映射 如果 那么说称f是A到B上的一个映射 这里也称f是一个满映射 简称满射 是满射必要且只要对于B中的每一元素y 都有A中元素x使得 关于映射 只要求对于A中的每一个元素x 有B中的一个唯一确定的元素y与它对应 但是A中不同的元素可以有相同的象 定义3设是一个映射 如果对于A中任意两个元素和 只要 就有 那么就称f是A到B的一个单映射 简称单射 如果既是满射 又是单射 即如果f满足下面两个条件 对于一切 那么就称f是A到B的一个双射 一个有限集集合的A到自身的双射叫做A的一个置换 f是一个双射 存在B到A的一个映射g 使得 再者 当条件 成立时 映射g是由f唯一确定的 因此 由定理1 2 1 也是一个双射 并且f就是的逆映射 即 如果存在集合A到集合B的一个双射 我们有时候也说 在A与B的元素之间存在着一一对应 1 3数学归纳法 内容分布1 3 1最小数原理1 3 2数学归纳法的依据教学目的掌握映射的概念 映射的合成 满射 单射 可逆映射的判断 重点 难点映射的合成 满射 单射 可逆映射的判断 1 3 1最小数原理 数学归纳法所根据的原理是正整数集的一个最基本的性质 最小数原理 1 最小数原理并不是对于任意数集都成立的 2 设c是任意一个整数 令 注意 那么经代替正整数集 最小数原理对于仍然成立 也就是说 的任意一个非空子集必含有一个最小数 特别 N的任意一个非空了集必含有一个最小数 这个原理的一般形式就是数学分析中的下 上 确界原理 1 3 2数学归纳法的依据 定理1 3 1 数学归纳法原理 设有一个与正整数n有关的命题 如果 当n 1时 命题成立 假设当n k时命题成立 当n k 1时命题也成立 那么这个命题对于一切正整数n都成立 例1证明 当时 n边形的内角和等于 n 2 定理1 3 2 第二数学归纳法 设有一个与正整数n有关的命题 如果 当n 1时命题成立 假设命题对于一切小于k的自然数来说成立 则命题对于k也成立 那么命题对于一切自然数n来说都成立 数学归纳法可以推广到良序集合上 即所谓超限归纳原理 1 4整数的一些整除性质 一 内容分布1 4 1整除与带余除法1 4 2最大公因数1 4 3互素1 4 4素数的简单性质二 教学目的1 理解和掌握整除及其性质 2 掌握最大公因数性质 求法 3 理解互素 素数的简单性质 三 重点 难点整除 最大公因数性质 互素有关的证明 1 4 1整除与带余除法 设a b是两个整数 如果存在一个整数d 使得b ad 那么就说a整除b 或者说b被a整除 用符号a b表示a整除b 这时a叫做b的一个因数 而b叫做a的一个倍数 如果a不整除b 那么就记作 整除的基本性质 定理1 4 1 带余除法 设a b是整数且 那么存在一对整数q和r 使得 满足以上条件整数q和r的唯一确定的 所以 这是与r是S中最小数的事实矛盾 因此 假设还 使得 由此或者 或者 不论是哪一种情形 都将导致矛盾 这样必须 从而 也就是说 1 4 2最大公因数 设a b是两个整数 满足下列条件的整数d叫做a与b的最大公因数 定理1 4 2任意个整数都有最大公因数 如果d是的一个最大公因数 那么 d也是一个最大公因数 的两个最大公因数至多只相差一个符号 定理1 4 3设d是的一个最大公因数 那么存在整数 使得 证若 那么d 0 定理显然成立 设不全为零 由定理1 4 2的证明 知 因而存在 使得 1 4 3互素 设a b是两个整数 如果 a b 1 那么就说a与b互素 一般地 是n个整数 如果 那么就说这n个整数互素 1 证如果互素 那么由定理1 4 2立即得到等式 1 成立 反过来 设等式 1 成立 令 那么c能整除 1 式中的左端 所以c 1 因此c 1 即 1 4 4素数的简单性质 一个正整数p 1叫做一个素数 如果除 1和 p外 没有其它因数 定理1 4 5一个素数如果带队两个整数a与b的乘积 那么它至少整除a与b中的一个 证设p是一个素数 如果p ab 但 由上面所指出的素数的性质 必定有 p a 1 于是由定理1 4 4 存在整数s和t使得sp ta 1两边同乘以b spb tab b 左边的第一项自然能被p整除 又因为p ab 所以左边第二项也能被p整除 于是p整除左边两项的和 从而p b 1 5数环和数域 定义1设S是复数集C的一个非空子集 如果对于S中任意两个数a b来说 a b a b ab都在S内 那么就称S是一个数环 例2令 S显然不是空集 如果 那么 定义2设F是一个数环 如果 F含有一个不等于零的数 如果 那么就称F是一个数域 定理1 5 1任何数域都包含有理数域Q 证设F是一个数域 那么由条件 F含有一逐步形成不等于0的数a 再由条件 用1和它自己重复相加 可得全体正整数 因而全体正整数都属于F 另一方面 所以F也含有0与任一正整数的差 亦即全体负整数 因为F含有全体整数 这样 F也含有用意两个整数的商 分母不为0 因而 F含有一切有理数 。