今回の数学エッセーでは, ルベーグの被覆補題の一様空間バージョンを, ZF の下で証明します. 補題: X をコンパクト一様空間, S を X の対称開近縁の全体, A を X の開被覆とすると, A の有限個の元 U_1, ・・・, U_n と W ∈ S が存在し, 任意の x ∈ X に対し…