拡張不等式(かくちょうふとうしき、extended inequality)とは、不等式の概念をより一般の代数に適用できるように拡張したものである。
ここでは、Rを単位元1を持つ環、Pをそのポジティブ集合とする。
拡張不等式を定義するためには、ポジティブ集合が必要である。
定義(ポジティブ集合)
集合Pが環Rのポジティブ集合であるとは
下記の条件をみたすRの部分集合P事である。
- α,β∈P⇒α+β∈P
- 0∉P
- α∈P⇒-α∉P
- 1∈P
ポジティブ集合Pと拡張不等号で拡張不等式が定義される。
拡張不等号は向きを属性に持つ不等号の事である。
向きは、Rの元を使って表す。
2つのRの元α、βの関係を拡張不等号を使って示した式が拡張不等式である。
定義(拡張不等号"<[θ]"、">[θ]")
Rの元θが逆元を持つとき、
"<[θ]"、">[θ]"をθ向きとする拡張不等号と呼ぶ。
α <[θ] β ⇔ β-α ∈ Pθ
α >[θ] β ⇔ α-β ∈ Pθ
定義(拡張不等号"[θ]<"、"[θ]>")
Rの元θが逆元を持つとき、
"[θ]<"、"[θ]>"をθ向きとする拡張不等号と呼ぶ。
α [θ]< β ⇔ β-α ∈ θP
α [θ]> β ⇔ α-β ∈ θP
Rが可換環の場合は、この記号を使わない。
"≦[θ]"、"≧[θ]"、"[θ]≦"、"[θ]≧"の定義
[編集]
定義(拡張不等号その他)
θの逆元の存在を仮定しない場合には"<"、">"の代わりに"≦"、"≧"の記号を使用する。
すなわち
α ≦[θ] β ⇔ β-α ∈ Pθ
α ≧[θ] β ⇔ α-β ∈ Pθ
α [θ]≦ β ⇔ β-α ∈ θP
α [θ]≧ β ⇔ α-β ∈ θP
適用しているポジティブ集合を明確に示すためには、拡張不等式の右側にポジティブ集合を明記する。
(例) α ≦[θ] β (P)
:
正の実数全体
:
正の有理数全体
:
自然数全体
:
:最小次数の係数が正のK係数ローラン級数全体
簡単な拡張不等式の例を示す。
いずれも拡張不等式の定義から簡単に成立している事がわかる。
(
)
(
)
(
)
(
)
(
)
(H+)
(M+)
※Eは単位行列
拡張不等式も通常の不等式と同じ性質をもつ。
をRの元とする。
![{\displaystyle \alpha \;<_{[\theta ]}\;\beta \;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/222b32bb86f600bec6f6737dfc7b600d6bb03a04)

![{\displaystyle \alpha +\gamma \;<_{[\theta ]}\;\beta +\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/84506e2f08469cb3f83cfc49ebd3499fd2ef8666)
,![{\displaystyle \beta \;<_{[\theta ]}\;\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f9d4a8e7a4f96a5789bf662360f24081d59ec03)

![{\displaystyle \alpha \;<_{[\theta ]}\;\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9d17595928903e1335429d4e240c6e39e0966d)
![{\displaystyle \alpha \;<_{[\theta ]}\;\beta ,\;\exists \gamma ^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae47feaf92c000c23dab6ff38610d0c85b6bd39c)

![{\displaystyle \gamma \alpha \;<_{[\gamma \theta ]}\;\gamma \beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/92cee3232423d2f12f1b73526ab3ead4bac00234)
![{\displaystyle \alpha \;<_{[\theta ]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc90241cfea9bf8d222e0d3c20945f5fe6c61a83)

![{\displaystyle \beta \;>_{[\theta ]}\;\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/795d7671bcbb03d24433f5188a4fcec54a1b47f5)
![{\displaystyle \alpha \;<_{[\theta ]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc90241cfea9bf8d222e0d3c20945f5fe6c61a83)

![{\displaystyle \alpha \;>_{[-\theta ]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97fbde4b7f8ab5e2fc7759710c4995df8e4a779d)
通常の不等式でよく見かける下記の命題は一般的には成立しない。
![{\displaystyle 0\;<_{[1]}\;\alpha ,\;0\;<_{[1]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc18a4786bee84979c05b1718370ec75b439af17)

![{\displaystyle 0\;<_{[1]}\alpha \;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c2f79fdaabafe27ecda05ab8af236e35c0939a)


![{\displaystyle 0\;<_{[1]}\alpha ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/647ac36d291052cf6829068bc6fb036823916cc7)
![{\displaystyle \alpha <_{[1]}\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1392247cb716014279b5815e2b895837a326960)

![{\displaystyle \alpha ^{2}\;<_{[1]}\;\beta ^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcb982869bd774e8f40a6c86e908518947beaf4f)
これらは、特殊な条件下で成立する命題である。
また、「0<[1]xy」であっても
「0<[1]x,0<[1]y
または、x<[1]0,y[1]<0」
とは限らない。
変数を含む拡張不等式の解は通常の不等式に比べてより複雑な構造となっている。
任意のRの二つの元α、βが任意の方向で常に比較可能とは限らないが、
(β-α)の方向では常に比較可能である。
すなわち
が成立している。
ポジティブ集合
[編集]
がポジティブ集合であることは定義からすぐに確認できる。
任意のポジティブ集合は、ポジティブ集合の加法性と単位元を持つことから、
を含む。
また、ポジティブ集合は0を含まないので標数は0となる。
したがって、
は包含関係において最小のポジティブ集合と言える。
ポジティブ集合の標数は0であるから、特に標数が0でない有限体は拡張不等式を扱えない。
ポジティブ集合
の下で、
の解を求めよ。
であるから、任意の自然数
を使って
と置くことができる。
したがって、解は、
実数体とポジティブ集合
[編集]
実数体
の
ポジティブ集合
にける拡張不等式は、通常の不等式と同じ性質を持つ。
すなわち、
「a<[1]b を a<b」、
「a>[1]b を a>b」とみなすことができる。
複素数体とポジティブ集合
[編集]
は、複素数体
のポジティブ集合でもある。
この場合、通常の不等式の問題を複素数の範囲で解く不等式の問題にすることができる。
複素数体
のポジティブ集合
の下で、
の解を求めよ。
とおくと、
となる。
を解くと、
または、
であるから
解は、
(任意の実数)または、
複素数体とポジティブ集合
[編集]
複素数体
はポジティブ集合
の下で完全である。
すなわち、任意の複素数α、β、θ≠0において、
のいずれかが1つの関係のみが成立する。
この大小関係は、(実数係数、虚数係数)の組で定義される辞書式順序と一致している。
任意の複素数
に対して、
は2つの複素数解を持ち、
片方の解は0より大きく、他方は0より小さい。
この解の中で、0より大きい方を
と書くことにすると、
の2つの複素数解は、
と表すことができる。
であるが、
が成立しないことからわかるように、
一般に、
であっても、
が成立するとは限らない。
しかし、複素数の平方根においては、大小関係が維持される。
すなわち、
定理
を複素数とする。
- Hardy, G., Littlewood J. E., Pólya, G. (1999). Cambridge Mathematical Library, Cambridge University Press. ISBN 0-521-05206-8.
- 不等式 (シュプリンガー数学クラシックス) ISBN 13-978-4621063514