絶対凸集合

数学の分野において、実あるいは複素ベクトル空間内の集合 "C" が凸かつ均衡であるとき、その集合は絶対凸（ぜったいとつ、）と呼ばれる。
性質.
集合 formula_1 が絶対凸であるための必要十分条件は、formula_1 内の任意の点 formula_3 および formula_4 を満たすような任意の数 formula_5 に対して、formula_6 が formula_1 に含まれることである。
絶対凸集合からなる任意の系の共通部分はまた絶対凸であることから、あるベクトル空間の任意の部分集合 "A" を含むような全ての絶対凸集合の共通部分を、"A" の絶対凸包として定義することが出来る。
絶対凸包.
集合 "A" の絶対凸包は次のように表現される。