在数学中有许多“三分天下”的例子，比如说：
- 常曲率空间只有欧式、球面、双曲三种。
- 三类典型的偏微分方程：热方程 （抛物）、Laplace 方程 （椭圆）、波方程 （双曲）。
- 复平面上全纯等价下只有三种单连通区域：单位圆 \(\mathbb{D}\)、复平面 \(\mathbb{C}\)、扩充复平面 \(\bar{\mathbb{C}}\)。
- 不可约代数簇 （素理想） 在扩张下的三种行为：分解、惯性、分歧。
- 随机游动可以分为零常返、正常返、暂态。
- 实数域上的有限维结合可除代数只有三种：实数域 \(\mathbb{R}\)、复数域 \(\mathbb{C}\)、四元数 \(\mathbb{H}\)。
本文要介绍的是另外两个三分天下的例子，它们来自群表示论，即有限群的不可约实表示在复数域上的分解，和不可约复表示在实数域上的实现。这两个例子是紧密相关的。
本文是针对 (Durrett 2019, sec. 1.1) 的批判笔记，介绍 Lebesgue-Stieltjes 测度的构造。我建议读者不妨先浏览一下 Durrett 的教材，看看读起来是否费劲。如果你觉得确实如此，那就对了，继续阅读本文吧。
我只针对 \(\mathbb{R}^1\) 的情形作介绍，\(\mathbb{R}^n\) 上的一般情形需要有一些啰嗦的条件保证半代数上的有限可加性，但本质是一样的。
问题： 假设你是一位大龄男士，准备参加 100 场相亲 （别介意具体数字）。你打算依次与每个女士 \(i\) 约会，然后根据印象给她打一个分数 \(X_i\)，\(X_i\) 的值介于 \([0,1]\) 之间。如果你对女士 \(i\) 很满意，那么就和她结婚，否则就放弃她，参加下一场相亲，当然拒绝了人家可就没有回头的机会了。如果你拒绝了前 99 位女士，那么不论第 100 次相亲结果如何你都只能和最后这位女士结婚。在相亲之前，你对这些女士的情况一无所知，所以姑且假定她们的分数 \(X_i\) 都是 \([0,1]\) 上均匀分布的独立的随机变量。问题是：应该采取怎样的相亲策略，才能娶到你最中意的女士？
今天的问题是群表示论在物理中的一个小应用：
问题： 平面上有三个质量均为 \(m\) 的质点 \(A,B,C\)，它们位于一个正三角形的三个顶点处。质点之间两两由一根弹簧相连，三个弹簧都是一样的，但是弹簧质量忽略不计。
初始时所有质点都处于静止状态，弹簧之间没有张力。假设给这三个质点分别施加一个初始速度，使这三个质点在平面内作刚体运动，不考虑任何摩擦力和空气阻力。那么这个系统的简正模式 (normal mode) 是什么？
这里 简正模式 的含义是所有质点按照一个共同的频率和固定的相位关系相对于各自的平衡位置作简谐振动。
著名概率学家 Feller 在他的名著 “An introduction to probability and its applications” 中提到了这样一个实验：
问题： 重复抛掷一枚均匀的硬币，用 H
代表正面向上，T 代表背面向上，一直到连续出现 6 次
H 为止。这里连续 6 个 Ｈ 组成的模式记作
HHHHHH，所需要抛掷硬币的次数叫做等待时间。等待时间是一个随机变量，最小值是
6，最大值可以是无限。Feller 问：等待时间的均值是多少？
这个问题可以用 Markov 链来解，但是非常繁琐。香港中文大学李硕彦教授在他的论文 (Li 1980) 中用离散鞅的知识给出了一个简洁而巧妙的解法，本文就来介绍他的方法。
当前网速较慢或者你使用的浏览器不支持博客特定功能，请尝试刷新或换用Chrome、Firefox等现代浏览器