局所凸位相ベクトル空間
関数解析学および関連する数学の分野において、局所凸位相ベクトル空間（きょくしょとついそうベクトルくうかん、英: locally convex topological vector space）あるいは局所凸空間（locally convex space）は、ノルム空間を一般化する位相ベクトル空間（TVS）の例である。それらは、均衡かつ併呑な凸集合の平行移動によって位相が生成されるような位相ベクトル空間として定義される。または代わりに、それらは半ノルムの族を伴うベクトル空間として定義され、その族に関して位相を定義することが出来る。一般にこのような空間は必ずしもノルム化可能ではないが、零ベクトルに対する凸局所基の存在はハーン＝バナッハの定理の成立を保証する上で十分に強く、その結果として連続線型汎函数に関する豊富な理論がもたらされた。
フレシェ空間は、距離化可能かつその距離に関して完備であるような局所凸空間である。それらは、ノルムに関する完備ベクトル空間であるようなバナッハ空間の一般化である。
定義
V を、複素数の部分体 K（通常は C 自身か、実数体 R）上のベクトル空間とする。局所凸空間は、凸集合あるいは半ノルムに関して定義される。