On first Baire class functions defined on some classes of nonmetrizable spaces

For first Baire class functions given on Polish spaces, Baire's and Lebesgue's criteria are known. We prove analogs of these theorems for topological spaces that are both hereditarily Lindelof and hereditarily Baire spaces. An analogue of Lebesgue's theorem is as follows: let a space X be a hereditarily Lindelof space and a function f : X ^ К . A function f is a first Baire class function if and only if the inverse image of an open set in K. has type F_c . The necessity of the following theorem is true for hereditarily Baire spaces and the proof uses the concept of cliquish functions. We affirm that sufficiency is true for hereditarily Lindelof spaces. An analogue of Baire's theorem is as follows: let X be a hereditarily Lindelof and hereditarily Baire space. A function f : X ^ К belongs to the set of first Baire class functions if and only if for any non-empty closed subset F the function f |_F has a point of continuity. For a subset A of the real line K., a modification of the Sorgenfrey line S denoted as S_A is defined as follows: neighborhoods of points from A are given by neighborhoods of the right half-open topology, and those in the complement of A are given by neighborhoods of the left half-open topology. For a subset A of the real line K., a Hattori space denoted as H (A) is defined as follows: neighborhoods of points from A are given by usual Euclidean neighborhoods and those in the complement of A are given by neighborhoods of the right half-open topology. In particular, spaces S = S₀ , S_A , and H (A) satisfy the conditions of the previous two theorems.

Keywords

Authors

References