Непрерывность обратного в группах - arXiv
←
→
Транскрипция содержимого страницы
Если ваш браузер не отображает страницу правильно, пожалуйста, читайте содержимое страницы ниже
Непрерывность обратного в группах arXiv:2106.01803v1 [math.GN] 3 Jun 2021 Резниченко Е.А. УДК 512.546.82 515.122.29 515.124.2 Ключевые слова: Паратопологические группы, полутопологические груп- пы, непрерывность обратного, свойство Бера, ∆–беровские пространства Пусть G есть группа и τ топология на G. Группа с топологией (G, τ ) называется полутопологической если правые и левые сдвиги непрерыв- ны, иными словами, если умножение раздельно непрерывно. Группа (G, τ ) называется паратопологической если умножение непрерывно. Напомним, Группа (G, τ ) называется топологической, если умножение и взятие об- ратного элемента g 7→ g −1 непрерывно, т.е. если G паратопологическая группа с непрерывной операцией взятия обратного элемента. Начиная с работы Мангомери [1] 1936 года и на протяжении после- дующих лет в ряде работ [2, 3, 4, 5, 6, 7, 8] рассматривается проблема, которую можно сформулировать следующим образом: При каких услови- ях на топологию паратопологическая группа является топологической группой? То есть, когда в паратопологической группе операция взятия обратного элемента непрерывна. В этой работе получены дальнейшие продвижения в решении этой проблемы. Под пространством подразумеваем регулярное пространство. Пусть X множество, P ⊂ X ×X. Обозначим Px = {y ∈ X : (x, y) ∈ P } для x ∈ X. Если X пространство, P назовем полуоткрытым если каж- дое Px открыто и P полуокрестность диагонали, если P полуоткрыто и содержит диагональ ∆ = {(x, x) : x ∈ X} квадрата X × X. Определение 1. Пространство X назовем ∆–беровским, если для лю- бой полуокрестности диагонали P ⊂ X × X существует открытое непустое W ⊂ X, для которого W × W ⊂ P . Напомним, пространство X называется беровским если пересечение счетного числа плотных открытых в X множеств не пусто и плотно в X. 1
Для группы G и M ⊂ G обозначим I(M) = {(g, h) ∈ G × G : g −1 h ∈ M}. Очевидно, I(M)g = gM для g ∈ G. Поэтому, если G полутопологи- ческая группа, а V открытая окрестность единицы, то I(V ) полуокрест- ность диагонали. Теорема 1. ∆–беровская регулярная паратопологическая группа G яв- ляется топологической группой. Доказательство. Пусть U есть окрестность единицы e группы G. Для непрерывности операции взятия обратного в G достаточно найти окрест- ность P единицы e, для которой P ⊂ U −1 . Существует окрестность V единицы группы G, для которой V 2 ⊂ U. Покажем, что I(V ) ⊂ I(U). Пусть (g, h) ∈/ I(U), т.е. g −1h ∈ / U. Пусть O −1 2 есть такая окрестность единицы, что g hO ∩ V = ∅. Тогда hO ∩ gV V = ∅ и, следовательно, gV × hO ∩ I(V ) = ∅. Поэтому (g, h) ∈ / I(V ). Так как / I(U) мы брали произвольно, то I(V ) ⊂ I(U). (g, h) ∈ Так как G ∆–беровское пространство, то существует открытое непу- стое W ⊂ G, для которого W × W ⊂ I(V ) ⊂ I(U). Следовательно, P = W −1 W ⊂ U и, очевидно, является открытой окрестностью едини- цы. Так как P −1 = P , то P ⊂ U −1 . Прямая Зонгефрея, беровская паратопологическая не топологическая группа, не ∆–беровское пространство. Далее наше исследование носит чисто топологический характер, мы выясняем какие пространства являются ∆–беровскими. Наглядно и про- сто доказывается, что метризуемое беровское пространство X является ∆–беровским. Приведем схему доказательства. Пусть P полуокрестность диагонали X. Для ε > 0, положим Mε = {x ∈ X : Bε (x) ⊂ Px }, где Bε (x) ε–окрестность x. Из беровости X вытекает, что Mε где то плотно в X для некоторого ε > 0. Существует открытое непустое W ⊂ X, для которого диаметр W не превосходит ε/2 и W ∩Mε плотно в Mε . Тогда W ×W ⊂ P . Для обобщения этого факта будем использовать вариации топологи- ческой игры Банаха-Мазура [9, 10]. Пусть X есть топологическое пространство, на нем играют два иг- рока, α и β. Определение топологической игры можно разбить на две части. Сначала происходит игра, в соответствии с некими правилами игры. После игры, в соответствии с некими правилами определения по- бедителя, определяется победитель в игре. Если заданы некие правила 2
игры T и правила определения победителя W , то соответствующию игру будем обозначать через G(T, W ). Правила игра OD. Первый ход. Игрок β выбирает открытые непу- стые V0 , W0 ⊂ X, α выбирает открытое непустое U0 ⊂ U0 . n–ый ход. Игрок β выбирает открытые непустые Vn , Wn ⊂ Un−1 , α выбирает от- крытое непустое Un ⊂ Vn . Правила определения победителя в игре OD. Игрок α выиграл, если (b) (Wn )n не локально конечное семейство, то есть накапливается к некоторой точке; (k) существует компактное K ⊂ X, так что каждое Un пересекает K. Пусть G игра на топологическом пространстве X, p — игрок α или β. Пространство X называется p–благоприятным для игры G, если у игро- ка p есть выигрышная стратегия в игре G; X называется p–неблагоприятным, если X не является p–благоприятным для игры G, то есть для игро- ка p не существует выигрышной стратегии в игре G. Стратегия — это правило (отображение из множества частичных игр), которое по инфор- мации о предыдущих ходах обеих игроков определяет следующий ход игрока. Также будем называть X p–G–(не)благоприятным, если X p– (не)благоприятно для игры G. Теорема 2. Если регулярное пространство X β–неблагоприятно для игры G(OD, b), то X ∆–беровское пространство. Доказательство. Предположим противное, то есть, что существует по- луокрестность диагонали P , так что W ×W \P 6= ∅ для любого непустого открытого W ⊂ X. Определим стратегию для β в игре Gci . Обозначим V−1 = X. На n–ом шаге β выбирает открытые непустые Vn , Wn ⊂ Un таким образом, что Vn × Wn ∩ P = ∅ и Vn ⊂ Un . Проверим, что определенная стратегия выигрышная для β, то есть для получившейся игры (Vn , Wn , Un )n не выполняется правило выигрыша b для игрока T α, то есть семейство (Wn )n локально конечно. Пусть x ∈ X. Если x ∈ / n Vn , то x ∈ / Vk для некоторого k и окрестность X \ Vk+1 точки xTпересекается с конечным количеством элементов (Wn )n . Если же x ∈ n Vn , то окрестность Px точки x не пересекается ни с одним Wn , так как x ∈ Vn и Vn × Wn ∩ P = ∅. Мы доказали, что X β–благоприятно для G(OD, b), противоречие. 3
В псевдокомпатном пространстве любая стратегия для игрока α вы- игрышная в игре G(OD, b), так что верно Предложение 1. Любо регулярное псевдокомпатное пространство α– G(OD, b)–благоприятно. Пусть Y ⊂ X. Назовем Y C–плотным, если для любого счетного семейства γ открытых подмножеств X, семейство γ локально конечно если и только если семейство {U ∩ Y : U ∈ γ} локально конечно в Y . Для тихоновского X, Y C–плотно в X если и только если Y плотно в X и C–вложено в X. Предложение 2. Если регулярное пространство X β–G(OD, b)–неблагоприятно, Y ⊂ X, а) Y плотное Gδ –подмножество X б) или Y C–плотно в X в) или Y открыто в X то Y β–G(OD, b)–неблагоприятно. Доказательство. Для открытого в Y множества T U ⊂ Y обозначим E(U) = X \ Y \ U . Для случая а), пусть Y = n Gn , где Gn открытые плотные подмножества X. Предположим противное, то есть, что Y β–благоприятно для игры G(OD, b). Пусть t выигрышная стратегия для игрока β. Для случая в) стратегия t также является выигрышной стратегией для β в G(OD, b) на X, так что в дальнейшем будем рассматривать случаи а) и б). Определим стратегию s для игрока β в игре G(OD, b) на пространстве X. Построим по индукции последовательности открытых множеств (Vn , Wn , Un )n пространства X и (Vn′ , Wn′ , Un′ )n пространства Y . На n–ом ходу игрок β ′ выбирает Un−1 ⊂ Y таким образом, что ′ а) Un−1 ⊂ Un−1 ∩ Gn ′ б) Un−1 ⊂ Un−1 Положим (Vn′ , Wn′ ) = t(V0′ , W0′ , U0′ , . . . , Vn−1 ′ ′ , Wn−1 ′ , Un−1 ), s(V0 , W0 , U0 , . . . , Vn−1, Wn−1 , Un−1 ) = (Vn , Wn ) = (E(Vn′ ), E(Wn′ )). 4
Игрок α выбирает Un ⊂ Vn . Игра (V0′ , W0′ , U0′ , . . . ) выигрышная для β, поэтому множество P пре- дельных в X точек семейства (Wn′ )n не пересекается с Y . В случае а), по построению, P ⊂ Y , поэтому P пусто. В случае b), P пусто, так как Y C–плотно в X. Так как Wn′ = Wn ∩ Y для каждого n, то (Wn )n локально конечно. Следовательно, s выигрышная стратегия для β и X β–благоприятно. Противоречие. Пусть семейство F подмножеств X. Назовем F ограниченным, если для любого локально конечного семейства γ существует F ∈ F, для ко- торого {M ∈ γ : M ∩ F 6= ∅} конечно. Для K ⊂ X, будем говорить, что F сходится к K, если для любой окрестности U ⊃ K множество {F ∈ F : F 6⊂ U} конечно. Правила игра BM. Первый ход. Игрок β выбирает открытое непу- стое V0 ⊂ X, α выбирает открытое непустое U0 ⊂ U0 . n–ый ход. Игрок β выбирает открытое непустое Vn ⊂ Un−1 , α выбирает открытое непустое Un ⊂ Un . Правила определения победителя в игре BM. Игрок α выиграл, если T (i) n Un 6= ∅; (b) (Un )n ограниченное семейство; (k) (Un )n сходится к некоторому компакту K ⊂ X; Игра G(BM, i) — это игра Банаха-Мазура. С помощью игры Банаха- Мазура Сан-Ремон [11] получил полезную характеристику беровских про- странств: пространство X является беровским если и только если X β– неблагоприятно для игры G(BM, i). Если w одно из определенных правил выигрыша для игры OD или BM то через T w ∗ будем обозначать следующие правило выигрыша игрока α: либо n Un = ∅, либо выполняется w. Если пространство не беровское, то оно β–благоприятное для G(R, w ∗), где R либо OD, либо BM. Предложение 3. Если беровское пространство X α–благоприятно для игры G(OD, b∗), то X β–неблагоприятно для G(OD, b). Доказательство. В силу теоремы Сан-Ремона [SR], достаточно пока- зать, что если X β–благоприятно для G(OD, b) и α–благоприятно для 5
G(OD, b∗), то X β–благоприятно для G(BM, i). Пусть t1 выигрышная стратегия для β в игре G(OD, b) и t2 выигрышная стратегия для α в игре G(OD, b∗). Определим выигрышную стратегию t для β в игре G(BM, i). Первый шаг. Пусть (V0′ , W0 ) = t1 (∅), V0 = t2 (V0′ , W0 ). Положим t(∅) = V0 . Пусть α выбирает U0 ⊂ V0 . n–ый шаг. Пусть (Vn′ , Wn ) = t1 (V0′ , W0 , U0 , . . . , Vn−1 ′ , Wn−1 , Un−1 ), Vn = ′ ′ t2 (V0 , W0 , V0 , . . . , Vn , Wn ). Положим t(V0 , U0 , . . . , Vn−1, Un−1 ) = Vn . Пусть α выбирает Un ⊂ Vn . Проверим, T что t выигрышная стратегия для β в игре G(BM, i), то есть n Un = ∅. В экземпляре (V0′ , W0 , V0 , . . . , Vn′ , Wn , Vn , . . . ) игры OD выиграл β по правилам b, следовательно, β выиграл по правилам b и в игре ξ = (V0′ , W0 , U0 , . . . , Vn′ , Wn , Un , . . . ). СTдругой стороны, α выиграл в ξ по правилам b∗ . Из этого вытекает, что n Un = ∅. Предложение 4. Пусть X пространство, G1 и G2 одна из следующих пар игр: G(BM, k ∗ ) и G(BM, b∗ ); G(OD, k ∗) и G(OD, b∗ ); G(BM, k ∗ ) и G(OD, k ∗); G(BM, b∗ ) и G(OD, b∗). Тогда если X α–благоприятна для G1 , то X α–благоприятна для G2 . Доказательство. Для первых двух пар, выигрышная стратегия для α в игре G1 является выигрышной стратегией для α в G2 . В следующих двух парах, игрок α в G2 использует стратегию α в G1 , игнорируя Wn . Лемма 1. Пусть X пространство, S (γn )n последовательность семейств открытых множеств, γn плотно в X для каждого n. Если для каж- дой последовательности (Wn )n , Wn ∈ γn с непустым пересечением а) (Wn )n ограниченное семейство, то X α–благоприятно для игры G(BM, b∗ ); б) (Wn )n сходится к некоторому компакту, то X α–благоприятно для игры G(BM, k ∗ ). Доказательство. Определим для α выигрышную стратегию. На n–ом шаге будем выбирать Un таким образом, что Un ⊂ Vn ∩Wn для некоторого Wn ∈ γn . Пространство X называется p–пространством если и только если существует последовательность (γn )n открытых покрытий X, таких что если последовательность (Wn )n , Wn ∈ γn имеет непустое пересечение, то (Wn )n сходится к некоторому компакту. Из леммы 1б вытекает, следую- щие предложение. 6
Предложение 5. Любое p–пространство α–благоприятно для игры G(BM, k ∗ ) Предложение 6. Σ–пространство α–благоприятно для игры G(BM, b∗ ). Сильно Σ–пространство α–благоприятно для игры G(BM, k ∗ ). Доказательство. Пусть X (сильно) Σ–пространство. Тогда существу- ет σ–локально конечное семейство F замкнутых множеств и покрытие K, состоящие из замкнутых счетнокомпактных (компактных) множеств, так что для каждого K ∈ K и окрестности S U ⊃ K существует F ∈ F, для которого K ⊂ F ⊂ U. Пусть F = n Fn , где Fn локально конечно и Fn ⊂ Fn+1 .Пусть γn есть семейство открытых U ⊂ X, таких что для каждого F ∈ Fn , если U ∩ F 6= ∅, то U ⊂ FS. Так как Fn локально конеч- но и состоит из замкнутых множеств, то γn плотно в X. Тогда любая последовательность (Wn )n , Wn ∈ γn , имеющая непустое пересечение G, сходится к любому K ∈ K, пересекающему G. Если K счетнокомпактно, то (Wn )n ограничено, а если K компактно, то (Wn )n сходится к компакту. Из леммы 1 вытекает утверждение теоремы. Предложение 7. Пусть {Xa : a ∈ A} семейство Q α–G(OD, k ∗)–благоприятных пространств. Тогда произведение X = a∈A Xa α–G(OD, k ∗)–благоприятно. Доказательство. Пусть ta выигрышная стратегия для игрока α в игре G(OD, k ∗) на пространстве Xa . Построим выигрышную стратегию t для α на X. По индукции будем строить конечные попарно непересекающи- еся An ⊂ A и открытые непустые Vn , Wn , Un ⊂ X, Vna , Wna , Una ⊂ Xa для a ∈ An таким образом, что (1) Vn+1 , Wn+1 ⊂ Un ⊂ Vn ; Q Q Q S a (2) Un = Pn × i=0,...,n a∈Ai Un−i , где Pn = a∈A\A∗n и A∗n = i=0,...,n Ai ; Q Q (3) Vn∗ ⊂QVn и WQ ∗ ∗ n ⊂ Wn , где Vn = Pn × i=0,...,n a ∗ a∈Ai Vn−i и Wn = a Pn × i=0,...,n a∈Ai Wn−i ; a a a a a a a a a a (4) Vn+1 ,W S n+1 ⊂ Un ⊂ Vn и Un = ta (V0 , W0 , U0 , . . . , Vn , Wn ) для a ∈ A∗ = n An . Положим A−1 = ∅ и U−1 = X. На n–ом шаге игрок β выбирает от- крытые непустые Vn , Wn ⊂ Un−1 . Существует конечное An ⊂ A \ A∗n−1 a a и открытые непустые Vn−i , Wn−i ⊂ Xa для a ∈ Ai и i = 0, . . . , n, так что выполняется (3). Положим Un−i = ta (V0a , W0a , U0a , . . . , Vn−i a a a , Wn−i ) для 7
a ∈ Ai и i = 0, . . . , n и определим Un в соответствии с (2). Положим t(V0 , W0 , UT0 , . . . , Vn , Wn ) = Un . T Если Una = ∅ для некоторого a ∈ A∗ , то Un = ∅ и игрок α выиграл. В противном случае, из (4) вытекает, что для a ∈ A∗ существует Q компакт K a ⊂ Xa , так что K a ∩ Wna 6= ∅ для всех n. Пусть p ∈ a∈A\A∗ Q и K = {p} × a∈A∗ K a . Тогда K ∩ Wn 6= ∅ для всех n. Мы доказали, что стратегия t выигрышная и X α–благоприятно. Предложение 8. Пусть X α–G(OD, k ∗)–благоприятное пространство и Y α–G(OD, k ∗)–благоприятное пространство. Тогда X × Y Пусть {Xa : a ∈ A} семейство α–G(OD, k ∗)–благоприятных пространств. То- гда произведение X × Y α–G(OD, b∗)–благоприятно. Доказательство. Пусть p выигрышная стратегия для α в G(OD, k ∗) на X и q выигрышная стратегия для α в G(OD, b∗) на Y . Определим страте- гию t для α в игре G(OD, b∗ ) на X ×Y . Положим U−1 X = X и U−1 Y = Y . На X n–ом шаге игрок β выбирает открытые непустые Vn , Wn ⊂ Un−1 = Un−1 × Y Un−1 . Существуют отрытые непустые VnX , WnX ⊂ Un−1 X и VnY , WnY ⊂ Un−1 Y , X Y X Y X X X так что Vn × Vn ⊂ Vn и Wn × Wn ⊂ Wn . Положим Un = p(V0 , . . . , Vn ), UnY = p(V0Y , . . . , VnY ) и t(V0 , . . . , Vn ) = Un = UnX × UnYT. T Проверим, что t выигрышная стратегия. Если n UnX или n UnY пу- сто, то α выиграл. В другом случае, существует компакт K ⊂ X, кото- рый пересекает все WnX и (WnY )n накапливается к некоторой точке y ∈ Y . Тогда (Wn )n накапливается к (x, y) для некоторого x ∈ K.Предположим, что такой точки y ∈ K нет. Тогда существует окрестность O точки y, для которой K × O пересекается с конечным числом элементов (Wn )n и O пе- ресекается с конечным числом элементов (WnY )n , противоречие. Аналогично предложению 2 доказывается следующие два предложе- ния. Предложение 9. Если регулярное пространство X α–G(OD, b∗)–благоприятно, Y ⊂ X, Y плотное Gδ –подмножество X или Y C–плотно в X или Y открыто в X то Y α–G(OD, b∗)–благоприятно. Предложение 10. Если регулярное пространство X α–G(OD, k ∗)–благоприятно, Y ⊂ X, Y плотное Gδ –подмножество X или Y открыто в X, то Y α–G(OD, k ∗)–благоприятно. Из предложений 1, 3, 4, 5, 6, 8, 7, 9 и 10 вытекает следующая теорема. 8
Теорема 3. Пусть Pb класс всех регулярных α–G(OD, b∗)–благоприятных пространств и Pk класс всех регулярных α–G(OD, k ∗)–благоприятных пространств. Тогда а) класс Pk содержит сильно Σ–пространства и p–пространства; б) класс Pk замкнут относительно произведений, перехода к откры- тым подпространствам, плотным Gδ –подпространствам; в) Pk ⊂ Pb ; г) класс Pb содержит Σ–пространства и псевдокомпактные простран- ства; д) класс Pb замкнут относительно перехода к открытым подпро- странствам, плотным Gδ –подпространствам, C–плотным под- пространствам; e) если X ∈ Pk и Y ∈ Pb , то X × Y ∈ Pb . Если X ∈ Pb является беровским пространством, то X β–G(OD, b)– неблагоприятное, ∆–беровское пространство. Если X гомеомрфно паратопологической группе G, то G является топологической группой. Список литературы [1] D. Montgomery, Continuity in topological groups, Bull. Amer. Math. Soc. 42 (1936) 879-882. [2] R. Ellis, A note on the continuity of the inverse, Proc. Amer. Math. Soc. 8 (1957) 372-373. [3] W. Zelazko, A theorem on B0 division algebras, Bull. Acad. Pol. Sci. 8 (1960), 373-375. [4] N. Brand, Another note on the continuity of the inverse, Arch. Math. 39 (1982), 241-245. [5] H. Pfister, Continuity of the inverse, Proc. Amer. Math. Soc. 95 (1985), 312-314. 9
[6] E.A. Reznichenko, Extensions of functions defined on products of pseudocompact spaces and continuity of the inverse in pseudocompact groups, Topology Appl. 59 (1994) 233-244. [7] A. Bouziad, Every Čech-analytic Baire semitopological group is a topological group, Proc. Amer. math. Soc. 24:3 (1998) 953-959. [8] A.V. Arhangel’skii and E.A. Reznichenko, Paratopological and semitopological groups versus topological groups, Topology Appl. 151, (2005) 107-119. [9] G. Choquet, Lectures on Analysis, Vol. I, W. A. Benjamin Inc, New York, (1969). [10] R. Telgarsky, Topological games: On the 50th anniversary of the Banach- Mazur game, Rocky Mt. J. Math. 17, (1987) 227-276 [11] J. Saint Raymond, Jeux topologiques et espaces de Namioka, Proc. Amer. Math. Soc. 87 (1983), 499–504. 10
Вы также можете почитать