狭義凸空間
数学における狭義凸空間(きょうぎとつくうかん、英: strictly convex space)とは、単位球が狭義凸集合であるようなノルム線型位相空間 (V, ‖*‖) のことをいう。言い換えると、狭義凸空間とは、V の単位球 B の境界 ∂B における任意の二点 x と y に対して、それらを通るアフィン直線 L(x, y) が x と y でのみ境界 ∂B と交わるようなもののことをいう。狭義凸性は、その構造に関して、内積空間(すべての内積空間は狭義凸)と一般ノルム空間(すべての狭義凸空間はノルム空間)の間に位置するものである。これはまた、もし存在するなら、(狭義凸の)X の部分空間 Y の外側から X の元に対する最適な近似の一意性を保証するものである。