Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математике , Н-пространство , [1] или топологический унитальная магма , является топологическим пространством Х ( как правило , предполагается, что связанно ) вместе с непрерывным отображением ц: Х × Х → Х с единицей е такое , что μ ( е , х ) = μ ( х , е ) = х для всех х в X . В качестве альтернативы отображения μ ( e , x ) и μ ( x ,e ) иногда требуется только быть гомотопным тождеству (в этом случае e называется гомотопическим тождеством), иногда через карты, сохраняющие базовую точку. Эти три определения фактически эквивалентны для H-пространств, которые являются CW-комплексами . Каждая топологическая группа является H-пространством; однако в общем случае, по сравнению с топологической группой, H-пространства могут не иметь ассоциативности и инверсии .

Примеры и свойства [ править ]

Мультипликативная структура H-пространства добавляет структуру к его группам гомологий и когомологий . Например, кольцо когомологий из пути соединенных H-пространства с конечным числом образующих и свободных группами когомологий является алгеброй Хопфа . Кроме того, можно определить произведение Понтрягина на группах гомологий H-пространства.

Фундаментальная группа из H-пространства абелева . Чтобы убедиться в этом, пусть X - H-пространство с единицей e, а f и g - петли в e . Определим отображение F : [0,1] × [0,1] → X как F ( a , b ) = f ( a ) g ( b ). Тогда F ( a , 0) = F ( a , 1) = f ( a ) e гомотопно f, и F (0, b ) = F (1, b ) = eg ( b ) гомотопно g . Ясно, как определить гомотопию из [ f ] [ g ] в [ g ] [ f ].

Теорема Адамса об инварианте Хопфа , названная в честь Фрэнка Адамса , утверждает, что S 0 , S 1 , S 3 , S 7 - единственные сферы, которые являются H-пространствами. Каждое из этих пространств образует H-пространство, рассматривая его как подмножество единичных элементов вещественных чисел , комплексов , кватернионов и октонионов , соответственно, и используя операции умножения из этих алгебр. Фактически, S 0 , S 1 и S 3 являются группами (Группы Ли ) с этими умножениями. Но S 7 не является группой в этом смысле, потому что умножение октонионов не ассоциативно и не может быть дано любому другому непрерывному умножению, для которого оно является группой.

См. Также [ править ]

Примечания [ править ]

  1. ^ H в H-пространстве было предложено Жан-Пьером Серром в знак признания влияния, оказанного на предмет Хайнца Хопфа (см. JR Hubbuck. «Краткая история H-пространств», История топологии, 1999, стр. 747–7). 755).

Ссылки [ править ]

  • Хэтчер, Аллен (2002), Алгебраическая топология , Кембридж: Cambridge University Press, ISBN 0-521-79540-0. Раздел 3.C
  • Spanier, Эдвин Х. (1981), Алгебраическая топология (Исправленная перепечатка оригинального издания 1966 года), Нью-Йорк-Берлин: Springer-Verlag, ISBN 0-387-90646-0
  • Сташефа, Джеймс Диллон (1963), "Гомотопический ассоциативность H -пространствами I, II.", Труды Американского математического общества , 108 : 275-292, 293-312, DOI : 10,2307 / 1993609 , MR  0158400.
  • Сташеф, Джеймс (1970), H-пространства с гомотопической точки зрения , Lecture Notes in Mathematics, 161 , Berlin-New York: Springer-Verlag.