出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事はカテゴライズされていないか、不十分です。適切なカテゴリを追加して、記事内容を向上させてください。(2024年5月) |
拡張不等式︵かくちょうふとうしき、extended inequality︶とは、不等式の概念をより一般の代数に適用できるように拡張したものである。
ここでは、Rを単位元1を持つ環、Pをそのポジティブ集合とする。
定義
ポジティブ集合
集合Pがポジティブ集合であるとは、下記の条件をみたすRの部分集合の事を言う。
●α,β∈P⇒α+β∈P
●0∉P
●α∈P⇒-α∉P
●1∈P
拡張不等号と拡張不等式
ポジティブ集合Pがあれば、それに対応した拡張不等号で拡張不等式が定義される。
拡張不等号は向きを属性に持つ不等号の事である。
向きは、Rの元を使って表す。
2つのRの元α、βの関係性を拡張不等号を使って示した式を拡張不等式と呼ぶ。
"<[θ]"、">[θ]"、"[θ]<"、"[θ]>"の定義
Rの元θに対し、θが逆元を持つとき、
"<[θ]"、">[θ]"、"[θ]<"、"[θ]>"をθ向きとする拡張不等号と呼ぶ。
α <[θ] β ⇔ β-α ∈ θP
α >[θ] β ⇔ α-β ∈ θP
α [θ]< β ⇔ β-α ∈ Pθ
α [θ]> β ⇔ α-β ∈ Pθ
Rが可換環の場合は、
"<[θ]"と"[θ]<"が同じ意味になるため、
"[θ]<"の記号は使わない。
"≦[θ]"、"≧[θ]"、"[θ]≦"、"[θ]≧"の定義
θの逆元の存在を仮定しない場合には"<"、">"の代わりに"≦"、"≧"の記号を使用する。
すなわち
α ≦[θ] β ⇔ β-α ∈ θP
α ≧[θ] β ⇔ α-β∈ θP
α [θ]≦ β ⇔ β-α∈ Pθ
α [θ]≧ β ⇔ α-β ∈ Pθ
適用しているポジティブ集合を明確に示すために、拡張不等式の右側にポジティブ集合を表記する。
︵例︶ α ≦[θ] β (P)
ポジティブ集合の例
●
:
正の実数全体
●
‥
正の有理数全体
●
:
自然数全体
●
‥
●H+‥正定値エルミート行列全体
●M+‥対角成分がすべて正である行列全体
●
:最小次数の係数が正のK係数ローラン級数全体
拡張不等式の例
簡単な拡張不等式の例を示す。
いずれも拡張不等式の定義から簡単に成立している事がわかる。
●
(
)
●
(
)
●
(
)
●
(
)
●
(
)
●
(H+)
●
(M+)
※Eは単位行列
拡張不等式の性質
拡張不等式も通常の不等式と同じ性質をもつ。
をRの元とする。
●![{\displaystyle \alpha \;<_{[\theta ]}\;\beta \;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/222b32bb86f600bec6f6737dfc7b600d6bb03a04)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
●
,![{\displaystyle \beta \;<_{[\theta ]}\;\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f9d4a8e7a4f96a5789bf662360f24081d59ec03)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
●![{\displaystyle \alpha \;<_{[\theta ]}\;\beta ,\;\exists \gamma ^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae47feaf92c000c23dab6ff38610d0c85b6bd39c)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
●![{\displaystyle \alpha \;<_{[\theta ]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc90241cfea9bf8d222e0d3c20945f5fe6c61a83)
![{\displaystyle \iff }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff942842a50b24e7585cc42c5b50c34650e3aa99)
●![{\displaystyle \alpha \;<_{[\theta ]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc90241cfea9bf8d222e0d3c20945f5fe6c61a83)
![{\displaystyle \iff }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff942842a50b24e7585cc42c5b50c34650e3aa99)
注意
通常の不等式でよく見かける下記の命題は一般的には成立しない。
●![{\displaystyle 0\;<_{[1]}\;\alpha ,\;0\;<_{[1]}\;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc18a4786bee84979c05b1718370ec75b439af17)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
●![{\displaystyle 0\neq \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc6b4d026f1076163317848838adb8b03024b412)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
●![{\displaystyle \alpha <_{[1]}\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1392247cb716014279b5815e2b895837a326960)
![{\displaystyle \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
これらは、特殊な条件下で成立する命題である。
また、﹁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において、
●α=β
●α<[θ]β
●α>[θ]β
のいずれかが成立する。
z2=α(α≠0)の2つの複素数解をα1、α2とすると、
片方の解は正で、もう片方は正でない。
正の方をα1するとα2=-α1である。
そこで、αの正の方の平方根を√αと記述することにすると、z2=αの解は、±√α︵0<[1]√α︶
と書くことができる。
このとき、
となる。