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