極私的関数解析：半ノルム

半ノルムの考え方

半ノルム(duonnormo, seminorm)とは、ノルムの要件を緩和した概念である。

半ノルムの定義

`K` を実数 `RR` または複素数 `CC` とし、`K` 上のベクトル空間 `X` を考える。 このとき、任意の係数 `alpha in K` と任意の `u, v in X` に対して、次の 2 つの性質が成り立つとき、 関数 `||*||`をノルムという。

1. `||u + v|| <= ||u|| + ||v||`
2. `||alpha u|| = |alpha| ||u||`

1. は三角不等式（あるいは劣加法性）、2. は同次性（あるいは斉次性）と呼ばれる。 ノルムとの違いは、ノルムに定義にあった独立性 `||u|| = 0 <=> u = 0` が消えていることである。 なお、半ノルムでも、`u = 0 => ||u|| = 0` は成り立つが、その逆 `||u|| = 0 => u = 0` は成り立たない。

なぜ半ノルムを考えるのか

ふつう、ノルムのような考え方をするなら、独立性は担保されてほしいものだ。では、なぜ半ノルムという中途半端なものを考えるのだろうか。 それは、関数空間としてバナッハ空間よりさらに一般的な空間であるフレシェ空間を考えるとき、バナッハ空間が要求するノルムでは窮屈だからだ。 半ノルムまで緩和したフレシェ空間を考えることで、より多くの対象となる関数を扱うことができる。 代表的なフレシェ空間として、無限回微分可能関数からなる空間がある。

数式とグラフの記述

このページの数式は MathML で記述している。

まりんきょ学問所 ＞ 極私的関数解析 ＞ ノルム