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

{{特筆性|date=2024年5月}}
一般の不等号では「複素数において 大・小関係が論じられない」のであるが<ref>[https://www.jstage.jst.go.jp/article/mesj/2/3-4/2_39/_pdf/-char/ja 不等式の基礎についての考察] 秋月 康夫</ref>、'''拡張不等式'''（かくちょうふとうしき、extended inequality）は、[[不等式]]の概念をより一般の代数に適用できるように拡張したものである。

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

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

===ポジティブ集合===
集合'''P'''が'''ポジティブ集合'''であるとは、下記の条件をみたす'''R'''の部分集合の事を言う。

* α,β∈'''P'''⇒α+β∈'''P'''
* 0∉'''P'''
* α∈'''P'''⇒-α∉'''P'''
* 1∈'''P'''
===拡張不等号と拡張不等式===
ポジティブ集合'''P'''と拡張不等号で拡張不等式が定義される。

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

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

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

===="＜<sub>[θ]</sub>"、"＞<sub>[θ]</sub>"、"<sub>[θ]</sub>＜"、"<sub>[θ]</sub>＞"の定義====

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

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

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

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

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

'''R'''が可換環の場合は、
"＜<sub>[θ]</sub>"と"<sub>[θ]</sub>＜"が同じ意味になるため、
"<sub>[θ]</sub>＜"の記号は使わない。

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

θの逆元の存在を仮定しない場合には"＜"、"＞"の代わりに"≦"、"≧"の記号を使用する。

すなわち

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

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

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

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

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

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

（例2）　α ≦<sub>[θ,'''P''']</sub> β　

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

* <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>
0<_{[1]} \alpha <_{[1]} \beta \implies \sqrt{\alpha} <_{[1]} \sqrt{\beta} \;\;(\mathbb{C}^+)
</math>

が成立している。

== 関連項目 ==
*[[等号]]
*[[不等号]]

*[[順序集合]]
**[[順序加群]]
**[[順序体]]

== 脚注 ==
{{reflist}}

== 参考文献 ==
{{参照方法|date=2024年8月|section=1}}
* {{Cite journal|和書|author=瀬尾祐貴 |date=2014-08 |url=http://ir.lib.osaka-kyoiku.ac.jp/dspace/handle/123456789/28305 |title=行列の大小関係を考えよう |journal=数学教育研究 |ISSN=0288-416X |publisher=大阪教育大学数学教室 |volume=43 |pages=93-104 |CRID=1050582186291826432 |ref=harv}}
* Roger A. Horn, Matrix Analysis(Second Edition),1994, Cambridge University Press 
* {{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}}
*  G. H. ハーディ, J. E. リトルウッド, G. ポーヤ, 不等式 (シュプリンガー数学クラシックス) {{ISBN2|978-4621063514}},2012,丸善出版
* 大関 清太, 不等式 (数学のかんどころ 9),2012, 共立出版
* {{Cite thesis|和書|author=佐々木賢之介 |year=2009 |url=https://tohoku.repo.nii.ac.jp/records/41283 |title=正値行列のノルム不等式と幾何平均 |quote=修士論文あるいは修士論文要旨 (Summary of Thesis(MR)) |series=情報科学修士 |publisher=Tohoku University |hdl=10097/34644 |ref=harv}}
* {{Cite journal|和書|author=藤井淳一 |date=2000-04 |url=http://ir.lib.osaka-kyoiku.ac.jp/dspace/handle/123456789/32415 |title=Huaの作用素不等式について (作用素の不等式とその周辺) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1144 |pages=25-30 |hdl=2433/63921 |CRID=1050001202297678976 |ref=harv}}
* {{Cite journal|和書|author=富永雅 |date=2017-06 |url=https://hdl.handle.net/2433/236765 |title=BUZANOの不等式とその拡張について (作用素論に基づく量子情報理論の幾何学的構造に関する研究と関連する話題) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=2033 |pages=1-8 |hdl=2433/236765 |CRID=1050001338209336064 |ref=harv}}


{{Normdaten}}
{{DEFAULTSORT:かくちようふとうしき}}
[[Category:不等式|*]]
[[Category:数式]]
[[Category:解析学]]
[[Category:初等数学]]
[[Category:数学に関する記事]]