拡張不等式のソースを表示


'''拡張不等式'''（かくちょうふとうしき、extended inequality）とは、[[不等式]]の概念をより一般の代数に適用できるように拡張したものである。

ここでは、'''R'''を単位元1を持つ環、'''P'''をそのポジティブ集合とする。

==定義==
拡張不等式を定義するためには、ポジティブ集合が必要である。


{{定義|title=ポジティブ集合|
集合'''P'''が環'''R'''の'''ポジティブ集合'''であるとは

下記の条件をみたす'''R'''の部分集合'''P'''事である。
* α,β∈'''P'''⇒α+β∈'''P'''
* 0∉'''P'''
* α∈'''P'''⇒-α∉'''P'''
* 1∈'''P'''
}}


===拡張不等号と拡張不等式===
ポジティブ集合'''P'''と拡張不等号で拡張不等式が定義される。

拡張不等号は向きを属性に持つ不等号の事である。

向きは、'''R'''の元を使って表す。

2つの'''R'''の元α、βの関係を拡張不等号を使って示した式が拡張不等式である。


{{定義|title=拡張不等号"＜<sub>[θ]</sub>"、"＞<sub>[θ]</sub>"|
'''R'''の元θが逆元を持つとき、
"＜<sub>[θ]</sub>"、"＞<sub>[θ]</sub>"をθ向きとする拡張不等号と呼ぶ。

α ＜<sub>[θ]</sub> β　⇔　β-α ∈ '''P'''θ

α ＞<sub>[θ]</sub> β　⇔　α-β ∈ '''P'''θ
}}


{{定義|title=拡張不等号"<sub>[θ]</sub>＜"、"<sub>[θ]</sub>＞"|
'''R'''の元θが逆元を持つとき、
"<sub>[θ]</sub>＜"、"<sub>[θ]</sub>＞"をθ向きとする拡張不等号と呼ぶ。

α <sub>[θ]</sub>＜ β　⇔　β-α ∈ θ'''P'''

α <sub>[θ]</sub>＞ β　⇔　α-β ∈ θ'''P'''

'''R'''が可換環の場合は、この記号を使わない。
}}


===="≦<sub>[θ]</sub>"、"≧<sub>[θ]</sub>"、"<sub>[θ]</sub>≦"、"<sub>[θ]</sub>≧"の定義====

{{定義|title=拡張不等号その他|
θの逆元の存在を仮定しない場合には"＜"、"＞"の代わりに"≦"、"≧"の記号を使用する。

すなわち

α ≦<sub>[θ]</sub> β　⇔　β-α ∈ '''P'''θ

α ≧<sub>[θ]</sub> β　⇔　α-β ∈ '''P'''θ

α <sub>[θ]</sub>≦ β　⇔　β-α ∈ θ'''P'''

α <sub>[θ]</sub>≧ β　⇔　α-β ∈ θ'''P'''
}}






適用しているポジティブ集合を明確に示すためには、拡張不等式の右側にポジティブ集合を明記する。

（例）　α ≦<sub>[θ]</sub> β　　　　　　('''P''')


==ポジティブ集合の例==

* <math>\mathbb{R}^+</math>: <math> \{x \in \mathbb{R} \mid x>0 \} </math> 正の実数全体

* <math>\mathbb{Q}^+</math>：<math> \{x \in \mathbb{Q} \mid x>0 \} </math> 正の有理数全体   

* <math>\mathbb{N}</math>: <math>\{x \in \mathbb{Z} \mid x>0 \}</math> 自然数全体

* <math>\mathbb{C}^+</math>：<math> \{x \in \mathbb{C} \mid (Re(x)>0) \lor ( Re(x)=0 \land Im(x)>0 ) \} </math>

* H<sup>+</sup>：正定値エルミート行列全体

* M<sup>+</sup>：対角成分がすべて正である行列全体

* <math>K((X))^+</math>:最小次数の係数が正のK係数ローラン級数全体


==拡張不等式の例==
簡単な拡張不等式の例を示す。

いずれも拡張不等式の定義から簡単に成立している事がわかる。

* <math>1 \;<_{[1]}\; \sqrt{2}</math> &nbsp;&nbsp;&nbsp;&nbsp;(<math>\mathbb{R}^+</math>)

* <math>\frac{1}{3} \;<_{[1]}\; \frac{1}{2}</math> &nbsp;&nbsp;&nbsp;&nbsp;(<math>\mathbb{Q}^+</math>)

* <math>1 \;<_{[1]}\; 2</math> &nbsp;&nbsp;&nbsp;&nbsp;(<math>\mathbb{N}</math>)

* <math>1+i \;<_{[1]}\; 2+i</math> &nbsp;&nbsp;&nbsp;&nbsp;(<math>\mathbb{R}^+</math>)

* <math>1+i \;<_{[1]}\; 2+2i</math> &nbsp;&nbsp;&nbsp;&nbsp;(<math>\mathbb{C}^+</math>)

* <math>
\begin{pmatrix}
 10 & 20\\
 30 & 40
\end{pmatrix}
\;<_{[E]}
\begin{pmatrix}
 50 & 20\\
 30 & 60
\end{pmatrix}
</math>&nbsp;&nbsp;&nbsp;&nbsp;(H<sup>+</sup>)

* <math>
\begin{pmatrix}
 1 & 2 \\
 3 & 4
\end{pmatrix}
\;<_{[E]}\;
\begin{pmatrix}
 2 & 0 \\
 0 & 5
\end{pmatrix}
</math>&nbsp;&nbsp;&nbsp;&nbsp;(M<sup>+</sup>)

※Eは単位行列


==拡張不等式の性質==
拡張不等式も通常の不等式と同じ性質をもつ。
<math>\alpha,\beta,\gamma,\theta</math>を'''R'''の元とする。

* <math>
\alpha \;<_{[\theta]}\; \beta \;
</math><math>
\implies
</math><math>
\alpha+\gamma \;<_{[\theta]}\; \beta+\gamma
</math>

* <math>
\alpha \;<_{[\theta]}\; \beta
</math>,<math>\beta \;<_{[\theta]}\; \gamma
</math><math>
\implies
</math><math>
\alpha \;<_{[\theta]}\; \gamma
</math>

* <math>
\alpha \;<_{[\theta]}\; \beta ,\; \exist \gamma^{-1}
</math><math>
\implies
</math><math>
\gamma \alpha \;<_{[\gamma \theta]}\; \gamma \beta
</math>

* <math>\alpha \;<_{[\theta]}\; \beta
</math><math>
\iff
</math><math>
\beta \;>_{[\theta]}\; \alpha
</math>

* <math>
\alpha \;<_{[\theta]}\; \beta
</math><math>
\iff
</math><math>
\alpha \; >_{[-\theta]} \; \beta
</math>

===注意===
通常の不等式でよく見かける下記の命題は一般的には成立しない。
* <math>
0 \;<_{[1]}\; \alpha, \; 0 \;<_{[1]}\; \beta
</math><math>
\implies
</math><math>
0 \; <_{[1]} \alpha \; \beta
</math>

* <math>
0 \ne \alpha
</math><math>
\implies
</math><math>
0 \; <_{[1]} \alpha^2
</math>

* <math>
\alpha <_{[1]} \beta
</math><math>
\implies
</math><math>
\alpha ^2 \;<_{[1]}\; \beta ^2
</math>

これらは、特殊な条件下で成立する命題である。

また、「0<<sub>[1]</sub>xy」であっても
「0<<sub>[1]</sub>x,0<[1]y
または、x<<sub>[1]</sub>0,y<sub>[1]</sub><0」
とは限らない。

変数を含む拡張不等式の解は通常の不等式に比べてより複雑な構造となっている。

任意のRの二つの元α、βが任意の方向で常に比較可能とは限らないが、
(β-α)の方向では常に比較可能である。

すなわち
<!-- α≦<sub>[β-α]</sub>β -->
<math>\alpha \leqq_{[\beta - \alpha]} \beta</math>
が成立している。


==各論==
===ポジティブ集合<math>\mathbb{N}</math>===

<math>\mathbb{N}</math>がポジティブ集合であることは定義からすぐに確認できる。

任意のポジティブ集合は、ポジティブ集合の加法性と単位元を持つことから、<math>\mathbb{N}</math>を含む。

また、ポジティブ集合は0を含まないので標数は0となる。

したがって、<math>\mathbb{N}</math>は包含関係において最小のポジティブ集合と言える。

ポジティブ集合の標数は0であるから、特に標数が0でない有限体は拡張不等式を扱えない。

====例題====
ポジティブ集合<math>\mathbb{N}</math>の下で、
<math>7 <_{[5]} x</math>の解を求めよ。

<math>(x-7) \in 5\mathbb{N}</math>
であるから、任意の自然数<math>n</math>を使って
<math>x-7=5n</math>と置くことができる。

したがって、解は、
<math>x=7+5n,n \in \mathbb{N}</math>


===実数体とポジティブ集合<math>\mathbb{R}^+</math>===

実数体<math>\mathbb{R}</math>の
ポジティブ集合<math>\mathbb{R}^+</math>にける拡張不等式は、通常の不等式と同じ性質を持つ。

すなわち、
「a＜<sub>[1]</sub>b を a<b」、
「a＞<sub>[1]</sub>b を a>b」とみなすことができる。



===複素数体とポジティブ集合<math>\mathbb{R}^+</math>===
<math>\mathbb{R}^+</math>は、複素数体<math>\mathbb{C}</math>のポジティブ集合でもある。

この場合、通常の不等式の問題を複素数の範囲で解く不等式の問題にすることができる。

====例題====
複素数体<math>\mathbb{C}</math>のポジティブ集合<math>\mathbb{R}^+</math>の下で、
<math>-1 <_{[1]} z^2</math>の解を求めよ。

<math>z=x+yi,x,y \in \mathbb{R}</math>とおくと、
<math>z^2+1=(x^2-y^2+1)+(2xy)i \in \mathbb{R}^+</math>となる。
<math>x^2-y^2+1>0,2xy=0</math>を解くと、

<math>\{z=x+yi|x=0,-y^2+1>0 \}</math>
または、
<math>\{z=x+yi|y=0,x^2+1>0 \}</math>
であるから

解は、
<math>z=x</math>(任意の実数)または、<math>z=yi\; (-1<y<1)</math>


===複素数体とポジティブ集合<math>\mathbb{C}^+</math>===
複素数体<math>\mathbb{C}</math>はポジティブ集合<math>\mathbb{C}^+</math>の下で完全である。

すなわち、任意の複素数α、β、θ≠0において、
* α=β
* α<<sub>[θ]</sub>β
* α><sub>[θ]</sub>β
のいずれかが１つの関係のみが成立する。

この大小関係は、(実数係数、虚数係数)の組で定義される辞書式順序と一致している。



====複素数の平方根についての正負====

任意の複素数<math>\alpha \ne 0</math>に対して、
<math>z^2=\alpha</math>は２つの複素数解を持ち、
片方の解は0より大きく、他方は0より小さい。
この解の中で、0より大きい方を

<math>\sqrt{\alpha}</math>と書くことにすると、
<math>z^2=\alpha</math>の２つの複素数解は、
<math>\pm \sqrt{\alpha}</math>と表すことができる。


<math>0 <_{[1]} i <_{[1]} 2i  \;\;(\mathbb{C}^+)</math>　であるが、
<math>i^2 <_{[1]} (2i)^2  \;\;(\mathbb{C}^+)</math>　が成立しないことからわかるように、
一般に、
<math>0 <_{[1]} \alpha <_{[1]} \beta \;\;(\mathbb{C}^+)
</math>であっても、
<math> \alpha^2 <_{[1]} \beta^2 \;\;(\mathbb{C}^+)
</math>
が成立するとは限らない。

しかし、複素数の平方根においては、大小関係が維持される。
すなわち、



{{定理|
<math>\alpha,\beta
</math>を複素数とする。

<math>
0<_{[1]} \alpha <_{[1]} \beta \;\;(\mathbb{C}^+) \implies \sqrt{\alpha} <_{[1]} \sqrt{\beta} \;\;(\mathbb{C}^+)
</math>
}}


== 参考文献 ==
* {{cite book |last=Hardy, G., Littlewood J. E., Pólya, G. |first= |author-link= |date=1999 |title= |url= |location= |publisher=Cambridge Mathematical Library, Cambridge University Press |page= |isbn=0-521-05206-8}}

* 不等式 (シュプリンガー数学クラシックス) ISBN 13-978-4621063514

* 不等式 (数学のかんどころ 9)　大関 清太


{{DEFAULTSORT:かくちょうふとうしき}}
[[カテゴリ:数学]]
[[カテゴリ:数]]
[[カテゴリ:不等式]]