用Loeb测度构造正则及τ－光滑Borel测度

设（Ｘ，Ｔ）是Ｔ２空间，Ｔ１是拓扑Ｔ的基，Ａ是＊Ｘ上的内代数，ν是Ａ上的内测度，本文用无穷小方法证明了：在ｋ－饱和的非标准模型中，若Ｘ是正则空间，且对每一Ｔ∈Ｔ１，＊Ｔ∈Ａ，则对Ｘ的每一Ｂｏｒｅｌ集Ｂ，ｓｔ－１（Ｂ）∈Ｌｕ（Ａ）∩ｎｓ（＊Ｘ），且νｓｔ－１｜Ｆ（Ｘ）是τ－光滑Ｂｏｒｅｌ测度，νｓｔ－１｜Ｆ（Ｘ）是Ｒａｄｏｎ测度；若对每一Ｔ∈Ｔ，＊Ｔ∈Ａ，并且对每一Ｔ∈Ｔ及每一ε∈Ｒ＋，有闭集ＣＴ，使Ｌ（ν）（＊Ｔ－＊Ｃ）＜ε，则对每一Ｂｏｒｅｌ集Ｂ，ｓｔ－１（Ｂ）∈Ｌ（ν，Ａ）∩ｎｓ（＊Ｘ）且νｓｔ－１｜Ｆ（Ｘ）是正则τ－光滑Ｂｏｒｅｌ测度．