Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
аксиома, уточняющая структуру топологического пространства путем определения возможностей отделения точек пространства друг от друга
Изучается отделимость операторной топологии, задаваемой множествами, инвариантными относительно некоторого оператора.
Предложен алгоритм вычисления топологий конечного множества и их исследования: проверки T0-аксиомы отделимости и связности, определения связности подмножеств, вычисления связных компонент, баз и гомеоморфизмов топологического пространства в себя. Представлено разработанное авторами программное обеспечение, реализующее предложенные модели.
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
e число
эрмитова матрица