1. 极限和连续

1. 函数

1. 定义

函数是描述两个集合之间关系的一种规则或映射。具体来说,函数将一个集合中的每个元素唯一地映射到另一个集合中的某个元素:

f:XYf: \mathbf{X} \rightarrow \mathbf{Y}

其中:

  • X\mathbf{X} 是定义域,表示所有可以输入的值的集合
  • Y\mathbf{Y} 是值域,表示输出的所有可能结果的集合
  • ff 是函数本身,它描述了输入与输出之间的关系

对于每个 xXx \in \mathbf{X},通过函数 ff 能找到唯一的 yYy \in \mathbf{Y},我们称 y=f(x)y = f(x),即 yyxx 经过 ff 的映射后得到的结果

2. 奇偶性

一个函数 f(x)f(x) 如果对于定义域中的所有 xx 满足 f(x)=f(x)f(-x) = f(x),则称 f(x)f(x) 是一个偶函数,其图像关于 yy 轴对称

一个函数 f(x)f(x) 如果对于定义域中的所有 xx 满足 f(x)=f(x)f(-x) = -f(x),则称 f(x)f(x) 是一个奇函数,其图像关于原点轴对称

3. 指数函数

aa 是不等于 1 的正实数,函数 f(x)=xaf(x) = x^a 是底为 aa 的指数函数

4. 反函数

如果一个函数 ff 将集合 X\mathbf{X} 中的每个元素 xx 映射到几何 Y\mathbf{Y} 中的唯一元素 yy,即 f:XYf : \mathbf{X} \rightarrow \mathbf{Y},并且存在另一个函数 g:YXg:\mathbf{Y} \rightarrow \mathbf{X},使得:

g(f(x))=xf(g(y))=yg(f(x)) = x \quad \text{且} \quad f(g(y)) = y

那么函数 gg 称为 ff 的反函数,记作 f1f^{-1}

反函数的存在条件:

  1. 函数必须是单射(Injective)

    即对于定义域中的任意不同的两个元素 x1x_1x2x_2 有:f(x1)f(x2)f(x_1) \neq f(x_2),单射保证了不同的输入映射到不同的输出,从而反函数的映射是唯一的

  2. 函数必须是满射(Surjective)

    即对于值域中的每个元素 yYy \in \mathbf{Y},都存在定义域中的某个 xXx \in \mathbf{X} 使得 f(x)=yf(x) = y,满射保证了反函数 f1f^{-1} 的定义域和值域是完整的,使得每个输出都有相应的输入

如果函数 ff 同时满足单射和满射的条件,则称 ff 是双射函数

反函数的性质:

  1. 对称性

    函数 ff 和它的反函数 f1f^{-1} 的图像关于直线 y=xy = x 对称。这是因为反函数将 xxyy 的角色互换了

  2. 复合性

    如果 f(x)f(x) 有反函数 f1(x)f^{-1}(x),那么对于任意 xx 满足:

    f(f1(x))=xf1(f(x))=xf(f^{-1}(x)) = x \quad \text{且} \quad f^{-1}(f(x)) = x

5. 对数函数

aa 是任何不为 1 的正实数,以 aa 为底的指数函数 f(x)=axf(x) = a^x 存在反函数。它的反函数称为底为 aa 的对数函数,记为 f(x)=logaxf(x) = \log_{a}x

ee 为底的对数函数记为 f(x)=lnxf(x) = \ln{x},以 10 为底的对数记为 f(x)=logxf(x) = \log{x}

底变换公式

利用指数和对数的代数性质,有:

lnx=lnalogax=(logax)(lna)\ln{x} = \ln{a}^{\log_{a}x} = (\log_{a}x)(\ln{a})

即:loga=lnxlna\log_{a} = \frac{\ln{x}}{\ln{a}}

6. 三角函数

基本三角函数

记从原点出发引射线 ll 与圆心在原点 OO 单位半径为 rr 的园交于点 P(x,y)P(x, y),与 xx 轴的正方向的夹角为 θ\theta。则 θ\theta 的基本三角函数为:

sinθ=yrcosθ=xr\sin{\theta} = \frac{y}{r} \quad \cos{\theta} = \frac{x}{r}

tanθ=yxcotθ=xy\tan{\theta} = \frac{y}{x} \quad \cot{\theta} = \frac{x}{y}

secθ=rxcscθ=ry\sec{\theta} = \frac{r}{x} \quad \csc{\theta} = \frac{r}{y}

周期函数

如果函数 f(x)f(x)存在一个非零常数 TT,使得对于定义域内所有 xx 满足:

f(x+T)=f(x)f(x + T) = f(x)

那么我们称 f(x)f(x) 为周期函数,TT 为其周期。其中满足条件的最小正数 TT 被称为最小正周期。

sinx\sin{x}cosx\cos{x}secx\sec{x}cscx\csc{x} 的周期为 2π2\pitanx\tan{x}cotx\cot{x} 的周期为 π\pi

三角函数公式

  • 毕达哥拉斯恒等式:

    sin2θ+cos2θ=1\sin^2 \theta + \cos^2 \theta = 1

    根据这个公式,可以得到:

    1+tan2θ=sec2θ1 + \tan^2 \theta = \sec^2 \theta

  • 倒数关系

    cscθ=1sinθ\csc \theta = \frac{1}{\sin \theta}

    secθ=1cosθ\sec \theta = \frac{1}{\cos \theta}

    cotθ=1tanθ\cot \theta = \frac{1}{\tan \theta}

  • 和角公式

    sin(A+B)=sinAcosB+cosAsinB\sin (A + B) = \sin A \cos B + \cos A \sin B

    cos(A+B)=cosAcosBsinAsinB\cos (A + B) = \cos A \cos B - \sin A \sin B

    tan(A+B)=tanA+tanB1tanAtanB(tanAtanB1)\tan (A + B) = \frac{\tan A + \tan B}{1 - \tan A \tan B} \quad (\tan A \tan B \neq 1)

  • 余弦定理

    如果 a,b,ca, b, c 是三角形的三边,θ\thetacc 边的对角,那么:

    c2=a2+b22abcosθc^2 = a^2 + b^2 -2ab\cos{\theta}

反三角函数

反三角函数是求出角度的函数,用于得到给定三角函数值所对应的角度

三角函数在定义域内并不是单射,即并不满足每个值对应唯一角度。因此,为了定义反函数,反三角函数需要限定在一个特定的范围内,以确保唯一性。

反三角函数 定义域 值域
arcsinx\arcsin{x} [1,1][-1, 1] [π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}]
arccosx\arccos{x} [1,1][-1, 1] [0,π][0, \pi]
arctanx\arctan{x} (,)(-\infin, \infin) (π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2})

反正割,反余割,反余切未列表

2. 参数方程

参数曲线(parametric curves)和参数方程(parametric equations)是使用一个或多个参数来描述几何曲线的一种方法。

参数方程通过一个或多个参数来描述曲线上的点。例如,设定一个参数 tt 表示曲线上各个点的变化量,点的 xxyy 坐标分别是 tt 的函数:

{x=f(t)y=g(t)\begin{cases} x = f(t) \\ y = g(t) \end{cases}

点集 (x,y)=(f(t),g(t))(x, y) = (f(t), g(t)) 是一条参数曲线。

这种定义方法适用于二维平面中的曲线,如果在三维空间中则增加一个 zz 坐标函数 z=h(t)z=h(t)

3. 极限

1. 极限定义

邻域

  • cc 是一个实数,O\mathbf{O} 是一个实数的集合
  • 如果存在正实数 ss,使得区间 (cs,c+s)O(c - s, c + s) \subset \mathbf{O},则称 O\mathbf{O}cc 的一个邻域
  • 如果存在正实数 ss,使得区间 (cs,c)(c,c+s)O(c - s, c) \cup (c, c + s) \subset \mathbf{O},则称 O\mathbf{O}cc 的一个去心邻域

函数极限

  • f:DRRf : D \subset \mathbb{R} \rightarrow \mathbb{R} 是定义在实数域的一个子集 DD 上,值域为 R\mathbb{R}

  • LL 是一个给定的实数,cc 是一个实数,并且函数 ffcc 的某个去心邻域内有定义

  • 如果对任意正实数 ϵ\epsilon,都存在一个正实数 δ\delta, 使得对于任意满足 0<xc<δ0 < |x - c| < \deltaxx 值,都有 f(x)L<ϵ|f(x) - L| < \epsilon,那么称 f(x)f(x)xx 趋于 cc 时的极限为 LL,记作:

    limxcf(x)=L\lim_{x \to c} f(x) = L

    可以简单地表述为:

    limxcf(x)=Lϵ>0,δ>0,当 0<xc<δ 时,有 f(x)L<ϵ\lim_{x \to c} f(x) = L \Leftrightarrow \forall \epsilon > 0, \exist \delta > 0, \text{当} \ 0 < |x - c| < \delta \ \text{时}, \text{有} \ |f(x) - L| < \epsilon

  • 上述定义描述了自变量趋于某一点的极限,类似地,可定义趋于无穷的极限:

    limxf(x)=L    ϵ>0,M>0,x>M 时,有 f(x)L<ϵ\lim_{x \to \infty} f(x) = L \iff \forall \epsilon > 0, \exists M > 0, \text{当} x > M \text{ 时,有 } |f(x) - L| < \epsilon

    limxf(x)=L    ϵ>0,M>0,当 x<M 时,有 f(x)L<ϵ\lim_{x \to -\infty} f(x) = L \iff \forall \epsilon > 0, \exists M > 0, \text{当 } x < -M \text{ 时,有 } |f(x) - L| < \epsilon

单侧极限

单侧极限是指函数在某一点附近从单侧(左侧或右侧)逼近时的极限值。

左极限:

limxcf(x)=L    ϵ>0,δ>0,当 cδ<x<c 时,有 f(x)L<ϵ\lim_{x \to c^-} f(x) = L \iff \forall \epsilon > 0, \exists \delta > 0, \text{当 } c - \delta < x < c \text{ 时,有 } |f(x) - L| < \epsilon

右极限:

limxc+f(x)=L    ϵ>0,δ>0,当 c<x<c+δ 时,有 f(x)L<ϵ\lim_{x \to c^+} f(x) = L \iff \forall \epsilon > 0, \exists \delta > 0, \text{当 } c < x < c + \delta \text{ 时,有 } |f(x) - L| < \epsilon

2. 极限性质

唯一性

极限存在:当一个函数趋于某点或无穷时,它的极限值是一个确定的,唯一的数。而不是无界(发散、趋于无穷),振荡,或者左右极限不一致。

如果函数某处的极限存在,则该极限唯一


证明:

假设 f(x) f(x) xa x \to a 时有两个极限 L1 L_1 L2 L_2 ,且 L1L2 L_1 \neq L_2

limxaf(x)=L1limxaf(x)=L2\lim_{x \to a} f(x) = L_1 \quad \text{且} \quad \lim_{x \to a} f(x) = L_2

根据极限的定义:

对于任意 ϵ>0 \epsilon > 0 ,存在一个 δ1>0 \delta_1 > 0 ,当 0<xa<δ1 0 < |x - a| < \delta_1 时,满足:

f(x)L1<L1L22|f(x) - L_1| < \frac{|L_1 - L_2|}{2}

同样,存在一个 δ2>0 \delta_2 > 0 ,当 0<xa<δ2 0 < |x - a| < \delta_2 时,满足:

f(x)L2<L1L22|f(x) - L_2| < \frac{|L_1 - L_2|}{2}

δ=min(δ1,δ2) \delta = \min(\delta_1, \delta_2) ,则当 0<xa<δ 0 < |x - a| < \delta 时,同时满足:

f(x)L1<L1L22f(x)L2<L1L22|f(x) - L_1| < \frac{|L_1 - L_2|}{2} \quad \text{和} \quad |f(x) - L_2| < \frac{|L_1 - L_2|}{2}

利用三角不等式:

L1L2=L1f(x)+f(x)L2L1f(x)+f(x)L2|L_1 - L_2| = |L_1 - f(x) + f(x) - L_2| \leq |L_1 - f(x)| + |f(x) - L_2|

代入上述条件:

L1L2L1L22+L1L22=L1L2|L_1 - L_2| \leq \frac{|L_1 - L_2|}{2} + \frac{|L_1 - L_2|}{2} = |L_1 - L_2|

由于 L1L2>0 |L_1 - L_2| > 0 ,但推导的结果显示 L1L2L1L2 |L_1 - L_2| \leq |L_1 - L_2| ,矛盾

因此,假设 L1L2 L_1 \neq L_2 是错误的,即极限值 L L 是唯一的


局部有界性

如果函数 f(x)f(x)xax \to a 时的极限存在为 LL,则函数 f(x)f(x) 在点 x=ax = a 的邻域内是局部有界的。

具体地,局部有界性是指:存在 x=ax=a 的一个去心邻域 U(a,δ)=xR0<xa<δU(a, \delta) = {x \in \mathbb{R} \mid 0 < |x - a| < \delta },以及某个正数 M>0M > 0,使得对于所有 xU(a,δ)x \in U(a, \delta),都有

f(x)M|f(x)| \leq M

通俗地说,只要 xxaa 足够近时,f(x)f(x) 的值和 LL 就会足够接近,所以不可能发散。f(x)f(x)aa 附近的点必然小于一个大于 LL 的常数 MM

保号性

如果函数 f(x)f(x)xax \to a 时的极限存在为 LL(其中 L0L \neq 0),则称 f(x)f(x)xax \to a 的过程中具有保号性。

具体是指:存在 x=ax=a 的一个去心邻域 U(a,δ)=xR0<xa<δU(a, \delta) = {x \in \mathbb{R} \mid 0 < |x - a| < \delta },使得在这个邻域内,f(x)f(x) 的符号与 LL 相同。

L=0L = 0 时,函数的符号可能发生变化,保号性不再适用


证明:

根据极限的定义,若

limxaf(x)=L0\lim_{x \to a} f(x) = L \neq 0

则对于任意的 ε>0\varepsilon > 0,存在 δ>0\delta > 0,使得当 0<xa<δ0 < |x - a| < \delta 时,

f(x)L<ε|f(x) - L| < \varepsilon

ε=L2\varepsilon = \frac{|L|}{2},则有

f(x)L<L2|f(x) - L| < \frac{|L|}{2}

由三角不等式可得:

f(x)Lf(x)L>LL2=L2|f(x)| \geq |L| - |f(x) - L| > |L| - \frac{|L|}{2} = \frac{|L|}{2}

因此,当 0<xa<δ0 < |x - a| < \delta 时,f(x)f(x)LL 的符号一致,即函数 f(x)f(x) 保号性成立


夹逼定理

设函数 f(x)f(x)g(x)g(x)h(x)h(x) 在某点 x0x_0 的邻域内定义,且满足以下条件:

  • x0x_0 的某邻域内(去掉 x0x_0 本身),有 g(x)f(x)h(x)g(x) \leq f(x) \leq h(x)
  • limxx0g(x)=limxx0h(x)=L\lim_{x \to x_0} g(x) = \lim_{x \to x_0} h(x) = L

limxx0f(x)=L\lim_{x \to x_0} f(x) = L


证明:

已知 limxx0g(x)=L\lim_{x \to x_0} g(x) = Llimxx0h(x)=L\lim_{x \to x_0} h(x) = L。对于任意 ε>0\varepsilon > 0,存在 δ1>0\delta_1 > 0δ2>0\delta_2 > 0,使得当 0<xx0<δ10 < |x - x_0| < \delta_1 时, g(x)L<ε|g(x) - L| < \varepsilon;当 0<xx0<δ20 < |x - x_0| < \delta_2 时,h(x)L<ε|h(x) - L| < \varepsilon

δ=min(δ1,δ2)\delta = \min(\delta_1, \delta_2),则当 0<xx0<δ0 < |x - x_0| < \delta 时,Lε<g(x)<L+εL - \varepsilon < g(x) < L + \varepsilon Lε<h(x)<L+εL - \varepsilon < h(x) < L + \varepsilon

因为 g(x)f(x)h(x)g(x) \leq f(x) \leq h(x),故对任意 xx 满足 0<xx0<δ0 < |x - x_0| < \delta,有:

Lε<g(x)f(x)h(x)<L+εL - \varepsilon < g(x) \leq f(x) \leq h(x) < L + \varepsilon

所以,f(x)L<ε|f(x) - L| < \varepsilon,根据极限的定义:limxx0f(x)=L\lim_{x \to x_0} f(x) = L,得证。


3. 无穷大与无穷小

无穷小

如果函数 f(x)f(x)xx0x \to x_0 (或 xx \to \infty) 时极限为零,那么称函数 f(x)f(x) 为当 xx0x \to x_0 (或 xx \to \infty) 时的无穷小

在自变量的同一变化过程中 xx0x \to x_0 (或 xx \to \infty) 中,函数 f(x)f(x) 具有极限 AA 的充分必要条件是 f(x)=A+αf(x) = A + \alpha,其中 α\alpha 是无穷小

无穷大

设函数 f(x)f(x)x0x_0 的某一去心邻域内有定义

4. 运算法则

假设函数 f(x)f(x)g(x)g(x)xx 趋于某一点 cc 时有(有限的)极限:limxcf(x)=L1\lim_{x\to c} f(x) = L_1, limxcg(x)=L2\lim_{x \to c} g(x) = L_2,那么:

  1. limxc[f(x)g(x)]\lim_{x \to c}{[f(x) g(x)]}