微积分笔记系列(一)

  • 一、实数的相关性质:
性质名称 释义
三歧性 任意一对实数a,b之间并有且仅有下列三种关系之一:a = b, a > b, a < b
完备性/连续性/稠密性 任意一对实数a,b(a>b),恒有一个位于它们中间的有理数c , 满足:a > c > b =>
戴德金公理:对于实数域的任一分划A|B,必定确定实数b,满足b或是下组的最大值,或是上组的最小值
阿基米德原理 自然数集的任何不空有界集有最大元=>
自然数集没有上界=>
对于任意实数c,存在唯一的整数k,使得kx<k+1k\leq x<k+1;
数学归纳原理 如果E是自然数集N的子集,且1∈E,当x∈E时有x+1∈E,则E=N
分划 将全体有理数所组成的集合拆分成两个非空集合A,B,且满足条件:
①任一有理数,必在且仅在A和B二集合之一;
②集合A(称下组)的任一元素小于集合B(称上组)的任一元素,则称这样的拆分为一个分划,记作A|B;
=> 分划确定唯一实数
在下组中有最大数a且在上组中无最小数 \Rightarrow 确定唯一有理数a;
在上组中有最小数a且在下组中无最大数\Rightarrow 确定唯一有理数a;
在下组中无最大数且在上组中无最小数\Rightarrow确定唯一无理数b;

  • 二、数集的界:
    定义
    上界 设实数集S非空,若存在实数M,xS\forall x \in S,有xMx \leq M,则称M是S的一个上界,若L是上界中的最小值,则称L为上确界,记作supsup S
    下界 设实数集S非空,若存在实数m,xS\forall x \in S,有xmx \geq m,则称M是S的一个下界,若D是下界中的最大值,则称L为下确界,记作infinf S

    确界存在定理:若非空数集有上/下界,则必有上/下确界;


  • 三、数列极限:

    1)定义:对于数列{ana_n},若存在一个常数A,对任意正数ε\varepsilon,总存在正整数N,使得当n>N时总有:anA<ϵ|a_n - A| < \epsilon
    则称数列{ana_n}收敛于A,并将A称作数列{ana_n}的极限,记作:limnan=A\lim_{n\rightarrow \infty} a_n = A
    若数列{ana_n}没有极限,则称{ana_n}发散
    => 上/下极限:任何数列,无论有界还是无界,都恒有子列的极限,即部分极限存在,其最大/小值称为上/下极限,分别记作:liman\overline{\lim} a_nliman\underline{\lim} a_n
    => 数列收敛的一个充分必要条件为上下极限相等
    => 数列收敛的柯西准则
    微积分笔记系列(一)

    2)基本性质:

    性质 释义
    唯一性 若{ana_n}极限存在,则其极限唯一
    有界性 若{ana_n}收敛,则{ana_n}为有界数列
    保号性 limnan=A>0\lim_{n\rightarrow \infty} a_n = A > 0,则对于任意A(0,A)A' \in (0,A),存在正整数N,使得当n>N时,总有an>Aa_n > A';A<0的情况同理
    保不等式性 设{ana_n},{bnb_n}均为收敛数列,若存在正数N,使得当n>N时总有anbna_n \leq b_n,则:limnanlimnbn\lim_{n\rightarrow \infty} a_n \leq \lim_{n\rightarrow \infty} b_n

    3)四则运算:(an,bna_n,b_n均收敛)
    limn(an+bn)=limnan+limnbn\lim_{n\rightarrow \infty} (a_n+b_n) = \lim_{n\rightarrow \infty} a_n + \lim_{n\rightarrow \infty} b_n

    limn(an×bn)=limnan×limnbn\lim_{n\rightarrow \infty} (a_n\times b_n) = \lim_{n\rightarrow \infty} a_n \times \lim_{n\rightarrow \infty} b_n

    limnanbn=limnanlimnbn(limbn0)\lim_{n\rightarrow \infty} \frac{a_n}{b_n} = \frac{\lim_{n\rightarrow \infty} a_n }{ \lim_{n\rightarrow \infty} b_n}(\lim b_n \neq 0)

    4)夹逼定理
    an,bn,cna_n,b_n,c_n满足:
    ①存在正整数N,当n>N时有anbncna_n \leq b_n \leq c_n
    an,cna_n,c_n极限存在且相等;

    则:bnb_n极限存在且与an,cna_n,c_n极限相等

    5)单调数列极限存在定理:若单调递增/减数列有上/下界,则其极限必定存在;

    6)闭区间套原理
    微积分笔记系列(一)

    7)波尔查诺-魏尔斯特拉斯极限点原理:有界数列必有收敛于有限极限的子列

    注:子列:从原数列选的任一部分数列 => 若原数列收敛,则任一子列必定收敛于同一极限;
    反之,若存在两个子列不收敛于同一极限,则原数列发散(此条常用作证明原数列不收敛) => 每个无穷有界集合至少有一个极限点;

    8)有限覆盖原理:设H是闭区间[a,b]的一个(无限)开覆盖,则必可以从H中选择有限个开区间来覆盖[a,b]


  • 四、函数极限:

    1)定义:设f(x)f(x)x0x_0的某去心邻域内有定义,若存在常数A,对于任意正数ε\varepsilon,总存在正数δ\delta,使得当0<xx0<δ0<|x-x_0|<\delta时总有:0<f(x)A<ε0<|f(x)-A| < \varepsilon
    则称A为f(x)f(x)xx0x\rightarrow x_0时的极限,记作:limxx0f(x)=A\lim_{x\rightarrow x_0} f(x) = A

    => 当A为无穷时,定义可改写为:
    f(x)f(x)x0x_0的某去心邻域内有定义,对于任意正数ε\varepsilon,总存在正数δ\delta,使得当0<xx0<δ0<|x-x_0|<\delta时总有:f(x)>εf(x) > \varepsilon,则称f(x)f(x)xx0x\rightarrow x_0时发散到正无穷,记作:limxx0f(x)=+\lim_{x\rightarrow x_0} f(x) = +\infty,(负无穷的情况类似定义)

    => 左/右极限:x从左/右侧趋向于x0x_0时函数的极限称为左/右极限,分别记作:limxx0f(x)\lim_{x\rightarrow x_0^-} f(x)limxx0+f(x)\lim_{x\rightarrow x_0^+} f(x),统称单侧极限
    => 函数收敛的一个充要条件是左右极限都存在且相等
    => 函数收敛的柯西准则
    微积分笔记系列(一)

    2)基本性质/四则运算/夹逼定理/单调极限存在定理等:类似于数列极限,不再赘述。。。

    3)洛必达法则
    若函数f(x)f(x)g(x)g(x)满足:
    limxaf(x)=limxag(x)=0\lim_{x\rightarrow a} f(x) = \lim_{x\rightarrow a} g(x) = 0 或 \infty
    ②在点a的某去心邻域内两者都可导,且g(x)0g'(x) \neq 0
    limxaf(x)g(x)=A\lim_{x\rightarrow a} \frac{f'(x)}{g'(x)} = A

    则:limxaf(x)g(x)=limxaf(x)g(x)=A\lim_{x\rightarrow a} \frac{f(x)}{g(x)} = \lim_{x\rightarrow a} \frac{f'(x)}{g'(x)} = A

    4)斯托尔茨定理
    设整序变量Yn+Y_n \rightarrow +\infty,且从某一项Yn+1>YnY_{n+1}>Y_n,则limXnYn=limXnXn1YnYn1\lim\frac{X_n}{Y_n}=\lim\frac{X_n-X_{n-1}}{Y_n-Y_{n-1}}(若等式右边的极限存在)

    5)海涅定理
    limxaf(x)=b\lim_{x\rightarrow a} f(x) = b 的一个充要条件为:
    任取f(x)f(x)定义域内数列{ana_n},且满足limnan=a\lim_{n\rightarrow \infty} a_n = a,则:limnf(an)=blim_{n\rightarrow \infty} f(a_n) = b

    海涅定理是沟通函数极限和数列极限的桥梁,常用来证明函数极限不存在
    => 若存在两个极限为a的数列an,bna_n,b_n,不满足limf(an)=limf(bn)=b\lim f(a_n)=\lim f(b_n) = b,则函数极限不存在

    6)两个重要极限

    limx0sinxx=1\lim_{x\rightarrow 0} \frac{sinx}{x} = 1

    limx0(1+x)1x=e\lim_{x\rightarrow 0} (1+x)^{\frac{1}{x}} = e