习题 3, § 1

令 S、T、Y 为三个局部紧致空间，无穷大可数，其中 Y 具有可数基。令$\rho$（或$\sigma$）为S（或T）上的正测度，$\nu = \rho \otimes \sigma$，并令$(\lambda_{s,t})_{(s,t) \in S \times T}$为Y上的$\nu$充分$^1$族正测度。然后，存在$\rho$可忽略的集合N，使得对于每个$s \notin N$，家庭$(\lambda_{s,t})_{t \in T}$$\sigma$-足够；家庭$s \mapsto \int \lambda_{s,t} d\sigma(t)$（几乎在所有地方都有定义）是$\rho$-足够的，并且

（将Exer.2应用到空间$X = S \times T$，注意$\nu = \int (\varepsilon_s \otimes \sigma) d\rho(s).$）