专栏文章

数分一

学习·文化课参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@miqkf8p3
此快照首次捕获于
2025/12/04 06:15
3 个月前
此快照最后确认于
2025/12/04 06:15
3 个月前
查看原文

实数与数列极限

关于命题

x...\exist x ... 前面的语句对 xx 起到约束作用,对一个命题调换语序时跨越存在性语句可能改变正确性。
一个经典的例子是将 Cauchy 收敛准则的 p\forall p 提到 N\exist N 之前。
连续与一致连续定义的差异也体现于此。

Archimedes 性

xR+,yR,nN+,s.t. nx>y.\forall x \in \mathbb{R}_+,\forall y \in \mathbb{R},\exist n \in \mathbb{N}_+, \text{s.t. }nx>y.
这是实数域从有序域中脱颖而出的关键,让较弱的 Cauchy 收敛定理、区间套定理能和其他几个兄弟坐上一桌。
它有大量的等价表述,这里暂时不加证明地给出:
xR,nN+,s.t. n>x.xR+,nN+,s.t. nx>1.0 是 {1n} 的聚点.limn1n=0.limn12n=0.\begin{aligned} &\forall x \in \mathbb{R},\exist n \in \mathbb{N}_+,\text{s.t. }n>x.\\ &\forall x \in \mathbb{R}_+,\exist n \in \mathbb{N}_+,\text{s.t. }nx>1.\\ &0 \text{ 是 } \{\frac{1}{n}\} \text{ 的聚点}.\\ &\lim_{n \to \infty}\frac{1}{n}=0.\\ &\lim_{n \to \infty}\frac{1}{2^n}=0. \end{aligned}
这意味着看似显然的 C=0\frac{C}{\infty}=0 是由 Archimedes 性背书的。

Bernoulli 不等式

1)(1+x)n1+nx(x>1)2)(1+x)n1+(n2)x2(x0)Ex.(1+x)n=k=0n(nk)xk\begin{aligned} 1)\quad&(1+x)^n \geq 1+nx &(x>-1)\\ 2)\quad&(1+x)^n \geq 1+\binom{n}{2}x^2 &(x \geq 0)\\ Ex.\quad&(1+x)^n=\sum_{k=0}^n \binom{n}{k}x^k \end{aligned}
只是二项式定理罢了。
因为可以把次数丢下来,有时候用它对指数的式子做化简。

数列收敛

感性地说,就是 nn 无限增大时,ana|a_n-a| 可以任意小。
严格地说:
limnan=a(aR,)ε>0,NN+,s.t. n>N,总有ana<ε.(aR,)ε>0,NN+,s.t. n,m>N,总有anam<ε.(aR,)ε>0,NN+,s.t. n>N,pN+,总有anan+p<ε.\begin{aligned} &\lim_{n \to \infty}a_n=a\\ \Leftrightarrow &(\exist a \in \mathbb{R},)\forall \varepsilon>0,\exist N \in \mathbb{N}_+,\text{s.t. }n>N 时,总有 |a_n-a|<\varepsilon.\\ \Leftrightarrow &(\exist a \in \mathbb{R},)\forall \varepsilon>0,\exist N \in \mathbb{N}_+,\text{s.t. }n,m>N 时,总有 |a_n-a_m|<\varepsilon.\\ \Leftrightarrow &(\exist a \in \mathbb{R},)\forall \varepsilon>0,\exist N \in \mathbb{N}_+,\text{s.t. }n>N 时,\forall p \in \mathbb{N}_+,总有 |a_n-a_{n+p}|<\varepsilon.\\ \end{aligned}
后两条表述来自 Cauchy 收敛准则。
除了上面的等价表述,迫敛性定理和单调有界定理也是证明数列收敛的方法。
迫敛性定理:
limnan=limnbn=a\lim_{n \to \infty} a_n=\lim_{n \to \infty} b_n=a,数列 {cn}\{c_n\} 满足:
存在 N0>0N_0>0s.t. n>N0\text{s.t. }n>N_0 时,有 ancnbna_n \leq c_n \leq b_n,则 limncn=a\lim_{n \to \infty} c_n=a.
发散即收敛的负命题(命题的否定)。

数列收敛性质

  • 极限唯一。
  • 保不等式性:nn \to \infty 时,an,bna_n,b_n 之间的序关系与 a,ba,b 之间的保持一致。
    约定:limnan=a,limnbn=b\lim_{n \to \infty} a_n=a,\lim_{n \to \infty} b_n=b.
    ( 1 ) a>bNN+,s.t. n>N,an>bna>b \Rightarrow \exist N \in \mathbb{N}_+,\text{s.t. }n>N 时,有 a_n>b_n.
    ( 2 ) N0N+,s.t. n>N0,anbnab\exist N_0 \in \mathbb{N}_+,\text{s.t. }n>N_0 时,有 a_n \geq b_n\Rightarrow a \textcolor{red}{\geq} b.
    bnb_n 替换为常数列即可得到保号性。
  • 有界。
    此处 收敛有界收敛 \Rightarrow 有界
    对单调数列有 收敛有界收敛 \Leftrightarrow 有界,即单调有界定理。
  • 任意子列均收敛,且极限相等。(常用逆否命题)
    我们称 {an}\{a_n\} 的一个无限子序列 {ank}\{a_{n_k}\}{an}\{a_n\} 的一个子列。
    相对的,有界数列存在收敛子列,即致密性定理。
  • 可进行有限次四则运算。

确界原理

有界必有确界,确界唯一。
确界定义:
α=supS{1°xS,xα.(αS的上界)2°ε>0,x0S,s.t. x0>αε.(α“紧邻”S)2°xnS(n=1,2,),s.t. limnxn=α.(上一条的等价表述)\alpha=\sup S \Leftrightarrow \left\{ \begin{aligned} 1\degree&\forall x \in S,x \leq \alpha. &(\alpha 为 S 的上界)\\ 2\degree&\forall \varepsilon>0,\exist x_0 \in S,\text{s.t. }x_0>\alpha-\varepsilon. &(\alpha “紧邻” S)\\ 2\degree&\exist x_n \in S(n=1,2,\dots),\text{s.t. }\lim_{n \to \infty} x_n=\alpha. &(上一条的等价表述) \end{aligned} \right.
同理有 infS\inf S 的定义。

函数与函数极限

映射

我们用 f:XYf:X \to Y 表示从非空集合 XX 到非空集合 YY映射 ff
xx 的对应元素 yy 记作 f(x)f(x),即 y=f(x):XYy=f(x):X \to Y,并称:
  1. yy 是映射 ffxx
  2. xx 是映射 ffyy原像
值得注意的是,这里的一个原像只能对应一个像,但一个像可能对应多个原像。
如果每个像对应的原像也唯一,我们称 ff单射
显然 XX 是原像的集合,我们将其称为原像集,记作 DfD_f
那像的集合是谁呢?是 YY 吗?
不一定,应该是所有 XX 中元素在映射 ff 下对应元素组成的集合,我们将其称为像集,记作 RfR_f
如果 Rf=YR_f=Y,我们称 ff满射
如果一个映射既是单射又是满射,我们称其为双射(又称一一对应一一映射)。

函数

DRD \subseteq \mathbb{R},则称 f:DRf:D \to \mathbb{R} 是定义在 DD 上的函数,记作:
y=f(x),xDy=f(x),x \in D
并称 xx自变量yy因变量DD定义域Rf=f(D)R_f=f(D)值域
定义域与对应法则是函数的两个要素,两个函数相等意味着两个函数的两个要素均相同。
单调函数必有反函数,且反函数具有单调性。
我们称常、指、对、幂、三角、反三角函数为基本初等函数,它们都在定义区间内连续。
我们称基本初等函数进行有限次四则/复合运算得到的函数为初等函数

函数极限

首先模仿数列极限,x|x| 无限增大时,f(x)A|f(x)-A| 可以任意小,记作 limxf(x)=A\lim_{x \to \infty} f(x)=A
然后考虑函数和数列的区别:可以把数列看成 N+R\mathbb{N}_+ \to \mathbb{R} 的映射。
相比定距的 N+\mathbb{N}_+R\mathbb{R} 具有稠密性,极限不仅能体现在无穷远上,还能体现在无穷近上,即 limxx0f(x)=A\lim_{x \to x_0}f(x)=A

函数的连续性

一致连续证明

f(x)C(,+)f(x) \in C(-\infty,+\infty)limxf(x)\lim_{x \to \infty}f(x) 存在,求证:f(x)f(x)R\mathbb{R} 上一致连续。
:limxf(x)=A.ε>0,X>0,s.t.x>X时,有f(x)A<ε.x1,x2(,X)(X,+),f(x1)f(x2)<ε.f(x)[X1,X+1]上连续.f(x)[X1,X+1]上一致连续.对上述ε>0,δ0>0,x1,x2[X1,X+1],x1x2<δ,f(x1)f(x2)<ε.对上述ε>0,δ=min(δ0,1),x1,x2R,不妨设x1<x2,x1x2<δ,则下列情况至少有一项成立:1°x1,x2(,X)(X,+).2°x1,x2[X1,X+1].此时f(x1)f(x2)<ε.f(x)R上一致连续.\begin{aligned} 证:&\\ &记 \lim_{x \to \infty} f(x)=A.\\ &对 \forall \varepsilon > 0,\exist X > 0,s.t.|x|>X 时,有 |f(x)-A|<\varepsilon.\\ \Rightarrow &\forall x_1,x_2 \in (-\infty,-X) \cup (X,+\infty),有|f(x_1)-f(x_2)|<\varepsilon.\\ \\ &f(x)在[-X-1,X+1]上连续.\\ \Rightarrow &f(x)在[-X-1,X+1]上一致连续.\\ \Rightarrow &对上述 \varepsilon >0,\exist \delta_0>0,\forall x_1,x_2 \in [-X-1,X+1],\\ & 当|x_1-x_2|<\delta 时,有|f(x_1)-f(x_2)|<\varepsilon.\\ \\ &对上述 \varepsilon>0,取 \delta=\min(\delta_0,1),对\forall x_1,x_2 \in \mathbb{R},不妨设 x_1<x_2,\\ &若|x_1-x_2|<\delta,则下列情况至少有一项成立:\\ 1\degree &x_1,x_2 \in (-\infty,-X) \cup (X,+\infty).\\ 2\degree &x_1,x_2 \in [-X-1,X+1].\\ \Rightarrow&此时|f(x_1)-f(x_2)|<\varepsilon.\\ \Rightarrow&f(x)在\mathbb{R}上一致连续. \end{aligned}

微分与导数

一个关于 nn 阶导的问题

f(x)=xn+13xf(x)=\frac{x^{n+1}}{3-x},求 f(n)(x)f^{(n)}(x).
当然可以 Leibniz,但问题来自另一个做法:
g(x)=f(3x)=(3x)n+1x=3n+1xxn+P(x)dngdxn=[(3x)]ndnfdxn令 g(x)=f(3-x)=\frac{(3-x)^{n+1}}{x}=\frac{3^{n+1}}{x}-x^n+P(x)\\ \frac{d^ng}{dx^n}=[(3-x)']^n\frac{d^nf}{dx^n}
后面的步骤我们先略去,看到这里应该有人和我一样会不禁想是否有下面的式子:
dnfdxn=(dtdx)ndnfdtn\frac{d^nf}{dx^n}=\left(\frac{dt}{dx}\right)^n\frac{d^nf}{dt^n}
很可惜,这是错的,因为高阶微分不具有形式不变性
那为什么上面的式子是正确的?
Faaˋ di Bruno 公式:f,gm阶可微,:dmg(f(x))dxm=m!i=1m(bi!)g(i=1mbi)(f(x))i=1m(f(i)(x)i!)bi其中求和对满足i=1mibi=mN0m进行.\begin{aligned} &\text{Faà di Bruno }公式:\\ &若 f,g 均 m 阶可微,则:\\ &\frac{d^mg(f(x))}{dx^m}=\sum\frac{m!}{\prod_{i=1}^m (b_i!)}g^{(\sum_{i=1}^m b_i)}(f(x))\prod_{i=1}^m(\frac{f^{(i)}(x)}{i!})^{b_i}\\ &其中求和对满足 \sum_{i=1}^m i \cdot b_i=m 的 \mathbb{N}_0^m 进行. \end{aligned}
而上面例子中的内层函数只有一阶,将其余项全部沉默,则有:
dmg(f(x))dxm=g(m)(f(x))[f(x)]m\frac{d^mg(f(x))}{dx^m}=g^{(m)}(f(x))[f'(x)]^m

评论

0 条评论,欢迎与作者交流。

正在加载评论...