知识全景图/ 学科主线/数学主线/ 大学数学
College Mathematics

大学数学入门:微积分、线代、概率论、离散数学

大学数学不只是高中数学更难。它换了目标:不只会算,还要理解定义、结构、证明和模型。微积分研究连续变化,线性代数研究向量和空间变换,概率论研究随机事件的规律,离散数学研究计算机喜欢的离散结构。四门课构成了理工科的数学底座。

微积分极限、导数、积分、级数——研究连续变化和累积量的数学。从牛顿到今天,它仍是物理、工程、经济的核心语言。
线性代数向量、矩阵、线性变换、特征值——研究空间结构和线性映射。它是机器学习、图形学、量子力学的共同基础。
概率与统计随机变量、分布、期望、假设检验——研究不确定性的数学。大数据时代,这门课比以往任何时候都重要。
离散数学逻辑、集合、图论、组合——研究离散对象的数学。它是算法分析和计算机科学的理论根基。
第一部分:微积分——研究连续变化

微积分就是研究函数连续变化的数学。想看函数从小学到大学的完整演化?看函数主题树

第一课:极限与连续——微积分的门槛

1. 当 x 越来越靠近时,函数值会走向哪里

极限是微积分的地基。导数是"变化率的极限",积分是"无限求和的极限"。不弄懂极限,后面的一切都悬在半空。

x y a L x → a⁻ x → a⁺ lim f(x) = L (函数在 a 点可以没定义,极限仍然存在)
极限的直觉:x 从两侧趋近 a 时,f(x) 趋近 L。空心圆表示函数在该点可以无定义

极限的直觉

极限不是"等于",而是"越来越靠近"。比如 x 越来越接近 2 时,x + 3 就越来越接近 5。

  • 代入法:如果 lim(x→2) (x+3),直接把 2 代入,得 5。
  • 约分法:比如 lim(x→1) (x²-1)/(x-1) = lim(x→1) (x+1) = 2
  • 无穷大的行为:lim(x→∞) 1/x = 0

epsilon-delta 定义(大学版)

lim(x→a) f(x) = L 的严格定义:

对任意 ε > 0,存在 δ > 0,使得当 0 < |x-a| < δ 时,|f(x) - L| < ε

直觉翻译:你要 f(x) 离 L 多近(ε),我都能找到 x 离 a 多近(δ)来保证。这就是"越来越靠近"的精确说法。

洛必达法则

遇到 0/0 或 ∞/∞ 型未定式:

lim f(x)/g(x) = lim f'(x)/g'(x)

例:lim(x→0) sin(x)/x = lim(x→0) cos(x)/1 = 1。分子分母同时求导,极限往往变简单。

连续性

函数在 a 点连续,需要三个条件:

  1. f(a) 有定义
  2. lim(x→a) f(x) 存在
  3. 极限值等于函数值:lim(x→a) f(x) = f(a)

连续函数的图像"不断开"。多项式、指数函数、三角函数在定义域内都连续。

介值定理:如果 f 在 [a,b] 上连续,且 f(a) = -2, f(b) = 3,那么 f 一定在某处经过 0。这就是为什么连续函数不会"跳过"中间的值——它一定穿过了 x 轴。

你来试试

求极限:lim(x→3) (x² - 9)/(x - 3)

答案

分子因式分解:(x²-9)/(x-3) = (x+3)(x-3)/(x-3) = x+3(x≠3 时约分)。代入 x=3 得 6。注意 x=3 时原式无定义(0/0),但极限存在。

第二课:导数及其应用——从切线斜率到最优化

2. 导数 = 某一瞬间的变化率

把开车想成一个故事:速度表显示某一刻跑得多快,这是导数的味道。导数让你精确知道"这一刻"变化有多快。

f(x) x₀ 切线 割线→切线 斜率 = f'(x₀)
导数的几何意义:当割线的两点越来越近,割线变成切线,斜率就是导数

导数的定义

f'(x) = lim(h→0) [f(x+h) - f(x)] / h

这是差商的极限——当 h 趋近 0 时,"平均变化率"变成"瞬时变化率"。

例:f(x) = x²,则 f'(x) = lim(h→0) [(x+h)² - x²]/h = lim(h→0) (2xh + h²)/h = 2x

基本求导规则

函数导数
xⁿnxⁿ⁻¹
(自己!)
ln(x)1/x
sin(x)cos(x)
cos(x)-sin(x)

四则运算法则

  • 加减(f ± g)' = f' ± g'
  • 乘积(fg)' = f'g + fg'
  • (f/g)' = (f'g - fg') / g²
  • 链式法则[f(g(x))]' = f'(g(x)) · g'(x)

链式法则最常用。比如 sin(x²) 的导数 = cos(x²) · 2x

应用:最优化

求函数的最大值和最小值:

  1. 求导数 f'(x)
  2. 令 f'(x) = 0,解出临界点
  3. 用二阶导数判断:f''(x) > 0 是极小值,f''(x) < 0 是极大值

例:用 100m 围栏围长方形,最大面积?设长为 x,宽为 (50-x),面积 A = x(50-x) = 50x - x²。A' = 50 - 2x = 0,x = 25。正方形时面积最大。

导数还能画函数的"性格画像":f' > 0 函数递增,f' < 0 递减;f'' > 0 凹向上(笑脸),f'' < 0 凹向下(哭脸)。拐点是凹凸性改变的地方。

你来试试

f(x) = x³ - 3x + 2 的极值点,并判断是极大还是极小。

答案

f'(x) = 3x² - 3 = 3(x² - 1) = 3(x+1)(x-1)。令 f'(x) = 0,得 x = -1 或 x = 1。f''(x) = 6x。x = -1 时 f''(-1) = -6 < 0 → 极大值 f(-1) = 4。x = 1 时 f''(1) = 6 > 0 → 极小值 f(1) = 0。

第三课:积分——从微小到累积

3. 把曲线下方的面积切成小条再求和

积分是"无限求和"。把面积切成无数个极窄的长方形,每个面积 = 高 × 宽,然后全部加起来。宽趋近 0 时,这个和就是积分。

f(x) a b 面积 ≈ Σ f(xᵢ)·Δx → ∫f(x)dx
黎曼和的直觉:把面积切成小长方形,矩形越窄,近似越精确,极限就是定积分

黎曼和

把区间 [a,b] 分成 n 个小区间,每个宽度 Δx = (b-a)/n:

Σ f(xᵢ)·Δx → ∫(a→b) f(x)dx(当 n → ∞)

这就是定积分的直觉:无数个极窄长方形的面积之和。

微积分基本定理

这是整个微积分最深刻的结论:

∫(a→b) f(x)dx = F(b) - F(a)

其中 F 是 f 的原函数(F' = f)。它把"求面积"和"找原函数"这两件看似无关的事连在了一起。导数和积分互为逆运算!

积分技巧

  • 换元法∫ f(g(x))g'(x)dx,令 u = g(x),变成 ∫ f(u)du
  • 分部积分∫ u dv = uv - ∫ v du
  • 部分分式:把复杂分数拆成简单分数再逐项积分

例:∫ xeˣ dx,令 u = x, dv = eˣ dx。则 du = dx, v = eˣ。所以 = xeˣ - ∫eˣ dx = xeˣ - eˣ + C

积分的应用

  • 面积:两条曲线之间的面积 = ∫(f(x) - g(x))dx
  • 体积:旋转体体积 = π∫ f(x)² dx
  • 弧长∫√(1 + (f'(x))²) dx
  • 物理:路程 = ∫v(t)dt,功 = ∫F(x)dx
微积分基本定理的哲学:局部变化(导数)和全局累积(积分)是一枚硬币的两面。牛顿和莱布尼茨独立发现了这个深刻联系,从此改变了数学和科学。

你来试试

计算定积分:∫(0→2) (3x² + 1) dx

答案

原函数 F(x) = x³ + x。由微积分基本定理:F(2) - F(0) = (8 + 2) - (0 + 0) = 10。这就是曲线 y = 3x² + 1 下方从 0 到 2 的面积。

第四课:级数与泰勒展开——用多项式逼近任何函数

4. 把复杂的函数拆成无穷多项简单函数的和

泰勒展开是一个惊人的想法:任何"光滑"的函数都可以用多项式来近似。多项式只会加减乘,计算机最喜欢。这就是为什么泰勒展开在数值计算中无处不在。

收敛与发散

无穷级数 Σ aₙ 的部分和 Sₙ = a₁ + a₂ + ... + aₙ。如果 Sₙ 趋近一个有限的数,级数收敛;否则发散

判断收敛的常用工具:

  • 比值判别法lim |aₙ₊₁/aₙ| < 1 → 收敛
  • 比较判别法:和已知收敛/发散的级数比较
  • 积分判别法Σ 1/n² 收敛(p=2>1),Σ 1/n 发散(调和级数,p=1)

泰勒公式

函数 f 在 x = a 处的泰勒展开:

f(x) = f(a) + f'(a)(x-a) + f''(a)(x-a)²/2! + f'''(a)(x-a)³/3! + ...

a = 0 时叫麦克劳林级数。取前几项就是多项式近似,项越多越精确。

重要函数的泰勒展开

  • eˣ = 1 + x + x²/2! + x³/3! + ...
  • sin(x) = x - x³/3! + x⁵/5! - ...
  • cos(x) = 1 - x²/2! + x⁴/4! - ...
  • ln(1+x) = x - x²/2 + x³/3 - ...(|x| < 1)

从这些展开还能看出深刻联系:eⁱˣ = cos(x) + i·sin(x)(欧拉公式),数学中最美的等式 eⁱπ + 1 = 0 就是从这里来的。

为什么泰勒展开重要

  • 计算器怎么算 sin(1.5)?不是查表,是用泰勒展开:sin(1.5) ≈ 1.5 - 1.5³/6 + 1.5⁵/120
  • 物理学近似:当 x 很小时,sin(x) ≈ x,这就是单摆公式的来源
  • 数值方法:微分方程的数值解法、优化算法都依赖泰勒展开
  • 误差估计:余项公式告诉你近似有多精确
泰勒展开的哲学:复杂的函数可以用简单的多项式来理解。就像任何平滑的曲线,放大看都近似于直线(一阶)或抛物线(二阶)。这是"局部近似"思想在数学中最优美的体现。

你来试试

用泰勒展开的前三项近似计算 e⁰·¹ 的值,和计算器结果 1.105171 比较误差。

答案

eˣ ≈ 1 + x + x²/2。代入 x = 0.1:1 + 0.1 + 0.01/2 = 1 + 0.1 + 0.005 = 1.105。与精确值 1.105171 相比,误差约 0.000171,精度已经很好了!只用了三项多项式。

第二部分:线性代数——研究空间结构

线性代数同时是方程和几何的终极形态:Ax=b 是方程组,矩阵变换是高维几何。看方程主题树几何主题树

第五课:向量与空间——从数到方向

5. 一个数只能表示一条信息,向量能同时表示多条

一个学生的数学成绩用 90 表示。但要同时表示语文、数学、英语,就需要向量 (85, 90, 88)。向量不是高级符号,它是一组有顺序的数,也是空间中的一个方向。

向量运算

  • 加法(2,3) + (4,1) = (6,4),对应位置相加,像两步移动合成
  • 数乘3·(1,2) = (3,6),把向量拉长或缩短
  • 点积a·b = a₁b₁ + a₂b₂ = |a||b|cosθ,衡量两个方向的"一致性"
  • 叉积(3D)a×b,产生一个垂直于两向量的新向量,大小 = 平行四边形面积

点积 = 0 说明两向量垂直。这是判断正交的基础。

空间的语言

  • 线性组合c₁v₁ + c₂v₂,用已知向量通过加法和数乘造新向量
  • 张成(Span):所有线性组合能到达的点的集合
  • 线性无关:没有一个向量能用其余的线性组合表示
  • :一组线性无关且张成整个空间的向量。二维空间需要 2 个基向量,三维需要 3 个
  • 维数:基中向量的个数
线性代数的核心思想:用少量的"基本元素"(基向量)通过简单的规则(线性组合)来描述整个空间。就像三原色可以调配出所有颜色,几个基向量可以表示空间中的任意向量。

你来试试

向量 a = (3,4),b = (1,0)。① 计算 a·b。② a 和 b 是否正交?③ |a| 是多少?

答案

① a·b = 3×1 + 4×0 = 3。② 不正交(a·b = 3 ≠ 0)。③ |a| = √(9+16) = 5(经典的 3-4-5 直角三角形!)。

第六课:矩阵与变换——空间变形的数学

6. 矩阵不只是表格,它是空间变换的编码

矩阵可以把一个向量变成另一个向量。旋转、缩放、拉伸、投影——所有这些"变形"都可以用矩阵统一表达。

变换前 (0,0) 矩阵 A 变换后(剪切) [1 0.7] [0 1 ] det = 1(面积不变)
矩阵变换:正方形经过剪切变换变成平行四边形。行列式的绝对值 = 面积缩放比例

矩阵运算

  • 矩阵乘向量Ax = y,矩阵 A 把向量 x 变成 y
  • 矩阵乘矩阵AB 表示先做 B 变换再做 A 变换(注意顺序!)
  • 逆矩阵A⁻¹A = I,把变换"还原"回来
  • 转置Aᵀ,行变列、列变行

行列式的几何意义

det(A) 告诉你变换对面积/体积做了什么:

  • |det| = 1:面积不变
  • |det| = 2:面积放大 2 倍
  • det = 0:空间被压扁了(降维),矩阵不可逆
  • det < 0:方向翻转了(像镜像)

det = 0 意味着信息丢失——无法从结果还原输入。

变换矩阵对图形的影响
放大 2 倍[2 0; 0 2]图形整体变大,面积 ×4
横向拉伸[2 0; 0 1]左右拉宽 2 倍,面积 ×2
旋转 90°[0 -1; 1 0]逆时针转 90°,面积不变
投影到 x 轴[1 0; 0 0]压到 x 轴上,det = 0
剪切[1 1; 0 1]正方形变平行四边形,面积不变

你来试试

矩阵 A = [2 0; 0 3]。它对向量 (1,1) 做了什么变换?det(A) 是多少?面积变为几倍?

答案

A·(1,1) = (2×1+0×1, 0×1+3×1) = (2, 3)——x 方向拉长 2 倍,y 方向拉长 3 倍。det(A) = 2×3 - 0×0 = 6。面积变为原来的 6 倍。

第七课:特征值与特征向量——变换中的不变方向

7. 有些方向在变换中"不改变方向"

矩阵 A 对空间做变换时,大部分向量会改变方向。但有些特殊向量只改变长度(可能反向),方向不变或正好相反。这些向量就是特征向量,拉伸/压缩的比例就是特征值

定义与求解

Av = λv(v ≠ 0)

v 是特征向量,λ 是对应的特征值。求解步骤:

  1. 列方程:(A - λI)v = 0
  2. 求特征方程:det(A - λI) = 0,解出 λ
  3. 对每个 λ,解 (A - λI)v = 0 得到 v

例:A = [3 1; 0 2]。det(A - λI) = (3-λ)(2-λ) = 0,λ₁ = 3, λ₂ = 2。

几何直觉

想象对一个椭圆做变换:

  • 特征向量:变换后仍沿原方向的轴
  • 特征值:沿这个轴拉伸或压缩了多少
  • λ > 1:沿这个方向被拉长
  • 0 < λ < 1:被压缩
  • λ < 0:方向翻转
  • λ = 0:被压没了

对角化

如果矩阵有 n 个线性无关的特征向量,可以写成:

A = PDP⁻¹

D 是对角矩阵(特征值在对角线上)。这意味着在特征向量的坐标系里,变换就只是各个方向独立的伸缩。计算 A¹⁰⁰ 变成 PD¹⁰⁰P⁻¹——对角矩阵的幂太简单了!

应用

  • Google PageRank:网页排名本质是求一个概率转移矩阵的最大特征值对应的特征向量
  • 主成分分析(PCA):数据降维——找到方差最大的方向(特征值最大的特征向量)
  • 振动分析:桥梁和建筑的固有振动频率就是特征值
  • 量子力学:可观测量的可能取值是算符的特征值
  • 图像压缩:奇异值分解(SVD)是特征分解的推广
特征值和特征向量告诉我们:一个变换的"本质"可以用少量数字(特征值)和方向(特征向量)来刻画。不管变换多复杂,它的核心行为就藏在这几个数里。

你来试试

矩阵 A = [4 1; 2 3]。求特征值和对应的特征向量。

答案

det(A - λI) = (4-λ)(3-λ) - 2 = λ² - 7λ + 10 = (λ-5)(λ-2) = 0。λ₁ = 5,λ₂ = 2

λ₁ = 5:(A-5I)v = 0 → [-1 1; 2 -2]v = 0 → v₁ = (1, 1)

λ₂ = 2:(A-2I)v = 0 → [2 1; 2 1]v = 0 → v₂ = (1, -2)

验证:A·(1,1) = (5,5) = 5·(1,1) ✓。A·(1,-2) = (2,-4) = 2·(1,-2) ✓。

第三部分:概率论与数理统计——研究不确定性的数学
第八课:随机变量与分布——把随机变成可计算

8. 随机不是乱来,分布让随机有规律

抛硬币、掷骰子、测身高——单次结果不确定,但大量重复时会出现稳定的规律。概率论就是把这些规律精确化。

x f(x) μ μ-σ μ+σ 68.27% 正态分布 N(μ, σ²)——自然界最常见的分布
正态分布(高斯分布):钟形曲线,关于均值对称,68% 的数据在 μ±σ 内

离散型分布

  • 伯努利分布:一次试验,成功(1)概率 p,失败(0)概率 1-p。抛一次硬币。
  • 二项分布 B(n,p):n 次独立试验中成功的次数。掷 10 次硬币,正面朝上的次数。
  • 泊松分布 Poisson(λ):单位时间内稀有事件发生的次数。每小时接到电话的次数。
  • 几何分布:第一次成功需要多少次试验。一直掷骰子直到出现 6。

连续型分布

  • 均匀分布 U(a,b):[a,b] 内每个值等可能。随机数生成器。
  • 指数分布 Exp(λ):等待时间的分布。下次电话等多久。
  • 正态分布 N(μ, σ²):钟形曲线。身高、考试成绩、测量误差都近似正态。

PDF(概率密度函数)不是概率本身,曲线下的面积才是概率。

PDF 和 CDF

概率密度函数(PDF) f(x):描述随机变量在各处的"密集程度"。注意:f(x) 可以大于 1,但总面积 = 1。

累积分布函数(CDF) F(x) = P(X ≤ x):F(x) = ∫(-∞→x) f(t)dt。CDF 从 0 单调递增到 1,永远不降。

P(a < X < b) = F(b) - F(a),即两个 CDF 值之差。

正态分布为什么重要

中心极限定理:大量独立随机变量之和的分布趋近正态,不管每个变量原本是什么分布。

这意味着:

  • 考试分数(受无数小因素影响)→ 近似正态
  • 测量误差(由很多微小因素累积)→ 近似正态
  • 身高(受大量基因和环境因素影响)→ 近似正态

正态分布是"自然界的默认分布"。

你来试试

掷 3 次公平硬币,记正面朝上的次数为 X。① X 服从什么分布?② P(X = 2) 是多少?③ P(X ≥ 2) 是多少?

答案

① X 服从二项分布 B(3, 0.5)。② P(X=2) = C(3,2)·(0.5)²·(0.5)¹ = 3 × 0.25 × 0.5 = 0.375。③ P(X≥2) = P(X=2) + P(X=3) = 0.375 + C(3,3)·(0.5)³ = 0.375 + 0.125 = 0.5

第九课:期望、方差与大数定律——长期会稳定

9. 单次不确定,长期有规律

抛一次硬币不知道结果。但抛一万次,正面朝上的比例几乎一定接近 0.5。这就是概率论的核心信念:随机中藏着秩序。

期望 E(X)

期望是"长期平均":

  • 离散:E(X) = Σ xᵢ·P(X=xᵢ)
  • 连续:E(X) = ∫ x·f(x)dx

公平骰子 E(X) = 1×(1/6) + 2×(1/6) + ... + 6×(1/6) = 3.5。注意:3.5 不是任何一次的结果,而是长期平均。

重要性质:E(aX + b) = aE(X) + bE(X+Y) = E(X) + E(Y)

方差 Var(X)

方差衡量"偏离平均值的程度":

Var(X) = E[(X - μ)²] = E(X²) - [E(X)]²

标准差 σ = √Var(X),和 X 同单位,更好理解。

  • 公平骰子 Var(X) = E(X²) - (3.5)² = 15.167 - 12.25 = 2.917
  • 方差大 → 结果分散;方差小 → 结果集中

切比雪夫不等式

不需要知道分布,就能估计偏离的概率:

P(|X - μ| ≥ kσ) ≤ 1/k²

比如:不管什么分布,X 偏离均值超过 3 个标准差的概率最多 1/9 ≈ 11%。正态分布更严格:超过 3σ 的概率只有 0.3%。

大数定律

当试验次数 n → ∞ 时,样本均值 X̄ₙ = (X₁+...+Xₙ)/n 趋近于期望 μ。

直觉:抛硬币次数越多,正面比例越接近 0.5。这不是"运气",而是数学保证。

赌场为什么总能赢?大数定律保证:短期有输有赢,长期赌场必赚。赌博的期望是负的(赌场优势),玩的次数越多,结果越确定地亏钱。

大数定律和中心极限定理是概率论的两根支柱。大数定律说"长期平均会稳定",中心极限定理说"稳定的速度和形状是正态分布"。它们合在一起解释了为什么统计学能从少量样本推断总体。

你来试试

彩票每张 2 元,中奖概率 1%,奖金 100 元。① 期望收益是多少?② 长期买彩票是赚还是亏?

答案

① E(X) = 100×0.01 + 0×0.99 = 1 元(期望中奖金额)。但彩票 2 元一张,所以期望净收益 = 1 - 2 = -1 元。② 长期来看每张亏 1 元。买 1000 张彩票,大约中奖 10 次(1000 元),但花了 2000 元,净亏 1000 元。大数定律保证:买越多,亏越确定。

第十课:统计推断——从样本猜总体

10. 不能问所有人,怎么下结论

想知道全国大学生平均身高,不可能量每一个人。统计学的方法:随机抽一部分人(样本),用样本的信息猜全体(总体),并量化"猜得多靠谱"。

点估计

用样本统计量估计总体参数:

  • 矩估计法:让样本矩等于总体矩,解方程。简单直觉。
  • 最大似然估计(MLE):找到让观测数据出现概率最大的参数值。这是最常用的方法。

例:抛 10 次硬币出现 7 次正面。MLE 估计正面概率 p = 7/10 = 0.7。"什么 p 值让 7 次正面最可能发生?"

置信区间

不只给一个点估计,还给出一个"范围":

P(μ ∈ [X̄ - z·σ/√n, X̄ + z·σ/√n]) = 95%

直觉:我们有 95% 的信心,总体均值落在这个区间内。

  • 样本越大 → 区间越窄(更精确)
  • 方差越大 → 区间越宽(更不确定)
  • 置信度越高(99% vs 90%) → 区间越宽

假设检验

核心逻辑:先假设"没效果"(原假设 H₀),然后看数据是否足够反常来推翻它。

  • H₀(原假设):新药无效、硬币公平、没有差异
  • H₁(备择假设):新药有效、硬币不公、有差异
  • p 值:在 H₀ 成立的条件下,出现当前或更极端结果的概率
  • p < 0.05:拒绝 H₀,"结果有统计显著性"

两类错误:第一类(α)——H₀ 为真但拒绝了(冤枉好人)。第二类(β)——H₀ 为假但没拒绝(放过坏人)。

回归分析

找变量之间的关系:

y = β₀ + β₁x + ε

最小二乘法:找 β₀ 和 β₁,使 Σ(yᵢ - ŷᵢ)² 最小。让预测值和真实值的差距平方和最小。

  • R² 衡量拟合好坏(0 到 1,越大越好)
  • 注意:相关不等于因果!冰淇淋销量和溺水人数都夏天高,但不能说吃冰淇淋导致溺水。
统计学的哲学:我们永远无法 100% 确定,但可以量化不确定的程度。95% 置信区间不是"95% 的概率包含真值",而是"如果重复抽样 100 次,约 95 次的区间会包含真值"。

你来试试

某药声称降低血压。试验组 100 人,对照组 100 人。试验组平均降压 8 mmHg,p = 0.03。① 能否说"药有效"?② 如果 p = 0.15 呢?

答案

① p = 0.03 < 0.05,在 5% 显著性水平下拒绝 H₀,认为药有降压效果。但要注意:仍有可能犯错(约 3% 的概率是碰巧的)。② p = 0.15 > 0.05,不能拒绝 H₀,证据不够强。这不代表"药无效",只是"数据不够证明有效"。可能样本太小或效果太弱。

第四部分:离散数学——计算机的数学底座
第十一课:逻辑、集合与证明——数学的语言和工具

11. 先学会说"真话",再学会证明

数学的所有结论都建立在逻辑之上。逻辑告诉你推理是否有效,集合是数学最基本的语言,证明是保证结论正确的工具。

命题逻辑

命题是能判断真假的陈述句。用连接词组合:

  • 与(∧):p 且 q,两个都真才真
  • 或(∨):p 或 q,至少一个真就真
  • 非(¬):取反,真变假、假变真
  • 蕴含(→):如果 p 则 q。"前提假则整个真"(空真)
  • 等价(↔):p 当且仅当 q

核心:p → q ≡ ¬p ∨ q ≡ ¬q → ¬p(逆否命题)。

谓词逻辑

命题逻辑只处理完整的陈述。谓词逻辑可以讨论"所有"和"存在":

  • 全称量词 ∀∀x P(x) 表示"对所有 x,P(x) 成立"
  • 存在量词 ∃∃x P(x) 表示"存在某个 x 使 P(x) 成立"
  • 否定互换:¬∀x P(x) ≡ ∃x ¬P(x)¬∃x P(x) ≡ ∀x ¬P(x)

例:"不是所有鸟都会飞" = "存在不会飞的鸟"。

集合运算

  • A ∪ B = 属于 A 或 B 的所有元素
  • A ∩ B = 同时属于 A 和 B 的元素
  • A - B = 属于 A 但不属于 B 的元素
  • Aᶜ = 全集中不属于 A 的元素
  • 幂集P(A) = A 的所有子集组成的集合

德摩根律:(A ∪ B)ᶜ = Aᶜ ∩ Bᶜ(A ∩ B)ᶜ = Aᶜ ∪ Bᶜ

证明技巧

  • 直接证明:从已知条件出发,一步步推导到结论
  • 反证法:假设结论不成立,推出矛盾。例:证明 √2 是无理数
  • 逆否证明:证明"如果 p 则 q"改为证明"如果非 q 则非 p"
  • 数学归纳法:证明对所有自然数成立。先证 n=1 成立(基础步),再假设 n=k 成立推导 n=k+1 也成立(归纳步)
反证法的威力:假设 √2 是有理数 = p/q(最简分数),则 2q² = p²,所以 p 是偶数 = 2m,代入得 2q² = 4m²,即 q² = 2m²,所以 q 也是偶数——矛盾!p 和 q 都是偶数,不是最简分数。

你来试试

用数学归纳法证明:1 + 2 + 3 + ... + n = n(n+1)/2

答案

基础步:n=1 时左边 = 1,右边 = 1×2/2 = 1 ✓。

归纳步:假设 n=k 时成立,即 1+2+...+k = k(k+1)/2。

则 n=k+1 时:1+2+...+k+(k+1) = k(k+1)/2 + (k+1) = (k+1)(k/2 + 1) = (k+1)(k+2)/2。这正是 n=k+1 时的公式 ✓。

由归纳原理,对所有自然数 n 成立。

第十二课:图论与组合——离散世界的结构

12. 点和边能描述世界的一半问题

城市是点、道路是边;人是点、好友关系是边;网页是点、超链接是边。图论用简单的"点+边"模型统一了大量看似不相关的问题。组合数学则回答"有多少种可能"。

图论基础

  • 顶点(Vertex):图中的节点
  • 边(Edge):连接两个顶点的线
  • 路径:从一个顶点到另一个经过的边序列
  • :起点和终点相同的路径
  • :一个顶点连了几条边
  • 连通:任意两个顶点之间都有路径
  • :连通且没有环的图。n 个顶点的树恰好有 n-1 条边

握手定理:所有顶点的度数之和 = 2 × 边数(每条边贡献 2 个度)。

经典问题

  • 欧拉路径:能否一笔画完所有边(每条只走一次)?条件:恰好 0 或 2 个奇数度顶点。
  • 欧拉回路:回到起点的欧拉路径。条件:所有顶点度数为偶数。
  • 哈密顿路径:经过每个顶点恰好一次。比欧拉路径难得多(NP 完全问题)。
  • 平面图:能画在平面上且边不相交。满足 V - E + F = 2(欧拉公式)。
  • 四色定理:任何平面地图只需 4 种颜色就能让相邻区域颜色不同。

组合计数

  • 乘法原理:3 件上衣 × 2 条裤子 = 6 种搭配
  • 加法原理:走路线 A 有 3 种走法,路线 B 有 5 种,共 8 种
  • 排列P(n,k) = n!/(n-k)!,从 n 个中选 k 个排列(有顺序)
  • 组合C(n,k) = n!/(k!(n-k)!),从 n 个中选 k 个(无顺序)
  • 鸽巢原理:n+1 只鸽子放进 n 个洞,至少有一个洞里 ≥ 2 只。简单却极其强大。

图论的应用

  • 最短路径:导航软件(Dijkstra 算法)
  • 网络流:交通优化、管道设计
  • 社交网络:六度分隔、影响力传播
  • 网页排名:Google 的 PageRank 是图上的随机游走
  • 调度问题:课程安排、航班调度 = 图着色问题
  • 编译器:寄存器分配 = 图着色
鸽巢原理的妙用:在任何 367 人中,至少有 2 人生日相同(一年最多 366 天 = 鸽洞,367 人 = 鸽子)。这么简单的事实,却能证明很多不显然的结论。

你来试试

① 从 10 个人中选 3 人组成委员会,有多少种选法?② 10 个人排成一排照相,有多少种排法?③ 为什么两者不同?

答案

① 选 3 人,不关心顺序:C(10,3) = 10!/(3!×7!) = 120 种。

② 排成一排,顺序重要:P(10,10) = 10! = 3628800 种。

③ 委员会里 {甲,乙,丙} 和 {乙,甲,丙} 是同一个委员会(组合),但排队时 甲-乙-丙 和 乙-甲-丙 是不同的站法(排列)。排列考虑顺序,组合不考虑。

四门课程总结对比
分支核心问题关键概念核心工具主要应用
微积分连续变化的规律是什么极限、导数、积分、级数、泰勒展开求导法则、积分技巧、收敛判别物理、工程、经济、最优化
线性代数空间结构和变换的规律向量、矩阵、行列式、特征值/特征向量矩阵运算、对角化、SVD机器学习、图形学、量子力学、信号处理
概率统计不确定性中有什么规律分布、期望、方差、假设检验、回归MLE、置信区间、p值、最小二乘数据科学、金融、医学、社会科学
离散数学离散对象的结构和计数逻辑、集合、图、树、组合、证明归纳法、反证法、鸽巢原理、图算法算法设计、编译器、网络、密码学
大学数学的统一视角: 微积分用极限研究连续变化——导数看局部,积分看全局,级数做近似。线性代数用向量空间研究结构——矩阵编码变换,特征值提取本质。概率统计用分布研究随机——期望描述中心,方差描述分散,检验做决策。离散数学用逻辑和图研究离散结构——证明保证正确,图论建模关系,组合量化可能。四门课的工具互相支撑:概率论需要微积分算积分和级数,机器学习同时需要线性代数和概率统计,算法分析需要离散数学的递推和组合。
回到数学主线总入口 / 回到知识全景图总入口