离散数学 课件 第4章 函数

第四章函数4.1函数的概念目录CONTENTS01核心定义函数的定义、判定条件、定义域与值域，构建坚实的概念基础。02关系对比深入剖析函数与一般二元关系的本质区别与联系，厘清边界。03特殊函数介绍恒等函数、常值函数、特征函数等基础且重要的特殊类型。04例题解析精选典型例题，从概念辨析到实际计算，全方位巩固理解。定义4.1：函数(Function)▍定义内容设X和Y是任意两个集合，而f是X到Y的一个关系。如果对于每一个x∈X，都有唯一的y∈

Y，使得<x,y>∈

f，则称关系f是X到Y的一个函数，或X到Y的映射（Mapping）、变换（Transform）。记法f:X→Y函数表达式y=f(x)自变量(原象)x函数值(象)y函数的判定条件存在性条件X的每个元素都必须有象。函数的定义域必须是整个集合X，不能仅定义在X的某个真子集上，即不能“遗漏”任何一个输入值。唯一性条件X的每个元素都只能对应唯一的一个象。数学表达：若f(x)=y且f(x)=z，则必然有y=z。即同一个输入，不能映射出两个或更多不同的输出。判定反例若出现以下任一情况，则不是函数：•存在元素x∈X在集合Y中没有对应的象。

•存在元素x∈X在集合Y中有两个或两个以上不同的象。图示：函数与非函数的直观对比函数示例(图4.2)图中的关系f和g都是函数。原因：定义域X中的每一个元素都有对应的Y值，并且每个X元素都只有唯一的一个Y元素与之对应，同时满足了映射的“存在性”与“唯一性”。非函数示例(图4.3)图中的关系h和k都不是函数，它们分别违反了函数定义的核心条件：•关系h：元素x₂在Y中没有对应的象，不满足“存在性”条件。•关系k：元素x₃在Y中有两个不同的象，不满足“唯一性”条件。定义4.2：定义域、值域与共域定义域Domain函数y=f(x)的定义域是关系f的前域，是所有可能的输入值的集合。domf=X值域Range也称为函数的“象集合”。是所有函数值的集合。它是共域的子集。Y⊇ranf共域Codomain集合Y被称为函数f的共域，它是我们预先指定的所有可能输出值的集合。Codomain=Y核心关系•输入:集合X(定义域)•目标:集合Y(共域)•实际:ranf(值域)“值域”是“共域”的一部分定义4.3：函数的相等对于函数f:X→Y和g:C→D，若满足以下两个条件，则称函数f和g相等，记为f=g：01.定义域相同X=C02.对应关系相同对所有x∈X(即x∈C)，均有f(x)=g(x)💡核心理解两个函数相等当且仅当它们的定义域和对应法则完全相同。函数与关系的核心区别01个数差别关系(Relation):

从集合X到集合Y的不同关系数量极大，计算公式为：

2^(|X|×|Y|)函数(Function):

从集合X到集合Y的不同函数数量相对较少，计算公式为：

|Y|^|X|02序偶首元约束关系(Relation):

序偶的第一个元素可以重复，也可以不包含定义域X中的全部元素，没有强制性要求。函数(Function):

序偶的第一个元素必须互不相同，且必须完整包含定义域X中的所有元素。03集合基数特征关系(Relation):

作为序偶的集合，其基数变化范围非常大，可以从0个元素一直到|X|×|Y|个元素。函数(Function):

每个函数的集合基数都是固定不变的，其元素个数严格等于定义域X的元素个数，即|X|个。例题4.1：判断关系是否为函数题目条件设集合：A={1,2,3,4}，B={a,b,c,d}请判断下列关系是否构成函数：f1={<1,a>,<2,a>,<3,d>,<4,c>}f2={<1,a>,<2,a>,<2,d>,<4,c>}f3={<1,a>,<2,b>,<3,d>,<4,c>}f4={<2,b>,<3,d>,<4,c>}解答分析✅结论：f1

和f3是函数解释：集合A中的每一个元素，都在集合B中有且仅有一个元素与之对应，满足函数的存在性与唯一性。❌结论：f2不是函数解释：元素2对应了a和d两个像，违反了函数定义中的唯一性原则。❌结论：f4不是函数解释：集合A中的元素1没有对应的像，违反了函数定义中的存在性原则。例题4.2：函数与非函数的实例函数实例(Function)1.后继函数：设f:N→N

(N为自然数集)，定义映射规则为：f(x)=x+12.二次函数：设g:R→R(R为实数集)，定义映射规则为：g(x)=x2+2x+1=(x+1)2非函数实例(Non-Function)设二元关系h={<x1,x2>|x1,x2∈

N，并且x1+x2<8}。这个关系不满足函数的定义，具体原因如下：❌违反“唯一性”：对于x1=0，可以对应x2=1,2,…,7等多个不同的值。❌违反“存在性”：对于x1<8的自然数，在关系中找不到任何一个x2与之对应。例题4.3：列举所有可能的函数题目描述设集合X={a,b}，集合Y=\{1,2,3}，请写出从集合X到集合Y的所有可能的函数。根据映射与函数的定义，X中的每个元素都必须且只能对应Y中的一个元素。因此，函数的总个数计算公式为：

|Y||X|

=32=9个。第一组f1={<a,

1>,<b,

1>}f2={<a,

1>,<b,

2>}f3={<a,

1>,<b,

3>}第二组f4={<a,

2>,<b,

1>}f5={<a,

2>,<b,

2>}f6={<a,

2>,<b,

3>}第三组f7={<a,

3>,<b,

1>}f8={<a,

3>,<b,

2>}f9={<a,

3>,<b,

3>}常用函数：恒等函数(IdentityFunction)01/定义Definition适用条件Condition函数的定义域与值域为同一个集合，即A=B。映射规则Definition对任意元素x∈A，都有f(x)=x。即输入与输出完全一致。常用记法Notation通常记为Iₐ(读作"A上的恒等映射")，或简记为I。02/几何特征GeometricFeature恒等函数y=x的图像是一条经过平面直角坐标系原点(0,0)，且与x轴正方向夹角为45°的直线。其斜率k=1，代表了“不改变”原对象的恒等变换。常用函数：常值函数(ConstantFunction)定义Definition设函数f:A→B若存在一个固定的元素b∈B，使得对任意的自变量x∈A，都有f(x)=b无论输入值x取集合A中的任何元素，其对应的函数输出值始终保持不变。图像Graph在平面直角坐标系中，常值函数的图像表现为一条平行于x轴的水平直线。常用函数：特征函数(CharacteristicFunction)01/定义Definition设A是全集U的一个子集。子集A的特征函数fA是一个从U到{0,1}的函数：•当元素x属于集合A时，fA(x)=1•当元素x不属于集合A时，fA(x)=002/应用Application特征函数建立了集合与数值的对应关系。在计算机科学中，每一个子集都可以被唯一地表示为一串由0和1组成的二进制数字序列。这一特性为计算机处理复杂的集合运算提供了高效、简洁的数学模型。映射的直观意义左侧的表格展示了集合与二进制数的一一对应。例如，全集{a,b,c}的子集{a,c}对应二进制数101。这种数字化的表示方式，将抽象的集合概念转化为了机器可以直接计算的数据。常用函数：上取整与下取整函数上取整函数(CeilingFunction)定义：对有理数x，函数值为大于或等于x的最小整数。记法：f(x)=⎾x⏋|示例：⎾2.3⏋=3，⎾-1.2⏋=-1下取整函数(FloorFunction)定义：对有理数x，函数值为小于或等于x的最大整数。记法：f(x)=⎿x⏌|示例：⎿2.7⏌=2，⎿-1.2⏌=-2应用与特性上取整与下取整函数均属于“阶梯函数”，其函数图像呈现不连续的阶梯状。它们在计算机编程中的整数运算、分页逻辑计算以及数学分析领域有着广泛且基础的应用。本节核心要点回顾函数定义满足存在性和唯一性的特殊二元关系，是从一个集合到另一个集合的确定性映射。关键概念明确三个核心集合：输入的定义域、输出的值域，以及包含值域的共域。核心区别函数是关系的子集。二者在有序对的个数、序偶的对应方式及集合的基数上存在本质差异。常用函数类型基础且重要的四种函数：恒等函数、常值函数、集合的特征函数，以及取整函数。💡核心思想：函数是一种结构化的输入输出关系，是连接数学理论与计算机科学算法逻辑的基石。感谢观看THANKSFORWATCHING04函数4.2函数的类型TYPESOFFUNCTIONS目录CONTENTS01核心定义深入探讨入射、满射与双射的数学定义，明确函数映射关系的严格边界与条件。02关系与定理分析有限集合背景下，不同函数类型间的逻辑联系及相关数学定理的推导与应用。03例题解析结合具体实例，分析不同场景下函数映射类型的判定方法，加深对理论的理解。04总结回顾梳理本章核心知识点，归纳判定技巧，构建完整的函数映射知识体系。定义4.4：入射(Injective/One-to-one)数学定义设函数f:X→Y。对任意x₁,x₂∈X，若满足以下任一条件，则称f为入射函数：•x₁≠x₂⇒f(x₁)≠f(x₂)•f(x₁)=f(x₂)⇒x₁=x₂通俗解读X集合中没有两个不同的元素会被映射到Y集合中的同一个元素上。核心特征：每个象点唯一对应一个原象点，即“一对一”的映射关系。图示：入射函数将左侧集合中的不同元素，映射到右侧集合中的不同象点，无“一对多”或“多对一”的重叠。定义4.4：满射(Surjective/Onto)数学定义Definition设函数f:X→Y，若函数的值域恰好等于其陪域，即ran(f)=Y，则称函数f为满射函数(SurjectiveFunction)，或“到上映射”。通俗理解Intuition陪域Y中的每一个元素都能找到至少一个来自定义域X的元素作为它的原象。简单来说：映射“覆盖”了陪域中的所有元素，没有任何一个元素被“遗漏”。满射函数的映射关系示意

左侧集合元素完全覆盖右侧集合，无遗漏定义4.4：双射(Bijective/One-to-onecorrespondence)数学定义设映射f：X→Y，若映射f同时满足“入射（单射）”和“满射”的性质，则称f为从集合X到集合Y的一个双射。直观理解双射也被称为“一一对应”。它意味着集合X中的每一个元素，都能在集合

Y中找到一个唯一的元素与之对应，且两个集合的元素数量完全匹配。图

双射函数：集合间的完美配对关系有限集合上函数类型的必要条件前提：设集合A,B均为有限集合，f是定义在A上且取值于B的函数(即f:A→B)。01入射(Injection)|A|≤|B|定义域的元素个数不多于陪域

(一对一映射)02满射(Surjection)|B|≤|A|陪域的元素个数不多于定义域

(映上映射)03双射(Bijection)|A|=|B|定义域和陪域的元素个数完全相等

(一一对应映射)函数类型关系示意图💡核心结论：双射是入射与满射的交集双射（Bijection）是同时满足“入射”与“满射”两个条件的函数，即：既是单射又是满射。定理4.1定理内容/TheoremStatement设A,B是有限集合，如果A和B的元素个数相等，即|A|=|B|，且f是A到B的函数，则f是入射（单射）当且仅当f是满射。核心思想/KeyInsight在有限集且元素个数相等的特定条件下，映射的“一对一”性质必然意味着“到上”性质，反之亦然。这一结论将单射和满射的概念在特定有限集合场景下统一了起来。定理4.1的证明第一步：若f是入射，则f是满射•因为f是入射，所以集合A的基数等于其象集f(A)的基数，即|A|=|f(A)|。•已知两个有限集合等势，即|A|=|B|，由此可推出|f(A)|=|B|。•根据映射的定义，象集是陪域的子集，即f(A)⊆B。结合有限集的性质，基数相等且互为子集的两个有限集必相等，故f(A)=B。•因此，根据满射的定义，f是从A到B的满射。第二步：若f是满射，则f是入射•因为f是满射，所以A在映射f下的象集就是整个陪域，即f(A)=B。两边取基数可得|f(A)|=|B|。•结合已知条件|A|=|B|，可以推出|A|=|f(A)|。•由于A是有限集合，当且仅当定义域中的每个元素在映射下的象互不相同（即没有元素被映射到同一个象上）时，象集的元素个数才能与原集合完全相等。•所以f满足入射的定义，即f是入射。定理4.1的适用范围：无限集反例该定理必须在有限集情况下才能成立。反例：整数集函数f(x)=2x入射(是)：若2x₁=2x₂，则x₁=x₂。定义域中的不同元素映射到陪域中的不同元素，满足单射定义。关键矛盾：满射不成立满射(不是)：陪域整数集中的奇数（如1,3,5...）无法被任何整数乘以2得到，在定义域中没有原象，不满足满射定义。结论：在无限集上，“入射⇒满射”的逻辑不再成立。例题4.4：通过图示判断函数类型映射f1▍入射(单射)特点：A中不同元素在B中有不同的象点(一对一)，但B中存在元素d没有原象，未被完全覆盖。映射f2▍满射(到上)特点：B中的每一个元素都有原象(覆盖陪域)，但A中多个元素可能对应同一个象点，不是一一对应的。映射f3▍双射(一一对应)特点：既是“一对一”的入射，又是“到上”的满射。建立了两个集合间元素最完美的一一对应关系。函数类型的实际意义入射(One-to-one)核心特征在工人分配工作场景下：没有两个工人做同一项工作。注：在此模式下，工作池里可能有部分工作无人认领。满射(Onto)核心特征在工人分配工作场景下：每项工作至少分配有一个工人。注：为了确保工作全覆盖，可能会有工人需要“身兼数职”。双射(One-to-onecorrespondence)核心特征：完美匹配在工人分配工作场景下：每项工作都分配有工人，且没有两个工人分配相同的工作。注：这是资源配置最理想的状态，实现了“人尽其才，物尽其用”。例题4.5：判断函数类型(1)函数定义：f₁={<x,x²>|x∈ℝ}入射？(Injective)❌不是入射反例：取x₁=1，x₂=-1。虽然x₁≠x₂，但映射结果f(x₁)=f(x₂)=1。满射？(Surjective)❌不是满射分析：对任意实数x，x²≥0。值域为[0,+∞)，无法覆盖所有实数ℝ，故不为满射。综合结论普通函数该函数既不满足单射条件，也不满足满射条件，因此它只是一个普通的非单非满函数。例题4.5：判断函数类型(2)函数f2={<x,x+1>|x∈实数}入射：是若x1+1=x2+1，则x1=x2。满射：是对任意实数y，存在x=y-1使得f(x)=y。结论：双射(Bijection)函数函数f3={<x,2x>|x∈实数}

入射：是若2x1=2x2，则x1=x2。满射：是对任意实数y，存在x=y/2使得f(x)=y。结论：双射(Bijection)函数例题4.5：判断函数类型(3)函数f4={<x,ex>|x∈实数}•入射：是。指数函数ex在实数集上是严格单调递增的，因此满足单射条件。•满射：否。ex

的值域为正实数集R+，无法覆盖到所有实数（如负数和0），故非满射。结论：是入射函数，但非满射。函数f5={<x,2x>|x∈整数}

•定义域：整数集Z，目标集通常默认视为{Z}。•入射：是。若2x1=2x2，两边除以2得x1=x2，满足单射定义。•满射：否。函数值均为偶数，无法取到所有整数（如1,3,-5等奇数）。结论：是入射函数，但非满射。本章总结核心概念•入射(Injective)：一对一，定义域中不同的元素映射到不同的像。•满射(Surjective)：到上，陪域中的每一个元素都有原像。•双射(Bijective)：一一对应，兼具入射与满射的性质。关键定理对于两个有限集且元素个数相等的集合间的函数映射：

若该函数是入射，则它一定是满射；反之，若它是满射，则它也一定是入射。此时，函数即为双射。判断方法1.定义法：直接依据入射、满射的定义，从逻辑上严格验证元素间的对应关系。

2.基数法：若为有限集，可先比较定义域与陪域的元素个数进行快速的初步判断。核心要点一个函数的“类型”不是孤立的，它完全取决于定义域、陪域和对应法则三者之间的相互制约关系。改变其中任何一个要素，函数的类型都可能随之改变。感谢观看THANKSFORWATCHING第四章函数4.3函数的逆运算和复合运算INVERSEANDCOMPOSITEOPERATIONSOFFUNCTIONSMATHEMATICALANALYSIS·FUNCTIONS目录CONTENTS01函数的逆运算逆函数的定义、存在条件及相关定理。02函数的复合运算复合函数的定义、性质及相关定理。03运算定理函数运算的重要性质总结。04例题解析通过实例加深理解。定义4.5：函数的逆运算定义Definition设f：A→B是函数，如果f−1={<y,x>|x∈A，y∈B，y=f(x)}是从B到A的函数，则称f−1：B→A是函数f的逆函数(InverseFunction)，也叫反函数。核心思想CoreIdea将原函数关系“反转”，即由y=f(x)反过来求x=f(y)。关键前提是：这个“反转”后的结果必须符合函数的定义（即每一个自变量有且仅有一个因变量），才构成逆函数。几何性质：原函数y=f(x)与它的逆函数的图像，在平面直角坐标系中关于直线y=x对称。例题4.6：逆函数的存在性函数f1(x)=x2当x∈R时：没有逆函数•原因：函数的值域为非负数，无法覆盖定义域R的所有数；且存在不同自变量(如-2,2)对应同一个因变量(4)，不满足函数定义中“一个自变量对应唯一因变量”的映射关系。

函数f2(x)=2x

逆函数存在的条件01.入射函数(Injective)逆关系不能构成函数。原因：陪域中存在元素没有原象，无法保证逆关系的存在性。02.满射函数(Surjective)逆关系不能构成函数。原因：存在元素对应多个原象，无法保证逆关系的唯一性。03.双射函数(Bijective)逆关系可以构成函数。同时满足“一对一”和“满”的特性，完美满足函数定义的两个关键要求。核心结论一个函数存在逆函数，当且仅当这个函数是双射函数(Bijection)。必要条件拆解✅存在性要求：原函数必须是满射(Surjective)✅唯一性要求：原函数必须是入射(Injective)定理4.2定理内容设f:A→B是一双射函数，那么fc是B→A的双射函数。注：fc代表函数f的逆关系（Converse）。核心含义一个函数可逆⇔该函数是双射函数。且，若原函数是双射，则其逆函数也必然是双射函数。这确立了“双射”与“可逆”之间的等价关系。证明思路1.证明fc是函数•存在性：利用原函数f是满射证明。

•唯一性：利用原函数f是入射证明。2.证明fc是双射•分别证明fc是满射函数且是入射函数定义4.6：函数的复合运算01/定义Definition设函数f：X→Y，g：W→Z，则复合函数定义为：

02/核心思想CoreIdea将一个函数的输出作为另一个函数的输入。03/核心公式Formulag○

f(x)=g(f(x))映射关系图解图示直观展示了嵌套的函数关系：输入值x经过函数f映射得到y，随后y作为输入，再经过函数g的映射最终得到输出值z。这体现了“层层传递”的逻辑结构。例题4.8：复合函数的计算题目设定设集合与函数映射关系如下：•集合:A={1,2,3,4,5},B={a,b,c,d\}•函数f：A→B:

f={<1,a>,<2,a>,<3,d>,<4,c>,<5,b>}•函数g：B→A:

g={<a,1>,<b,3>,<c,5>,<d,2>}复合求解分步计算复合函数的结果：①先算g∘f(A→A):

g○f={<1,1>,<2,1>,<3,2>,<4,5>,<5,3>}②再算f∘g(B→B):

f○g={<a,a>,<b,d>,<c,b>,<d,a>}核心结论对比上述计算结果：g∘f≠f∘g函数的复合运算

不满足交换律定理4.3：复合函数的性质定理表述：两个函数的复合是一个函数。1.存在性证明利用f和g均为函数的定义，证明对于定义域中的任意x，经过映射后，必然存在唯一的中间变量y和最终的z。2.唯一性证明再次利用函数定义中“单值对应”的约束，证明对于同一个自变量x，无论复合路径如何，最终的像z都是唯一确定的。重要推论：基于该定理的传递性，我们可以合法地对三个或更多个函数进行连续的复合运算，从而构建更复杂的函数结构。例题4.9：复合函数的结合律已知条件(Given)设函数f,g,h均定义在实数集R上，具体映射关系如下：•一次函数：f(x)=2x•二次函数：g(x)=(x+1)²•一次函数：h(x)=x-3推导与计算(Solve)基础复合：h∘f(x)=2x-3|f∘h(x)=2x-9结合律验证：1.先算f∘g，再算∘h：

((f∘g)∘h)(x)=(2x+1)²-32.先算g∘h，再算f∘：

(f∘(g∘h))(x)=(2x+1)²-3满足结合律AssociativeLaw函数复合运算的重要性质：

改变括号计算顺序不影响最终结果。(f∘g)∘h=f∘(g∘h)定理4.4：复合函数的类型定理内容设g○f是一个复合函数，则：1.如果g和f是满射(Surjection)，则g○f是满射。2.如果g和f是入射(Injection)，则g○f是入射。3.如果g和f是双射(Bijection)，则g○f是双射。证明思路1.满射性证明：利用g和f的满射定义，证明对于任意像集元素z，总能找到一个原像x，使得g○f(x)=z

成立。2.入射性证明：通过逻辑等价性，证明若g○f(x1)=g○f(x2)，则必有x1=x2；或直接证明若x1≠x2，则g○f(x1)≠g○f(x2)。3.双射性证明：双射定义即同时满足满射与入射，故结合前两点结论，即可推导出复合函数g○f也是双射。定义4.7：常函数与恒等函数常函数(ConstantFunction)如果存在某个y₀∈Y，对于每个x∈X，都有f(x)=y₀，即函数的值域仅包含一个元素f(X)={y₀}，则称映射f:X→Y为常函数。恒等函数(IdentityFunction)设映射Iₓ:X→X满足：对每一个x∈X，都有Iₓ(x)=x，即Iₓ={<x,x>|x∈X}。恒等函数将集合中的每个元素映射到它自身。定理4.5：函数的运算定理01(f−1)−1=f逆的逆是本身02f○f−1=IB

f与其逆复合等于B上的恒等函数03f−1○f=IAf的逆与f复合等于A上的恒等函数04IA○f=f○IB=f恒等函数是复合运算的单位元05(f○g)○h=f○(g○h)函数复合运算满足结合律06(g○f)−1=f−1○g−1复合函数的逆等于各函数逆的反向复合例题4.10：运算定理的应用题目描述设集合A={1,2,3}，B={a,b,c}

。函数f：A→B的映射关系由右侧图示定义。请据此求出复合函数

f−1○f、f○f−1的结果。求解过程1.由映射图直接写出函数：f={<1,b>,<2,c>,<3,a>}2.求反函数\(f^{-1}\)：f−1={<b,1>,<c,2>,<a,3>}3.计算复合函数：f−1○f={<1,1>,<2,2>,<3,3>}(A上的恒等关系)f○f−1={<a,a>,<b,b>,<c,c>}(B上的恒等关系)本节总结逆运算定义：将函数的序偶反过来，即交换原函数中自变量与因变量的位置。存在条件：原函数必须是双射函数（既是单射也是满射）。核心性质：逆函数也必然是双射；且满足互逆性：(f⁻¹)⁻¹=f。复合运算定义：将一个函数的输出作为另一个函数的输入，实现运算的嵌套。运算律：不满足交换律(f∘g≠g∘f)，但满足结合律((f∘g)∘h=f∘(g∘h))。类型保持：满射的复合仍是满射；入射的复合仍是入射；双射的复合仍是双射。核心要点回顾函数的逆运算与复合运算不仅扩展了函数的应用范围，更是分析复杂映射关系、构建抽象代数结构的数学基石，为后续深入学习打下基础。THANKYOU感谢观看期待与您下次相见|SEEYOUNEXTTIME04函数FUNCTION4.4基数的概念TheConceptofCardinality目录CONTENTS01基数概念引入什么是基数？有限集与无限集的基数。从“多少”到“势”的抽象思维转变。02自然数的定义皮亚诺公理构建自然数的逻辑体系；冯·诺伊曼用集合论定义自然数的方法。03核心定义与定理重点掌握：后继集、一一对应、等势关系，以及有限集与无限集、基数的严格数学定义。04例题解析通过典型的集合论证明题，如证明“有理数集与自然数集等势”，加深对基数比较的理解。什么是基数(CardinalNumber)？核心思想基数是集合论中最基础的概念之一，它的本质是一个衡量标准。它被用来回答“一个集合有多大？”这个问题。简单来说，基数就是衡量集合“大小”的数学测度。有限集合对于我们日常生活中接触的大多数集合，基数就是集合中包含的元素个数。例如，集合A={a,b,c}包含三个元素，所以它的基数为3，记作：|A|=3无限集合当集合中的元素个数是无穷多时，我们无法直接计数。此时，基数描述的是集合的“势(Cardinality)”。比较两个无限集合的“大小”，我们不数元素，而是看两个集合间是否能建立起一一对应的双射关系。自然数的定义：皮亚诺公理朱塞佩·皮亚诺GiuseppePeano(1858-1932)意大利数学家、逻辑学家

建立自然数的序数理论体系

推动了数理逻辑与集合论的发展01.N非空公理明确自然数集合不是空集，确保了整个自然数体系存在的逻辑基础。02.后继数公理在自然数集N上定义一个入射函数f，使得任意n∈N都有唯一的后继数n⁺。这是自然数“逐个生成”的核心机制。03.0是起点公理数字0不被任何自然数指向，它是整个自然数链条的“第一环”，没有前驱数，避免了逻辑上的无限倒推。04.归纳公理若0具有性质P，且任何自然数n具有P则n⁺也具有P，那么所有自然数都具有P。它是数学归纳法的逻辑基石。自然数的定义：冯·诺伊曼定义定义者约翰·冯·诺伊曼JohnvonNeumann定义方法在ZFC公理集合论系统中，将自然数定义为一种特定构造的集合，而非简单的计数符号。定义规则1.定义0：0=∅(空集)2.定义后继数：n⁺=n∪{n}推导过程0=∅(空集)1=0⁺={∅}2=1⁺={∅,{∅}}3=2⁺={∅,{∅},{∅,{∅}}}...以此类推，构建出所有自然数定义4.8：后继集DEFINITION/定义设A为任一集合，A的后继集定义为集合：A⁺=A∪{A}。示例01：空集的后继若A为空集∅，则其后继集为：

∅⁺=∅∪{∅}={∅}示例02：非空集的后继若A={a,b}，则其后继集为：

A⁺={a,b}∪{{a,b}}={a,b,{a,b}}定义4.9：一一对应01/定义给定两个集合P与Q，如果对P中每个不同元素，与Q中每个不同元素，可以分别两两成对，那么说P的元素与Q的元素间存在着一一对应。02/核心意义一一对应是比较集合大小的根本方法，尤其是对于无限集合。图示：集合间的一一对应关系定义4.10：等势(同浓)定义Definition当且仅当集合A的元素与集合B的元素之间存在着一一对应关系时，我们称集合A与集合B是等势的(或称同浓的)。A~B核心KeyInsight等势是衡量集合“大小”的根本方法。对于有限集合，我们可以直接计数元素个数，但对于无限集合，“一一对应”便成为了比较它们“规模”大小的唯一且核心的逻辑标准。定理4.6：等势关系是等价关系在集合族上，等势关系是一个满足“自反、对称、传递”的等价关系01.自反性ReflexivityA~A每个集合都可以与自身建立一一对应关系，恒等映射就是这样一个双射。02.对称性Symmetry若A~B，则B~A若存在从集合A到集合B的一一对应，则其逆映射必然是从集合B到集合A的一一对应。03.传递性Transitivity若A~B且B~C，则A~C两个一一对应的映射可以复合为一个新的映射，且复合映射依然是一一对应。定义4.11：有限集与无限集严谨定义如果存在一个从集合{0,1,⋯,n-1}到集合A的双射函数(bijection)，那么称集合A是有限的(finite)。如果集合A不满足上述条件，即它不是有限的，则称集合A是无限的(infinite)。通俗理解一个集合，如果能找到一个确定的自然数n来“数”出它所有元素的具体个数，它就是有限集；反之，如果永远也数不完，它就是无限集。定理4.7：自然数集合N是无限的自然数集合N是无限的01.提出反证假设假设自然数集合N是有限的。那么根据有限集合的定义，必然存在一个自然数n，使得集合N与集合{0,1,...,n-1}之间存在一个双射函数f。02.构造矛盾实例我们总能构造一个新的自然数：

k=1+max{f(0),f(1),...,f(n-1)}

显然，k是一个自然数(k∈N)，但它比f映射出的任何一个数都大，所以k不在f的值域中。03.推翻假设得证既然存在自然数k不在映射函数f的像集中，说明f并不是一个“满射”，这与最初“f是双射”的假设产生矛盾。

因此，自然数集合N必然是无限的。定义4.12：基数的正式定义定义Definition所有与集合A等势的集合所组成的集合，叫做集合A的基数。记法：K[A]或card(A)或A核心结论KeyTakeaway两个集合等势，当且仅当它们的基数相等。A~B⇔card(A)=card(B)“等势”刻画了集合“大小”的本质属性分类Classification▍有限集的基数直观理解：即该集合所含元素的个数，等同于自然数。▍无限集的基数这类基数被称为“超限数”(TransfiniteNumber)，用于描述无穷集合的大小。=例题4.11：自然数集与非负偶数集等势自然数集合(N)N={0,1,2,3,...}包含所有非负整数。非负偶数集合(2N)2N={0,2,4,6,...}包含所有能被2整除的非负整数。构造双射函数：f:N→2N，其中f(n)=2n✓单射性(Injectivity)若f(n₁)=f(n₂)，则2n₁=2n₂⇒n₁=n₂。

即不同的自然数映射到不同的偶数，无重叠。✓满射性(Surjectivity)对任意偶数m∈2N，存在整数k=m/2∈N，使得f(k)=2k=m。

即所有偶数都能被映射到，无遗漏。结论：f是双射，故自然数集与非负偶数集等势(N~2N)。本节总结基数：衡量集合大小的标尺衡量集合大小的核心概念。对于有限集合，基数就是元素的个数；对于无限集合，则通过“势”来描述其规模。等势：双射关系判定法则两个集合基数相等的充要条件是它们之间存在一一对应的关系，即双射，这是比较无限集大小的关键依据。无限集特性：真子集的“悖论”无限集区别于有限集的显著特征：一个无限集合可以与其自身的一个真子集等势。例如，自然数集N与它的真子集偶数集2N基数相同。不同层级：无限集并非“全同”无限集之间也存在不同的“大小”。康托尔对角线证明了，实数集P的基数严格大于自然数集N的基数，揭示了无穷的层级性。THANKYOU感谢观看第四章·函数4.5可数集和不可数集目录CONTENTS01无限集的基数分类探讨无限集的两种基本分类方式：

可数无限集与不可数无限集的本质区别。02定义、术语与例题梳理基础概念与核心术语，

结合经典例题加深对概念的理解。03核心定理集系统学习关于可数集的关键性质与定理，

掌握无限集合运算与构造的基本逻辑。04本节小结回顾本节核心知识点，

总结可数性证明的常用方法与解题技巧。无限集的基数分类1.可数无限基数CountablyInfinite/阿列夫零(ℵ₀)🔍核心定义：集合的元素能与自然数集N={0,1,2,3,...}建立双射（一一对应）关系。📚典型例子：自然数集(N)、整数集(Z)、有理数集(Q)。2.不可数无限基数UncountablyInfinite/连续统(C)🔍核心定义：无法与自然数集建立一一对应关系的无限集合，其基数严格大于ℵ₀，满足关系2^ℵ₀=C。📚典型例子：实数集(R)、任意开区间(0,1)、无理数集。定义4.13：关键定义与术语核心定义•可数无限集：与自然数集合等势的任意集合。其基数用ℵ₀表示。•不可数无限集：除可数无限集以外的所有无限集。•至多可数集：有限集和可数无限集的统称。•不可数集：即“不可数无限集”的简称。典型示例以下集合均为可数集，其势为ℵ₀：A={1,4,9,16,...,n²,...}

B={1,8,27,64,...,n³,...}

C={3,12,27,48,...,3n²,...}

D={1,1/2,1/3,1/4,...,1/n,...}例题4.13：整数集与有理数集的基数整数集Z▍结论：整数集Z是可数无限的，其基数与自然数集相同，为ℵ₀(阿列夫零)。▍证明思路：构造一个从自然数集N到整数集Z的双射函数，建立一一对应关系。

例如：将偶数映射到正整数(2n→n)，奇数映射到负整数和零(2n+1→-n)。这说明整数集可以被“数”出来。有理数集Q▍结论：有理数集Q是可数无限的，其基数同样为ℵ₀(阿列夫零)。这一结论常被称为“有理数集的可数性”。▍证明思路：经典方法为“康托尔对角线法”。将所有正有理数排列成一个二维表格，其中行和列分别代表分子和分母，然后沿着对角线方向依次遍历所有数，并跳过其中的重复值，从而证明有理数可以被一一列出。例题4.14：实数集与幂集的基数01.实数集R结论：实数集R是不可数的，其基数C严格大于自然数集的基数，即C>ℵ₀。证明思路：利用经典的“康托尔对角线论证法”（反证法）。通过构造与假设序列中每个数都不同的新实数，导出矛盾，从而证明区间[0,1]内的实数不可列。“不可数”意味着实数无法与自然数建立一一对应关系，实数的“数量”比自然数“多得多”。02.幂集的基数康托尔定理：对于任意集合A，其幂集P(A)的基数严格大于原集合A的基数，即|P(A)|>|A|。这揭示了“无穷”也存在不同的层级。重要推论：实数集的基数C恰好等于自然数集的幂集的基数，即C=|P(N)|。这建立了连续统与自然数集幂集之间的一一对应关系。定理4.8：可数集的充要条件定理内容Statement集合A为可数集的充分必要条件是A中元素可排列成如下序列形式：A={a1,a2,…,an,…}必要性(Necessity)若A是可数集，则存在从自然数集N到A的双射f

。利用此双射，可将A的元素按照自然数顺序一一对应排列出来，从而构成一个无穷序列。充分性(Sufficiency)若A的元素能排列成序列{a1,a2,…,an,…}，则可以直接构造一个映射：f(an)=n。容易验证，这是一个从集合A到自然数集N的双，故A是可数集。定理4.9&4.10：无限集的基本性质定理4.9任一无限集，必含有可数子集。证明思路：从无限集A中不断取出元素，构成序列a₁,a₂,a₃,…，这一过程可无限进行。取出的元素所构成的集合即为原集合A的一个可数子集。定理4.10任一无限集必与其某一真子集等势。核心思想：这是无限集区别于有限集的本质特征。例如，全体自然数构成的集合N与它的真子集——所有偶数构成的集合是等势的。定理4.11：可数集的子集性质01/定理内容可数集的任何无限子集是可数集。换句话说，从一个可数集中“任意挑选”出无限个元素组成的新集合，依然是可数的。02/证明思路设可数集A={a₁,a₂,...}，其无限子集为B。

只需按原序列顺序，逐一“筛选”出属于B的元素，即可得到B的一个序列排列，从而证明B也是可数集。直观理解：无限序列的“子序列”依然是序列这个定理揭示了可数集的一个关键特征：它的“无穷部分”不会比它本身“更无穷”。无论你如何从一个可数的无穷序列中筛选出无限个元素，结果都能被重新整理成一个新的可数序列。定理4.12：可数集的并集性质定理内容如果有可数个两两不相交的集合，且其中每一个集合本身都是可数集，那么它们的并集依然是可数集。集合基数表达：ℵ0+ℵ0+…=ℵ0证明思路：康托尔对角线法将每一个可数集的元素依次排列成一行，构造一个二维的元素阵列。通过“对角线遍历”的方式，将阵列中的所有元素一一列出，从而证明并集是可数的。定理4.13：自然数集的笛卡尔积定理内容自然数集N的笛卡尔积N×N是可数集。证明思路其本质与定理4.12的对角线证明法类似。我们可以将所有有序对(m,n)排列在一个二维表格中，随后通过“对角线遍历”的策略，将二维集合中的元素逐一映射到一维的自然数序列中，从而证明其可数性。定理4.14：有理数集的可数性定理内容：有理数集Q是可数集。01集合的包含关系任何一个正有理数都可以唯一表示为m/n（既约分数）的形式，因此正有理数集Q+可看作是自然数集笛卡尔积N×N的一个子集。02正有理数集的可数性由定理4.13，N×N是可数集；而可数集的任意子集也是可数集（定理4.11），因此Q+可数。03有理数集的拆分有理数集可拆分为：正有理数集Q+、负有理数集Q-和单独的元素{0}。其中Q-与Q+对等，故也可数；{0}是有限集，自然也可数。04可数集的并集性质根据定理4.12，可数个可数集的并集仍是可数集。因此，Q=Q+⋃{0}⋃Q−作为三个可数集的并集，必然是可数集。定理4.15：实数集的不可数性定理表述：全体实数构成的集合R是不可数的。01.简化问题不必考察全体实数，只需证明实数轴上的任意一个小开区间(0,1)是不可数的，即可推导至全体实数。02.反证假设假设(0,1)内的所有实数是可数的，那么我们可以将它们毫无遗漏地排列为一个无限序列，一一列出。03.构造矛盾通过“对角线法”构造一个新的实数，使其小数部分与序列中的每一个数都至少有一位不同，从而证明它不在该序列中，导出矛盾。本章小结基数分类无限集可分为两大类：•可数无限集，基数记为阿列夫零(ℵ₀)；•不可数无限集，基数记为连续统(C)。可数集定义若一个集合能与自然数集建立一一对应的双射关系，则称该集合为可数集。常见例子：整数集、有理数集。不可数集定义无法与自然数集建立双射关系的无限集合，即不能将其元素按某种规律一一列举出来。典型代表：实数集。核心定理回顾1.可数集的子集仍是可数集；可数个可数集的并集依然是可数集。2.实数集是不可数的（康托尔对角线法）。感谢观看THANKSFORWATCHING第四章函数4.6基数的比较ComparingCardinalities目录CONTENTS01基数比较的定义如何用“入射”来定义基数的“小于等于”。02核心定理Zermelo定理与CBS定理。03定理应用通过实例学习如何使用CBS定理。04基数层级有限、可数与连续统的基数关系。定义4.14：基数的比较关系▍定义Statement若从集合A到集合B存在一个入射，则称A的基数不大于B的基数，记作K[A]≤K[B]。若从集合A到集合B存在一个入射，但不存在双射，则称集合A的基数小于集合B的基数，记作K[A]<K[B]。直观理解·Intuition“存在一个入射”意味着集合A中的每个元素都能在集合B中找到一个唯一的“代表”，但B中可能有元素没有被A中的元素映射到。这形象地说明了“B至少和A一样大”，即B的“规模”不少于A。核心思想·CoreIdea将基数的比较问题，从寻找“双射”的难题，转化为了寻找“入射”的问题。在集合论的证明中，寻找入射通常比寻找双射要更容易实现，这为证明