非标准方法在扩张测度上的一个应用

本文在k-饱和的扩大非标准模型中讨论,其中k>card(X)。有关非标准分析的基本知识参见[1],关于Loeb测度的构造及其理论参见[2,3]。令S={{x∈X:f(x)<α}:f∈c(X),α∈R},φ是由S生成的代数。X上的Baire α-代数记为φ(X)。引理1