《实分析教学》课件

实分析教学课件：总览欢迎大家参加实分析课程学习。本课程将系统地介绍实分析的基本理论、重要定理及其应用。我们将从实数系统的构造开始，逐步深入到数列极限、函数极限、连续性、微分学和积分学等核心内容。实分析作为现代数学的基石，广泛应用于物理学、工程学、经济学等众多领域。通过本课程的学习，您将掌握严格的数学推理方法，培养抽象思维能力，为进一步研究高等数学奠定坚实基础。绪论：什么是实分析？研究对象实分析主要研究实数系统及其上定义的函数，关注函数的连续性、可微性、可积性等性质，以及各种极限过程的严格理论基础。与初等微积分的区别与初等微积分相比，实分析更加注重理论的严谨性和完备性，追求数学概念的精确定义和定理的严格证明，而不仅仅是计算技巧。主要知识板块实分析的历史与发展17世纪：微积分的诞生牛顿和莱布尼茨分别独立发明了微积分，为解决物理问题提供了强大工具。但早期的微积分缺乏严格的数学基础，主要依靠直观和物理解释。19世纪：严格化运动柯西引入了极限的ε-δ定义，韦尔斯特拉斯强调严格证明的重要性，狄利克雷和黎曼完善了积分理论，使微积分逐渐摆脱了"无穷小"等模糊概念。20世纪：现代分析的形成学习实分析的意义思维训练培养严谨逻辑思维和抽象思考能力应用基础为物理、经济、工程等学科提供理论工具理论基石作为高等数学的理论基础，支撑其他数学分支实分析作为现代数学的基础，不仅为各类自然科学和工程技术提供了理论工具，还能培养严密的逻辑思维能力。通过学习实分析，我们能够理解数学理论的严谨构建过程，提高抽象思维和问题分析能力，这对于任何需要定量分析的研究都有深远意义。教材与辅助资源推荐国内经典教材《数学分析》（华东师范大学）《数学分析》（陈纪修、於崇华、金路）《数学分析简明教程》（复旦大学）《数学分析中的典型问题与方法》（裴礼文）国外优秀教材《实分析原理》（WalterRudin）《实分析教程》（TerenceTao）《理解分析》（StephenAbbott）《实分析》（H.L.Royden）在线学习资源中国大学MOOC平台相关课程MITOpenCourseWare3Blue1Brown数学可视化视频数学论坛与问答社区第一章：实数的结构概述有理数集可表示为分数形式p/q的数的集合，其中p、q为整数且q≠0无理数不能表示为有限小数或循环小数的实数，如π、e和√2实数系统有理数与无理数的并集，具有完备性和连续性实数系统是数学分析的研究基础。有理数虽然稠密，但存在"空隙"；无理数填补了这些空隙，形成了连续统一的实数轴。实数系统的完备性确保了每个有界集合都有上确界和下确界，这一性质对于极限理论和函数分析至关重要。有理数与无理数有理数的性质有理数可以表示为两个整数的比p/q（q≠0），等价于有限小数或循环小数。有理数集是可数集，在实数轴上稠密分布，但并不连续。任意两个有理数之间总能找到另一个有理数（如它们的算术平均数），这反映了有理数集的稠密性。无理数的实例√2是最经典的无理数例子。可以通过反证法证明：若√2为有理数，表示为最简分数p/q，则p²=2q²，这意味着p²是偶数，因此p是偶数。令p=2k，则4k²=2q²，q²=2k²，所以q也是偶数，这与p/q是最简分数矛盾。其他重要无理数包括π、e、黄金比例φ等，它们在数学和自然科学中有重要应用。实数的不可数性康托尔通过对角线法证明了实数集是不可数的，即不能与自然数集建立一一对应关系。这表明实数的"数量"远大于有理数。区间[0,1]内的实数已经是不可数的，这说明无理数在数量上"远多于"有理数，尽管有理数在实数轴上是稠密的。实数轴与点集实数轴描述实数轴是实数的几何表示，每个点对应唯一实数，具有连续性和完备性。实数轴上的点与坐标一一对应，为研究函数和极限提供了几何直观。区间与邻域定义开区间(a,b)表示a点集的分类点集是实数轴上点的集合，可分为有界集和无界集、开集和闭集、连通集和非连通集等。内点、边界点、聚点等概念是理解点集拓扑性质的基础，为后续分析奠定基础。实数轴上的点集分析是实分析的重要内容，为研究函数性质提供了基本工具。通过研究点集的开闭性、连通性和紧致性等性质，我们能够深入理解函数的连续性、一致连续性等关键概念。上确界与下确界定义上界与上确界集合S的上界是指大于或等于S中所有元素的数M。上确界是所有上界中最小的那个，记为supS。每个有上界的非空集合在实数系统中必有上确界，这体现了实数的完备性。下界与下确界集合S的下界是指小于或等于S中所有元素的数m。下确界是所有下界中最大的那个，记为infS。类似地，每个有下界的非空集合在实数系统中必有下确界。确界的特征上确界M=supS的特征是：①M是S的上界；②对任意ε>0，存在x∈S使得x>M-ε。下确界有类似的特征。确界未必是集合中的元素，如开区间(0,1)的上确界是1，但1不在集合中。上确界和下确界的概念在实分析中有着广泛应用，是建立极限理论、连续函数性质和积分理论的基础。理解确界的特征及其与集合关系的深入分析，对于掌握后续章节的内容至关重要。戴德金分割与实数构造戴德金分割思想戴德金的核心思想是通过有理数集的"分割"来定义实数。具体而言，实数轴上的每个点都将有理数集分割为两个互不相交的子集A和B，满足A中的任何元素都小于B中的任何元素。实数构造方法每个戴德金分割(A,B)定义了一个实数，其中A中没有最大元素或B中没有最小元素的分割对应无理数。例如，定义集合A={r∈Q|r<0或r²<2}，集合B={r∈Q|r>0且r²>2}，则(A,B)对应无理数√2。完备性证明通过戴德金分割构造的实数系统自然满足完备性：任何有界非空实数集S都有上确界。证明思路是构造分割(A,B)，其中A包含所有小于S中某元素的有理数，B包含其余有理数，则(A,B)定义的实数恰为supS。戴德金分割是构造实数系统的经典方法之一，它直观地刻画了实数轴的连续性。与柯西列构造法等其他方法相比，戴德金分割更加直观，但在细节处理上同样需要谨慎。通过研究戴德金分割，我们能够深入理解实数系统的本质特性。实数的完备性完备性公理任何非空有界实数集都有上确界和下确界，这是实数系统区别于有理数系统的关键特性区间套定理若闭区间序列{[an,bn]}满足嵌套性质且长度趋于零，则存在唯一实数属于所有区间柯西收敛原理数列是收敛的当且仅当它是柯西数列，此性质等价于完备性连续性实数轴上不存在"空隙"，任何"切割"都定义唯一实数实数的完备性是分析学的基石，它确保了许多基本定理的成立。例如，中值定理、最大值定理等依赖于实数的完备性。完备性的多种等价表述（上确界原理、区间套定理、柯西收敛原理等）从不同角度阐明了实数系统的本质特征，为理解极限过程提供了理论基础。数列极限定义收敛数列的形式化定义对于数列{an}，若存在实数A，使得对任意给定的ε>0，都存在正整数N，当n>N时，都有|an-A|<ε，则称数列{an}收敛于A，记作lim(n→∞)an=A或an→A(n→∞)。这个定义是用ε-N语言表达的极限的严格定义，克服了"无限接近"等模糊概念，为极限理论奠定了严格基础。ε-N语言的理解直观上，ε-N定义意味着数列项与极限值的距离可以小于任意给定的正数ε，只要取足够大的项数n。这里的"足够大"依赖于ε的选择——ε越小，可能需要更大的N。对于不同的ε，相应的N可能不同。这种依赖关系N=N(ε)是极限概念的核心，它刻画了数列"最终如何接近"极限值的精确含义。作为示例，考虑数列an=1/n，我们可以证明它收敛于0。对任意ε>0，当n>1/ε时，有|1/n-0|=1/n<ε，因此取N=[1/ε]+1即可。类似地，数列an=(n+1)/n收敛于1，数列an=n/(n+1)也收敛于1。这些例子帮助我们理解极限的形式定义。数列极限性质唯一性若数列{an}收敛，则其极限唯一。证明思路：若存在两个极限值a≠b，取ε=(b-a)/2>0，则当n足够大时，同时满足|an-a|<ε和|an-b|<ε，从而|b-a|=|b-an+an-a|≤|b-an|+|an-a|<2ε=b-a，矛盾。有界性收敛数列必有界。若lim(n→∞)an=a，取ε=1，则存在N，使得当n>N时，|an-a|<1，即a-1夹逼准则若存在N，当n>N时有an≤bn≤cn，且lim(n→∞)an=lim(n→∞)cn=a，则lim(n→∞)bn=a。这一性质在估计复杂极限时非常有用，如著名的夹逼证明lim(n→∞)(1+1/n)^n=e。数列极限的基本性质为研究数列收敛性提供了重要工具。除上述性质外，还有保号性（若liman=a>0，则存在N使得当n>N时，an>0）、四则运算法则等。理解这些性质不仅有助于判断数列是否收敛，还能简化极限的计算过程。发散与振荡数列1发散的定义数列{an}不收敛于任何有限值，则称该数列发散。发散可能是因为数列无限增大（如an=n²）、无限减小（如an=-n³）或者振荡（如an=(-1)^n）。正式地说，若对任意实数A，都存在ε>0，使得对任意N>0，都有某个n>N使|an-A|≥ε，则{an}发散。2振荡数列特征振荡数列是发散数列的特殊类型，其特点是数列项在不同值之间来回变化，没有稳定趋势。最典型的例子是an=(-1)^n，它在1和-1之间交替变化。另一个重要例子是an=sin(nπ/2)，它在0、1、0、-1之间循环。3上、下极限应用对于可能发散的数列，上极限limsupan和下极限liminfan是重要工具。它们分别表示数列所有子列极限的上确界和下确界。若limsupan=liminfan，则数列收敛；否则数列发散。例如，对于an=(-1)^n，limsupan=1而liminfan=-1，确认了其发散性。研究发散数列对于理解极限概念至关重要。通过分析为什么某些数列不收敛，我们能更深入地理解收敛的本质条件。在实际应用中，识别数列的发散性同样重要，因为它提醒我们某些计算方法可能不适用或需要特殊处理。数列极限存在性判别判断数列极限是否存在的方法有多种，最常用的是单调有界准则：若数列{an}单调递增且有上界，则{an}收敛，其极限为上确界sup{an}；若{an}单调递减且有下界，则{an}收敛，其极限为下确界inf{an}。此外，贝叶斯-博雷尔-康托尔准则指出：每个有界数列必有收敛子列。虽然原数列可能不收敛，但它至少包含收敛的部分。若数列的所有收敛子列都收敛到同一极限，则原数列也收敛到该极限。柯西收敛准则是另一个重要工具：数列收敛当且仅当它是柯西数列，即对任意ε>0，存在N，使得当m,n>N时，|am-an|<ε。这个准则不需要预先知道极限值，因此在某些情况下特别有用。子列与极限点子列定义从数列{an}中提取部分项，保持原有顺序得到的新数列博尔查诺-魏尔斯特拉斯定理有界数列必有收敛子列，极限为数列的极限点极限点分析极限点是数列所有收敛子列极限值的集合子列是研究数列性质的重要工具。形式上，若{nk}是严格递增的自然数序列，则{a(nk)}称为{an}的子列。例如，{a2n}和{a2n-1}分别是{an}的偶数项和奇数项子列。若原数列收敛于L，则其任何子列也收敛于L；但反之不然，原数列可以发散，而某些子列收敛。数列的极限点是指能作为某个子列极限的实数。根据博尔查诺-魏尔斯特拉斯定理，有界数列至少有一个极限点。若数列只有一个极限点，则原数列必收敛于该点；若有多个极限点，则原数列必发散。例如，数列an=(-1)^n有两个极限点1和-1，这说明原数列发散。柯西收敛原理柯西数列定义数列{an}称为柯西数列，如果对任意给定的ε>0，存在正整数N，使得当m,n>N时，都有|am-an|<ε。直观上，柯西数列的项相互靠近，尾部项之间的距离可以任意小。等价于完备性柯西收敛原理：数列{an}收敛当且仅当它是柯西数列。这一原理等价于实数系统的完备性。在不完备的数系（如有理数系）中，存在柯西数列不收敛的情况，例如逼近√2的有理数列在有理数系中无极限。经典例证证明an=1+1/2+1/3+...+1/n-lnn收敛，可利用柯西准则。对m>n，有|am-an|=|(1/(n+1)+...+1/m)-(lnm-lnn)|。通过积分估计，可证明这个差值小于任意给定的ε，因此{an}是柯西数列，从而收敛。柯西收敛原理是分析学中最基本的结果之一，它将数列收敛性问题转化为研究数列项之间的相互关系，而不需要预先知道极限值。这一原理在构造性数学和数值分析中尤其重要，因为它提供了一种判断近似序列收敛性的方法，即使我们不知道精确解是什么。实函数与映射实值函数定义实值函数是从定义域D（D⊆R）到值域R的映射，记为f:D→R。函数f将定义域中的每个元素x映射到唯一的值f(x)。函数完全由其定义域和映射规则确定。例如，函数f(x)=x²的定义域可以是整个实数集R，它将每个实数x映射到其平方x²。函数g(x)=1/x的自然定义域是R\{0}，即除零外的所有实数。函数的多种表示函数可以通过代数表达式、分段定义、隐式关系或参数方程表示。例如，分段函数h(x)=|x|可表示为：h(x)={x,x≥0;-x,x<0}指示函数χA(x)在x∈A时取值1，否则取值0，是分段函数的重要例子，在测度论和概率论中有广泛应用。函数的代数运算两个函数f和g可进行多种代数运算：和：(f+g)(x)=f(x)+g(x)差：(f-g)(x)=f(x)-g(x)积：(f·g)(x)=f(x)·g(x)商：(f/g)(x)=f(x)/g(x)，g(x)≠0复合：(f∘g)(x)=f(g(x))极限的ε-δ定义形式化定义若对任意ε>0，存在δ>0，使得当0<|x-a|<δ时，有|f(x)-L|<ε，则称L为函数f在点a处的极限，记为lim(x→a)f(x)=L。直观解释函数值f(x)可以通过控制自变量x与a的距离而使其与L的距离任意小。δ的选择依赖于ε，体现了"接近程度"的精确度量。2基本法则若limf(x)=A，limg(x)=B，则lim(f+g)=A+B，lim(f·g)=A·B，当B≠0时，lim(f/g)=A/B。应用举例证明lim(x→2)(x²-4)/(x-2)=4：对任意ε>0，取δ=min{1,ε/4}，当0<|x-2|<δ时，|(x²-4)/(x-2)-4|=|x+2-4|=|x-2|<δ≤ε。函数极限的性质唯一性若函数f在点a处的极限存在，则该极限唯一。这源于实数的基本性质：若L₁≠L₂，则不可能同时满足|f(x)-L₁|<ε和|f(x)-L₂|<ε，当ε足够小且x足够接近a时。局部有界性若lim(x→a)f(x)=L，则存在δ>0和M>0，使得当0<|x-a|<δ时，|f(x)|≤M。这表明具有极限的函数在极限点附近是有界的，尽管在极限点本身函数可能无定义。传递性若lim(x→a)g(x)=b且lim(y→b)h(y)=c，又g在a点附近恒不等于b，则lim(x→a)h(g(x))=c。这是复合函数极限的基础，但需要注意条件的完整性，尤其是g(x)≠b的要求。无穷极限当f(x)随x接近a而无限增大，记作lim(x→a)f(x)=∞。形式上，对任意M>0，存在δ>0，使得当0<|x-a|<δ时，f(x)>M。类似地可定义趋于负无穷的情况。左极限与右极限单侧极限定义函数f在点a的左极限，记为lim(x→a-)f(x)或f(a-)，是指当x从a的左侧趋近于a时，f(x)的极限值。形式上，对任意ε>0，存在δ>0，使得当a-δ类似地，函数f在点a的右极限，记为lim(x→a+)f(x)或f(a+)，是指当x从a的右侧趋近于a时，f(x)的极限值。双侧极限与单侧极限关系函数f在点a的极限存在的充要条件是左极限和右极限都存在且相等，即：lim(x→a)f(x)=L当且仅当lim(x→a-)f(x)=lim(x→a+)f(x)=L这一性质是判断函数极限是否存在的重要工具，尤其对于分段函数和特殊点的分析。典型应用举例考虑函数f(x)=|x|/x，x≠0。当x→0-时，f(x)=-1；当x→0+时，f(x)=1。由于左右极限不相等，所以lim(x→0)f(x)不存在，这说明函数在x=0处不连续。再考虑f(x)=[x]（取整函数）在整数点a处，左极限为a-1，右极限为a，两者不相等，因此极限不存在，函数在整数点处不连续。无穷小与无穷大无穷小的定义与性质若lim(x→a)f(x)=0，则称f(x)为当x→a时的无穷小量。无穷小量是分析中的基本概念，用于研究极限过程中函数的渐近行为。若f(x)和g(x)都是x→a时的无穷小量，且极限lim(x→a)f(x)/g(x)存在，则可比较它们的阶：若极限为0，则f(x)是比g(x)高阶的无穷小；若极限为非零常数c，则f(x)与g(x)是同阶无穷小；若极限为∞，则f(x)是比g(x)低阶的无穷小。无穷小的比较当x→0时，以下是常见无穷小量的比较：x^n(n>0)与x^m(m>0)比较：若nm，则x^n是比x^m高阶的无穷小。x^n与sinx比较：当n=1时，lim(x→0)sinx/x=1，所以sinx与x是同阶无穷小。x^n与ln(1+x)比较：当n=1时，lim(x→0)ln(1+x)/x=1，所以ln(1+x)与x是同阶无穷小。洛必达法则预备无穷小比较是洛必达法则的基础。洛必达法则解决形如0/0或∞/∞型的未定式，其基本思想是在适当条件下：lim(x→a)f(x)/g(x)=lim(x→a)f'(x)/g'(x)这一法则的应用需要函数可导且满足特定条件。例如，计算lim(x→0)(e^x-1-x)/x^2，可以通过反复应用洛必达法则得到答案为1/2。连续性的$\varepsilon$-$\delta$定义函数f在点a处连续的定义是：对任意给定的ε>0，存在δ>0，使得当|x-a|<δ时，|f(x)-f(a)|<ε。这意味着，当自变量x足够接近a时，函数值f(x)能够任意接近f(a)。连续性的ε-δ定义统一了极限和函数值的关系，即f在a点连续当且仅当lim(x→a)f(x)=f(a)。点连续与区间连续是两个相关概念。函数f在区间I上连续，是指f在I内每一点都连续。若I是闭区间[a,b]，还需额外要求f在左端点a处右连续，在右端点b处左连续。区间连续性确保了函数图像的"不间断性"，是许多重要定理的前提条件。常见基本函数的连续性可从定义直接验证。例如，多项式函数、有理函数（在分母不为零处）、三角函数、指数函数和对数函数在其定义域内都是连续的。理解这些基本函数的连续性是研究复杂函数连续性的基础。连续函数的性质有界性定理若函数f在闭区间[a,b]上连续，则f在[a,b]上有界，即存在常数M>0，使得对任意x∈[a,b]，有|f(x)|≤M。这一结论依赖于实数系统的完备性，对非闭区间不一定成立，如f(x)=1/x在开区间(0,1)上连续但无界。最大最小值定理若函数f在闭区间[a,b]上连续，则f在[a,b]上必取得最大值和最小值，即存在x₁,x₂∈[a,b]，使得对任意x∈[a,b]，有f(x₂)≤f(x)≤f(x₁)。这是有界性定理的深化，说明连续函数不仅有界，还能在区间内取到界。中间值定理若函数f在闭区间[a,b]上连续，且f(a)≠f(b)，则对于f(a)与f(b)之间的任意值y₀，存在c∈(a,b)，使得f(c)=y₀。直观上，这意味着连续函数的图像是一条不间断的曲线，不能从一个函数值跳跃到另一个函数值，必须经过中间的所有值。零点存在定理若函数f在闭区间[a,b]上连续，且f(a)·f(b)<0，则存在至少一点ξ∈(a,b)，使得f(ξ)=0。这是中间值定理的特例，通常用于证明方程解的存在性并确定解的位置。求解超越方程的数值方法，如二分法和牛顿法，正是基于这一定理。闭区间连续性的重要结论韦尔斯特拉斯定理若函数f在闭区间[a,b]上连续，则f在[a,b]上一致连续。这意味着，对任意给定的ε>0，存在δ>0，使得对任意x,y∈[a,b]，当|x-y|<δ时，都有|f(x)-f(y)|<ε。这里的关键是δ只依赖于ε，而不依赖于x,y的具体位置。一致连续与点态连续一致连续比点态连续更强。点态连续是指在每一点处连续，而一致连续要求函数在整个区间上有"均匀"的连续性。例如，函数f(x)=1/x在开区间(0,1)上处处连续，但不一致连续，因为当x接近0时，函数值变化非常剧烈。断点与反例理解定理条件的必要性也很重要。例如，f(x)=sin(1/x)在开区间(0,1)上连续，但在0处无法连续延拓，也不在[0,1]上一致连续。函数g(x)=x²在整个实数轴R上连续但不一致连续，因为当|x|→∞时，函数值变化越来越剧烈。闭区间上连续函数的性质为分析学中的许多重要结论提供了基础。例如，海涅-博雷尔定理指出，闭区间上的连续函数f:[a,b]→R是有界闭集到有界闭集的映射，这与其他领域如拓扑学和泛函分析有深刻联系。闭区间上函数的良好性质也是积分理论、微分方程解的存在性和近似理论的基础。闭区间与紧致性1有界闭集性质实数轴上的闭区间[a,b]具有特殊性质：其中的任意无限点集必有至少一个聚点，这称为列紧性或序列紧致性。2覆盖紧致性闭区间[a,b]的任意开覆盖都有有限子覆盖，这是紧致集合的定义特征。3康托尔定理闭区间上的连续函数必定一致连续，这是闭区间紧致性的一个重要应用。紧致性是拓扑学和分析学中的核心概念，而实数轴上的闭区间是理解紧致性的基本模型。在分析学中，紧致集合上的连续函数具有许多良好性质，如最大最小值定理、一致连续性等，这些性质确保了许多极限过程的有效性和收敛性。海涅-博雷尔定理指出，n维欧几里得空间中的集合是紧致的，当且仅当它是有界闭集。这一结果将几何直观与分析性质紧密联系，为处理高维问题提供了强大工具。紧致性的概念后来被推广到一般拓扑空间，成为现代数学中最基本的概念之一。闭区间的紧致性对证明实分析中的许多定理至关重要，如阿尔泽拉-阿斯科利定理（函数列的一致收敛条件）、斯通-韦尔斯特拉斯逼近定理（多项式逼近连续函数）等。理解紧致性不仅有助于掌握实分析，也为学习更高级的数学概念奠定基础。间断点分类3理解间断点的分类对于分析函数行为至关重要。第一类间断点（可去和跳跃）相对"温和"，函数在这些点附近的行为比较规则。而第二类间断点（包括无穷和振荡）则表现出更复杂的性质，函数在这些点附近可能有极端的行为变化。可去间断点函数f在点a处的左、右极限存在且相等，但f(a)不存在或不等于该极限值。通过重新定义a点处的函数值为该极限，可使函数在a处连续，因此称为"可去"间断点。跳跃间断点函数f在点a处的左、右极限都存在，但不相等。函数值从左极限"跳跃"到右极限，不可能通过重新定义a点的函数值使函数连续。跳跃间断点是第一类间断点。无穷间断点函数f在点a的某一侧或两侧的极限为无穷大，如f(x)=1/(x-a)在x=a处。无穷间断点是第二类间断点的一种。振荡间断点函数f在点a的某一侧或两侧不存在极限，如f(x)=sin(1/x)在x=0处。振荡间断点也是第二类间断点，其特点是函数值在间断点附近不断振荡，不趋于任何确定值。初等函数的连续性函数类型连续区间间断点多项式函数P(x)整个实数轴R无有理函数P(x)/Q(x)Q(x)≠0的所有点Q(x)=0的点（极点）指数函数e^x,a^x(a>0)整个实数轴R无对数函数lnx,log_ax正实数(0,+∞)x=0（负无穷间断点）三角函数sinx,cosx整个实数轴R无正切函数tanxx≠(n+1/2)π,n∈Zx=(n+1/2)π（极点）反三角函数arcsinx,arccosx[-1,1]定义域外无定义反正切函数arctanx整个实数轴R无初等函数是由多项式、有理函数、指数函数、对数函数和三角函数通过有限次四则运算和复合运算得到的函数。这些函数在其定义域内通常具有良好的连续性，除了某些特殊点。了解这些基本函数的连续区间和间断点，对于分析复杂函数和解决实际问题至关重要。需要特别注意的是，函数的间断点往往是由于函数在这些点无定义（如分母为零）或定义式出现跳变（如分段函数的分段点）导致的。对于复合函数f(g(x))，如果g在点a连续且g(a)=b，而f在点b连续，则复合函数在点a也连续。这一性质使我们能够判断由基本函数构成的复杂函数的连续性。可微性定义与几何意义可微性的ε-δ定义函数f在点x处可微，是指极限lim(Δx→0)[f(x+Δx)-f(x)]/Δx存在。这个极限值被定义为f在x处的导数，记为f'(x)或df/dx。等价地，可微性意味着函数的增量可以表示为Δf=f'(x)·Δx+o(Δx)，其中o(Δx)是比Δx高阶的无穷小量。可微性蕴含连续性，但反之不然。例如，f(x)=|x|在x=0处连续，但导数lim(Δx→0)|Δx|/Δx不存在，因为左右极限不相等。几何与物理意义几何上，导数f'(x)代表函数图像在点(x,f(x))处切线的斜率。当f'(x)>0时，函数在该点增长；当f'(x)<0时，函数在该点减小；当f'(x)=0时，函数在该点有水平切线，可能是极值点或拐点。物理上，如果f(t)表示物体在时间t的位置，则f'(t)表示物体在时间t的瞬时速度。如果进一步考虑f''(t)，它表示物体的加速度。这种对变化率的度量是微积分在自然科学中广泛应用的基础。可微性的严格定义使我们能够精确分析函数的局部行为。与初等微积分中的直观理解相比，实分析更加强调"无穷小分析"的严格性。例如，对函数f(x)=x·sin(1/x)（x≠0）且f(0)=0，可以证明它在x=0处连续但不可微，这需要仔细分析lim(x→0)sin(1/x)的行为。这类例子说明可微性是比连续性更强的条件。导数运算法则基本导数公式常数函数：(C)'=0幂函数：(x^n)'=n·x^(n-1)指数函数：(e^x)'=e^x，(a^x)'=a^x·lna对数函数：(lnx)'=1/x，(log_ax)'=1/(x·lna)三角函数：(sinx)'=cosx，(cosx)'=-sinx反三角函数：(arcsinx)'=1/√(1-x²)，(arctanx)'=1/(1+x²)四则运算法则和差法则：(f±g)'=f'±g'乘积法则：(f·g)'=f'·g+f·g'商法则：(f/g)'=(f'·g-f·g')/g²这些法则源于极限的线性性质和四则运算极限法则，通过代入可微函数的定义并运用极限运算法则证明。复合函数链式法则若y=f(u)且u=g(x)，则dy/dx=(dy/du)·(du/dx)=f'(g(x))·g'(x)链式法则是微分中最强大的工具之一，允许我们计算任何复合函数的导数。例如，若y=sin(x²)，则y'=cos(x²)·(x²)'=2x·cos(x²)。隐函数求导通常需要应用链式法则和隐式微分技术，例如，对方程F(x,y)=0，可得dy/dx=-∂F/∂x÷∂F/∂y。微分应用举例单调性与极值函数f在区间I上的单调性由其导数的符号决定：若f'(x)>0，则f在I上严格递增；若f'(x)<0，则f在I上严格递减。极值点是函数取得局部最大值或最小值的点，通常在导数为零或不存在的点处出现。通过分析f'(x)的符号变化，可确定极值点的性质。凹凸性与拐点函数f的凹凸性由其二阶导数f''(x)的符号决定：若f''(x)>0，则f在该区间上是凹的（图像向上开口）；若f''(x)<0，则f在该区间上是凸的（图像向下开口）。拐点是函数图像凹凸性发生变化的点，通常在f''(x)=0或f''(x)不存在且前后变号的点处出现。曲率分析曲线在点P处的曲率κ度量了曲线偏离直线的程度，对平面曲线y=f(x)，曲率公式为κ=|f''(x)|/[1+(f'(x))²]^(3/2)。曲率越大，曲线在该点处的弯曲程度越大。特别地，圆的曲率是常数，等于1/R，其中R是圆的半径。曲率在物理学、工程学和几何设计中有重要应用。微分在实际问题中有广泛应用，如优化问题、变化率分析、近似计算等。例如，在经济学中，边际成本和边际收益的概念直接对应函数的导数；在物理学中，速度和加速度是位置函数的一阶和二阶导数；在生物学中，种群增长率可用微分方程建模分析。掌握微分的应用方法，对于理解和解决各学科中的实际问题具有重要意义。中值定理汇总罗尔定理若函数f在闭区间[a,b]上连续，在开区间(a,b)内可微，且f(a)=f(b)，则存在至少一点ξ∈(a,b)，使得f'(ξ)=0。几何上，这意味着若曲线两端点高度相同，则曲线上至少有一点切线水平。拉格朗日中值定理若函数f在闭区间[a,b]上连续，在开区间(a,b)内可微，则存在至少一点ξ∈(a,b)，使得f'(ξ)=(f(b)-f(a))/(b-a)。几何上，这表明在曲线上存在至少一点，其切线与连接曲线两端点的直线平行。柯西中值定理若函数f和g在闭区间[a,b]上连续，在开区间(a,b)内可微，且g'(x)≠0，则存在至少一点ξ∈(a,b)，使得(f(b)-f(a))/(g(b)-g(a))=f'(ξ)/g'(ξ)。这是拉格朗日中值定理的推广，当g(x)=x时退化为拉格朗日定理。中值定理是微分学中的核心结果，它们揭示了连续可微函数的重要性质，为许多深刻的数学结论提供了基础。例如，拉格朗日中值定理可用于证明：若f'(x)=0对所有x∈(a,b)成立，则f在[a,b]上为常数；若|f'(x)|≤M对所有x∈[a,b]成立，则f满足利普希茨条件，即|f(x)-f(y)|≤M|x-y|。在应用中，中值定理是估计误差、证明不等式和研究函数行为的强大工具。例如，泰勒定理（带有拉格朗日余项）可看作拉格朗日中值定理的推广，它为函数近似提供了理论基础。柯西中值定理则在处理两个函数比值的极限问题时特别有用，是洛必达法则的理论依据。泰勒公式泰勒展开的定义若函数f在点a的某个邻域内具有n阶导数，则f(x)可以在a点附近展开为：f(x)=f(a)+f'(a)(x-a)+f''(a)(x-a)²/2!+...+f^(n)(a)(x-a)^n/n!+R_n(x)其中R_n(x)是余项，表示展开式与原函数的误差。当a=0时，这种展开称为麦克劳林展开。余项的不同形式拉格朗日余项：R_n(x)=f^(n+1)(ξ)(x-a)^(n+1)/(n+1)!，其中ξ在a与x之间。柯西余项：R_n(x)=f^(n+1)(a+θ(x-a))(1-θ)^n(x-a)^(n+1)/n!，其中0<θ<1。积分余项：R_n(x)=1/n!∫(a到x)(x-t)^n·f^(n+1)(t)dt。这些不同形式的余项在不同情况下有不同的应用优势。常见函数的泰勒展开e^x=1+x+x²/2!+x³/3!+...+x^n/n!+...sinx=x-x³/3!+x^5/5!-...+(-1)^k·x^(2k+1)/(2k+1)!+...cosx=1-x²/2!+x^4/4!-...+(-1)^k·x^(2k)/(2k)!+...ln(1+x)=x-x²/2+x³/3-...+(-1)^(k+1)·x^k/k+...(-1泰勒公式是微积分中最强大的工具之一，它允许我们用多项式近似任意阶可微函数。这种近似在数值计算、函数逼近、微分方程求解和理论分析中都有重要应用。例如，计算器和计算机通常使用泰勒级数的有限项来计算sin、cos、e^x等函数的值。微分中值定理证明辅助函数构造罗尔定理的证明：若f在[a,b]上连续，在(a,b)内可微，且f(a)=f(b)，则由最大值定理，f在[a,b]上必取得最大值和最小值。如果这些极值点都在区间端点，则f是常函数，任意点导数都为0；如果某个极值点c在开区间(a,b)内，则在该点处f'(c)=0，从而定理成立。拉格朗日中值定理证明基于罗尔定理，构造辅助函数g(x)=f(x)-f(a)-(f(b)-f(a))(x-a)/(b-a)。可验证g(a)=g(b)=0，且g在[a,b]上满足罗尔定理条件。因此，存在ξ∈(a,b)使得g'(ξ)=0，即f'(ξ)=(f(b)-f(a))/(b-a)，这正是拉格朗日中值定理的结论。柯西中值定理推广类似地，如果f和g都满足条件且g(a)≠g(b)，构造辅助函数h(x)=f(x)-f(a)-(f(b)-f(a))(g(x)-g(a))/(g(b)-g(a))。可验证h(a)=h(b)=0，由罗尔定理，存在ξ∈(a,b)使得h'(ξ)=0，整理得(f(b)-f(a))/(g(b)-g(a))=f'(ξ)/g'(ξ)。中值定理的证明揭示了微分学中核心结论的深刻联系。从罗尔定理到拉格朗日中值定理，再到柯西中值定理，这一系列定理反映了函数在区间上行为的本质特性，并通过辅助函数的巧妙构造建立了紧密联系。泰勒定理则可视为这些中值定理在高阶导数上的自然推广。理解这些定理的证明不仅有助于掌握证明技巧，更能加深对微分学基本原理的认识。这些证明方法也体现了数学分析中"局部线性近似"的核心思想，即可微函数在任意点附近都可以用线性函数很好地近似，这是微积分理论的基础，也是其强大应用能力的来源。不定积分与定积分不定积分的定义函数F(x)称为f(x)的一个原函数，如果对任意x∈[a,b]，都有F'(x)=f(x)。函数f(x)的所有原函数构成的集合称为f(x)的不定积分，记为∫f(x)dx=F(x)+C，其中C是任意常数。不定积分的计算方法包括基本积分公式、换元法和分部积分法。例如，∫x^ndx=x^(n+1)/(n+1)+C(n≠-1)，∫dx/x=ln|x|+C等。定积分的直观理解定积分∫(a到b)f(x)dx表示函数f在区间[a,b]上的图像与x轴之间区域的有向面积。当f(x)≥0时，定积分正好等于面积；当f(x)≤0时，定积分等于负的面积；当f(x)有正有负时，定积分等于正面积减去负面积。黎曼和的思想是将区间[a,b]划分为n个小区间，在每个小区间上取一点计算函数值，然后将"高度×宽度"的乘积求和。当划分越来越细时，黎曼和的极限就是定积分的值。积分的物理背景积分最初源于求面积和体积的需求，后来扩展到各种物理量的计算。例如，物体在变力作用下的功可表示为力沿路径的线积分；电场的电势可表示为电场强度的线积分；质点系的质心坐标可用积分表示。从物理角度看，不定积分反映了导数与积分的互逆关系，而定积分则提供了累积效应的精确计算方法。理解这种物理背景有助于更深入地把握积分的本质。黎曼积分的定义区间划分与黎曼和将区间[a,b]划分为n个小区间，计算加权和Σf(ξₖ)Δxₖ上、下和的极限上和S(P)和下和s(P)随划分P的细化趋于相同极限值可积性条件函数f在[a,b]上可积当且仅当上和与下和的差趋于零黎曼积分的严格定义如下：将区间[a,b]分割为n个小区间[xₖ₋₁,xₖ]，其中a=x₀若对任意ε>0，存在划分P，使得S(P)-s(P)<ε，则称函数f在区间[a,b]上黎曼可积，记为f∈R[a,b]。黎曼积分的值定义为∫(a到b)f(x)dx=lim(|P|→0)ΣpᵢΔxᵢ，其中pᵢ为区间[xᵢ₋₁,xᵢ]中任意一点。这个定义等价于上、下和极限的一致性：lim(|P|→0)S(P)=lim(|P|→0)s(P)=∫(a到b)f(x)dx。连续函数必定可积，但可积函数不必连续。例如，具有有限个间断点的函数也是可积的。更一般地，黎曼可积函数的间断点集必须是零测集（即对任意ε>0，可用总长度小于ε的区间覆盖）。这个条件是黎曼积分的本质限制，也是引入更一般的勒贝格积分的动机之一。黎曼可积性判别准则1达布准则函数f在闭区间[a,b]上黎曼可积的充要条件是：对任意ε>0，存在区间[a,b]的一个分割P，使得上和与下和之差S(P)-s(P)<ε。这一准则直接源于黎曼积分的定义，强调了上、下和的差值必须能够任意小。2有界变差函数任何有界变差函数都是黎曼可积的。一个函数f在[a,b]上具有有界变差，是指存在常数M，使得对[a,b]的任意分割a=x₀3间断点集的测度函数f在闭区间[a,b]上黎曼可积的充要条件是：f在[a,b]上有界，且f的间断点集是零测集。这意味着间断点可以很多（甚至不可数无穷多），但它们必须"分散"，不能"聚集"成有正测度的集合。例如，有理数集在任何区间内都稠密，但它是可数集，因此是零测集。理解黎曼可积性的判别准则对于判断哪些函数可以直接使用黎曼积分至关重要。例如，狄利克雷函数D(x)（在有理数处取值1，在无理数处取值0）在任何区间上都不是黎曼可积的，因为它在每个点都不连续，间断点集具有正测度。另一个著名例子是黎曼函数R(x)，定义为：若x是有理数p/q（已约分），则R(x)=1/q；若x是无理数，则R(x)=0。这个函数在无理点处连续，在有理点处不连续，但由于有理点集是零测集，所以R(x)是黎曼可积的。这类例子帮助我们深入理解黎曼可积性的本质特征。牛顿-莱布尼兹公式定理内容若函数f在[a,b]上连续，F是f的任意一个原函数，则∫(a到b)f(x)dx=F(b)-F(a)证明思路构造函数G(x)=∫(a到x)f(t)dt，证明G'(x)=f(x)，则G是f的一个原函数应用示例计算∫(0到π/2)sinxdx=-cosx|_(0到π/2)=-cos(π/2)-(-cos(0))=0-(-1)=1牛顿-莱布尼兹公式，又称微积分基本定理，揭示了导数与积分的互逆关系，是微积分中最重要的结果之一。它将定积分的计算转化为原函数的求解，大大简化了积分的计算过程。公式中的F(b)-F(a)通常记为[F(x)]_(a到b)，表示函数F在区间端点处的值之差。该公式的证明基于以下关键思想：定义函数G(x)=∫(a到x)f(t)dt，应用积分的定义和中值定理，可以证明G'(x)=f(x)。这意味着G是f的一个原函数。由于任意两个原函数之间相差一个常数，设F是f的任意原函数，则F(x)=G(x)+C。因此，F(b)-F(a)=G(b)-G(a)=∫(a到b)f(x)dx。牛顿-莱布尼兹公式在物理学和工程学中有广泛应用。例如，计算变力做功、求变速运动的位移、确定电场中的电势差等问题，都可以通过这一公式简洁地解决。此外，该公式也是许多高等积分技术和理论发展的基础。积分的应用积分的几何应用十分丰富。平面区域的面积可以通过定积分∫(a到b)f(x)dx计算，其中f(x)≥0。旋转体的体积可以用圆盘法∫(a到b)πr(x)²dx或圆柱壳法∫(a到b)2πr(x)h(x)dx计算，其中r(x)是到旋转轴的距离，h(x)是微元的高度。曲线的弧长可以用积分∫(a到b)√(1+(f'(x))²)dx计算，这反映了线元ds=√(dx²+dy²)沿曲线的累积。在物理学中，积分同样有广泛应用。质点系的质心坐标可以通过∫xdm/∫dm计算，其中dm是质量微元。转动惯量I=∫r²dm描述了刚体绕轴转动的惯性，是经典力学中的重要量。功的计算W=∫F·ds涉及力沿路径的线积分，是能量转换的关键指标。此外，流体力学中的压力、电磁学中的电场和磁场、热力学中的熵变等，都需要通过积分来精确计算。积分平均值定理指出，若f在[a,b]上连续，则存在ξ∈[a,b]，使得f(ξ)=(1/(b-a))∫(a到b)f(x)dx。这表明积分的均值等于函数在某点的值，为分析函数的平均行为提供了理论基础。在信号处理中，这一定理帮助理解信号的有效值；在概率论中，它与期望值概念密切相关。无穷级数与敛散性级数定义无穷级数Σaₙ是数列{Sₙ}的极限，其中Sₙ=a₁+a₂+...+aₙ是前n项和1收敛条件级数收敛的必要条件是aₙ→0；充分条件包括比较判别法、比值法等比值判别法若存在r使得|aₙ₊₁/aₙ|→r，则当r<1时级数绝对收敛，当r>1时级数发散根值判别法若存在r使得|aₙ|^(1/n)→r，则当r<1时级数绝对收敛，当r>1时级数发散无穷级数是实分析中研究无限求和的重要工具。一个基本例子是几何级数Σr^n(n从0到∞)，当|r|<1时收敛于1/(1-r)，当|r|≥1时发散。另一个重要例子是p级数Σ1/n^p(n从1到∞)，当p>1时收敛，当p≤1时发散。这些结果可通过积分判别法或比较判别法证明。级数的敛散性研究中有许多精细的判别法。除了基本的比值法和根值法外，还有莱布尼兹判别法（用于交错级数）、迪利克雷判别法（用于含三角函数的级数）等。对于条件收敛级数（如Σ(-1)^(n+1)/n），其重排可能导致不同的和，甚至发散，这是实分析中的微妙现象。幂级数与函数展开幂级数的定义形如Σa_n(x-a)^n的无穷级数称为以a为中心的幂级数。幂级数的重要性在于它可以表示许多重要函数，并且便于进行各种数学运算。例如，几何级数Σr^n=1/(1-r)(|r|<1)是最简单的幂级数。收敛半径的计算幂级数Σa_n(x-a)^n的收敛半径R可通过公式R=1/lim(n→∞)|a_(n+1)/a_n|计算（若极限存在）。在收敛半径内，级数绝对收敛；在收敛半径外，级数发散；在收敛圆周上，需要逐点判断。例如，Σx^n/n!的收敛半径是无穷大，即在整个实数轴上收敛。典型函数的幂级数展开许多基本函数都可以表示为幂级数：e^x=Σx^n/n!=1+x+x^2/2!+...（收敛域：R）sinx=Σ(-1)^n·x^(2n+1)/(2n+1)!=x-x^3/3!+...（收敛域：R）1/(1-x)=Σx^n=1+x+x^2+...（收敛域：|x|<1）ln(1+x)=Σ(-1)^(n+1)·x^n/n=x-x^2/2+...（收敛域：-1幂级数具有良好的分析性质：在其收敛区间内可以逐项求导和逐项积分，得到的新级数具有相同的收敛半径。这使得幂级数成为研究函数性质的强大工具。例如，通过分析e^x的幂级数，可以证明e^(x+y)=e^x·e^y；通过分析sinx的幂级数，可以得到复杂的三角恒等式。一致收敛与点态收敛点态收敛的定义函数序列{f_n(x)}在区间I上点态收敛到函数f(x)，是指对每个固定的x∈I，数列{f_n(x)}收敛到f(x)。形式上，对任意x∈I和任意ε>0，存在与x有关的N(ε,x)，使得当n>N(ε,x)时，|f_n(x)-f(x)|<ε。点态收敛是最基本的收敛概念，但它较弱，不能保证许多重要性质的保持。例如，点态收敛可能不保持函数的连续性、可积性或可微性。一致收敛的定义函数序列{f_n(x)}在区间I上一致收敛到函数f(x)，是指序列整体、一致地接近极限函数。形式上，对任意ε>0，存在不依赖于x的N(ε)，使得当n>N(ε)时，对所有x∈I，都有|f_n(x)-f(x)|<ε。一致收敛强于点态收敛，能够保证许多重要性质的传递。维尔斯特拉斯判别法是判断级数一致收敛的重要工具：若Σa_n(x)在I上逐项有界，且Σb_n收敛，其中|a_n(x)|≤b_n，则Σa_n(x)在I上一致收敛。有界区间上的重要性在有界闭区间上，一致收敛的函数序列具有以下重要性质：若每个f_n连续，则极限函数f也连续积分极限可交换：lim∫f_n=∫limf_n在适当条件下，导数极限也可交换这些性质使一致收敛成为分析许多数学和物理问题的关键工具，特别是在处理无穷级数表示的函数时。函数序列极限与交换次序操作点态收敛一致收敛极限与连续性交换不一定可以交换极限与积分交换不一定可以交换极限与导数交换不一定需额外条件函数序列的极限与其他运算（如求导、积分、函数复合等）的交换次序问题是实分析中的重要议题。一般而言，仅有点态收敛不足以保证这些运算的交换，而一致收敛则提供了更强的保证。以下是几个关键定理和反例：连续性：若函数序列{f_n}在区间I上连续且一致收敛到f，则f在I上也连续。反例：f_n(x)=x^n在[0,1]上点态收敛到函数f(x)，其中f(1)=1且当x∈[0,1)时f(x)=0，但f在x=1处不连续，这是因为收敛不是一致的。积分：若函数序列{f_n}在闭区间[a,b]上一致收敛到f，则lim(n→∞)∫(a到b)f_n(x)dx=∫(a到b)f(x)dx。反例：函数序列f_n(x)=n·x^n·(1-x)在[0,1]上点态收敛到0，但∫(0到1)f_n(x)dx=n/(n+1)-n/(n+2)→1，而∫(0到1)0dx=0。导数：若函数序列{f_n}的导数{f'_n}在闭区间[a,b]上一致收敛到函数g，且在某点x_0∈[a,b]有lim(n→∞)f_n(x_0)=A，则{f_n}在[a,b]上一致收敛到函数f，其中f'(x)=g(x)且f(x_0)=A。这表明，在适当条件下，导数与极限可以交换。Cantor集与实数分布的反例Cantor集构造方法Cantor集是通过从闭区间[0,1]中反复删除每个剩余闭区间的中间开区间(1/3)而构造的。具体步骤如下：C₀=[0,1]；C₁=[0,1/3]∪[2/3,1]（删除中间1/3）；C₂=[0,1/9]∪[2/9,3/9]∪[6/9,7/9]∪[8/9,1]（从C₁中每个区间删除中间1/3）；以此类推，Cantor集C是所有Cₙ的交集。零测度与非空完全集Cantor集具有测度为零，表明它"几乎不包含任何点"，因为C₁的总长度为2/3，C₂的总长度为(2/3)²，...，Cₙ的总长度为(2/3)^n，当n→∞时趋于0。然而，Cantor集是非空的，事实上它包含不可数无穷多个点，包括所有区间端点和许多其他点，如所有能用三进制表示且不含数字1的数。测度理论初步Cantor集引导我们思考集合的"大小"问题。从可数性角度，Cantor集与整个区间[0,1]一样大（都是不可数的）；但从测度角度，Cantor集的大小为零，而[0,1]的大小为1。这表明需要更精细的工具来分析集合，测度理论正是这样的工具。勒贝格测度将点集的"大小"推广为更一般的概念，为积分理论提供更坚实的基础。Cantor集是实分析中的经典例子，展示了实数系统中存在的复杂集合结构。它是一个完全集（等于其导集），也是一个紧集（作为闭集的交），但没有内点。Cantor集还是一个不可数零测集，这一特性使它成为构造各种反例的重要工具。例如，可以构造出在Cantor集上处处不连续但处处可导的函数，这挑战了我们对连续性和可导性关系的直觉理解。拓扑方法简介开集与闭集实数轴R上的开集是由开区间的任意并集组成的集合。闭集是开集的补集。开集的特点是对于集合中的每一点，都存在该点的某个邻域完全包含在集合中；闭集的特点是包含其所有的极限点。开区间(a,b)是开集，闭区间[a,b]是闭集，而半开区间[a,b)或(a,b]既不是开集也不是闭集。序列收敛与点集性质在点集拓扑中，闭集可以用序列刻画：集合F是闭集当且仅当F中的任意收敛序列的极限仍然在F中。这一特性被称为序列闭性。类似地，集合K是紧集当且仅当K中的任意序列都有收敛到K中某点的子序列，这就是序列紧性。实数轴上的紧集恰好是有界闭集，这是海涅-博雷尔定理的内容。极限点与集合分析点x是集合E的极限点（或聚点），如果x的任意邻域都包含E中无穷多个点。点集E的导集E'是E的所有极限点的集合。闭集的特征之一是包含其所有极限点，即E'⊂E。集合E的闭包Ē=E∪E'是包含E的最小闭集。孤立点是属于集合但不是极限点的点；边界点是既在集合的闭包中又在其补集的闭包中的点。连通性与性质集合E是连通的，如果E不能表示为两个非空不相交开集的并。实数轴上的连通集恰好是区间（包括单点区间）。连通性是研究函数连续性的重要工具：连续函数将连通集映射为连通集，这是中值定理的拓扑形式。稠密集是指其闭包等于整个空间的集合，如有理数集Q在R中稠密。典型反常现象例析处处连续但处处不可导函数魏尔斯特拉斯函数W(x)=Σa^n·cos(b^n·π·x)（其中01+3π/2）是第一个被严格证明的处处连续但处处不可导的函数。这类函数挑战了人们对"光滑"的直觉，说明连续函数可以非常"崎岖"，没有任何一点处的切线。间断但黎曼可积函数黎曼函数R(x)在有理数处取值1/q（当x=p/q为最简分数时），在无理数处取值0，是一个在有理点处不连续但黎曼可积的函数。这是因为R的间断点集（有理数集）是一个零测集。这类例子帮助我们理解黎曼积分的适用范围和局限性。闭区间不可测子集维塔利集是一个不可勒贝格测度的集合，通过选择公理构造：从每个等价类（由关系x-y∈Q定义）中选择一个代表元素组成的集合。这类集合的存在表明，并非所有点集都可以用勒贝格测度"测量"，这为推广测度和积分概念提供了动机。实分析中的反常例子对深入理解数学概念至关重要。它们澄清了概念的边界，揭示了看似直观的性质可能的失效