クアシノム

線形代数関数解析、および関連する数学の分野において、準不等式はノルム公理を満たす点でノルムに類似しているが、三角不等式が いくつかの場合に に置き換えられる点 が異なる。×+yK×+y{\displaystyle \|x+y\|\leq K(\|x\|+\|y\|)}K>1.{\displaystyle K>1.}

意味

ベクトル空間上の準半正規分布[ 1 ]は、以下の条件を満たす 実数値写像である。X{\displaystyle X}p{\displaystyle p}X{\displaystyle X}

  1. 非否定性p0;{\displaystyle p\geq 0;}
  2. 絶対的な同質性:のスカラーに対してps×|s|p×{\displaystyle p(sx)=|s|p(x)}×X{\displaystyle x\in X}s;{\displaystyle s;}
  3. 全ての​1{\displaystyle k\geq 1}p×+y[p×+py]{\displaystyle p(x+y)\leq k[p(x)+p(y)]}×yX{\displaystyle x,y\in X.}
    • ならば、この不等式は三角不等式に帰着します。この意味で、この条件は通常の三角不等式を一般化します。1{\displaystyle k=1}

quasinorm [ 1 ]は、次も満たす準半正規分布である。

  1. 正定値/点分離:を満たす×X{\displaystyle x\in X}p×0{\displaystyle p(x)=0,}×0。{\displaystyle x=0.}

ベクトル空間とそれに関連する準半ノルムからなるペアはXp{\displaystyle (X,p)}X{\displaystyle X}p{\displaystyle p}準半ノルムベクトル空間。準半ノルムが準ノルムである場合、それはまた準半ノルムとも呼ばれる。準ノルムベクトル空間

乗数

条件(3)を満たすすべての値の最小値は{\displaystyle k}乗数自身 も条件(3)を満たすので、この条件を満たす唯一の最小の実数となる。-セミノルムは、乗数がp{\displaystyle p.}{\displaystyle k}{\displaystyle k.}

ノルム(それぞれ、セミノルム)は、その乗数が である準ノルム(それぞれ、準セミノルム)です。したがって 、すべてのセミノルムは準セミノルムであり、すべてのノルムは準ノルム(および準セミノルム)です。 1.{\displaystyle 1.}

トポロジー

が上の準正則ならば、ベクトル位相を誘導し、その原点における近傍基底は、正の整数上の範囲 として[ 2 ]の集合で与えられる。このような位相を持つ位相ベクトル空間は、p{\displaystyle p}X{\displaystyle X}p{\displaystyle p}X{\displaystyle X}{×X:p×<1/n}{\displaystyle \{x\in X:p(x)<1/n\}}n{\displaystyle n}準ノルム位相ベクトル空間または単に準ノルム空間

すべての準ノルム位相ベクトル空間は擬似計量化可能である。

完全準ノルム空間は準バナッハ空間。すべてのバナッハ空間は準バナッハ空間であるが、その逆は成り立たない。

準ノルム空間は{\displaystyle (A,\|\,\cdot \,\|)}ベクトル空間が代数 すべてのベクトル空間に対して定数が存在する、 準ノルム代数{\displaystyle A}K>0{\displaystyle K>0}×yK×y{\displaystyle \|xy\|\leq K\|x\|\cdot \|y\|}×y{\displaystyle x,y\in A.}

完全準ノルム代数は準バナッハ代数

特徴づけ

位相ベクトル空間(TVS)は、原点の有界近傍を持つ場合にのみ、準ノルム空間となる。[ 2 ]

すべてのノルムは準ノルムであるため、すべてのノルム空間も準ノルム空間です。

Lp{\displaystyle L^{p}}スペースのある0<p<1{\displaystyle 0<p<1}

の空間は準ノルム空間(実際、 F空間でもある)であるが、一般にはノルム可能ではない(つまり、位相を定義するノルムが存在しない可能性がある)。ルベーグ空間は、局所凸ではない(実際、その凸開集合は自身と空集合のみである)完備計量化可能なTVSF空間)であり、の唯一の連続線型汎関数は定数関数である(Rudin 1991 §1.47)。特に、ハーン・バナッハの定理は、Lp{\displaystyle L^{p}}0<p<1{\displaystyle 0<p<1}0<p<1{\displaystyle 0<p<1,}Lp[01]{\displaystyle L^{p}([0,1])}Lp[01]{\displaystyle L^{p}([0,1])}Lp[01]{\displaystyle L^{p}([0,1])}0{\displaystyle 0}Lp[01]{\displaystyle L^{p}([0,1])}0<p<1.{\displaystyle 0<p<1.}

参照

参考文献

  1. ^ a bカルトン 1986年、297–324頁。
  2. ^ a b Wilansky 2013、55ページ。