Вы находитесь на странице: 1из 9

Math-Net.

Ru
Общероссийский математический портал

А. А. Марков, О существовании периодических


связных топологических групп, Изв. АН СССР.
Сер. матем., 1944, том 8, выпуск 5, 225–232

Использование Общероссийского математического портала Math-


Net.Ru подразумевает, что вы прочитали и согласны с пользователь-
ским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 12:01:28
И З В Е С Т И Я А К А Д Е М И И Н А У К СССР <
BULLETIN РЕ L'ACADEMIE BES SCIENCES BE L'URSS

Серия математическая 8 (1944), 2 2 5 - 2 3 2 • 8erie mathemaikjue

А в А. МАРКОВ

О СУЩЕСТВОВАНИИ ПЕРИОДИЧЕСКИХ СВЯЗНЫХ ТОПОЛОГИЧЕ­


СКИХ ГРУПП

(Представлено академиком If. М . В и н о г р а д о в ы м )

Р а б о т а с о д е р ж и т о б щ и й метод п о с т р о е н и я коммутативных' связных


т о п о л о г и ч е с к и х г р у п п , все. элементы к о т о р ы х имеют в т о р о й , п о р я д о к .
• 1. В нашей р а б о т е « О с в о б о д н ы х т о п о л о г и ч е с к и х г р у п п а х » * приведен
пример п е р и о д и ч е с к о й г р у п п ы п р о и з в о л ь н о й м о щ н о с т и , не д о п у с к а ю щ е й
связной топологизации [ С . Т . Г., § 9 ] . Р а с с м а т р и в а е м а я в этом примере
группа представляется как сумма д в у х не п е р е с е к а ю щ и х с я непустых
множеств, оказывающихся замкнутыми при любой топологизации группы,
откуда и следует отсутствие связной топологизации.
В с в я з и с этим п р и м е р о м в о з н и к а е т , о д н а к о , в о п р о с : м о ж е т л и п е р и о д и ­
ческая г р у п п а в о о б щ е д о п у с к а т ь с в я з н у ю т о п о л о г и з а ц и ю , иначе г о в о р я ,
существуют ли периодические связные топологические группы? В настоя­
щей с т а т ь е дается у т в е р д и т е л ь н ы й о т в е т на э т о т в о п р о с .
2о П у с т ь X — п р о и з в о л ь н о е м н о ж е с т в о . Совокупность е г о конечных
подмножеств образует группу, если принять за операцию умножения
с л о ж е н и е m o d 2 , иначе г о в о р я , е с л и положить

zt = (z\jt)\{zf)t)

для л ю б ы х д в у х к о н е ч н ы х п о д м н о ж е с т в z и t множества X . Мы будем


обозначать эту г р у п п у буквой G.
Очевидно, ч т о G п р е д с т а в л я е т с о б о ю т а к у ю абелеву г р у п п у , ч т о ква- .
драт л ю б о г о ее э л е м е н т а равен единичному элементу. Р о л ь единичного
* элемента и г р а е т п у с т о е м н о ж е с т в о .
3. П о д м н о ж е с т в а м н о ж е с т в а X, с о д е р ж а щ и е не б о л е е д в у х э л е м е н т о в ,
мы б у д е м н а з ы в а т ь простейшими м н о ж е с т в а ми.

* Печатается в « И з в . А к . Н а у к СССР, с е р . м а т . » . В дальнейшем мы будем э т у


р а б о т у именовать С . Т . Г . #
226 А. А. МАРКОВ

Очевидно, что каждый элемент группы G может быть представлен


как произведение конечной системы простейших множеств.
П у с т ь т—целое неотрицательное ч и с л о , {z }r=i t — система п р о с т е й ш и х
множеств. Будем говорить, что система {js }"Li к а н о н и ч е с к а я ,
z если
ф А (I = 1, . . . , т) и z f } Z ; = А (i ,ф / ;
t яг).
О ч е в и д н о , что к а ж д ы й элемент группы G может быть представлен
.как п р о и з в е д е н и е к а н о н и ч е с к о й с и с т е м ы п р о с т е й ш и х м н о ж е с т в » Прини­
мая, далее, во внимание, что произведение любой конечной системы
попарно не п е р е с е к а ю щ и х с я элементов г р у п п ы G с в о д и т с я к и х теоре­
тико-множественному суммированию, убеждаемся в. с п р а в е д л и в о с т и с л е ­
дующей леммы,
Л Е М М А 1. Какое бы ни был элемент z группы G, существует лишь
конечное число канонических систем .{sJJU простейших множеств, та­
ких, что
Т

-II-V (1)

4. П у с т ь / — вещественная функция в множестве X. Определим в


• с о в о к у п н о с т и п р о с т е й ш и х м н о ж е с т в ф у н к ц и ю iz с л е д у ю щ и м о б р а з о м :
f

^ 0 п р и z = A; -
<K z = {
f !/хj при jz = ( x ) , г д е XgX; , (2)
• (J/s • fy\ ? р й z = (x гу) г д е х € Х , y£X
$ 9 f х + г/.

Определенную таким о б р а з о м ф у н к ц и ю тсу б у д е м н а з ы в а т ь /-ценой.


Е е вначение тс^г д л я аргумента z будем называть /-ценой множе-
с т в a z. / - ц е н а е с т ь вещественная н е о т р и ц а т е л ь н а я функция, определен­
ная в с о в о к у п н о с т и п р о с т е й ш и х м н о ж е с т в ,
Л Е М М А 2 . 2?с./щ z и t—такие простейшие множества, что zf\ t Ф А ?

7?г<? е с т ь простейшее множество и itf (zt) < : .тсуя + тс^.


Это с л е д у е т из определения п р о с т е й ш е г о м н о ж е с т в а , равенства (2) и
неравенств

|?-С|<|е-чЦ-|7,-С|, |ч|< +

справедливых п р и л ю б ы х в е щ е с т в е н н ы х <•*, т) и Со
• Из л е м м ы 2 следует
Л Е М М А 3. Если система {^-}"Li простейших
r множеств не канони­
ческая, то существует такая система {£/}/=! простейших множеств,
что при п < т

П Т

3)
П«/=П*<. (
• /=1 г=1
ПЕРИОДИЧЕСКИЕ СВЯЗНЫЕ ТОПОЛОГИЧЕСКИЕ ГРУППЫ 227

2 *л< 2 (4)
=1 г=1
Из леммы 3 следует
ЛЕММА 4. Какова бы ни была"' система {zJ"Li простейших мно­
жеству существует каноническая система 1 простейших множеств,,
такая, что имеют место соотношения (3) и ( 4 ) .
б . П у с т ь z £G. С о г л а с н о ' лемме 1, и м е е т с я л и ш ь конечное число ка­
нонических систем { z J " L i простейших множеств, у д о в л е т в о р я ю щ и х у с л о ­
вию ( 1 ) . Каждой такой системе соответствует число

т
(5)
2

Среди так п о л у ч а е м ы х чисел имеется н а и м е н ь ш е е , Е г о м ы б у д е м назы­


вать- / - н о р м о й элемента z и обозначать символом N z.
f

Из леммы 4 вытекает ' •


Л Е М М А 5. f-норма элемента z группы G есть наименьшее значение
выражения ( 5 ) , когда система {zJfLi пробегает совокупность конечных
систем простейших множеств, удовлетворяющих условию ( 1 ) .
Л Е М М А 6. Если z = (x) (у), где ж £ Х , ?/6 X , mo N z = \fx — f fy\.
Доказательство. 'Если х ф у } т о з = (#, у) и с у щ е с т в у ю т лишь
три канонические с и с т е м ы { . ^ } " L i , у д о в л е т в о р я ю щ и е у с л о в и ю ( 1 ) , а имен­
но системы {(х), (у)}, {(у), (х)} и {{х, у)}, Для первых двух величина
( 5 ) равна i fx | + | fy | , а для последней она равна \ fx — fy\. Так как
\fx — fy\ + т о в этом случае N z = \fx — f fy\.
Е с л и х = у, т о з = Л и единственной к а н о н и ч е с к о й с и с т е м о й {^/}i=i ?

удовлетворяющей условию (1), является пустая система' А , для которой


величина ( 5 ) равна н у л ю . П о э т о м у N z = О , а f так как и | /ж — fy \ = О,,
7
то и в э т о м с л у ч а е Л ^ =\fx~~fy\.
ЛЕММА 7. .Ес./щ ^= где h—натуральное число, и fx = it

{i = 1, . . . , A), m o iV/S > 1.


Доказательство. Е самом, деле, в этом случае /-цена любого
содержащегося в z. н е п у с т о г о п р о с т е й ш е г о множества, очевидно > 1.
Так как все /-цены иеотрицате льны и h ^ 1, значения выражения (5)
для к а н о н и ч е с к и х с и с т е м {.zJ^Li, у д о в л е т в о р я ю щ и х у с л о в и ю ( 1 ) , также
> 1, о т к у д а с л е д у е т , что > 1.
6» У с л о в и м с я теперь понимать с и м в о л N f как знак, определенный в.
G вещественной ф у н к ц и и . Значение этой функции для аргумента z есть
/ - н о р м а z.
Л Е М М А 3 . Функция Nf есть норма *в G.
Доказательство. М ы уже* видели, ч т о N f 1Q = N f А = 0 * * . Сле­
довательно, у д о в л е т в о р я е т у с л о в и ю N [С. Т . Г., определение 4 ] .

* Понятие н о р м ы в г р у п п е о п р е д е л е н о в С, Т . Г . , § ! .
** См. д о к а з а т е л ь с т в о леммы 6 .

ИЗВЕСТИЯ А Н , серия математическая, № 5


228 А. А. М А Р К О В

П у с т ь z£G и t £ G. С у щ е с т в у ю т к а н о н и ч е с к и е системы {^Jf =1 и {tj}f-


такие, что

(6)
/= 1
г=1

(7)
г=1 j=i

П о л о ж и м z = ti_L m (i=?m + l, . e . , /г). С о г л а с н о (6)

m-f п

= П "«
г=1
и так к а к {z }fZi t есть система п р о с т е й ш и х м н о ж е с т в , т о , с о г л а с н о лем­
м е 5 и равенствам ( 7 ) ,

т-\-п т п

г
N, (zt) < ^ -2 ^г'гУ} = N z + N t.
f f

i=l 1=1 7=1


П р и н и м а я во внимание, что в г р у п п е G в с е к в а д р а т ы р а в н ы 1q, полу­
x
чаем из последнего соотношения N f (zt~ ) < N z -f- N t.
f f Таким образом,
Nj удовлетворяет условию N 2 [С. Т . Г . , определение 4 ] , что и требова­
лось доказать.
7. Пусть X — в п о л н е регулярное пространство и N — какая-либо нор­
ма в G. При ж£ X, ?/£Х имеем (х) (у) 6 G . В силу этого ((#)
м о ж н о рассматривать как н е к о т о р у ю ф у н к ц и ю п а р ы { х , ?/} т о ч е к п р о ­
с т р а н с т в а X . Б у д е м г о в о р и т ь , что н о р м а N согласована с X , если
N ((х) (у)) является непрерывной функцией пары {х, у} точек про­
странства X.
ЛЕММА 9. Если f непрерывная функция в пространстве X, то
f-норма согласована с X.
Это следует из леммы 6.
* Л Е М М А 1 0 . Совокупность норм в G , согласованных'с X, есть муль-
тинорма* в G. •
Доказательство. П у с т ь Ш означает интересующую нас совокуп­
н о с т ь н о р м в G, с о г л а с о в а н н ы х с X . 9?, о ч е в и д н о , у д о в л е т в о р я е т усло­
виям М 3 и М 2 [С. Т . Г . , определение 13}. Докажем, что 91 у д о в л е т в о ­
ряет л, у с л о в и ю М-.,. • >

* Определение мультинормы д а н о в С. Т . Г . , § 3.
ПЕРИОДИЧЕСКИЕ СВЯЗНЫЕ ТОПОЛОГИЧЕСКИЕ Г Р У П П Ы 229

;
:; Пусть z б G \ ( 1 G ) . Тогда z—непустое конечное подмножество прост­
ранства X . П у с т ь z = (z^Uu где h — натуральное число, % £ Х т z ^z
i j

при i ф / . С у щ е с т в у е т в пространстве- X такая непрерывная функция / ,


что fz = i (i=l,
t . . . , й) [С. Т. Г., § 4 , лемма 4 8 ] . С о г л а с н о лемме 9,
норма N f в г р у п п е G с о г л а с о в а н а с X, т . е. N £ 91. С о г л а с н о лемме 7 ,
f

iV/Z > 1. Т а к и м о б р а з о м , 9? у д о в л е т в о р я е т у с л о в и ю М , 3 что и требова­


лось доказать.

М у л ь т и н о р м а Ш определяет в г р у п п е G т о п о л о г и ю . М н о ж е с т в а

U =£{Nz<l)
N (7V£9l) .
z

образуют в ^ той топологии полную систему окрестностей единичного


элемента [С. Т. Г . , § 3, т е о р е м а 6 ] . В д а л ь н е й ш е м мы будем рассмат­
ривать G к а к т о п о л о г и ч е с к у ю г р у п п у .
8. К а ж д о й т о ч к е х п р о с т р а н с т в а X с о о т в е т с т в у е т т о ч к а . (х) т о п о л о г и ­
ч е с к о й г р у п п ы G. Определим о т о б р а ж е н и е о п р о с т р а н с т в а X в тополо­
гическую г р у п п у G равенством

9 х = (х) (х£Х). (8)

ЛЕММА 1 1 . о есть непрерывное отображение пространства X в то­


пологическую группу G.
Доказательство. П у с т ь и £ Х и TJ — о к р е с т н о с т ь т о ч к и ov в G.
М н о ж е с т в о Uyv является т о г д а о к р е с т н о с т ь ю 1а В G. П о э т о м у с у щ е с т ­
вует н о р м а 7V£ 91 т а к а я , что Un CjJyv. Эта н о р м а с о г л а с о в а н а с X, в си­
лу чего функция N ((v) (у)) точки ? / £ Х непрерывна в X. Принимая
во внимание, ч т о N ((v) (v)) = N 1q = 0 заключаем,, что м н о ж е с т в о

V = S(N((v) (у))<1)
У .

является окрестностью точки v в пространстве X . При у £V имеем


N ( ( и ) (у)) < l о т к у д а ( v ) (y)£U CZUyv,
f N и, с о г л а с н о ( 8 ) , п о л у ч а е м mj£U.
Следовательно, cpF CZ U. Этим доказана непрерывность отображения о
в т о ч к е v. Т а к к а к эта т о ч к а п р о и з в о л ь н а , то о е с т ь н е п р е р ы в н о е отоб­
ражение пространства X в топологическую группу G, что и требова­
лось доказать*.
Из л е м м ы 11 вытекает
ЛЕММА 12. Если пространство X связно, то ®Х есть связное
подмножество топологической группы G.
9» П у с т ь Н означает с о в о к у п н о с т ь - к о н е ч н ы х п о д м н о ж е с т в п р о с т р а н ­
ства X , с о д е р ж а щ и х четное число элементов. Н есть п о д г р у п п а индекса
2 т о п о л о г и ч е с к о й г р у п п ы G. '

* <р я в л я е т с я д а ж е т о п о л о г и ч е с к и м о т о б р а ж е н и е м п р о с т р а н с т в а X на , м н о ж е ­
с т в о (рх. Мы не п р и в о д и м доказательства э т о г о п р е д л о ж е н и я , так как не пользу*
емся и м .
230 А . А* М А Р К О В

Л Е М М А 1 3 . Пусть s£#\(1я). Если пространство X связно, то


существуют l и у, удовлетворяющие условиям:,
X
1° z£Y,

2° teY 7

' 3° Y£H ?

4° Y связно,

5° t содержит меньше элементов, чем z.

Доказ атедьетво. Так как z£Я\(1 ), Я z непусто и содержит


четное ч и с л о элементов. Поэтому существуют х и у такие, что x£z
y£z и х ф у. Положим

t = z\(x, у), Y = tfXfX.

Имеем

у£-аХ, " оу бсрА, (х) (у) - х у у е ? ?х?х,

z = t(x)(y)£t<px<?X = Y.

Таким образом, условие 1° у д о в л е т в о р е н о .


Далее, -

z
ж ( : С 1 cptfgcp.X', i G = (oxy g охоХ ?

tdt<px<pX = Y..

У с л о в и е 2° у д о в л е т в о р е н о .
Т а к к а к ох £ оХ и каждый элемент множества оХ содержит ровно
о д н у т о ч к у п р о с т р а н с т в а X, к а ж д ы й элемент ^множества ухъХ либо со­
держит р о в н о две т о ч к и э т о г о п р о с т р а н с т в а , л и б о п у с т . П о э т о м у ®х®Х CZ Я .
Т а к к а к z£Я, т о и t=z(x) (у) g # . Отсюда Y = t<px<pX аН, т. е. вы­
полнено у с л о в и е 3 ° .
Связность множества Y следует из леммы 12, так как множество
Y = tyx(pX гомеоморфно множеству оХ.
У с л о в и е 5° очевидно- в ы п о л н е н о .
Из леммы 13 вытекает
Л Е М М А 14. Если пространство X связно, то, какова бы ни была
точка z, топологической группы Н, существует связное подмножество
этой топологической группы, содержащее точку z и точку 1я.
И з леммы 14 следует
Л Е М М А 15. Если пространство ^Х связно, то, каковы бы ни были
точки z и l топологической группы Я, существует связное подмноже­
ство этой топологической группы, содержащее эти точки.
ПЕРИОДИЧЕСКИЕ СВЯЗНЫЕ ТОПОЛОГИЧЕСКИЕ Г Р У П П Ы • 231

И з леммы 15 следует
ЛЕММА 1 6 . Если пространство X связно, то и топологическая
группа Н связна.
10* М о щ н о с т ь т о п о л о г и ч е с к о й г р у п п ы G равна м о щ н о с т и п р о с т р а н с т в а
X , если последняя б е с к о н е ч н а * . Е этом с л у ч а е м о щ н о с т ь т о п о л о г и ч е с к о й
группы Н также равна мощности п р о с т р а н с т в а х . П р и н и м а я в о внима­
ние, ч т о с у щ е с т в у ю т с в я з н ы е вполне регулярные (и д а ж е м е т р и з у е м ы е )
К
пространства любой мощности > 2 ° **, приходим к следующему ре­
зультату»
К
Какова бы ни была мощность XXI > 2 ° , существует связная топо­
логическая группа мощности Щ, такая, что квадрат любого элемента
этой топологической группы равен ее единичному элементу.
* - • Поступило
9. X I I . 1943

т?:
Это с л е д у е т из известного равенства т = 2 ^ с п р а в е д л и в о г о для л ю б о й

г=1
v
бесконечной м о щ н о с т и т.
** С в я з н е е а-етричеексе п р о с т р а н с т в о заданной м о щ н о с т и ш м о ж е т быть
п о с т р о е н о , например, так»
П у с т ь А — п р о и з в о л ь н о е м н о ж е с т в о м о щ н о с т и m и В—совокупность пар [ х , Ц,
т д е ж £ ^ 4 , а с — п е л е ж и т е л ы к е число. П у с т ь о—произвольный о б т е к т , не принад­
лежащий В, П о л о ж и м I = j B U ( a ) и определим в м н о ж е с т г е X метрику р с л е д у ю ­
щим о б р а з о м :
5}> {у, т«]}) = § + г / п р и х^у,
р ( { ж , с } , {ж, = | с—"/]|,
р ( а , (л:, < ; } ) = р ( { ж , 4 } , а) = 5,
р ( а , а ) = 0.
Здесь х и у—произвольные элементы множества ^4, £, tj—произвольные положи­
тельные числа.
232 A. MARKOFF

A . M A R K O F F . ON T H E E X I S T E N C E OF P E R I O D I C C O N N E C T E D T O P O L O G I C A L

GEOUPS

T h e paper c o n t a i n s a g e n e r a l m e t h o d for c o n s t r u c t i n g of c o m m u t a t i v e
c o n n e c t e d t o p o l o g i c a l g r o u p s , all elements o f w h i c h are - of order 2. T h e
p o i n t of d e p a r t u r e of the c o n s t r u c t i o n is an a r b i t r a r y connected comple­
t e l y regular t o p o l o g i c a l space X, and the group constructed contains,
a subset, h o m e o m o r p h i c t o X .