CONNECTIONS BETWEEN THE LEBESGUE EXTENSION AND THE BOREL EXTENSION OF THE FIRST CLASS, AND BETWEEN THE PREIMAGES CORRESPONDING TO THEM

Abstract

A new algebraic structure of a -ring with refinement and a new topological structure of an -space with cover are introduced. On the basis of them the notions of divisible hulls and surrounded coverings of certain types are introduced. With the help of these notions the Lebesgue extension and the Borel extension of the first class are given a ring characterization as divisible hulls of a certain type (Theorem 1); preimages of maximal ideals of these extensions are given a topological characterization as surrounded coverings of a certain type (Theorem 2).