| この記事の主題はウィキペディアにおける独立記事作成の目安を満たしていないおそれがあります。 目安に適合することを証明するために、記事の主題についての信頼できる二次資料を求めています。なお、適合することが証明できない場合には、記事は統合されるか、リダイレクトに置き換えられるか、さもなくば削除される可能性があります。 出典検索?: "拡張不等式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(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)
ポジティブ集合の例[編集]
:
正の実数全体
:
正の有理数全体
:
自然数全体
:![{\displaystyle \{x\in \mathbb {C} \mid (Re(x)>0)\lor (Re(x)=0\land Im(x)>0)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4688b13c92e7758b90d25aa07044ebf3f1956d7)
:最小次数の係数が正の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 \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 \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
![{\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 \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
![{\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 \iff }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff942842a50b24e7585cc42c5b50c34650e3aa99)
![{\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 \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/97fbde4b7f8ab5e2fc7759710c4995df8e4a779d)
通常の不等式でよく見かける下記の命題は一般的には成立しない。
![{\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\;<_{[1]}\alpha \;\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c2f79fdaabafe27ecda05ab8af236e35c0939a)
![{\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 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 \implies }](https://wikimedia.org/api/rest_v1/media/math/render/svg/913c2e89ea94dfa446f69b056d4bf505e01fcc5f)
![{\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 978-4621063514
- 不等式 (数学のかんどころ 9) 大関 清太