Трубчатая Область

монада, в категории - моноид в категории функторов. Другими словами, Т. В категории наз. Ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории Иногда Т. Наз. Стандартной конструкцией. Для любой пары сопряженных функторов и функтор является тройкой вместе с морфизмами и где и - единица и коединица сопряжения. Обратно, для произвольной тройки существует такая пара сопряженных ..

- плоская кривая, являющаяся траекторией точки Мвне или внутри окружности, к-рая катится по другой окружности. Т. Наз. Эпитрохоидой (рис. 1 а, б )или гипотрохоидой (рис. 2 а, 6) в зависимости от того, будет ли катящаяся окружность иметь внешнее или внутреннее касание с неподвижной окружностью. Параметрич. Уравнения эпитрохоиды. X =(R+mR)cos mt - hcos(t+mt), y =(R+mR)sin mt -h sin (t+mt). гипотрохоиды. X =(R- mR)cos mt+h cos(t-mt), y =(R - mR)sin mt - h sin (t-mt), где r - радиус катящейс..

- окрестность гладкого подмногообразия Nв гладком многообразии М, расслаивающаяся над N со слоем где d = dim M-dimN. Пусть в Мвыбрана риманова метрика и рассматриваются начинающиеся в Nотрезки нормальных к Nгеодезических. Если Nкомпактно, то найдется такое что никакие два отрезка длины исходящие из разных точек N, не пересекаются. Объединение всех таких отрезков длины является открытой окрестностью Uподмногообразия N и наз. Его трубчатой окрестностью. Для некомпактного Nможно строить Т. О..

- представляющая заданную булеву функцию дизъюнктивная нормальная форма (д. Н. Ф.), к-рую нельзя упростить ни вычеркиванием буквы из нек-рой конъюнкции, ни удалением какой-либо конъюнкции. Минимальная д. Н. Ф. Получается из сокращенной д. Н. Ф. Путем удаления нек-рых конъюнкций. Этот неоднозначный, ветвящийся процесс может привести лв тупик. ..