当サイトの参考文献はこちらからご参照ください.
また,記事中に誤植と思われる箇所を見つけた場合,お手数ですがお問合せフォームからご連絡していただきますと幸いです.

上界・下界 ~定義・イメージ・例を解説~

上界とは,実数の部分集合のどの元よりも大きい実数のことです.
下界とは,実数の部分集合のどの元よりも小さい実数のことです.

上界・下界とは

AAR\mathbb{R}の空でない部分集合とする.あるMRM\in \mathbb{R}が存在し,任意のxAx\in Aに対し,xMx\le Mとなるとき,MMAA上界(upper bound)という.また,あるmRm\in \mathbb{R}が存在し,任意のxAx\in Aに対し,mxm\le xとなるとき,mmAA下界(lower bound)という.

上界・下界の定義

上界・下界の厳密な定義は次のようになります.

定義1

AAR\mathbb{R}の空でない部分集合とする.あるaRa\in \mathbb{R}が存在し,任意のxAx\in Aに対し,xax\le aとなるとき,aaAA上界(upper bound)という.また,あるbRb\in \mathbb{R}が存在し,任意のxAx\in Aに対し,bxb\le xとなるとき,bbAA下界(lower bound)という.

AAに上界が存在するとき,AA上に有界(bounded above)であるといい,下界が存在するとき,AA下に有界(bounded below)であるという.AAが上に有界かつ下に有界であるとき,AA有界(bounded)であるという.

R\mathbb{R}上の上界・下界を一般化した概念は,順序集合の上界・下界にあたる.これについては集合論の記事に譲ることにし,ここでは解析学の立場からR\mathbb{R}上の上界・下界を考えるものとする.

さて,上の定義を論理式を用いて表してみよう.空でないARA\subset \mathbb{R}に対し,AAの上界aaと下界bbは,それぞれ次の条件を満たす.

xA[xa] \forall x\in A[x\le a]
xA[bx] \forall x\in A[b\le x]

ここで,当たり前かもしれないが,xax\le abxb\le xといった不等式について,等号が成り立つのは,それぞれxxAAの上界,下界と一致するときである.

そして,AAに最大値や最小値が存在するとき,その値はそれぞれAAの上界・下界でもある.定義を見れば明らかだが,最大値・最小値は上界・下界の1つに過ぎない.

上界・下界のイメージ・例・意義

具体的なR\mathbb{R}の空でない部分集合を通して,上界・下界を確認しよう.

以下,R\mathbb{R}の区間の上界・下界を考えることにする.区間についての詳細は次の記事を参照するとよい.

図1

まず,A=[1,2]={x1x2}A=[-1,2]=\{ x\mid -1\le x\le 2\}とおく.AAの最大値は22であり,AAの最小値は1-1である.最大値・最小値はそれぞれ上界・下界の一種であるから,AAは有界である.

また,例えば33AAの上界であり,2-2AAの下界である.一般に,AAの上界全体の集合をU(A)U(A),下界全体の集合をL(A)L(A)とすると,U(A)={xRx2}U(A)=\{ x\in \mathbb{R}\mid x\ge 2\}であり,L(A)={xRx1}L(A)=\{ x\in \mathbb{R}\mid x\le -1\}である.

実際,任意のa2,b1,xAa\ge 2,b\le -1,x\in Aに対し,b1x2ab\le -1\le x\le 2\le aとなり,aabbはそれぞれAAの上界,下界である.
また,a<2a<2のとき,2A2\in AよりaaAAの上界でない.さらに,b>1b>-1のとき,1A-1\in AよりbbAAの下界でない.

このように,上界・下界は複数存在することがある.一方で,最大値・最小値や上限・下限は,存在するとしても,1つしか存在しない(以下の記事を参照せよ).

図2

次に,B=(1,2]={x1<x2}B=(-1,2]=\{ x\mid -1<x\le 2\}とおく.BBの最大値は22であり,最小値は存在しない.上と同様の議論により,BBの上界全体の集合をU(B)U(B)とすると,U(B)={xRx2}U(B)=\{ x\in \mathbb{R}\mid x\ge 2\}である.特に,BBの最大値22BBの上界でもある.一方で,BBの下界全体の集合をL(B)L(B)とすると,L(B)={xRx1}L(B)=\{ x\in \mathbb{R}\mid x\le -1\}である.これも上と同様の議論により示すことができるのだが,重要なのは1-1BBの下界であるという点である.1-1BBの最小値ではないものの,BBの下界である.

b>1b>-1のとき,bbBBの下界でないことを,自分の手で証明してみるとよい.

  • b>1b>-1のとき,あるxBx\in Bが存在し,x<bx<bとなることを示せばよい.
  • 任意のyBy\in Bに対し,1<y2-1<y\le 2
  • つまり,1<x<b-1<x<bとなるxBx\in Bが存在するかどうかを調べればよい.
  • bb1-1の平均b12\dfrac{b-1}{2}xxとすればよさそう・・・?
  • でも,xBx\in Bとなるかどうかは分からない!
  • b5b\le 5のときはxBx\in Bとなり,この方法で証明できそう.
  • b>5b>5のときは?
  • 2B2\in Bだから,定義よりbbBBの下界ではない.場合分けで示せるかも.

上のような考え方でxxを見つけるとよい.あとは先程と同様に証明するだけ.

  • x=min{b12,2}x=\min \left\{ \dfrac{b-1}{2},2\right\}とおく.
  • このとき1x<2-1\le x<2よりxBx\in B
  • また,x<bx<b
  • よって,bbBBの下界でない.
  • したがって,示された.

したがって,BBは有界である.

BBのような集合では,最小値は存在しないが,1-1BBの「最小値のようなもの」であると言える.しかし,最小値はあくまでも「取ることのできる値のうち,最も小さい値」を表している.つまり,BBの元は1-1という値を取ることはないため,最小値と呼ぶことはできない.そこで,そのような「最小値のようなもの」を表す,BBの下限という概念を導入することになる.その広い概念として,BBの下界という概念を考えるのである.

図3

さらに,C=[1,2)={x1x<2}C=[-1,2)=\{ x\mid -1\le x<2\}とおく.CCの最小値は1-1であり,最大値は存在しない.

上と同様の議論により,CCの上界全体の集合をU(C)U(C)とすると,U(C)={xRx2}U(C)=\{ x\in \mathbb{R}\mid x\ge 2\}である.また,CCの下界全体の集合をL(C)L(C)とすると,L(C)={xRx1}L(C)=\{ x\in \mathbb{R}\mid x\le -1\}である.特に,CCの最小値22CCの下界でもある.

したがって,CCは有界である.

図4

そして,D=(1,2)={x1<x<2}D=(-1,2)=\{ x\mid -1<x<2\}とおくと,DDには最大値も最小値も存在しない.

上と同様の議論により,DDの上界全体の集合をU(D)U(D)とすると,U(D)={xRx2}U(D)=\{ x\in \mathbb{R}\mid x\ge 2\}である.また,DDの下界全体の集合をL(D)L(D)とすると,L(D)={xRx1}L(D)=\{ x\in \mathbb{R}\mid x\le -1\}である.

したがって,DDは有界である.

ここで,A,B,C,DA,B,C,Dの上界全体の集合と下界全体の集合がすべて等しいことに気づいただろうか.よく考えてみると,A,B,C,DA,B,C,Dはほとんど同じような区間を表している.端点を含んでいるかどうかが異なっているだけだ.つまり,上界と下界(上限と下限)によって,A,B,C,DA,B,C,Dの「類似性」が明らかになり,最大値と最小値によって,A,B,C,DA,B,C,Dの「違い」が明らかになると捉えることができる.

また,次のような集合の場合も,同様に上界・下界の存在性を確認することができる.

図5

E=(,2]={xx2}E=(-\infty ,2]=\{ x\mid x\le 2\}の最大値は22,最小値は存在しない.EEの上界全体の集合をU(E)U(E)とすると,U(E)={xRx2}U(E)=\{ x\in \mathbb{R}\mid x\ge 2\}である.また,EEの下界は存在しない.実際,任意のtRt\in \mathbb{R}に対し,min{2,t1}E\min \{ 2,t-1\}\in Eが存在し,min{2,t1}<t\min \{ 2,t-1\} <tとなる.

したがって,EEは上に有界であり,下に有界でない.

図6

F=(,2)={xx<2}F=(-\infty ,2)=\{ x\mid x<2\}の最大値及び最小値は存在しない.FFの上界全体の集合をU(F)U(F)とすると,U(F)={xRx2}U(F)=\{ x\in \mathbb{R}\mid x\ge 2\}である.また,FFの下界は存在しない.実際,任意のtRt\in \mathbb{R}に対し,min{1,t1}F\min \{ 1,t-1\}\in Fが存在し,min{1,t1}<t\min \{ 1,t-1\} <tとなる.

したがって,FFは上に有界であり,下に有界でない.

図7

G=[1,)={xx1}G=[-1,\infty )=\{ x\mid x\ge -1\}の最小値は1-1,最大値は存在しない.GGの下界全体の集合をL(G)L(G)とすると,L(G)={xRx1}L(G)=\{ x\in \mathbb{R}\mid x\le -1\}である.また,GGの上界は存在しない.

したがって,GGは下に有界であり,上に有界でない.

図8

H=(1,)={xx>1}H=(-1,\infty )=\{ x\mid x>-1\}の最大値及び最小値は存在しない.HHの下界全体の集合をL(H)L(H)とすると,L(H)={xRx1}L(H)=\{ x\in \mathbb{R}\mid x\le -1\}である.また,HHの上界は存在しない.

したがって,HHは下に有界であり,上に有界でない.


図9

まとめると,空でないR\mathbb{R}の部分集合IIに対し,IIの上界及び下界が存在するならば,それは上図のようになる.もちろん,IIが一つの繋がった区間を表していたり,一つの繋がった区間が複数合わさった集合を表していたりすることに注意が必要である.

関連内容

上界・下界と最大値・最小値

ここまで,最大値・最小値は上界・下界の一種であると説明してきた.これは定義より明らかであるが,念の為証明しておこう.

命題1

AAR\mathbb{R}の空でない部分集合とする.

  1. AAに最大値maxA\max Aが存在するとき,maxA\max AAAの上界である.
  2. AAに最小値minA\min Aが存在するとき,minA\min AAAの下界である.
  • ARA\subset \mathbb{R}より,maxAA\max A\in Aであるから,maxAR\max A\in \mathbb{R}
    最大値の定義より,任意のxAx\in Aに対し,xmaxAx\le \max Aとなるから,定義より,maxA\max AAAの上界である.\blacksquare
  • ARA\subset \mathbb{R}より,minAA\min A\in Aであるから,minAR\min A\in \mathbb{R}
    最小値の定義より,任意のxAx\in Aに対し,minAx\min A\le xとなるから,定義より,minA\min AAAの下界である.\blacksquare

そして,区間の例と同様に考えることにより,次の命題を得る.

命題2

AAR\mathbb{R}の空でない部分集合とし,AAの上界全体の集合をU(A)U(A),下界全体の集合をL(A)L(A)とする.

  • AAに最大値maxA\max Aが存在するとき,U(A)={xRxmaxA}U(A)=\{ x\in \mathbb{R}\mid x\ge \max A\}
  • AAに最小値minA\min Aが存在するとき,L(A)={xRminAx}L(A)=\{ x\in \mathbb{R}\mid \min A\le x\}
  • 命題2より,任意のa{xRxmaxA},xAa\in \{ x\in \mathbb{R}\mid x\ge \max A\} ,x\in Aに対しxmaxAax\le \max A\le a
    よって,aaAAの上界である.
    ここで,b∉{xRxmaxA}b\not\in \{ x\in \mathbb{R}\mid x\ge \max A\}のとき,b<maxAb<\max A
    maxAA\max A\in Aであるから,bbAAの上界でない.
    したがって,U(A)={xRxmaxA}U(A)=\{ x\in \mathbb{R}\mid x\ge \max A\}である.\blacksquare
  • 命題2より,任意のa{xRminAx},xAa\in \{ x\in \mathbb{R}\mid \min A\le x\} ,x\in Aに対しaminAxa\le \min A\le x
    よって,aaAAの下界である.
    ここで,b∉{xRminAx}b\not\in \{ x\in \mathbb{R}\mid \min A\le x\}のとき,b>minAb>\min A
    minAA\min A\in Aであるから,bbAAの下界でない.
    したがって,L(A)={xRminAx}L(A)=\{ x\in \mathbb{R}\mid \min A\le x\}である.\blacksquare

上界・下界に似た概念

上界・下界に似た概念として,次のようなものがある.上界・下界との違いを認識する必要がある.

定義2

AAR\mathbb{R}の空でない部分集合とする.あるMAM\in \color{red}{A}が存在し,任意のxAx\in Aに対し,xMx\le Mとなるとき,MMAA最大値(maximum)という.また,あるmAm\in \color{red}{A}が存在し,任意のxAx\in Aに対し,mxm\le xとなるとき,mmAA最小値(minimum)という.

定義3

AAR\mathbb{R}の空でない部分集合とし,AAの上界全体の集合をU(A)U(A),下界全体の集合をL(A)L(A)とする.U(A)U(A)に最小値α\alphaが存在するとき,α\alphaAA上限(supremum)(または最小上界(least upper bound))といい,supA\sup A(またはlubA\operatorname{lub}A)で表す.また,L(A)L(A)に最小値β\betaが存在するとき,β\betaAA下限(infimum)(または最大下界(greatest lower bound))といい,infA\inf A(またはglbA\operatorname{glb}A)で表す.

それぞれ記事を公開しているため,合わせて参照するとよい.

また,関数の極大値・極小値については,次の記事を参照するとよい.

参考文献

この記事を含め,「微分積分学」のカテゴリーに属する記事は,以下の書籍・PDFファイル・Webサイトを参考文献としています(それぞれの記事について,以下に掲載していない参考文献がある場合は,逐一掲載しています).

書籍

  1. 杉浦光夫, 『解析入門I』, 基礎数学2, 東京大学出版会, 1980年.
  2. 杉浦光夫, 『解析入門II』, 基礎数学3, 東京大学出版会, 1985年.
  3. 杉浦光夫, 清水英男, 金子晃, 岡本和夫, 『解析演習』, 基礎数学7, 東京大学出版会, 1989年.
  4. 高木貞治, 『定本 解析概論』, 岩波書店, 2010年.
  5. 松坂和夫, 『解析入門 上』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
  6. 松坂和夫, 『解析入門 中』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
  7. 松坂和夫, 『解析入門 下』, 松坂和夫 数学入門シリーズ, 新装版, 岩波書店, 2018年.
  8. 藤岡敦, 『手を動かしてまなぶ ε-δ論法』, 裳華房, 2021年.
  9. 藤岡敦, 『手を動かしてまなぶ 微分積分』, 裳華房, 2019年.
  10. 志賀浩二, 『微分・積分30講』, 数学30講シリーズ1, 朝倉書店, 1988年.
  11. 齋藤正彦, 『齋藤正彦 微分積分学』, 東京図書, 2006年.
  12. 加藤文元, 『大学教養 微分積分』, 数研講座シリーズ, 数研出版, 2019年.
  13. 大学教養 微分積分』, 加藤文元(監修), 数研出版編集部(編著), チャート式シリーズ, 数研出版, 2019年.
  14. 小寺平治, 『明解演習 微分積分』, 明解演習シリーズ2, 共立出版, 1984年.
補足

10は2024年9月20日に新装改版が発売される予定です.
志賀浩二, 『微分・積分30講』, 数学30講シリーズ1, 新装改版, 朝倉書店, 2024年.

PDFファイル

  1. 石本健太, 「講義ノート『微分積分学』」, 2020年, https://www.kurims.kyoto-u.ac.jp/~ishimoto/files/note_calculus.pdf.
  2. 黒田紘敏, 「微分積分学入門」, 2024年, https://www7b.biglobe.ne.jp/~h-kuroda/pdf/text_calculus.pdf.
  3. 吉田伸生, 「微分積分学」, 2007年, https://ocw.kyoto-u.ac.jp/wp-content/uploads/2021/04/2010_bibunsekibungakuA.pdf.
  4. 西谷達雄, 「解析学」, http://www4.math.sci.osaka-u.ac.jp/~nishitani/calculus.pdf.
  5. 松澤寛, 「解析学の基礎(実数の連続性から定積分の存在まで)」, https://www.sci.kanagawa-u.ac.jp/math-phys/hmatsu/BasicAnalysis.pdf.
  6. 川端茂徳, 「解析学入門」, 2002年, https://www.fit.ac.jp/elec/7_online/calculus.pdf.
  7. 中西敏浩, 「およそ100ページで学ぶ微分積分学」, 2021年, https://www.math.shimane-u.ac.jp/~tosihiro/basiccalculus.pdf.

Webサイト

タイトルとURLをコピーしました