Положительный конус
Положи́тельный ко́нус, подмножество действительного векторного пространства , удовлетворяющее следующим условиям:
1) если , , то ;
2) .
Положительный конус определяет полуупорядочение в : по определению, , если .
Пусть – банахово пространство. Если – замкнутый воспроизводящий положительный конус (т. е. такой положительный конус, каждый вектор которого представим в виде , где ), то , не зависит от . Телесный, т. е. имеющий внутренние точки, положительный конус является воспроизводящим.
Пусть – сопряжённое пространство к банахову пространству . Если – воспроизводящий положительный конус, то множество положительных (относительно положительного конуса) функционалов (т. е. таких , что при ) является положительным конусом (это так называемый сопряжённый конус). Положительный конус восстанавливается на , а именно:
Если – телесный положительный конус, то его внутренность совпадает с
Конус в банаховом пространстве называется нормальным, если найдётся такое , что при . Положительный конус нормален тогда и только тогда, когда сопряжённый конус является воспроизводящим. Если – воспроизводящий конус, то сопряжённый конус нормален.
Конус называется миниэдральным, если каждая пара элементов имеет точную верхнюю грань (то есть и для любого из вытекает ). Если положительный конус правилен и миниэдрален, то всякое счётное ограниченное подмножество имеет точную верхнюю грань.