ユークリッド空間上の非空な部分集合に対して、その極大元や極小元を定義します。1次元ユークリッド空間においてこれらは最大元や最小元と等しい概念ですが、多次元ユークリッド空間においては異なる概念です。element)と呼びます。element)と呼びます。定義より、\(\mathbb{R}^{n}\)の部分集合\(A\)の極大元や極小元はいずれも\(A\)の要素でなければなりません。\)の極大元は\(1\)です。\)の極小元が\(0\)であることも同様にして示されます。1\}\end{equation*}について考えます。A\)に対して\(a_{1}<x_{1}\)と\(a_{2}<x_{2}\)はいずれも成り立たないため、\(a<x\)は成り立ちようがありません。したがって\(a\)は\(A\)の極大元です。\)が\(A\)の極小元であることが示されます。極大元や極小元を以下のように表現することもできます。x=a\right)\end{equation*}が成り立つことは\(a\)が\(A\)の極小元であるための必要十分条件である。証明を見る(プレミアム会員限定)つまり、\(A\)のある点\(a\)について、\(a\)以上であるような\(A\)の任意の点が\(a\)と等しいことは、\(a\)が\(A\)の極大元であるための必要十分条件です。\(a\)以下であるような\(A\)の任意の点が\(a\)と等しいことは、\(a\)が\(A\)の極小元であるための必要十分条件です。極大元・極小元は存在するとは限らない\(\mathbb{R}^{n}\)の部分集合の最大元や最小元と同様に、極大元や極小元もまた存在するとは限りません。以下の例から明らかです。\)に極大元\(a\)が存在するものと仮定します。\mathbb{R}\)に対して\(a<x\)は成り立ちません。\)の極大元であることと矛盾します。\)には極大元が存在しません。\)に極小元が存在しないことも同様に示されます。多次元ユークリッド空間の部分集合の極大元・極小元は一意的とは限らない\(1\)次元ユークリッド空間\(\mathbb{R}\)の非空な部分集合が極大元や極小元を持つ場合には、それらはそれぞれ一意的に定まります。命題(1次元ユークリッド空間における最大元・最小元の一意性)\(1\)次元ユークリッド空間\(\mathbb{R}\)の非空な部分集合\(A\)が極大元もしくは極小元を持つ場合には、それらはそれぞれ一意的に定まる。\)が完備律を満たすという事実が大きな役割を果たします。\)は完備律を満たさないため、\(\mathbb{R}^{n}\)の部分集合の極大元や極小元に関して同様の証明戦略は使えません。以下の例から明らかであるように、\(2\)次元以上のユークリッド空間\(\mathbb{R}^{n}\)に関しては、その非空な部分集合が極大元や極小元を持つとき、それらは一意的に定まるとは限りません。1\}\end{equation*}について考えます。つの点\(a\)を任意に選びます。\)を任意に選ぶと、これと\(a\)の間に\(a<x\)は成り立たないため、\(a\)は\(A\)の極大元です。このような\(a\)は無限個存在するため、\(A\)は無限個の極大元を持ちます。\(A\)が無限個の極小元を持つことも同様にして示すことができます。極大元と最大元の関係・極小元と最小元の関係\(\mathbb{R}^{n}\)の部分集合に最大元が存在する場合には、それは同時に一意的な極大元です。最小元は同時に一意的な極小元です。命題(最大元は極大元・最小元は極小元)ユークリッド空間\(\mathbb{R}^{n}\)の非空な部分集合\(A\)について以下が成り立つ。A\text{が存在するならば、それは}A\text{の一意的な極大元である。A\text{が存在するならば、それは}A\text{の一意的な極小元である。}\end{eqnarray*}証明を見る(プレミアム会員限定)\(1\)次元ユークリッド空間\(\mathbb{R}\)に話を限定すると、先に示したように、その部分集合の極大元や極小元が存在する場合にはそれらはそれぞれ一意的です。上の命題の主張とは逆に、極大元は同時に最大元になり、極小元は同時に最小限になります。命題(極大元は最大元・極小元は最小元)\(1\)次元ユークリッド空間\(\mathbb{R}\)の非空な部分集合\(A\)について以下が成り立つ。A\text{である。A\text{である。つの命題から以下が導かれます。系(極大元と最大元・極小元と最小元の関係)\(1\)次元ユークリッド空間\(\mathbb{R}\)の非空な部分集合\(A\)について以下が成り立つ。A\text{は一致する。A\text{は一致する。}\end{eqnarray*}一方、\(2\)次元以上のユークリッド空間\(\mathbb{R}^{n}\)においては、その部分集合の極大元はそもそも一意的に定まるとは限りませんし、極大元が存在する場合でもそれは最大元であるとは限りません。したがって、多次元のユークリッド空間において、その部分集合の極大元と最大元は概念として一致しません。最大元は極大元ですが、極大元は最大元であるとは限りません。極小元と最小元の関係についても同様です。この事実は以下の例からも確認できます。1\}\end{equation*}について考えます。A\)は存在しません。0\)かつ\(a_{1}^{2}+a_{2}^{2}=1\)を満たすものは無限個存在しますが、それらはいずれも\(A\)の極大元です。最小元と極小元の間にも同様の関係が成り立ちます。次回はユークリッド空間の部分集合の極大元や極小元について学びます。>上界・下界ワイズをさらに活用するための会員サービスユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。会員サービスの詳細を見る会員サービスディスカッションに参加しますか?質問やコメントを投稿するにはログインが必要です。ログイン会員登録コメント投稿に際するお願い返信をキャンセルする。>有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。>皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。