• 连续:某点连续:极限值=函数值(不会跳变),函数连续:每个点都连续。
  • 一致连续:对区间 I 上任意两点 x1 x2,任意 ε 存在 δ,|x1-x2|<δ → |f(x1)-f(x2)|<ε。不能陡到难以接受。闭区间上 连续 等价于 一致连续。
  • 可微:若自变量在点x的改变量 Δx(可能是向量),与函数相应的改变量Δy,有关系Δy=A·Δx+ο(Δx),其中A与Δx无关。那么 A 是微分。
  • 可导:lim Δy/Δx =A 存在,那么 A 是导数。两侧可导 → 连续,单侧可导 另一侧可跳变。
  • 方向导数:lim f(x+Δx, y+Δy) / sqrt(Δx²+Δy²) =A 存在,那么 A 是导数。
  • 可微 可导 连续 关系

  • 一元:可微 = 可导 > 连续 > 可积。
  • 偏导数 在邻域 存在且连续 → 可微;
  • 可微 > 偏导数存在,两边偏导数 → 连续,一边偏导数 不一定 连续。
  • Riemann 积分的概念:

  • 黎曼可积:如果函数 f 在闭区间 [a,b] 上,无论怎样进行分割,只要 子区间长度最大值 足够小,黎曼和都趋向于一个确定值,那么在闭区间 [a,b] 上的黎曼积分存在 = 黎曼和的极限。
  • 任意 ε 存在 δ,子区间长度最大值 λ<δ 时, \(|\sum_{i=1}^{n-1}f(t_i)(x_{i+1}-x_i)|-S<\epsilon\)
  • 可验证的定义,达布积分:任意 ε 存在 分割,使得任何更精细的分割都 |Σ|-S<ε。
  • Lebesgue 积分的概念(没学过,不太会)。

    如何求带条件的极值,lagrange 乘数法:

  • z=f(x,y) 当 φ(x,y)=0 时的极值,构造 lagrange 函数 L(x,y,λ) = f(x,y) + λφ(x,y)。
  • 求 L 的驻点,即 x y λ 偏导数 = 0,即得。
  • 介值定理,零点存在定理,最值定理:

  • 介值定理:设函数 [公式][公式] 上的连续函数,且存在不等式 [公式] ,则必然至少一个数 [公式] ,能够使得 [公式]
  • 零点存在定理:设函数是 [公式] 上的连续函数,且存在不等式 [公式] ,则在 [公式] 上,至少存在一个数 [公式] ,能够使得 [公式] 成立。
  • 最大值最小值定理:设函数 [公式][公式] 上的连续函数,则 [公式] 必然在 [公式] 上存在最大值 [公式] 和最小值 [公式]
  • 积分中值定理:

  • 条件:闭区间 / 有界闭区域 连续。
  • 第一:存在 ε∈[a,b] 使得 img
  • 第二:f 在 [a,b] 可积(不一定连续),g 在 [a,b] 上单减 且 ≥ 0,存在 ξ∈[a,b] img ,还有一个单增形式。
  • 微分中值定理:lagrange,cauchy,Rolle,区别 联系 条件

  • 条件:闭区间连续,开区间可导。
  • Rolle: f(a)=f(b) 则 f'(ξ)=0。
  • lagrange: f'(ξ) = (f(b)-f(a)) / (b-a)
  • cauchy: f'(ξ)/g'(ξ) = (f(b)-f(a)) / (g(b)-g(a))
  • 联系:是 推广 & 特殊情况 的关系。
  • 洛必达法则 L' Hospital:

    0/0 ∞/∞ 上下求导。

  • x → a 时 f 和 F 都 → 0,在 a 的去心邻域里 f' F' 都存在 且 F' ≠ 0,lim f' / F' 存在(或为无穷大)。
  • x → ∞ 时 f 和 F 都 → 0,当 |x|>N 时 f' F' 都存在 且 F' ≠ 0,lim f' / F' 存在(或为无穷大)。
  • 解析式: \(\lim_{x\rightarrow a} f(x)/F(x)=lim_{x\rightarrow a} f'(x)/F'(x)\)

    理解:局部切线代替函数曲线。

  • 求解函数零点:借助泰勒级数,从初始值开始,快速向零点逼近。
  • 找一点 x,做斜率为导数的切线,更新 x = 切线与 x 轴交点。 img
  • 收敛条件:f(x) 充分光滑(各阶导数存在且连续),f'(a) ≠ 0(单重零点)则初始值在 a 的某个邻域里 收敛速度二阶,f'(a) = 0(多重零点)收敛速度一阶。
  • x 阶收敛:第 k 次迭代绝对误差为 ek, img ,若 p=2 则二阶收敛。
  • 缺点:函数光滑严苛,初始值必须尽量靠近最终解。
  • 向量空间 / 线性空间:

  • 某集合里定义了 向量加法 数乘 运算,集合对 加法 数乘 封闭。
  • 加法满足:交换律 α+β=β+α,结合律 α+(β+γ)=(α+β)+γ,零元 α+0=α 逆元 α+β=0 β=-α。
  • 乘法满足:单位元 1α=α,结合律 (kl)α=k(lα),和向量加法的两个分配律 (k+l)α=kα+lα k(α+β)=kα+kβ。
  • 线性相关 & 线性无关:

  • 对线性空间 V 里的向量 v1, v2, ..., vn,存在不全为零的 c1, c2, ..., cn,使得 c1v1+ c2v2+ ... + cnvn = 0,那么 v1, v2, ..., vn 线性相关。如果不存在 不全为零的 c 则线性无关。
  • 线性相关:列向量组成矩阵 行秩不满,可以用一堆东西的线性组合表示另一个。
  • 线性无关:广义 组成的四边形 六面体 超几何体 体积不为零。
  • 极大线性无关组:在某线性空间中,拥有向量个数最多的 线性无关向量组。
  • 矩阵的秩 Matrix Rank,物理意义,相关的性质:

    线性无关向量的个数,最大 行列式 ≠ 0 子式的维度。

    定义的相互转化(等价性):

  • r 阶 行列式 ≠ 0 子式,这 r 个向量线性无关。
  • 若取 r+1 阶子式,这些行 / 列向量必然线性相关,则行列式 = 0。
  • 基础:初等变换不改变秩,乘可逆矩阵不改变秩,矩阵可逆 <=> 矩阵满秩
  • r(A) + r(B) - n ≤ r(AB) ≤ min{r(A), r(B)},(分块矩阵)
  • max{r(A), r(B)} ≤ r(A, B) ≤ r(A) + r(B),(感性理解)
  • A B 相似则 r(A)=r(B)。
  • 线性方程组 Ax = b 有解 / 无解 / 有唯一解 的条件:

  • 有解:b 存在于 A 的列向量的线性空间,b 能被 A 的列向量线性表示,A 的秩 = 分块矩阵 (A,b) 的秩
  • 多解 / 唯一解:A 的列向量线性无关(列满秩),唯一解;Ax=0 列满秩,则只有零解。非列满秩,则多解。
  • (系数矩阵 / 增广矩阵)
  • 矩阵的特征值是什么,有什么物理意义,应用

  • Ax=λx。算子的本征值(投影不变,有点像傅里叶变换 卷积指数信号还是指数信号)。
  • —个变换矩阵的所有特征向量,都是正交的,组成了这个变换矩阵的一组基。
  • 矩阵的特征值分解: \(A=Q\Sigma Q^{-1}\) ,Σ是对角阵,Q是特征列向量组成的矩阵。
  • 写出方程丨λE-A丨=0,其中I为与A同阶的单位阵,λ为代求特征值
  • 将n阶行列式变形化简,得到关于λ的n次方程
  • 解此n次方程,即可求得A的特征值
  • 应用:PCA 主成分分析。
  • 初等变换:

  • 用一非零的数乘以某一 行 / 列,把一 行 / 列 的倍数加到另一 行 / 列,互换两 行 / 列 的位置。
  • 初等矩阵:单位矩阵 E 经过一次初等变换。
  • 矩阵 上三角 下三角:
  • 行列式为对角线元素相乘。直接初等变换即可得到。
  • \(AA^T=A^TA=E\)
  • \(A^T=A^{-1}\) 也是正交矩阵,行向量 列向量 是 单位向量 且两两正交,|A|=1 或 -1(显然)。行向量 / 列向量 是 规范正交基。
  • 左乘正交矩阵造成的空间变换,是用一个新空间代替原有空间,即用另一组正交基描述被变换的向量,不改变原向量的长度和空间位置。
  • 矩阵的 等价,相似,合同:

  • 相似:P^{-1}AP=B,则 A B 相似。
  • 充要:两矩阵有相同的 行列式,不变因子,初等因子组。
  • 充要:相同的 Jordan 标准型(除 Jordan 块排列次序)。
  • 必要(相似能推出以下):行列式,秩,迹,特征多项式 一样。。
  • 相似对角化:与对角阵相似,当且仅当 A 有 n 个线性无关的特征向量。
  • 施密特正交化:得到标准正交向量组,即 大家既正交 又单位向量。
  • 合同:P^{T}AP=B,则 A B 合同。
  • 等价:r(A) = r(B),秩相等。如果 B 可由 A 经过一系列初等变换得到,则等价。
  • 二次型,正定矩阵,半正定矩阵。

  • 二次型: [公式][公式]
  • 正定二次型:对任意一组不全为零的实数 x1..n,都有 f(x1..n) = X^{T}AX > 0。A 也称为正定矩阵。
  • 正定矩阵的判定:(应该是充要了)特征值均为正(为零也不行)。
  • 半正定:f ≥ 0,特征值均非负。负定 半负定 定义相似。
  • Jordan 标准型:

  • Jordan 块: img
  • Jordan 标准型:由 Jordan 块组成的 块对角矩阵。
  • 化为 Jordan 标准型:任意方阵都可化为,初等因子法:
  • 首先用初等变换,化特征矩阵 λE-A 化为对角形式,然后将主对角上的元素分解成 互不相同的一次因式方幂的乘积,则所有这些一次因式的方幂(相同的按出现的次数计算)就是 A 的全部初等因子。
  • 然后就不会了。
  • 概率论和数理统计的区别与联系

  • 概率论:更数学,从已知形式或某些参数的 分布 / 随机变量入手,推断出另一者的性质,比如 已知分布形式 求期望方差,已知随机变量参数 估计分布期望方差(大数定律 中心极限定理 这是数理统计的基础),已知事件间关系建模 求概率(全概率公式 贝叶斯公式)。
  • 数理统计:更偏应用,基础是概率论,是概率论的应用,从实际出发,从采样出发,主要内容有参数估计、假设检验等。
  • 知和用的关系。一个是发现规律,构造模型,证明定理。一个是选择模型,调整模型,应用模型。
  • 什么是概率密度函数,性质:

  • 连续型随机变量,f(x) 落在一段区间的概率 / 区间长度,取极限 区间长度 → 0。
  • 总是 ≥ 0,∫f(x)dx = 1,P{X>x} = ∫_{-∞}^x f(x)dx
  • 联合概率分布、条件概率分布、边缘概率分布:

  • 条件概率:B 发生的情况下 A 发生的概率。
  • 联合概率:包含多个条件的条件概率。
  • 边缘概率:仅与单个随机变量有关的概率,剩下维度按分布求期望。
  • 能否直接由边缘分布函数求得联合分布函数:两随机变量不相互独立 则不行。
  • 大数定律(切比雪夫,伯努利,辛钦):

    当样本数据无限大时,(形式 lim n→∞ P = 1)

  • 样本均值 → 总体均值(切比雪夫,条件为方差有限大)
  • 事件 A 发生的频率 → 概率(伯努利)
  • 样本均值→ 数学期望(辛钦,条件为期望存在)
  • 应用:多次采样平均减小误差。

  • 协方差:两随机变量 线性相关性的强度, \(Cov(X,Y)=E{[X−E(X)][Y−E(Y)]}\)
  • 相关系数:归一化(不受变量尺度影响),Corr = 0 则不相关。 \(Corr(X,Y)=Cov(X,Y)/\sqrt{D(X)}\sqrt{D(Y)}\)
  • 协方差 / 相关系数 = 0 但仍然不独立:Y = X²。
  • 正态分布 / 高斯分布:

  • 若随机变量 X 服从一个数学期望为 μ、方差为 σ² 的正态分布,记为 N(μ, σ²)。
  • 概率密度函数:
  • 期望值 μ 决定了其位置,标准差 σ 决定分布的跨度。μ = 0, σ = 1:标准正态分布。
  • 正态分布能积分出来吗:不太能,最多只有这个 [公式]
  • 应用场景:近似某些分布(中心极限定理),把成绩转换为正态分布(高考赋分)。
  • 对正态分布,独立和不相关等价。
  • (相互独立的)正态分布相加:μ1 + μ2,σ1² + σ2²。
  • (相互独立的)正态分布相乘:(μ1σ2² + μ2σ1²) / (σ1² + σ2²),σ1²σ2² / (σ1² + σ2²)。
  • (相互独立的)正态分布平方和:卡方分布。
  • (相互独立的)正态分布联合: 多维正态分布,不相互独立 不一定。
  • 指数分布 均匀分布 泊松分布 二项分布:公式

  • 指数分布:
  • \(f(x) = λe^{−λx}, x>0\) 。X ~ Exp(λ)。
  • 均匀分布:
  • X ~ U(a, b): f(x) = 1/(b-a), a<x<b; 0, others。
  • 泊松分布:
  • 离散型随机变量, img ,参数λ是单位时间(或单位面积)内随机事件的平均发生次数。 泊松分布适合于描述单位时间内随机事件发生的次数。
  • 举例:医院平均每小时出生6个新生儿,想知道在起飞前一小时 是否有机会见到10个或更多的婴儿。预测这段时间来的客户数量。
  • 二项分布:离散型随机变量,n次独立重复的伯努利试验中,设每次试验中事件A发生的概率为p。n 次试验中事件 A 恰好发生 k 次,这个离散概率分布。 \(P\{X=k\}=C_n^kp^k(1-p)^{n-k}, C_n^k=\frac{n!}{k!(n-k)!}\)
  • 参数估计:无偏性、有效性、相合性:

  • 无偏性:参数估计的数学期望 \(E(\hat\theta)=\theta\)
  • 有效性:(已经无偏)若对于任意 θ∈Θ,有 \(D(\hat\theta_1)\le D(\hat\theta_2)\)
  • 相合性 / 一致性:在大样本条件下,估计值→真实值,n → ∞ 时 \(\hat\theta\) 依概率收敛于 θ, \(\lim_{n\rightarrow\infin}P\{|\hat\theta-\theta|\le\epsilon\}=1\)
  • 参数估计:点估计 & 区间估计:

  • 区间估计:在推断总体参数时,还要估计出总体参数的一个区间,并同时给出总体参数落在这一区间的概率的保证。
  • 点估计:常用方法有矩估计法、最大似然估计法。提供一个具体的数值估计,不能提供估计参数的估计误差大小。
  • 参数估计:矩估计,最大似然估计,最小二乘法,贝叶斯估计。

  • 矩:μl = E(X^l) = ∫ x^l * f(x|θ)。
  • 令 想估计的矩 = 样本矩的平均值。
  • 一阶样本原点矩 期望,二阶样本中心矩 方差。
  • 最大似然估计:

  • 将样本的联合概率密度函数看成 [公式] 的函数,用 L( [公式][公式] ) 表示,简记为 L(θ)。
  • L( [公式] ) = L( [公式][公式] ) = p( [公式][公式] ) p( [公式][公式] )...p( [公式] ; [公式] ),取令 L(θ) 最大的 θ 值,可能会 乘法 → 加法 logL。
  • 贝叶斯学派:最大后验估计(结果里会多一堆超参数,这是先验在起作用)。

  • 一般会提出一对 对立的假设,原假设 H0,备择假设 H1。
  • 第一类错误 α:拒绝 H0 且 H0 为真,太激进;第二类错误 β:接收 H0 且 H0 为假,太保守。
  • 保护原假设的原则:先限制犯第Ⅰ类错误的概率不超过 显著性水平 α,在此条件下,考虑如何使犯第 Ⅱ 类错误的概率 β 尽可能小。
  • 正态分布的应用:假设分布为正态分布,方便做假设检验。
  • 双边检验(温度不能过高也不能过低) & 单边检验(只要不往牛奶里掺水就 ok,牛奶当然越浓越好)。
  • p 值检验:计算检验统计量,根据最小显著性水平 p,决定接收 / 拒绝 H0。
  • 梯度 & 梯度下降,为什么梯度下降?

  • 梯度:多元标量函数想象成山峦,最陡的方向。
  • 梯度下降:通用的找局部最优的方法,很多问题性质不够好,没法数学公式一步求得可接受的解,因此为到达最低点,沿最陡下降方向 一步一步走。
  • 距离度量方式:【】

  • 马氏距离:
  • 曼哈顿距离:
  • 欧式距离:
  • 余弦距离:
  • 相关系数:
  • MSE 为什么是 Σ(yi-y)² 而不是立方?

  • 欧几里得距离具有旋转不变性,即不管坐标轴怎么转,某点到原点的距离都不变。L3 norm 没有。
  • 最小二乘法。

    最小二乘法是解决曲线拟合问题最常用的方法。其基本思路是:令

    是事先选定的一组线性无关的函数,

    是待定系数

    ,拟合准则是使

    的平方和最小,称为最小二乘准则。

  • 对比用户的相似性,将用户A喜欢的手机品牌 推送给 与A相似 但是手机品牌喜好未知的 用户B。
  • 用户-商品打分矩阵M(即行代表不同的商品,列代表不同的用户, 公式 代表第 i 个用户对第 j 个商品的喜欢程度)分解成 [公式] 。其中 U 代表了用户的特征矩阵,V 代表了商品的特征矩阵,为了降低噪声影响会只取前 r 列。
  • 当一个新用户数据进来 [公式] (对某些商品的喜好程度未知,未知的列设为0)后,会与 对角矩阵 商品特征矩阵 相乘,得到它的用户特征: [公式] , 然后将这个新的用户特征 u 与老用户特征矩阵 U 每一行比对(比如用欧式距离),距离最近的那一行 即是最相似的老用户。
  • 监督学习的降维技术,数据集的每个样本带有类别信息,这点和 PCA 不同,PCA 是不考虑样本类别输出的无监督降维技术。
  • 思想:投影后类内方差最小,类间方差最大。我们要把数据往低维度上投影,希望每一种类别数据 的 投影点 尽可能接近,而不同类别数据 的 类别中心之间,距离尽可能大。一般使用 SVD 分解。
  • LDA 不适合对非高斯分布样本进行降维,PCA 也有这个问题。
  • 支持向量机 SVM:

  • 二分类技术,分类超平面跟两类数据的间隔要尽可能大(即远离两边数据)
  • 先将数据变成线性可分的,再构造出最优分类超平面;通过选择一个核函数 K ,将低维非线性数据映射到高维空间中。
  • 或许可以让 LDA 当作 SVM 的核函数?不过听说 SVM 也不怕高维度呀,难道是怕过拟合吗?

    什么是 Normal Equation 正规方程 标准方程?

  • https://blog.csdn.net/jingyi130705008/article/details/78866757
  • 线性回归中,为了求得 cost function 最小的参数值θ,我们一般采用梯度下降法,但是当训练样本较小时(不超过千数量级),采用 Normal Equation 进行求解更好。(不能用于不可逆矩阵)
  • Cauchy-Riemann 条件:

  • 某点可导充要条件:f = u + iv,该点 u v 可微,且偏导数满足 C-R 方程(ux = vy, uy = -vx)。导数 f' = ux + ivx = vy - iuy
  • 区域解析充要条件:区域内 u v 可微,且偏导数满足 C-R 方程(ux = vy, uy = -vx)。
  • 复变函数积分:

  • 柯西积分定理 / 积分基本定理:解析函数积分与路径无关,环路积分 = 0。
  • 柯西积分公式: [公式]
  • 高阶导数公式(柯西积分公式 两边对 z0 求导): [公式] [公式] [公式]
  • Abel 定理:

  • 绝对收敛: [公式] 收敛,可由 实部虚部级数 |a| |b| 绝对收敛推出。
  • (收敛但不绝对收敛:Σ 1/n)
  • 幂级数在 x0 处收敛,则半径<x0 都绝对收敛;在 x1 出发散,则半径>x1 都发散。
  • 洛朗级数 Laurent:

  • 对于一片收敛的区域,可以直接 taylor 级数: [公式][公式]
  • 洛朗级数:解析环域:k 也可以 -1 ~ -n。
  • 解析部分:n ≥ 0;主要部分:n<0。无穷远处逆号。
  • 留数定理:环路积分 = 环路围的那几个奇点 绕一周积分 = 2Πi Σ 奇点留数。
  • 留数:孤立奇点 z0 处 laurent 展开, [公式]
  • 无穷远点的留数:如果 |z| > R 都解析,则无穷远点是孤立奇点, [公式]
  • 求无穷远留数 不想积分: [公式]
  • 扩展留数定理,所有奇点的留数之和为零(包括无穷远)。
  • 奇点分类:

  • 可去奇点:比如 sin z / z,只要定义得当就完全解析,Res = 0
  • 极点:负幂项有限(不会高过 -m 次), [公式] 在某个点 [公式] 是孤立奇点,但是 [公式][公式] 可能就变成了可去奇点。 [公式][公式]
  • 本性奇点:负幂项无穷多。
  • 数学相关课程中,最有难度的一个知识点是什么。

  • 积分不费解,因为物理竞赛。矩阵乘法 → 秩 → 特征值特征向量 费解。
  • 高斯白噪声:

  • gaussian:幅度 / 瞬时值 分布服从高斯分布。
  • white:它的二阶矩不相关,一阶矩为常数,功率谱密度(在较宽的频率范围内)服从均匀分布,是指先后信号在时间上的相关性。
  • 分析信道加性噪声的理想模型,热噪声(通信中的主要噪声源)属于高斯白噪声。
  • Markov 性,Markov 过程:

  • 给定现在状态 及所有过去状态,其未来状态的条件概率分布 仅依赖于当前状态,与过去状态(即该过程的历史路径)是条件独立的。
  • Markov 过程:具有 Markov 性质的过程。
  • 时间 状态 都是离散的马尔可夫过程称为马尔可夫链。
  • 什么是 Convex:

  • 凸函数:一元: f\left ( tx_{1}+\left ( 1-t \right )x_{2} \right )\leq tf\left ( x_{1} \right )+\left ( 1-t \right )fx_{2}
  • 函数值的平均 ≥ 平均值的函数 下凸。多元函数定义类似。凸优化问题,局部最优解是全局最优解。
  • 判定:二阶导数 ≥ 0,多元函数 如果 Hessian 矩阵 半正定矩阵,则凸函数。
  • 什么是李雅普诺夫稳定性(自控,不太会)。

    什么是丰度(不知道)。

    投影算子的概念(实变函数,不太会)。