23.3 Топологиялық группа
1-Анықтама. Топологиялық группа деп бір мезгілде группа және топологиялық кеңістік болатын, әрі группалық және топологиялық құрылымдар келесі шартпен байланысқан жиынын айтады:
бейнелеуі үздіксіз.
Бұл шартты келесі тексеруге қолайлы үш шарт түрінде беруге болады:
1) бейнелеуі бойынша да, бойынша да үздіксіз;
2) бейнелеуі нүктесінде үздіксіз;
3) бейнелеуі айнымалылар жиынтығы бойынша нүктесінде үздіксіз.
Кезкелген абстрактілі группаны дискретті топология (барлық ішкі жиындары ашық) енгізу арқылы топологиялық группа ретінде қарастыруға болады.
Достарыңызбен бөлісу: |