О функциях первого класса Бэра на некоторых классах неметризуемых пространств Текст научной статьи по специальности «Математика»

2018 Математика и механика № 53

УДК 515.12 М8С: 54Е52, 26А21

Б01 10.17223/19988621/53/4

Е.С. Сухачева

О ФУНКЦИЯХ ПЕРВОГО КЛАССА БЭРА НА НЕКОТОРЫХ КЛАССАХ НЕМЕТРИЗУЕМЫХ ПРОСТРАНСТВ1

Для функций первого класса Бэра заданных на метризуемых пространствах известен критерий Бэра. Доказывается аналог этой теоремы для функций первого класса Бэра, заданных на более широком классе пространств, а именно на пространствах, являющихся одновременно наследственно линде-лефовыми и наследственно бэровским, но не обязательно метризуемых. В частности, прямая Зоргенфрея, ее модификции и пространства Хаттори обладают этими свойствами.

Ключевые слова: прямая Зоргенфрея, функция первого класса Бэра, наследственно бэровское пространство, наследственно линделефово пространство, с1-функция, множества типа ^ и 0&.

В данной работе все топологические пространства подразумеваются нормальными и используются следующие обозначения: N - множество натуральных чисел; Ж. - пространство вещественных чисел, наделенное стандартной евклидовой топологией; символом £ обозначается прямая Зоргенфрея (или «стрелка»), представляющая собой множество вещественных чисел, топология в котором порождена базой {(а,Ь]: а,Ь е Ж, а < Ь}. Если множество Л с Ж., то символом обозначим топологическое пространство, в котором база окрестностей точки х определяется следующим образом:

{[х, х + е),Уе > 0}, если х е А с Ж ; {(х -е, х], Уе > 0}, если х е Ж \ А . В частности, если А = 0 , то £Л = £ .

Множеством первой категории в топологическом пространстве называется множество, представимое в виде счетного объединения нигде не плотных множеств. Топологическое пространство X называется бэровским, если пересечение любой последовательности открытых всюду плотных множеств всюду плотно. Топологическое пространство X называется наследственно бэровским, если каждое замкнутое подмножество ^ с X является бэровским пространством.

В работе [3] показано, что регулярное, с первой аксиомой счетности пространство является наследственно бэровским тогда и только тогда, когда оно не имеет счетного замкнутого подпространства без изолированных точек.

Предложение 1. Пространство £Л является наследственно бэровским для любого множества Л с Ж .

Доказательство. Поскольку пространство £Л регулярное и имеет первую аксиому счетности, то в силу предыдущего утверждения достаточно показать, что

1 Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 17-5118051.

пространство SA не имеет счетного замкнутого подпространства без изолированных точек. Пусть множество F замкнуто в SA и не имеет изолированных точек. Тогда замыкание F множества F в евклидовой топологии прямой также не содержит изолированных точек. Это означает [1], что множество F несчетно. Поскольку множество F \ F счетно, то F является несчетным. □

Для любого множества A с Ж., пространство SA нормальное и линделефовое. Эти факты можно доказать аналогично доказательствам нормальности и линде-лефовости прямой Зоргенфрея [8].

Совершенным пространством называется пространство, в котором все замкнутые множества имеют тип Gs. Нетрудно видеть, что в пространстве SA открытые

множества являются счетным объединением промежутков вида (a1, b1 ], [a2, b2), (a3, b3), [a4, b4 ], а каждый из этих промежутков имеет тип Fa . Таким образом, пространство SA является совершенным для любого множества A с Ж.. Отсюда следует, что пространство SA наследственно линделефово [8].

Пусть X - топологическое пространство. Отображение f: X ^ Ж называется функцией первого класса Бэра, если существует последовательность непрерывных функций {f1, поточечно сходящаяся к функции f на множестве X. Множество всех функций первого класса Бэра обозначается B1 (X). В силу того, что топология, заданная на SA , тоньше, чем топология на прямой, то B (Ж) с B (SA), но обратное включение не верно.

Пример 2. Пусть K - канторово множество в евклидовой прямой. Тогда

ад

Ж\K = U(аи,bn). Пусть B = {bn}neNи для каждого натурального n заданы воз-

n=1

растающие последовательности {bn} , b'n e(an,bn), сходящиеся к точкам bn . Определим непрерывные функции fi : S ^ Ж следующим образом: fi (x) = 0, если x e (K \BJJ[an,b'n, fi(bn) = 1 при n < i и линейные на каждом множестве [b, bn J . Нетрудно видеть, что для всех i e N функции fi непрерывны на S и lim f (x) = xB (x) для любой точки x e S. Таким образом, характеристическая

функция xB является функцией первого класса Бэра на S . Так как функция %B |K не имеет точек непрерывности на замкнутом в евклидовой топологии множестве K , то хB £ В (®) по теорема Бэра [4].

Тот факт, что пространства Bj (Ж) и В( S) различны также следует из [6] ввиду того, что Bj (Ж) секвенциально сепарабельно, а Bj (S) - нет (напомним,

что пространство X называется секвенциально сепарабельным, если существует счетное подмножество D с X, такое, что любая точка x e X есть предел некоторой последовательности точек из множества D ).

Функцию f , заданную на топологическом пространстве X со значениями в вещественной прямой, называют cl-функцией (cliquish) в точке x е X , если для любого е > 0 и любой окрестности U точки x существует открытое непустое множество G с U , такое, что |f (y) - f (z)| < е для любых двух точек y, z е G. Функцию f называют cl-функцией, если она cl-функция в каждой точке x е X , а множество всех таких функций обозначается CL (X). В работе [5] показано, что для любой cl-функции f , заданной на топологическом пространстве X, множество точек разрыва Df функции f является множеством первой категории. Из этого вытекает следующее

Предложение 3. Пусть X - бэровское пространство, f е CL (X) и Cf - множество точек непрерывности функцииf Тогда множество Cf всюду плотно в X. Доказательство. Поскольку f е CL (X), то в силу предыдущего утверждения

ад

Df = U Fn , где множества Fn нигде не плотны. Следовательно, Cf = X \ Df =

n=1

f ад Л ад

= X \ U Fn = Q (X \ Fn). Тогда множества X \ Fn открыты, всюду плотны и,

V n=1 / n=1

поскольку пространство X - бэровское, то множество Cf всюду плотно. □ Теорема 4. Пусть X - бэровское пространство. Тогда B1 (X) с CL (X). Доказательство. Пусть множество U открыто в X. Тогда подпространство U - бэровское (см. [7]). Пусть функция g е B (X) и f = g |U . Очевидно, что f е B1 (U). Пусть последовательность непрерывных функций {fn }п^ на множестве U поточечно сходится к функции f . Следовательно, для любой точки x еU последовательность {fn (x)}= является фундаментальной в Ж.. Зафиксируем е > 0. Тогда U = U Fp , где Fp = Q {x е X;| fn (x) - fm (x) < 3}. Заметим,

pеN n,m> p 3

что Fp n U - замкнуто в U и U = U (Fp n U). Поскольку подпространство U

pеN

бэровское, то найдется номер p0 е N, такой, что inty (Fp^ n U) ф 0 . Тогда множество V = inty (Fp n U) открыто в U , следовательно, открыто в X и

V с Fp n U . Это означает, что для любых n, m > p0 и точки x е V верно нера-

е

венство \fn (x)- fm (x)| < 3. Переходя к пределу при m ^ад получаем, что

е

\fn (x) - f (x) < 3 для любой точки x е V и n > p0. В силу непрерывности функции fp существует окрестность W с V, такая, что для любых y, z е W и n > p0 верно неравенство |fp (y)- f^ (z)) <е/3. Применяя неравенства треугольника, получаем \ f (y)- f (z)|<е. □

Из предложения 3 и теоремы 4 получаем

Следствие 5. Пусть X - наследственно бэровское пространство и f е Б1 (X). Тогда для любого замкнутого множества F с X функция f |F на множестве F имеет точку непрерывности.

Доказательство следующих трех лемм повторяет доказательства этих утверждений для метризуемых пространств (см. [4]), если учесть тот факт, что пространство X - совершенно нормальное. Мы приведем доказательство только последней из них.

Лемма 6. Пусть X - топологическое пространство. Если последовательность функций первого класса Бэра fn : X ^ Ж сходится равномерно к функции

f: X ^ Ж , то f е Б (X).

n

Лемма 7. Пусть X - совершенное пространство. Если X = ^Ai , где множе-

i=1

ства A имеют тип Fa, то существуют попарно непересекающиеся множества

n _

Б1,...,Бп типа Fa , такие, что X = ЦBi и Bi с Ai для любого i = 1,n .

i=1

Лемма 8. Пусть X - нормальное пространство и f: X ^ {е0,..., еп}, где числа е0 <... < еп из К. Если множества Ek = {x е X; f (x) = ек} имеют тип Fa при k = , то f е Б (X).

ад m п

Доказательство. Пусть Ek = ^ Fk . Положим Lkm = ^ Fk , Lm = ^ Lkm и оп-

i=1 i=1 k=1

ределим функцию <m : Lm ^ Ж следующим образом: <m (x) = ек , если x е Lkm . Заметим, что все множества Lkm - непересекающиеся и замкнуты в X и, следовательно, функция <m непрерывная на Lm . Тогда в силу теоремы Титце - Урысона существует непрерывное продолжение <m : X ^ Ж, такое, что <m (x) = <m (x) для любого x е Lm . Нетрудно видеть, что lim <m (x) = f (x) для любого x е X . □

m^-ад

Для функций первого класса Бэра заданных на метризуемых пространствах, хорошо известны теорема Лебега и теорема Бэра. Следующие теоремы являются их аналогами в случае наследственно линделефовых пространств.

Теорема 9. Пусть X - наследственно линделефово пространство и функция f: X ^ Ж.. Функция f е Б1 (X) тогда и только тогда, когда для любого открытого множества U с Ж его прообраз f-1 (U) имеет тип Fa .

ад

Доказательство. Пусть множество U открыто в Ж. Тогда U = ^ Fk для не-

k=1

которых множеств Fk, замкнутых в Ж и таких, что Fk с intк Fk+1 для k е N. Поскольку f е Б1 (X), то существует последовательность непрерывных функций

{/« , такая' что / (х)=^ /« (*) • Тогда г1 (и)=иП /п1 ) и следова-

к=1 п=к

тельно, множество /— (и) имеет тип / .

Предположим теперь, что для любого открытого множества и с Ж. его прообраз /— (и) имеет тип / и функция / ограничена сверху и снизу точками а и Ь соответственно. Разобьём множество значений на конечное число промежутков точками а = с0 < с1 <... < сп = Ь длины не больше 1/п и положим

А0 = {х е X; / (х)< с1}, Ак = {х е X; ск-1 < / (х) < ск+1}, где к = 1, п -1 и Ап = {х е X; / (х) > сп-1}. Заметим, что для любого к = 0, п множества Ак имеют

п

тип / . Тогда для пространства X = и Ак по лемме 7 существуют множества

к=0

п _

В0,...,Вп типа /, такие, что X = ЦВк , Вк с Ак для любого к = 0,п .

к=0

Введем функцию /п : X ^ Ж , полагая /п (х) = ск при х е Вк для любого к = 0, п . Согласно лемме 8, /п е В1 (X). Зафиксируем точку х е X . Тогда для некоторого номера к имеем, что х е Вк с Ак . Значит, /п (х) = ск и ск-1 < /(х) < ск+1. Отсюда ясно, что \/п (х) - /(х)| < 1/п .

Таким образом, при п ^го функции /п равномерно сходятся к функции / и, стало быть, функция / (х) е В1 (X).

Пусть теперь для любого открытого множества и с Ж его прообраз /— (и) имеет тип / и функция / неогораниченная. Рассмотрим функцию g (х) = агС£ / (х). Очевидно, что для любого открытого множества и с Ж прообраз g— (и) есть множество типа / . Функция g ограниченная и, следовательно, по предыдущему рассуждению является функцией первого класса Бэра. Тогда / (х ) = tg (g (х)) есть функция первого класса Бэра. □

Теорема 10. Пусть пространство X наследственно линделефово и /: X ^ Ж . Если на всяком непустом замкнутом множестве / имеются точки непрерывности индуцированной функции / / , то / е В1 (X).

Доказательство. В силу теоремы 9 достаточно показать, что прообраз открытого множества имеет тип / .

Пусть р, д е Ж , р < д . Положим Р = {х е X; /(х) > р}, Q = {х е X; / (х) < д} . Тогда X = Р и Q. Используя метод трансфинитной индукции, определим ю1 -последовательности замкнутых множеств с X; р < ю1} и открытых множеств {ир; Р<ю1}, таких, что /а с / при р<а и множество /(и^п/р) принадлежит Р или Q при любом р<к>1. Пусть /0 = 8А и и0 - окрестность некоторой точки непрерывности функции /, такая, что / (и0) принадлежит Р или Q .

Предположим, что для всех ß<a определены семейство открытых множеств (^ß}ß<a и семейство замкнутых множеств (^з)р<а, таких, что Fß = Fß_j \Uß-1 , Uß_j - окрестность некоторой точки непрерывности функции f |F, такая, что f (Uß-i) принадлежит P или Q, если ß - непредельный ординал и Fß = Q Fy,

Y<ß

Uß - окрестность некоторой точки непрерывности функции f Ц, такая, что f (Uß n Fß) входит в P или Q, если ß - предельный ординал. Если а такое, что существует а-1, положим Fa = X \ (U0 и... и Ua-1). Заметим, что Fa = Fa-1 \ Uа-1 и Fa с Fa-1. Если а - предельный ординал, то Fa = Q Fß .

ß<a

Пусть Ua - окрестность точки непрерывности функции f |F , такая, что f (Ua n Fa) входит в P или Q. Нетрудно видеть, что семейства множеств {Fß с X; ß < ю1} и {Uß; ß<ro1} удовлетворяют требуемым условиям.

Пусть G = X \ / Q FA = У (X \ Fa). Так как пространство X - наследст-

\а<®1 / а<®1

венно линделефово, то существует ординал у <ю1, такой, что G = У (X \ Fa) и

а<у

Fy = Fy+1 =.... Если Fy^0, то Uy n Fy Ф 0, что невозможно, так как Fy+1 = Fy \ Uy = Fy. Таким образом, существует ординал а < ю1, такой, что Fß Ф0 при любом ß<a и Fa =0 . Тогда X = У (Fß \ Fß+1). Положим

ß<a

T = {ß < а; Fß \ Fß+1 с P}, L = {ß<a; Fß \ Fß+1 с Q} \ T . Ясно, что L n T = 0 . Тогда X = A и B, где A = У (Fß \ Fß+1), B = У (Fß \ Fß+1). Поскольку для любого ß

ßeT ßei

множества Fß \ Fß+1 имеют тип Fa, то и множества A и B имеют тип Fa . Заметим, что A с P, B с Q и A n B = 0 .

Таким образом, для любых чисел p, q е Ж., где p < q , верно, что X = A и B, A с P, B с Q , множества A , B имеют тип Fa . Фиксируем число p е Ж и последовательность q1 > q2 > ..., такую, что p = lim qn . Для каждого n е N

X = An и Bn, где An n Bn =0 , множества An и Bn имеют тип Fa, An с P,

ГО

Bn с Qn, где Qn ={x е X; f (x)< qn}. Положим R = У An и W = Q Bn . Тогда

n=1 n=1

R n W = 0 , X = R и W , множество R имеет тип Fa . Покажем, что P = R . Пусть x е P . Тогда найдется число n е N, такое, что f (x) > qn и x g Bn , Значит, x g W Следовательно, x е R . Таким образом, множество P имеет тип Fa. Аналогичный результат справедлив для множества Q .

Следовательно, прообраз любого открытого множества имеет тип Fa . □ Таким образом, из следствия 5 и теоремы 10 получен следующий критерий для функций первого класса Бэра.

Теорема 11. Пусть пространство X наследственно линделефово и наследственно бэровское. Функция f: X ^ Ж. принадлежит B1 (X) тогда и только тогда,

когда для любого непустого замкнутого подмножества F с X функция f |F имеет точку непрерывности.

В работе [9] для любого множества A с Ж определено пространство Хаттори H (A). Это множество вещественных чисел Ж, в котором база окрестностей точки х определяется следующим образом:

{(х -е, х + е), Ve > 0}, если х е A с Ж ; {[х, х + е), Ve > 0}, если х е Ж \ A . Заметим, что пространства SA и пространства Хаттори H (A) удовлетворяют условию теоремы 11 (см. [2]) и, значит, верно следующее

Следствие 12. Функция f: E ^ Ж , где E = SA или E = H (A), принадлежит

Bj (E) тогда и только тогда, когда для любого непустого замкнутого подмножества F с X функция f |F имеет точку непрерывности.

Благодарность: Выражаю глубокую благодарность своему научному руководителю Хмылевой Татьяне Евгеньевне за ценные советы для выполнения данного исследования.

ЛИТЕРАТУРА

1. Александров П.С. Введение в теорию множеств и общую топологию. М.: Наука, 1977. 368 с.

2. Bouziad A., Sukhacheva E. On Hattori spaces // Commentationes Mathematicae Universitatis Carolinae. 2017. No. 2. P. 213-223. DOI 10.14712/1213-7243.2015.199.

3. van Douwen E.K. Closed copies of the rationals // Commentationes Mathematicae Universitatis Carolinae. 1987. V. 28. No. 1. P. 137-139.

4. Натансон И.П. Теория функций вещественной переменной. М.: Наука, 1974. 480 с.

5. Neubrunnova A. On quasicontinuous and cliquish functions // Casopis pro pestovani matematiky. 1974. V. 99. No. 2. P. 109-114.

6. Osipov A.V., Pytkeev E.G. On sequential separability of functional spaces // Topology and its Applications. 2017. V. 221. P. 270-274.

7. Tkachuk V.V. A Cp-Theory problems book. Topological and functions space. New York: Springer, 2011.

8. ЭнгелькингР. Общая топология. М.: Мир, 1986. 752 с.

9. Hattori Y. Order and topological structures of posets of the formal balls on metric spaces // Mem. Fac. Sci. Eng. Shimane Univ. Ser. B Math. Sci. 2010. V. 43. P. 13-26.

Статья поступила 13.04.2018 г.

Sukhacheva E.S. (2018) ON FIRST BAIRE CLASS FUNCTIONS DEFINED ON SOME CLASSES OF NONMETRIZABLE SPACES. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 53. pp. 39-46

DOI 10.17223/19988621/53/4

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 Lindelöf and hereditarily Baire spaces.

An analogue of Lebesgue's theorem is as follows: let a space X be a hereditarily Lindelöf space and a function f : X ^ K . A function f is a first Baire class function if and only if the inverse image of an open set in M. has type Fc .

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 Lindelöf spaces.

An analogue of Baire's theorem is as follows: let X be a hereditarily Lindelöf and hereditarily Baire space. A function f : X ^ K 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 M. , a modification of the Sorgenfrey line S denoted as SA 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 M. , 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 = S0 , SA , and H (A) satisfy the conditions of the previous two theorems.

Keywords: Sorgenfrey line, function of the first Baire class, hereditarily Baire space, hereditarily Lindelöf space, cliquish function, Fc and Gs sets.

AMS Mathematical Subject Classification: 54E52, 26A21

SUKHACHEVA Elena Sergeevna (Postgraduate student faculty of mechanics and mathematics, Tomsk State University, Tomsk, Russian Federation; Département de Mathématiques, Université de Rouen, UMR CNRS 6085, Avenue de l'Universite, BP.12, F76801 Saint-Etienne-du-Rouvray, France). E-mail: sirius9113@mail.ru

REFERENCES

1. Aleksandrov P.S. (1977) Vvedenie v teoriyu mnozhestv i obshchuyu topologiyu [Introduction to the set thory and general topology]. Moscow: Nauka. 368 p.

2. Bouziad A., Sukhacheva E. (2017) On Hattori spaces. Commentationes Mathematicae Universitatis Carolinae. 2. pp. 213-223. DOI 10.14712/1213-7243.2015.199.

3. van Douwen E.K. (1987) Closed copies of the rationals. Commentationes Mathematicae Universitatis Carolinae. 28(1). pp. 137-139.

4. Natanson I.P. (1974) Teoriya funktsiy veshchestvennoy peremennoy [Theory of functions of a real variable]. Moscow: Nauka. 480 p.

5. Neubrunnova A. (1974) On quasicontinuous and cliquish functions. Casopis pro pestovani matematiky. 99(2). pp. 109-114.

6. Osipov A.V., Pytkeev E.G. (2017) On sequential separability of functional spaces. Topology and its Applications. 221. pp. 270-274. https://doi.org/10.1016/j.topol.2017.02.059.

7. Tkachuk V.V. (2011) A Cp -Theory problems book. Topological and functions space. New York: Springer.

8. Engelking R. (1977) General Topology. Warszawa: PWN Publ.

9. Hattori Y. (2010) Order and topological structures of posets of the formal balls on metric spaces. Mem. Fac. Sci. Eng. Shimane Univ. Ser. BMath. Sci. 43. pp. 13-26.