Семитопологиялық топ - Semitopological group

Жылы математика, а семитопологиялық топ Бұл топологиялық кеңістік а топтық әрекет Бұл үздіксіз бөлек қарастырылатын әр айнымалыға қатысты. Бұл а тұжырымдамасының әлсіреуі топологиялық топ; барлық топологиялық топтар - бұл семитопологиялық топтар, бірақ әңгімелесу ұстамайды.

Ресми анықтама

Семитопологиялық топ болып табылатын топологиялық кеңістік болып табылады топ осындай

екеуіне қатысты үздіксіз және . (Топологиялық топ бір уақытта екі айнымалыға сілтеме жасай отырып үздіксіз болатындығын ескеріңіз сонымен қатар үздіксіз болуы қажет. Мұнда топологиялық кеңістік ретінде қарастырылады өнім топологиясы.)[1]

Әр топологиялық топтың семитопологиялық топ екені анық. Керісінше емес екенін көру үшін нақты сызық оның әдеттегі құрылымымен қоспа ретінде абель тобы. Қолдану семиопен топологиясы дейін бірге топологиялық негіз отбасы . Содан кейін үздіксіз, бірақ 0 кезінде үздіксіз болмайды: болып табылады ашық көршілік 0-ден бірақ жалғасатын 0-дің маңайы жоқ .

Кез келген екені белгілі жергілікті ықшам Хаусдорфтың политопологиялық тобы - топологиялық топ.[2] Осындай басқа нәтижелер де белгілі.[3]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Хусейн, Тақдыр (2018). Топологиялық топтарға кіріспе. Courier Dover жарияланымдары. б. 27. ISBN  9780486828206.
  2. ^ Архангельский, Александр; Ткаченко, Михаил (2008). Топологиялық топтар және онымен байланысты құрылымдар, топологиялық алгебраға кіріспе. Springer Science & Business Media. б. 114. ISBN  9789491216350.
  3. ^ Aull, C. E .; Лоуэн, Р. (2013). Жалпы топология тарихының анықтамалығы. Springer Science & Business Media. б. 1119. ISBN  9789401704700.