上界とは,実数の部分集合のどの元よりも大きい実数のことです.
下界とは,実数の部分集合のどの元よりも小さい実数のことです.
をの空でない部分集合とする.あるが存在し,任意のに対し,となるとき,をの上界(upper bound)という.また,あるが存在し,任意のに対し,となるとき,をの下界(lower bound)という.
上界・下界の定義
上界・下界の厳密な定義は次のようになります.
をの空でない部分集合とする.あるが存在し,任意のに対し,となるとき,をの上界(upper bound)という.また,あるが存在し,任意のに対し,となるとき,をの下界(lower bound)という.
に上界が存在するとき,は上に有界(bounded above)であるといい,下界が存在するとき,は下に有界(bounded below)であるという.が上に有界かつ下に有界であるとき,は有界(bounded)であるという.
上の上界・下界を一般化した概念は,順序集合の上界・下界にあたる.これについては集合論の記事に譲ることにし,ここでは解析学の立場から上の上界・下界を考えるものとする.
さて,上の定義を論理式を用いて表してみよう.空でないに対し,の上界と下界は,それぞれ次の条件を満たす.
ここで,当たり前かもしれないが,やといった不等式について,等号が成り立つのは,それぞれがの上界,下界と一致するときである.
そして,に最大値や最小値が存在するとき,その値はそれぞれの上界・下界でもある.定義を見れば明らかだが,最大値・最小値は上界・下界の1つに過ぎない.
上界・下界のイメージ・例・意義
具体的なの空でない部分集合を通して,上界・下界を確認しよう.
以下,の区間の上界・下界を考えることにする.区間についての詳細は次の記事を参照するとよい.

まず,とおく.の最大値はであり,の最小値はである.最大値・最小値はそれぞれ上界・下界の一種であるから,は有界である.
また,例えばもの上界であり,もの下界である.一般に,の上界全体の集合を,下界全体の集合をとすると,であり,である.
実際,任意のに対し,となり,,はそれぞれの上界,下界である.
また,のとき,よりはの上界でない.さらに,のとき,よりはの下界でない.
このように,上界・下界は複数存在することがある.一方で,最大値・最小値や上限・下限は,存在するとしても,1つしか存在しない(以下の記事を参照せよ).



次に,とおく.の最大値はであり,最小値は存在しない.上と同様の議論により,の上界全体の集合をとすると,である.特に,の最大値はの上界でもある.一方で,の下界全体の集合をとすると,である.これも上と同様の議論により示すことができるのだが,重要なのはがの下界であるという点である.はの最小値ではないものの,の下界である.
のとき,がの下界でないことを,自分の手で証明してみるとよい.
- のとき,あるが存在し,となることを示せばよい.
- 任意のに対し,
- つまり,となるが存在するかどうかを調べればよい.
- との平均をとすればよさそう・・・?
- でも,となるかどうかは分からない!
- のときはとなり,この方法で証明できそう.
- のときは?
- だから,定義よりはの下界ではない.場合分けで示せるかも.
上のような考え方でを見つけるとよい.あとは先程と同様に証明するだけ.
- とおく.
- このときより
- また,
- よって,はの下界でない.
- したがって,示された.
したがって,は有界である.
のような集合では,最小値は存在しないが,はの「最小値のようなもの」であると言える.しかし,最小値はあくまでも「取ることのできる値のうち,最も小さい値」を表している.つまり,の元はという値を取ることはないため,最小値と呼ぶことはできない.そこで,そのような「最小値のようなもの」を表す,の下限という概念を導入することになる.その広い概念として,の下界という概念を考えるのである.

さらに,とおく.の最小値はであり,最大値は存在しない.
上と同様の議論により,の上界全体の集合をとすると,である.また,の下界全体の集合をとすると,である.特に,の最小値はの下界でもある.
したがって,は有界である.

そして,とおくと,には最大値も最小値も存在しない.
上と同様の議論により,の上界全体の集合をとすると,である.また,の下界全体の集合をとすると,である.
したがって,は有界である.
ここで,の上界全体の集合と下界全体の集合がすべて等しいことに気づいただろうか.よく考えてみると,はほとんど同じような区間を表している.端点を含んでいるかどうかが異なっているだけだ.つまり,上界と下界(上限と下限)によって,の「類似性」が明らかになり,最大値と最小値によって,の「違い」が明らかになると捉えることができる.
また,次のような集合の場合も,同様に上界・下界の存在性を確認することができる.

の最大値は,最小値は存在しない.の上界全体の集合をとすると,である.また,の下界は存在しない.実際,任意のに対し,が存在し,となる.
したがって,は上に有界であり,下に有界でない.

の最大値及び最小値は存在しない.の上界全体の集合をとすると,である.また,の下界は存在しない.実際,任意のに対し,が存在し,となる.
したがって,は上に有界であり,下に有界でない.

の最小値は,最大値は存在しない.の下界全体の集合をとすると,である.また,の上界は存在しない.
したがって,は下に有界であり,上に有界でない.

の最大値及び最小値は存在しない.の下界全体の集合をとすると,である.また,の上界は存在しない.
したがって,は下に有界であり,上に有界でない.

まとめると,空でないの部分集合に対し,の上界及び下界が存在するならば,それは上図のようになる.もちろん,が一つの繋がった区間を表していたり,一つの繋がった区間が複数合わさった集合を表していたりすることに注意が必要である.
関連内容
上界・下界と最大値・最小値
ここまで,最大値・最小値は上界・下界の一種であると説明してきた.これは定義より明らかであるが,念の為証明しておこう.
をの空でない部分集合とする.
- に最大値が存在するとき,はの上界である.
- に最小値が存在するとき,はの下界である.
- より,であるから,
最大値の定義より,任意のに対し,となるから,定義より,はの上界である. - より,であるから,
最小値の定義より,任意のに対し,となるから,定義より,はの下界である.
そして,区間の例と同様に考えることにより,次の命題を得る.
をの空でない部分集合とし,の上界全体の集合を,下界全体の集合をとする.
- に最大値が存在するとき,
- に最小値が存在するとき,
- 命題2より,任意のに対し
よって,はの上界である.
ここで,のとき,
であるから,はの上界でない.
したがって,である. - 命題2より,任意のに対し
よって,はの下界である.
ここで,のとき,
であるから,はの下界でない.
したがって,である.
上界・下界に似た概念
上界・下界に似た概念として,次のようなものがある.上界・下界との違いを認識する必要がある.
をの空でない部分集合とする.あるが存在し,任意のに対し,となるとき,をの最大値(maximum)という.また,あるが存在し,任意のに対し,となるとき,をの最小値(minimum)という.
をの空でない部分集合とし,の上界全体の集合を,下界全体の集合をとする.に最小値が存在するとき,をの上限(supremum)(または最小上界(least upper bound))といい,(または)で表す.また,に最小値が存在するとき,をの下限(infimum)(または最大下界(greatest lower bound))といい,(または)で表す.
それぞれ記事を公開しているため,合わせて参照するとよい.


また,関数の極大値・極小値については,次の記事を参照するとよい.
参考文献
この記事を含め,「微分積分学」のカテゴリーに属する記事は,以下の書籍・PDFファイル・Webサイトを参考文献としています(それぞれの記事について,以下に掲載していない参考文献がある場合は,逐一掲載しています).
書籍
- 杉浦光夫, 『解析入門I』, 基礎数学2, 東京大学出版会, 1980年.
- 杉浦光夫, 『解析入門II』, 基礎数学3, 東京大学出版会, 1985年.
- 杉浦光夫, 清水英男, 金子晃, 岡本和夫, 『解析演習』, 基礎数学7, 東京大学出版会, 1989年.
- 高木貞治, 『定本 解析概論』, 岩波書店, 2010年.
- 松坂和夫, 『解析入門 上』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
- 松坂和夫, 『解析入門 中』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
- 松坂和夫, 『解析入門 下』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
- 藤岡敦, 『手を動かしてまなぶ ε-δ論法』, 裳華房, 2021年.
- 藤岡敦, 『手を動かしてまなぶ 微分積分』, 裳華房, 2019年.
- 志賀浩二, 『微分・積分30講』, 数学30講シリーズ1, 朝倉書店, 1988年.
- 齋藤正彦, 『齋藤正彦 微分積分学』, 東京図書, 2006年.
- 加藤文元, 『大学教養 微分積分』, 数研講座シリーズ, 数研出版, 2019年.
- 『大学教養 微分積分』, 加藤文元(監修), 数研出版編集部(編著), チャート式シリーズ, 数研出版, 2019年.
- 小寺平治, 『明解演習 微分積分』, 明解演習シリーズ2, 共立出版, 1984年.
補足
10は2024年9月20日に新装改版が発売される予定です.
志賀浩二, 『微分・積分30講』, 数学30講シリーズ1, 新装改版, 朝倉書店, 2024年.
PDFファイル
- 石本健太, 「講義ノート『微分積分学』」, 2020年, https://www.kurims.kyoto-u.ac.jp/~ishimoto/files/note_calculus.pdf.
- 黒田紘敏, 「微分積分学入門」, 2024年, https://www7b.biglobe.ne.jp/~h-kuroda/pdf/text_calculus.pdf.
- 吉田伸生, 「微分積分学」, 2007年, https://ocw.kyoto-u.ac.jp/wp-content/uploads/2021/04/2010_bibunsekibungakuA.pdf.
- 西谷達雄, 「解析学」, http://www4.math.sci.osaka-u.ac.jp/~nishitani/calculus.pdf.
- 松澤寛, 「解析学の基礎(実数の連続性から定積分の存在まで)」, https://www.sci.kanagawa-u.ac.jp/math-phys/hmatsu/BasicAnalysis.pdf.
- 川端茂徳, 「解析学入門」, 2002年, https://www.fit.ac.jp/elec/7_online/calculus.pdf.
- 中西敏浩, 「およそ100ページで学ぶ微分積分学」, 2021年, https://www.math.shimane-u.ac.jp/~tosihiro/basiccalculus.pdf.
Webサイト
- Mathpedia, https://math.jp(旧版:https://old.math.jp).
- 数学の景色, https://mathlandscape.com.
- 高校数学の美しい物語, https://manabitimes.jp/math.
- KIT数学ナビゲーション, https://w3e.kanazawa-it.ac.jp/math.
- Wikipedia, https://ja.wikipedia.org(英語版:https://en.wikipedia.org).
- Wolfram MathWorld, https://mathworld.wolfram.com.
- Mathlog, https://mathlog.info.
- “topics on calculus”, PlanetMath, https://planetmath.org/TopicsOnCalculus.