CC BY
14
Математика и механика
УДК 513.831
Паракомпактность экстремально несвязных пространств В. Л. Клюшин, Аль Баяти Джелал Хатем Хуссейн
Кафедра высшей математики Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
В данной работе рассматриваются (^-отображения, определяемые с помощью полуоткрытых множеств, т.е. множеств, являющихся объединениями открытых множеств и подмножеств их границ. Это квазинепрерывные (^-отображения. Характеризация паракомпактности, основанная на непрерывных (^-отображениях, давно и хорошо известна. Интересно выяснить, в какой мере можно отказаться от требования непрерывности ш-отображения в характеризации паракомпактности топологических пространств, обладающих теми или иными дополнительными свойствами. Одним из таких свойств является экстремальная несвязность. Основная цель нашей работы — дать характеристику экстремально несвязного паракомпактного пространства с помощью ^-отображения на метрическое пространство, ослабив требование непрерывности. Нами доказано, что экстремально несвязное пространство паракомпактно тогда и только тогда, когда для всякого его покрытия ш, состоящего из открытых множеств. существует квазинепрерывное ^-отображение на некоторое метрическое.
Ключевые слова: полуоткрытое множество, квазинепрерывное отображение, ш-отображение, 8-локально конечная система, паракомпактность, экстремально несвязное пространство.
В наших предыдущих работах [1,2] рассматривались пространства и отображения, основанные на просто-открытых множествах, или 8с>-множествах. Интересным частным случаем 8с>-множества является полуоткрытое множество, то-есть множество, содержащее открытое множество и содержащееся в замыкании этого открытого множества. С понятием полуоткрытого множества связано, в частности, понятие квазинепрерывного отображения. Здесь мы дадим характеристику экстремально несвязных пространств, основанную на квазинепрерывных ш-отображениях.
Определение 1. Отображение / : X ^ У называется ш-отображением для покрытия ш пространства X, если для всякой точки у £ У существует такая её окрестность О (у) и такое и £ ш, что /-1 (О (у)) С и.
Хорошо известна характеристика паракомпактных пространств, основанная на непрерывных ш-отображениях:
Теорема 1. Для того, чтобы хаусдорфово пространство X было параком-пактным, необходимо и достаточно, чтобы для всякого открытого покрытия ш этого пространства существовало метрическое пространство У и ш-отобра-жение / : X ^ У пространства X на У.
Это утверждение было сформулировано и доказано в работе М. Катетова [3] и несколько позднее — В.И. Пономарева [4], доказавшего при этом дополнительно, что, предполагая в приведённой выше формулировке метрическое пространство У имеющим счётную базу, получаем характеристику финально-компактных (лин-делефовых) пространств. Следует заметить, что значительно раньше это утверждение доказал (но не сформулировал в явном виде) Даукер.
В 1963 г. В. В. Федорчук [5] получил аналогичные характеристики для сильно паракомпактных и локально компактных паракомпактных пространств.
Напомним необходимые определения.
Определение 2. Множество 5 называется полуоткрытым, если существует такое открытое множество О, что О С 5 С [О] (квадратными скобками мы обозначаем замыкание). Дополнение к полуоткрытому множеству называется полузамкнутым множеством. Полузамыканием множества А называется наименьшее полузамкнутое множество, содержащее А и обозначается через 8о1(Л).
Определение 3. Отображение / : X ^ У называется квазинепрерывным, если прообраз всякого открытого множества в У есть полуоткрытое множество в X.
Предложение 1. Если для всякого покрытия ш пространства X полуоткрытыми множествами существует квазинепрерывное ш-отображение f : X ^ У на бикомпактное пространство У, то всякое покрытие пространства X полуоткрытыми множествами содержит конечное подпокрытие.
Доказательство. Пусть дано пространство X и его полуоткрытое покрытие ш. Для каждой точки у £ У возьмём такую окрестность О (у), что /-1 (О (у)) содержится в некотором элементе покрытия ш.
Рассмотрим покрытие Л = {О (у) : у £ У} пространства У. Так как У бикомпактно, то существует конечное подпокрытие ^ = {О (у¿) : % = 1, ...,п} покрытия Л. Тогда /-1 ¡1 есть конечное покрытие, вписанное в и>.
Пусть /-1(0 (у1)) С Иг £ ш для каждого г. Тогда {111 : г = 1,..., п} — конечное подпокрытие покрытия ш. □
Определение 4. Система множеств называется 8-локально конечной, если для каждой точки пространства существует полуоткрытое множество, содержащее эту точку и пересекающееся не более чем с конечным числом элементов этой системы.
Предложение 2. Если для покрытия ш существует квазинепрерывное ш-отображение / : X ^ У пространства X на некоторое метрическое пространство У, то в ш можно вписать 8-локально конечное покрытие.
Доказательство. Пусть ш — открытое покрытие пространства X и / : X ^ У есть ш-отображение на метрическое пространство У. Для каждой точки у £ У зафиксируем окрестность О (у), полный прообраз которой содержится в некотором элементе покрытия ш. Семейство ^ = {О (у) : у £ У} есть открытое покрытие пространства У. Известно, что метрическое пространство паракомпакт-но. Поэтому можно вписать в ^ локально конечное открытое покрытие ц. Тогда /-1 (¡1) = {/-1 (и) : и £ — 8-локально конечное покрытие пространства X, вписанное в покрытие ш. □
Определение 5. Пространство называется экстремально несвязным, если замыкание всякого его открытого множества открыто.
Теорема 2. Экстремально-несвязное регулярное пространство X параком-пактно тогда и только тогда, когда для всякого его открытого покрытия ш существует квазинепрерывное ш-отображение / : X ^ У пространства X на некоторое метрическое пространство У.
Доказательство. 1. Необходимость очевидна. Пусть X — паракомпакт. Тогда по теореме 1 для всякого его открытого покрытия ш существует непрерывное (следовательно, и подавно, квазинепрерывное) ш-отображение на некоторое метрическое пространство.
2. Достаточность. Пусть X — регулярное экстремально несвязное пространство. Пусть 7 — произвольное открытое покрытие пространства X Для каждой точки х £ X выберем элемент и (х) £ 7, содержащий эту точку. Так как X регулярно, то существует такое открытое множество V (х), что х £ V (х) С [V (ж)] С и (х). Рассмотрим открытое покрытие ш = {V (х) : х £ X} пространства X. Очевидно, оно вписано с замыканиями в покрытие 7. По предположению существует
Клюшин В. Л., Джелал Хатем Хуссейн Аль Баяти Паракомпактность .
9
w-отображение пространства X на некоторое метрическое пространство. Следовательно, согласно Предложению 2 в ш можно вписать s-локально конечное покрытие полуоткрытыми множествами: Л = {Wa : а £ А}. Для каждого а £ А выберем такое открытое множество Ga, что Ga С Wa С [Gaj. Убедимся, что покрытие ^ = {[Ga] : а £ А} вписано в покрытие 7. Действительно, для каждого а £ А имеем [Ga] = [Wa] С [V (ж)] для некоторого V (ж) £ ш, следовательно, [Ga] С U для некоторого U £ 7. Кроме того, так как X экстремально несвязно, то [Ga] открыто для каждого а £ А. Убедимся теперь в том, что покрытие ^ = {[Ga] : а £ А} локально конечно. Для этого воспользуемся очевидным замечанием (K. Y. Al-Zoubi [6,7]): система множеств s-локально конечна тогда и только тогда, когда система их полузамыканий s-локально конечна. Известно также, что в экстремально несвязном пространстве полузамыкание всякого полуоткрытого множества совпадает с его замыканием (см. T. Noiri [??]). Пусть х £ X. Система {scl (Wa) : а £ Л}является s-локально конечной, поэтому ^ является s-локально конечным покрытием ([Ga] = [Wa] = scl (Wa) для всех а). Возьмём такое полуоткрытое множество О (ж), что х £ О (ж) и О (ж) пересекается лишь с конечным числом элементов ц. Существует такое открытое множество О' (ж), что О' (ж) С О (ж) С [О' (ж)]. Так как пространство экстремально несвязно, то [О' (ж)] — открытая окрестность точки ж, а так как в экстремально несвязном пространстве непересекающиеся открытые множества имеют непересекающиеся замыкания, то [О' (ж)] П [Ga] = 0 тогда и только тогда, когда О (ж) П [Ga] = 0. Итак, ^ — локально конечное открытое покрытие, вписанное в исходное открытое покрытие 7. Паракомпактность пространства X доказана. □
Литература
1. Клюшин В. Л., Аль Баяти Джелал Хатем Хусейн. О некоторых обобщениях паракомпактности // Вестник РУДН, серия «Математика. Информатика. Физика». — 2013. — № 3. — С. 5-10.
2. Al Bajati Jalal Hatem Hussein., Klyushin V. L. On so-paracompact Spaces and sc-mappings. — 2013. — Pp. 73-74.
3. Cech E. Topological Spaces. — Prague, 1959.
4. Пономарев В. И. О паракомпактных и финально компактных пространствах // Доклады АН СССР. — 1961. — № 3. — С. 361-363.
5. Федорчук В. В. Об ш отображениях паракомпактных пространств // Вестник МГУ. — 1963. — № 2. — С. 20-24.
6. Al-Zoubi K. Y. S-expandable Spaces // Acta Math. Hungar. — 2004. — Vol. 102. — Pp. 203-212.
7. Al-Zoubi K. Y. S-paracompact Spaces // Acta Math. Hungar. — 2006. — Vol. 110 (1-2). — Pp. 165-174.
UDC 513.831
Paracompactness of Extremally Disconnected Spaces V. L. Klyushin, Al Bayati Jalal Hatem Hussein
Higher Mathematics Departement Peoples' Friendship University of Russia Miklukho-Maklaya str. 6, Moscow, Russia, 117198
In this paper we consider the w-mappings defined by semi-open sets, i.e. sets that are unions of open sets and subsets of their boundaries. This are quasicontinuous w-mappings. (The mapping / : X ^ Y is called quasi-continuous if for any open set G С Y the set /(G) is a semi-open set). Characterization of paracompactness based on continuous w-mappings is well known. Of interest is the question of to what extent it is possible to waive the requirement
of continuity of w-mappings in the characterization of paracompactness of topological spaces with those, or other additional properties. One of these properties is extreme disconnectness.
The main goal of our work is to characterize extremely disconnected paracompact space by w-mapping on the metric space, loosening the requirement of continuity. We have proved that extremely disconnected space X is paracompact if and only if for any open covering w of X there exists a quasi-continuous w-mapping on some metric space.
Key words and phrases: semi-open set, quasi-continuous mapping, w-mapping, s-locally finite system, paracompactness, extremely disconnected space.
References
1. V. L. Klyushin, J. H. H. A. Bayati, Extension of sc-mapping on duplicate of space, Bulletin of PFUR. Series "Mathematics. Information Sciences. Physics" (3) (2013) 5-10, in Russian.
2. Jalal Hatem Hussein. Al Bajati, V. L. Klyushin, On so-paracompact spaces and sc-mappings (2013) 73-74.
3. E. Cech, Topological Spaces, Prague, 1959.
4. V. I. Ponomarev, About paracompact and finally compact spaces, Doklady AN SSSR (3) (1961) 361-363, in Russian.
5. V. V. Fedorchuk, On u mappings of paracompact spaces, MSU Vestnik (2) (1963) 20-24, in Russian.
6. K. Y. Al-Zoubi, S-expandable spaces, Acta Math. Hungar 102 (2004) 203-212.
7. K. Y. Al-Zoubi, S-paracompact spaces, Acta Math. Hungar 110 (1-2) (2006) 165174.
