「最大値と上限って同じじゃね?」「いいえ、違います。本記事は、上限と最大値、下限と最小値が異なるということを説明する記事です。本記事を読むにあたり、上限、下限について知っている必要があるので、以下の記事も合わせてご覧ください。上に有界、上界、上限とは?...for-spring.com2022.03.06「最大値と上限って同じじゃね?」「いいえ、違います。最大値と上限(最小値と下限)は同じもののように思えるかもしれませんが、実は違います。1\}\)は\(\mathbb{R}\)の最大値が\(1\)、最小値が\(0\)です。上限は\(1\)であり下限は\(0\)です。2<x<3\}\)は最大値も最小値も存在しません。上限は\(3\)、下限は\(2\)です。要は、最大値および最小値というのは、その集合の要素の中で最も大きい、最も小さい要素のことを指すのです。例7において、\(2\)および\(3\)というのは\((2,3)\)の要素ではありません。「最大値および最小値とは何か?」ということを論理式で書いておきます。\mathbb{R}\)とする。A\).(これが上限との違い)を満たすとき、\(S\)は\(A\)の最大値という。A\).(これが下限との違い)を満たすとき、\(I\)は\(A\)の最小値という。要は、最大値(最小値)は”その集合の要素の中で”という条件がつくというわけです。例6で見たように、最大値(最小値)と上限(下限)には一致することもあります。最大値(最小値)と上限(下限)はそれぞれ違うものだけれども似ているわけです。それを表す事実を述べておきます。最大値(最小値)は上限(下限)である。くどいようですが、この命題は決して「必ず最大値と上限は一致する」と言っているわけではありません。「最大値であれば、それは必ず上限である。」と言っているに過ぎないのです。証明を与えてみましょう。最大値が上限であることの証明と最小値が下限であることの証明はほぼ同じなので、前者のみ証明を与えることにします。証明(1)最大値は上限であることの証明\(A\subset\mathbb{R}\)に対して、\(S\)を\(A\)の最大値とします。A\).を満たすとします。x>S-\epsilon\)が成り立つことを証明すれば良いです。(1.について)仮定と同じものであるため、成り立ちます。A\)を見つけてくれば良いわけです。A\)ですので、この\(x\)として\(S\)を取ることができます。すると、この\(S\)は任意の\(\epsilon>0\)に対して、\(S>S-\epsilon\)を満たします(正の数を引けば、元の数よりも小さくなります)。従って、2.も成り立ちます。上限は存在するのですが、最大値が存在しない例を挙げれば証明したことになります。2<x<3\}\)とすると、\(A\subset\mathbb{R}\)です。A\).を満たすような\(S’\)は存在しないということを示すことができれば、証明完了です。A\)に対して、\(x<3\)ですので、\(x\leq3\)ですから1.が成り立ちます。\(3-\epsilon<3-\displaystyle\frac{\epsilon}{2}=x\)ですから\(x>3-\epsilon\)です。A\)であり、\(3-\epsilon\leq2<\displaystyle\frac{5}{2}=x\)ですから\(x>3-\epsilon\)です。したがって、1.および2.が成り立ちます。1.により1が成り立つような\(S’\)が存在します。この\(S’\)が同時に2を満たしていたとします。A\)だったとします。すると、\(S'<3\)です。有理数の稠密性から、ある有理数\(c\)が存在して、\(S'<c<3\)です。これは、1に反します。\(S’\)が\(A\)の中で最も大きい数だったにもかかわらず、それよりも大きな\(A\)の要素\(c\)が存在することになったからです。よって1と2を同時に満たす\(S’\)は存在しません。したがって、上限は必ずしも最大値ではありません。今回は上限と最大値、下限と最小値は異なることを説明しました。結局、最大値および最小値は上限および下限であるけれども、上限および下限は必ずしも最大値および最小値ではない、ということです。次回は「ワイエルシュトラスの上限公理をデデキントの定理から導く」です。極限についての諸注意を説明する記事です。極限(特に収束)のイメージについて知っている必要があるため、その際は以下の記事を参照してください。本記事は点列の和・積、数列と点列の積の極限について解説する記事です。本記事を読むにあたり、数列の極限と点列の極限を知っている必要があるため、その際は以下の記事を参照してください。本記事は連続な関数の和・差・積・商もまた連続な関数であることを説明する記事である。この記事を読むにあたり、関数の収束と連続を知っているとより理解が進むと思われるので、その際は以下の記事を参照してください。ID:A2MDIxMDE名無し様コメントありがとうございます。34コメントをキャンセルメールアドレスが公開されることはありません。実数の連続性お知らせ2023/5/20沢山のコメント、ありがとうございます。お返ししますので、今しばしお待ち頂ければ幸いです。2023年度から新社会人。2019年に博士前期課程修了(修士(数理科学))。