Существование неоднородных подпространств без изолированных точек в кинематических пространствах Текст научной статьи по специальности «Математика»

СЕКЦИЯ «ГЕОМЕТРИЯ И ТОПОЛОГИЯ»

СУЩЕСТВОВАНИЕ НЕОДНОРОДНЫХ ПОДПРОСТРАНСТВ БЕЗ ИЗОЛИРОВАННЫХ ТОЧЕК В КИНЕМАТИЧЕСКИХ ПРОСТРАНСТВАХ

Жораев Адахамжан Хамитжанович

канд. физ.-мат. наук, доц. Кыргызско-Узбекского университета,

Кыргызская Республика, г. Ош E-mail: _ [email protected]

EXISTENCE OF NON-HOMOGENEOUS SUBSPACES WITHOUT ISOLATED POINTS IN KINEMATICAL SPACES

Adahumjan Joraev

candidate of Science, assistant professor of Kyrgyz-Uzbek University,

Kyrgyzstan, Osh

АННОТАЦИЯ

Приводится определение кинематического пространства. Доказано, что всякое кинематическое пространство имеет локально неоднородное подпространство без изолированных точек.

ABSTRACT

The definition of a kinematical space is cited. It is proven that every kinematical space contains a locally non-homogeneous subspace without isolated points.

Ключевые слова: кинематическое пространство; топологическое пространство; неоднородное пространство.

Keywords: kinematical space; topological space; non-homogeneous space.

Приведем

ОПРЕДЕЛЕНИЕ 1. [1]. Кинематическим пространством

называется множество G точек и множество K маршрутов. Каждый маршрут M состоит из числа Tм >0 (время маршрута) и функции mм■' [0, Тм] — G (траектория маршрута). При этом:

(К1) Для любых различных 20 и 21 существует такое МеК, что тм(0) = 20 и тМ(ТМ) = 21, и множество значений Тм для таких М ограничено снизу положительным числом (т. е. передвижение между любыми точками возможно, но сколь угодно быстрое передвижение невозможно).

(К2) Если м= {Тм, тм() е К, то {Тм, тм(Тм - е К (т.е. возможно движение в обратном направлении).

(КЗ) Если м= {Тм, тм() е К и Т*е (0, Тм), то пара: Т* и функция т*ф=тм(^ (0 <t < Т*) также принадлежит К (т.е. можно остановиться в любой момент).

(К4) Если {Т1, т1(()} е К, {Т2, т2@)} е К и т1(Т0=т2(0), то пара: число Т* = Т1 + Т2 и функция т*ф = т1(I) ( 0 <t < Т1); т*(0 = т2(—Т1) ( Т1 <t <Т1+Т2) также принадлежит К (транзитивность).

Для любой функции - траектории маршрута тм: [0, Тм] — G множество ее значений будем называть линией.

Известно понятие однородного пространства - множества X вместе с заданным на нем транзитивным действием некоторой группы G: задана такая группа G автоморфизмов g:X—X, что для любых двух элементов Х1, Х2е X существует такое gl2е G, что gl2(xl)= Х2. В этом случае любые два элемента (вместе с положением в пространстве в целом) неразличимы.

Различные обобщения этого понятия рассмотрены в [5]. Все они связаны с различными преобразованиями пространства в целом. Поэтому в [2] предложены более общие понятия.

ОПРЕДЕЛЕНИЕ 1. Если две точки топологического пространства имеют гомеоморфные окрестности, то они называются локально однородными.

Соответственно, в [4] предложено

ОПРЕДЕЛЕНИЕ 2. Если хотя бы две точки хеХ, Х2еХ не являются локально однородными, то пространство X в целом называется локально неоднородным.

Достаточные условия локальной неоднородности получены в [3] и [4] на языке кинематических пространств.

ЛЕММА 1. Для любой функции - траектории маршрута тм: [0, Тм] — G такой, что тм(0) # тм(Тм), существует такая функция, также

^ СибАК

www.sibac.info

траектория маршрута т*: [0, Т*] — О, что для некоторых 0<11<12<Тм выполняются условия 1) т*ф = тм^ + (Кt <Ь); 2) т*(0)= тм(0); т*(Т*)= тм(Тм); 3) т*ф *тм(0); т*ф ^тм(Тм) (Ь< t <

Кинематическое пространство является линейно связным (без изолированных точек) метрическим топологическим пространством с метрикой

рк (г0, 21) = т/ {Тм :Ые К, тм(0) = 10 и тм(Тм) = 21}.

Условия существования локально неоднородных кинематических пространств были найдены в [4; 6].

Пусть Х - линейно связное множество на плоскости К2, маршруты - непрерывные отображения т отрезков в Х такие, что

Цт(х1) - т(х2)\\< || Х1 -Х2\\. (1)

Тогда Х - кинематическое пространство.

ТЕОРЕМА 1. [4]. Если 1) внутренность множества Х не пуста; 2) в кинематическом пространстве Х существуют такие точки А, В, С, Б, и такая линия [АС], что любая линия [ВБ] имеет хотя бы одну общую точку с этой линией, то Х не является открытым множеством в К2. Таким образом, Х является локально неоднородным кинематическим пространством.

В [6] этот результат обобщен на многомерный случай.

Поставим более общий вопрос: какие локально однородные топологические пространства имеют локально неоднородные подпространства?

Для этого понадобятся следующие результаты и ранее введенные нами определения [3].

ЛЕММА 2. В регулярном топологическом пространстве множество, получающееся исключением из связного замкнутого множества конечного количества точек, не может быть замкнутым.

ДОКАЗАТЕЛЬСТВО. Пусть У - связное замкнутое множество, У'={х1,., х„}сУ. Предположим, что У0 = У \ У' - замкнутое множество. По определению регулярного топологического пространства, существуют такие открытые окрестности У1, ...,¥„ множества У0, и и1, ...,и„ точек х1,..., х„ соответственно, что У1п и1=0..., У„п и„=0. Положим У0 = У1п ... пУ„, и0 = и1п ... пП„.

Тогда имеем: У0 является окрестностью множества У0, и0 является ок-рестностью множества У', У0 п и0=0 . Следовательно,

У = У0 и У' - несвязное множество, что противоречиво. Лемма доказана.

В связи с доказанным результатом вводится

ОПРЕДЕЛЕНИЕ 4. Множество, получающееся исключением из связного замкнутого множества конечного количества точек, будем называть конечно-почти-связно-замкнутым. Множество, получающееся исключением из связного замкнутого множества п точек, будем называть п-почти-связно-замкнутым.

ПРИМЕЧАНИЕ. Такое множество может быть, как связным, так и несвязным.

ЛЕММА 3. По заданному п-почти-связно-замкнутому множеству У0 исключенные точки определяются однозначно: его объединение с конечным множеством К таким, что Кп У0 =0, будет связным и замкнутым тогда и только тогда, когда множество К совпадает с множеством исключенных точек.

ДОКАЗАТЕЛЬСТВО. В обозначениях доказательства Леммы 1 обозначим У"= КпУ', 2 = К\ У', тогда У0 иК = (Уо и У") и 2. По построению, 2 пУ'=0, по условию 2п У0 =0. Отсюда 2 пУ=0.

Если 2 Ф0, то, как и в доказательстве Леммы 1, получим, что существуют такие открытые окрестности V множества У (и тем самым множества У0 и У") и и множества 2, что Vп и=0. то есть множество У0 иК несвязно, что противоречиво. Таким образом, доказано, что 2 =0.

Если У"Ф У', то Уо и У"= (Уо и У')\(У'\У")= У\(У'\У") - не связно по Лемме 1, что противоречиво.

Из 2 =0и У"= У' следует, что К=У'. Лемма доказана.

ТЕОРЕМА 2. Всякое не-дискретное отделимое топологическое пространство имеет локально неоднородное подпространство.

ДОКАЗАТЕЛЬСТВО. По условию, существует точка Х1 е Х, любая окрестность которой непуста. Выберем любую другую точку Х2е Х. Существуют такие окрестности V1 точки х1 и V2 точки Х2, что Vlп ^2=0.

Тогда VI и{ Х2} сХ - локально неоднородное подпространство: в нем точки Х1 и Х2 имеют негомеоморфные системы окрестностей. Теорема доказана.

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

ТЕОРЕМА 3. Всякое метрическое пространство без изолированных точек имеет локально неоднородное подпространство без изолированных точек.

^ СибАК

www.sibac.info

ДОКАЗАТЕЛЬСТВО. Выберем две точки Х1 и Х2еХ. Существуют такие окрестности V1 точки х1 и V2 точки х2 , что V1п V2=0.

Выберем любую точку у1е V1 \ { х1 } и исключим из V2 все такие точки у, что р(у, Х2)= р(У1, Х1).

Далее, найдем любую точку 2е V2 \ { Х2 } такую, что р( 2, Х2)< р( у1, Х1) /2 и точку у2е VI \ { Х1 } такую, что р( у2, Х1)< р( 2, Х2), и исключим из V2 все такие точки у, что

р( у, Х2)= р(у2, Х1).

Продолжим этот процесс. Если уже определены у1, у2,..., уп, то найдем любую точку 2е V2 \ { Х2 } такую, что р( 2, Х2)< р( уп, Х1) /2, и любую точку уп+1е VI \ { Х1 } такую, что р( уп+1, Х1)< р( 2, Х2), и исключим из V2 все такие точки у, что р(у, х2) = р(уп+1, х1), и т. д.

В получившемся подпространстве пространства Х

• все точки не изолированы, поскольку все точки, обозначенные 2, сколь угодно близкие к х2, не исключены;

• все окрестности точки Х2 не изометричны никаким окрестностям точки Х1, поскольку они не содержат расстояний - чисел из множества {р(уп, Х1): п=1,2, ...}.

Следовательно, точки Х2 и Х1 локально неоднородны. Теорема доказана.

ТЕОРЕМА 4. Всякое кинематическое пространство, рассматриваемое как топологическое, имеет локально неоднородное подпространство без изолированных точек.

ДОКАЗАТЕЛЬСТВО. Выберем две точки Х1 и Х2е Х. Пусть Ь -соединяющая их линия, удовлетворяющая условиям Леммы 1.

Существуют такие окрестности V1 точки х1 и V2 точки х2, что Vlп ^2=0.

Возьмем в качестве Ь11 любую связную замкнутую часть линии Ь, находящуюся в V1\ { х1 }; найдем такую окрестность V12 точки х1, что V12п Ь11 =0; возьмем в качестве Ь12 любую связную замкнутую часть линии Ь, находящуюся в V12\ {х1} и т. д.

Таким образом, получаем последовательность связных замкнутых множеств {Ь1п:п=1,2, ...}, сходящуюся к точке х1.

Аналогично построим последовательность связных замкнутых множеств {Ь2п:п=1,2, ...}, сходящуюся к точке х2.

Используя Определение 4, исключим из каждого множества Ькп (к+2п) точек, к=1,2; п=1,2,3, ..., обозначим полученные множества через Бкп.

Рассмотрим следующее подпространство пространства X;

{ xi }U(DHUD12UD13U.^)U{ Х2 }U(D21UD22UD23U...).

В силу Леммы 3, никакое множество D1n не гомеоморфно

никакому множеству D2m, m, n = 1,2,3 ... Следовательно, никакая

окрестность точки x1 не гомеоморфна никакой окрестности точки x2.

Таким образом, точки Х2 и xi локально неоднородны. Теорема доказана.

Список литературы:

1. Борубаев А.А., Панков П.С. Компьютерное представление кинематических топологических пространств. - Бишкек: Кыргызский государственный национальный университет, 1999. - 131 с.

2. Борубаев А.А., Панков П.С. Распознаваемость размеченных топологических пространств // Вестник Кыргызского национального университета. -2007. - Серия 3, выпуск 4. - С. 5-8.

3. Жораев А.Х. Кинематическое построение и исследование топологических пространств. - Автореферат дисс. канд. физико-матем. наук. - Бишкек, 2012. - 16 с.

4. Жораев А.Х. Условия существования неоднородных кинематических пространств // Вестник Международного Университета Кыргызстана. -№ 1(27). - 2015. - С. 45-47.

5. Hart K.P., Nagata J.-I., Vaughan J.E. Encyclopedia of General Topology. Elsevier Science Ltd, 2004. - h 4 Homogeneous Spaces. - P. 376-378.

6. Zhoraev A. Conditions of existence of multidimensional locally non-homogeneous kinematical spaces // Abstracts of the Issyk-Kul International Mathematical Forum. - Bishkek: Kyrgyz Mathematical Society, 2015. - P. 22.

^ СибАК

www.sibac.info