2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Определение топологической группы
Сообщение20.11.2022, 17:52 
Интересует такой простейший вопрос, связанный, фактически, с определением топологической группы -
Пусть $(G, T)$ - топологическая группа,
т.е., $G$ есть группа с групповой операцией $m$ и операцией инверсии $i$,
и $T$ - топология на $G$, в которой операции $m$ и $i$ являются непрерывными.
И пусть дано открытое множество $U \subseteq G \times G$ в топологии произведения.
(Под топологией произведения я понимаю, допустим, топологию, порождаемую произведениями элементов базы топологии $T$.)
Определим множество $V = \left\lbrace ( i(x),y ) | (x,y) \in U \right\rbrace$.
Как показать , что множество $V$ также является открытым в топологии произведения?

 
 
 
 Re: Определение топологической группы
Сообщение20.11.2022, 18:02 
Понятно ли, что делать, если $U$ -- это произведение 2 открытых в $G$? А в общем случае представить в виде объединения таких.

 
 
 
 Re: Определение топологической группы
Сообщение21.11.2022, 06:20 
Отображение $(x,y)\mapsto (i(x), y)$ есть гомеоморфизм $G\times G$ на себя.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group