UA MATH567 高维统计IV Lipschitz组合7 Grassman流形与Haar测度

这一讲我们介绍Grassman流形与Grassman流形上的均匀分布，并尝试导出Grassman流形上的均匀分布的Lipschitz函数具有亚高斯性。

Grassman流形基础

Grassman流形与度量

Grassman流形是代数几何的基本工具之一，为了在Grassman流形上定义均匀分布，我们先介绍一点Grassman流形的基本概念，然后在Grassman流形上定义度量概率空间。简单理解的话，Grassman流形是一个向量空间的给定维数的子空间组成的集合，比如三维欧氏空间中所有直线的组合就是一个Grassman流形。用$V$表示向量空间，假设$dimV=n$，记它所有的$m$维子空间组成的Grassman流形是$G_{n,m}$。

要定义$G_{n,m}$中任意两个子空间的距离，我们可以考虑用子空间的正交投影，$\forall E\in G_{n,m}$，称线性算子$P_E$是它的正交投影如果

1. $P_E^2=P_E$
2. $C(P)\perp N(P)$（即列空间与核空间正交）

给定子空间，正交投影具有存在唯一性，于是对$\forall E,F\in G_{n,m}$，定义
$$d(E,F)=\Vert P_E-P_F\Vert$$

这里的范数是算子范数，这样$(G_{n,m},d)$就成了一个度量空间，接下来我们在这个度量空间上定义测度。

Haar测度
我们再来理解一下Grassman流形上的点，每一个点代表一个线性子空间，每一个线性子空间对应一个正交投影，于是我们可以把Grassman流形中的元素理解为一个正交投影变换。

引入一个概念：测度的变换不变性。在度量空间$(G_{n,m},d)$上我们可以定义开集，进而导出Borel代数，记为$\mathcal{B}(G_{n,m})$。设$\mu$是可测空间$(G_{n,m},\mathcal{B}(G_{n,m}))$上的一个测度，称$\mu$关于正交投影变换具有不变性，如果$\forall B\in \mathcal{B}(G_{n,m})$，$\forall E\in SO(n)$，
$$\mu (B)=\mu (P_{E}B)$$

既然我们把$G_{n,m}$理解为$n$维向量空间到$m$维线性子空间的正交投影的集合，那就很容易验证它在正交投影变换的和与积的意义下是一个群。在变换群上，满足这个条件的测度是唯一的，我们称这个测度为Haar测度，用 P P </