半ノルム

数学の特に線型代数学および函数解析学における半ノルム（はんのるむ、; セミノルム）は、ベクトル空間上で定義される絶対斉次劣加法的函数で、正定値と制約しないことによるノルムの一般化である。
半ノルムの値は非負かつ符号反転に関して対称であり、函数として かつ凸である。
各半ノルムには、適当な剰余類をとる商構成に誘導されるノルムが付随する。半ノルムからなる族を用いて、局所凸線型空間を定義することができる。
定義.
ノルム体 （ふつうは実数体 または複素数体 ）上のベクトル空間 に対し、 上の半ノルムとは、写像 で絶対斉次性および劣加法性を持つものを言う。式で書けば、 および を任意として
が成り立つ。ただし、 は係数体の絶対値である。半ノルム を備えたベクトル空間 は と呼ぶ。
性質.
定義から、絶対斉次性の式で とおくことにより、直ちに , すなわち零ベクトルの半ノルムが零であることが従う。しかしノルムの場合と対照的に、非零ベクトル も半ノルムが となることが起きうる。
劣加法性（三角不等式とも呼ばれる）において と置けば、絶対斉次性によって
が従う。また を考えることで、
が分かる。また、三角不等式を に適用して
の成立も確かめられる。さらに、半ノルムがとなることは、絶対連続性が正斉次性を導くことから従い、半ノルムの凸性も
と確かめられる。逆に、絶対斉次凸函数は劣線型であり、したがって半ノルムになる（それを確かめるには、凸性を表す式で と置いて全体を -倍すればよい）。
商ノルム空間.
絶対斉次性と劣加法性から、のベクトル全体の成す集合
が の部分線型空間となることが従う。ここで 上の同値関係 が
によって定まる。この同値関係に関する同値類全体の成す集合 は、線型空間として商線型空間 であり、半ノルム に関してノルム空間となる。これを の半ノルム による商ノルム空間と言う。
このような構成は、例えば"L"-空間の定義に用いられる。
半ノルム族.
函数解析学の分野において局所凸線型空間は、半ノルムの族 によってしばしば定義される。これによりもとの線型空間 に位相が入り、 は位相線型空間となる。
そのためにまず、部分集合 が開であるとは、適当な に対し、 と有限個の添字 が存在して、任意の に対して
となるときに言うと定める。
この文脈において、特定の分離性条件を満足する半ノルム族が特に注目される。半ノルム族 が分離的 (separated) あるいは完全 (total) であるとは、各 に対し、少なくとも一つの半ノルム が存在して となるときに言う。線型空間 が先に述べた半ノルム族の定める位相に関してハウスドルフ（分離的）となるのは、ちょうど半ノルム族が分離的となるときである。そのような位相線型空間は局所凸空間と呼ばれる