01. 函数

1.1 函数的定义

  • 函数通常用来描述量与量之间的关系,如01. 高等数学基础 - 图1描述的就是自变量01. 高等数学基础 - 图2与因变量01. 高等数学基础 - 图3之间的关系。
  • 函数在01. 高等数学基础 - 图4处取得的函数值记作01. 高等数学基础 - 图5
  • 函数符号01. 高等数学基础 - 图6只是一种表示,也可以是:01. 高等数学基础 - 图701. 高等数学基础 - 图801. 高等数学基础 - 图9

    1.2 几种函数特殊

  • 分段函数:指当01. 高等数学基础 - 图10取不同值得时候,对应关系不同的一个函数。

01. 高等数学基础 - 图11

  • 反函数:
    • 即交换原函数自变量和因变量的对应关系,得到的新函数。
    • 如原函数01. 高等数学基础 - 图12的对应关系是01. 高等数学基础 - 图13
    • 交换自变量和因变量的对应关系就变成了01. 高等数学基础 - 图14,展开即为01. 高等数学基础 - 图15
  • 显函数与隐函数:
    • 显函数:像01. 高等数学基础 - 图16这样直接表示对应关系的函数称为显函数,如01. 高等数学基础 - 图17
    • 隐函数:01. 高等数学基础 - 图18这种不像显函数那样直接表明对应关系的函数称为隐函数,如01. 高等数学基础 - 图19
    • 隐函数显化:即将隐函数从01. 高等数学基础 - 图20转化成01. 高等数学基础 - 图21的过程,如:

01. 高等数学基础 - 图22

1.3 函数的几种特性

  • 奇偶性:
    • 偶函数:函数图像关于01. 高等数学基础 - 图23轴对称,并且01. 高等数学基础 - 图24,如01. 高等数学基础 - 图25
    • 奇函数:函数图像关于原点对称,并且01. 高等数学基础 - 图26,如01. 高等数学基础 - 图2701. 高等数学基础 - 图28

image.png

  • 周期性:
    • 即函数01. 高等数学基础 - 图30的值有着01. 高等数学基础 - 图31这样的规律,其中01. 高等数学基础 - 图32被称为最小正周期。
    • 01. 高等数学基础 - 图3301. 高等数学基础 - 图3401. 高等数学基础 - 图35为代表的这类函数值有周期变换规律的函数称为周期函数。

image.png

  • 单调性:
    • 在取值区间上所有点的函数值01. 高等数学基础 - 图37都随自变量01. 高等数学基础 - 图38增大而增大,则称为单调递增。
    • 在取值区间上所有点的函数值01. 高等数学基础 - 图39都随自变量01. 高等数学基础 - 图40增大而增小,则称为单调递减。

image.png

02. 极限

2.1 极限的基本概念

2.1.1 数列

  • 数列即按照一定次序排列的一列数,如:01. 高等数学基础 - 图42,其中01. 高等数学基础 - 图43称作这个数列的通项。
  • 对于数列01. 高等数学基础 - 图44
    • 如果当01. 高等数学基础 - 图45无限增大时,其通向无限接近于一个常数01. 高等数学基础 - 图46,则称该数列以01. 高等数学基础 - 图47为极限,或称数列收敛于01. 高等数学基础 - 图48,并认为此时极限存在并等于01. 高等数学基础 - 图49

01. 高等数学基础 - 图50

  • 如:01. 高等数学基础 - 图5101. 高等数学基础 - 图52
  • 否则称数列为发散,并认为此时极限不存在。如:01. 高等数学基础 - 图53(极限不存在,即数列发散)。

    2.1.2 极限的符号表示

  • 01. 高等数学基础 - 图54表示当01. 高等数学基础 - 图55无限增大时,即当01. 高等数学基础 - 图56无限向01. 高等数学基础 - 图57增大,并向01. 高等数学基础 - 图58无限减少的两种情况时。。
  • 01. 高等数学基础 - 图59表示当01. 高等数学基础 - 图60无限增大时。
  • 01. 高等数学基础 - 图61表示当01. 高等数学基础 - 图62无限减少时。
  • 01. 高等数学基础 - 图63表示当01. 高等数学基础 - 图6401. 高等数学基础 - 图65的左右两侧无限接近于01. 高等数学基础 - 图66时。
  • 01. 高等数学基础 - 图67表示当01. 高等数学基础 - 图6801. 高等数学基础 - 图69的右侧无限接近于01. 高等数学基础 - 图70时。
  • 01. 高等数学基础 - 图71表示当01. 高等数学基础 - 图7201. 高等数学基础 - 图73的左侧无限接近于01. 高等数学基础 - 图74时。

    2.1.3 几个常见的函数极限

    image.png

    2.1.4 函数极限存在法则

  • 函数在01. 高等数学基础 - 图76的去心邻域内有定义,即01. 高等数学基础 - 图77

  • 左右极限相等:01. 高等数学基础 - 图78可得出01. 高等数学基础 - 图79
    • 左极限:01. 高等数学基础 - 图80
    • 右极限:01. 高等数学基础 - 图81
  • 示例:现有一个分段函数01. 高等数学基础 - 图82,判断当01. 高等数学基础 - 图83时,01. 高等数学基础 - 图84的极限是否存在。

    • 解:01. 高等数学基础 - 图85

      2.2 无穷大与无穷小

      2.2.1 无穷小

  • 无穷小指的是以零为极限,如:

    • 01. 高等数学基础 - 图86,则称01. 高等数学基础 - 图8701. 高等数学基础 - 图88时的无穷小。
    • 01. 高等数学基础 - 图89,则称01. 高等数学基础 - 图9001. 高等数学基础 - 图91时的无穷小。
  • 无穷小的基本性质:
    • 有限个无穷小的和与积仍然是无穷小。
    • 有界变量与无穷小的乘积仍是无穷小。

01. 高等数学基础 - 图92

  • 无限个无穷小之和不一定是无穷小。

01. 高等数学基础 - 图93

  • 无穷小的商不一定是无穷小。

01. 高等数学基础 - 图94

  • 极限与无穷小的关系:01. 高等数学基础 - 图95的充要条件为01. 高等数学基础 - 图96,其中01. 高等数学基础 - 图9701. 高等数学基础 - 图98时的无穷小。

    2.2.2 无穷大

  • 无穷大的定义:

    • 无穷大并不是一个很大的数,无穷大是相对于变化过程来说的。

01. 高等数学基础 - 图9901. 高等数学基础 - 图100

  • 01. 高等数学基础 - 图101来说,其值是无限增大的,没有一个收敛的点

image.png

  • 无穷大和无穷小的关系:在自变量的同一变化过程中,若01. 高等数学基础 - 图103为无穷大,那么01. 高等数学基础 - 图104为无穷小。

    2.2.3 无穷小的比较

  • 01. 高等数学基础 - 图105时,01. 高等数学基础 - 图106都是无穷小,即:

01. 高等数学基础 - 图107

  • 如果:

    • 01. 高等数学基础 - 图108,则称01. 高等数学基础 - 图109是比01. 高等数学基础 - 图110高阶的无穷小。
    • 01. 高等数学基础 - 图111,则称01. 高等数学基础 - 图112是比01. 高等数学基础 - 图113低价的无穷小。
    • 01. 高等数学基础 - 图114,则称01. 高等数学基础 - 图11501. 高等数学基础 - 图116的同阶无穷小。
    • 01. 高等数学基础 - 图117,则称01. 高等数学基础 - 图11801. 高等数学基础 - 图119的等价无穷小,记作01. 高等数学基础 - 图120

      03. 函数的连续性

      3.1 连续

      3.1.1 函数连续的定义

  • 设函数01. 高等数学基础 - 图121在点01. 高等数学基础 - 图122的某邻域内有定义,如果当自变量的该变量01. 高等数学基础 - 图123趋近于零时,相应函数的改变量01. 高等数学基础 - 图124也趋近于零,则称01. 高等数学基础 - 图125在点01. 高等数学基础 - 图126处连续。

  • 即:01. 高等数学基础 - 图127
  • 几何表示:(左图连续;右图间断)

image.png

3.1.2 函数连续的条件

  • 函数01. 高等数学基础 - 图129在点01. 高等数学基础 - 图130处连续,需要满足三个条件:
    • 函数在该点处有定义。
    • 函数在该点处极限值01. 高等数学基础 - 图131存在。
    • 极限值等于函数值01. 高等数学基础 - 图132
  • 示例:求函数01. 高等数学基础 - 图13301. 高等数学基础 - 图134处的连续性。

01. 高等数学基础 - 图135

3.2 间断

3.2.1 间断点的定义

  • 函数01. 高等数学基础 - 图136在点01. 高等数学基础 - 图137处不连续,则称01. 高等数学基础 - 图138为函数01. 高等数学基础 - 图139的间断点。
  • 满足以下三种情况之一的,即为间断点:

    • 函数01. 高等数学基础 - 图140在点01. 高等数学基础 - 图141处没有定义,如函数01. 高等数学基础 - 图14201. 高等数学基础 - 图143处无定义。
    • 极限01. 高等数学基础 - 图144不存在。
    • 01. 高等数学基础 - 图145处函数01. 高等数学基础 - 图146的极限值不等于函数值,即01. 高等数学基础 - 图147

      3.2.2 间断点的分类

  • 01. 高等数学基础 - 图148时,01. 高等数学基础 - 图149的左右极限存在,则称01. 高等数学基础 - 图15001. 高等数学基础 - 图151的第一类间断点,否则为第二类间断点。

  • 第一类间断点又可细分为可去间断点和跳跃间断点:
    • 可去间断点:01. 高等数学基础 - 图152存在但不等于01. 高等数学基础 - 图153
    • 跳跃间断点:01. 高等数学基础 - 图15401. 高等数学基础 - 图155均存在,但不相等。
  • 示例:判断函数01. 高等数学基础 - 图156的连续性。

    • 01. 高等数学基础 - 图157,所以函数01. 高等数学基础 - 图15801. 高等数学基础 - 图159处无定义。
    • 01. 高等数学基础 - 图160,所以01. 高等数学基础 - 图16101. 高等数学基础 - 图162的可去间断点。
    • 01. 高等数学基础 - 图163,所以01. 高等数学基础 - 图16401. 高等数学基础 - 图165的第二类间断点。

      04. 导数

      4.1 导数的基本认识

      4.1.1 导数的定义

  • 现有平均速度公式01. 高等数学基础 - 图166,其中s表示路程,t表示时间。求瞬时速度。

    • 瞬时速度 = 瞬时经过的路程 / 瞬时时间。(瞬时实际即时间变化无限接近于0的一个时间,即01. 高等数学基础 - 图167
    • 瞬时经过的路程:01. 高等数学基础 - 图168
    • 这一小段的平均速度:01. 高等数学基础 - 图169
    • 那么01. 高等数学基础 - 图170时刻的瞬时速度实际上就是当01. 高等数学基础 - 图171的速度,即:

01. 高等数学基础 - 图172

  • 如果平均变化率的极限存在,01. 高等数学基础 - 图173
  • 则称此极限为函数01. 高等数学基础 - 图174在点01. 高等数学基础 - 图175处的导数,记作01. 高等数学基础 - 图176,或者:

01. 高等数学基础 - 图177

4.1.2 常见函数的导数

  • 常数函数与幂函数:01. 高等数学基础 - 图17801. 高等数学基础 - 图179
  • 三角函数与反三角函数:
    • 01. 高等数学基础 - 图18001. 高等数学基础 - 图18101. 高等数学基础 - 图182
    • 01. 高等数学基础 - 图18301. 高等数学基础 - 图18401. 高等数学基础 - 图185
      • 补充:01. 高等数学基础 - 图18601. 高等数学基础 - 图18701. 高等数学基础 - 图188
    • 01. 高等数学基础 - 图18901. 高等数学基础 - 图19001. 高等数学基础 - 图19101. 高等数学基础 - 图192
  • 指数函数与对数函数:

    • 01. 高等数学基础 - 图19301. 高等数学基础 - 图194
    • 01. 高等数学基础 - 图19501. 高等数学基础 - 图196

      4.1.3 求导公式

  • 01. 高等数学基础 - 图197

  • 01. 高等数学基础 - 图198
  • 01. 高等数学基础 - 图199
  • 01. 高等数学基础 - 图200
  • 01. 高等数学基础 - 图201【推导式:01. 高等数学基础 - 图202

    4.2 偏导数

    4.2.1 一元&二元函数变化关系

  • 对于一元函数01. 高等数学基础 - 图203只存在01. 高等数学基础 - 图20401. 高等数学基础 - 图205的变化。

image.png

  • 但是对于一个二元函数01. 高等数学基础 - 图207,却存在三种关系:
    • 01. 高等数学基础 - 图20801. 高等数学基础 - 图209变化的变化率;
    • 01. 高等数学基础 - 图21001. 高等数学基础 - 图211变化的变化率;
    • 01. 高等数学基础 - 图21201. 高等数学基础 - 图213同时变化的变化率。

image.png

4.2.2 偏导数的定义

  • 设函数01. 高等数学基础 - 图215在点01. 高等数学基础 - 图216的某个邻域内有定义。
  • 01. 高等数学基础 - 图217,即固定01. 高等数学基础 - 图218的值,此时01. 高等数学基础 - 图219实际上可以看成一个一元函数,因为01. 高等数学基础 - 图220固定不变。
    • 01. 高等数学基础 - 图221
    • 01. 高等数学基础 - 图222时,01. 高等数学基础 - 图223
  • 此时一元函数01. 高等数学基础 - 图224在点01. 高等数学基础 - 图225处可导,由此得到极限:

01. 高等数学基础 - 图226

  • 则称01. 高等数学基础 - 图227为函数01. 高等数学基础 - 图228在点01. 高等数学基础 - 图229处关于自变量01. 高等数学基础 - 图230的偏导数,记作01. 高等数学基础 - 图231,或者:

01. 高等数学基础 - 图232

  • 补充:上述过程是固定01. 高等数学基础 - 图233,然后对01. 高等数学基础 - 图234求偏导;同样的,也可以固定01. 高等数学基础 - 图235,然后对01. 高等数学基础 - 图236求偏导。

    4.2.3 偏导数的几何意义

  • 在空间直角坐标系中存在一个曲面01. 高等数学基础 - 图23701. 高等数学基础 - 图238(投影平行于01. 高等数学基础 - 图239轴)和01. 高等数学基础 - 图240(投影平行于01. 高等数学基础 - 图241轴)是这个曲面过点01. 高等数学基础 - 图242的两条切线。

  • 那么:
    • 01. 高等数学基础 - 图243是曲线01. 高等数学基础 - 图244在点01. 高等数学基础 - 图245处的切线01. 高等数学基础 - 图24601. 高等数学基础 - 图247轴的斜率。
    • 01. 高等数学基础 - 图248是曲线01. 高等数学基础 - 图249在点01. 高等数学基础 - 图250处的切线01. 高等数学基础 - 图25101. 高等数学基础 - 图252轴的斜率。

image.png

4.2.4 求偏导练习

  • 01. 高等数学基础 - 图254在点01. 高等数学基础 - 图255处的偏导数。
    • 固定01. 高等数学基础 - 图256(即把01. 高等数学基础 - 图257当作一个常数),对01. 高等数学基础 - 图258求偏导。

01. 高等数学基础 - 图259

  • 固定01. 高等数学基础 - 图260(即把01. 高等数学基础 - 图261当作一个常数),对01. 高等数学基础 - 图262求偏导。

01. 高等数学基础 - 图263

  • 待入点01. 高等数学基础 - 图264,得到偏导数。

01. 高等数学基础 - 图265

4.3 方向导数

4.3.1 方向导数的意义

  • 方向导数是梯度的基础,而梯度下降等概念在ML中尤为重要。
  • 在ML中,对于一个问题很少会有直接可求解的情况,大多数时候解决问题的思想都是去优化模型,那么朝着怎样的一个方向优化,才能让模型越来越好,就需要用到梯度和方向导数相关的知识。
  • 从几何上理解方向导数:现在有一点处着火了,而这一点处有一只蚂蚁,问蚂蚁沿着什么方向跑才能存活?这种问题就可以用方向导数求解。

image.png

4.3.2 方向导数

  • 关于下图存在一个函数01. 高等数学基础 - 图267,和一个方向01. 高等数学基础 - 图268(这个方向由点01. 高等数学基础 - 图269和点01. 高等数学基础 - 图270确定),可得:
    • 两点之间的距离:01. 高等数学基础 - 图271
    • 两点之间关于01. 高等数学基础 - 图272的增量:01. 高等数学基础 - 图273

image.png

  • 如果函数的增量01. 高等数学基础 - 图275与这两点的距离01. 高等数学基础 - 图276的比例存在,则在01. 高等数学基础 - 图277点沿着01. 高等数学基础 - 图278的方向导数为:

01. 高等数学基础 - 图279

  • 单位向量的方向导数:

    • 函数01. 高等数学基础 - 图28001. 高等数学基础 - 图281轴正方向单位向量01. 高等数学基础 - 图28201. 高等数学基础 - 图283轴正方向单位向量01. 高等数学基础 - 图284的方向导数分别为01. 高等数学基础 - 图285
    • 负方向导数分别为01. 高等数学基础 - 图286

      4.3.3 方向导数的定理

  • 补充知识:

    • 函数可微分的必要条件:
      • 对于一元函数而言,可微等价于可导;由于函数可导一定,连续不一定可导,因此若一元函数在某点处可微分,则函数在该点必连续。
      • 若二元函数在某点可微分,则该函数在该点对01. 高等数学基础 - 图28701. 高等数学基础 - 图288的偏导数必存在。
    • 充分条件:若函数对01. 高等数学基础 - 图28901. 高等数学基础 - 图290的偏导数在这点的某一领域内都存在,且均在这点连续,则该函数在这点可微。
  • 方向导数的定理:如果函数01. 高等数学基础 - 图291在点01. 高等数学基础 - 图292是可微分的,那么在该点沿任意方向01. 高等数学基础 - 图293的方向导数都存在,且为:

01. 高等数学基础 - 图29401. 高等数学基础 - 图29501. 高等数学基础 - 图296轴与方向01. 高等数学基础 - 图297的夹角)

4.3.4 方向导数应用

  • 求函数01. 高等数学基础 - 图298在点01. 高等数学基础 - 图299处沿从点01. 高等数学基础 - 图30001. 高等数学基础 - 图301的方向的方向导数。
    • 01. 高等数学基础 - 图302

01. 高等数学基础 - 图303

  • 求偏导:

01. 高等数学基础 - 图304

  • 求方向导数:

01. 高等数学基础 - 图305

4.4 梯度1