- 1) К. в евклидовом пространстве - множество К, составленное из полупрямых, исходящих из нек-рой точки О- вершины К. Границу дК множества К(составленную из полупрямых, наз. образующими К.) - часть конической поверхности- также иногда наз. К. Наконец, часто К. наз. пересечение Кс полупространством, содержащим Ои ограниченным плоскостью, не проходящей через О. В этой ситуации часть плоскости, лежащая внутри конич. поверхности, наз. основанием К., а часть конич. поверхности, заключенная между вершиной и основанием,- боковой поверхностью К.

Если основание К. есть круг, то К. наз. к руговым. Круговой К. наз. прямым, если ортогональная проекция его вершины на плоскость основания совпадает с центром основания. Прямая, проходящая через вершину К. перпендикулярно основанию, наз. осью К., а ее отрезок между вершиной и основанием - высотой К. Объем прямого кругового К. равен pR²h/3, где h- высота, R- радиус основания; площадь боковой поверхности равна pRl, где l- длина отрезка образующей между вершиной и основанием. Подмножество К., заключенное между двумя параллельными плоскостями, наз. усеченным К., или коническим слоем. Слой прямого кругового К. между плоскостями, параллельными основанию, имеет объем p(R²+r²+Rr) h/3, где R, r- радиусы оснований, h- высота (расстояние между основаниями); площадь боковой поверхности p(R+r)l, где l- длина отрезка образующей.

А. Б. Иванов.

2) К. над топология, пространством X(основанием К.) - пространство СХ, получающееся из произведения X[0, 1] стягиванием подпространства XX {0} в одну точку W(вершину К):

Другими словами, СХ- цилиндр постоянного отображения (см. Цилиндрическая конструкция )или конус тождественного отображения id : (см. Коническая конструкция). Пространство Xстягиваемо тогда и только тогда, когда оно является ретрактом всякого К. над X.

Понятие К. над топологич. пространством обобщается в рамках теории категорий: множество морфизмов произвольной категории с общим началом в объекте Аназ. конусом морфизмов с вершиной А;двойственно, коконус морфизмов есть множество морфизмов b_i : с общим концом в объекте А. См. [4], [5], [6].

М. И. Войцеховский.

3)К. отображения - топологич. пространство, сопоставляемое непрерывному отображению топологич. пространств конической конструкцией. Пусть С ₁ - конус вложения - конус вложения и т. д. Получающаяся последовательность

наз. последовательностью Пуппе; здесь и т. д., где SX(SY)- надстройка над X(над Y).

Аналогично определяется приведенный конус С _f отображения пунктированных пространств. При этом, как и в ситуации с корасслоением, для любого пунктированного пространства Апоследовательность гомотопич. классов, индуцированная последовательностью Пуппе,

точна; в ней все члены, начиная с четвертого,- группы, а начиная с седьмого - абелевы группы. См. [4], [5].

А. <ф.>

4) К. в действительном векторном пространстве Е- множество такое, что для любого l>0. К. наз. заостренным, если а заостренный К.- выступающим, если Кне содержит никакого одномерного подпространства. Невыступающий К. иногда наз. клином.

К., являющийся выпуклым множеством в Е, наз. выпуклым. Таким образом, подмножество Кв Eявляется выпуклым К. тогда и только тогда, когда для всякого l>0 и В этом случае векторное подпространство в Е, порожденное выпуклым К. К, совпадает с множеством К- К. Если К. заострен, то - наибольшее векторное подпространство, содержащееся а К. Заостренный выпуклый К. будет выступающим тогда н только тогда, когда

Если Е- полуупорядоченное пространство, то положительный конус является выступающим, заостренным, выпуклым К. Обратно, любой такой К. Кв векторном пространстве Епорождает отношение порядка: если

К. Кназ. воспроизводящим, если любой элемент представим в виде разности элементов из К. Напр., воспроизводящими являются К. неотрицательных непрерывных (или суммируемых) функций на отрезке [О, 1], множество положительных операторов в пространстве ограниченных самосопряженных операторов, действующих в гильбертовом пространстве. Однако К. неотрицательных неубывающих непрерывных функций таковым не является.

Наличие топологии в Енаделяет понятие К. более богатым содержанием, позволяющим получать нетривиальные результаты. Напр., пусть Е- отделимое локально выпуклое пространство и К- выступающий заостренный выпуклый К. в Е, имеющий непустую внутренность (такие К. наз. телесными). Тогда каждая линейная форма на Е, положительная на К, непрерывна; если М- векторное подпространство в Е, пересекающееся с внутренностью К, и f - линейная форма на М, положительная на то на Есуществует линейная форма продолжающая f и положительная на К. См. [1], [2], [3].

М. И. Войцеховский.

Более других развита теория К. в банаховых пространств а. <х. пусть=""> К - К. в банаховом пространстве Е, порождающий в Енек-рое отношение порядка Если К. замкнут, то для Еимеет место принцип Архимеда: если а числа l_n>0 и и при этом существует такое y, что при всех п, то Для телесного К. верно и обратное: из архимедовости Евытекает замкнутость К.