微分積分学では正の無限大$\infty$や負の無限大$-\infty$は極限を表すために現れる概念であり，通常は実数としては扱われません．しかし，
- $\infty$はどの実数よりも大きな「数」
- $-\infty$はどの実数よりも小さな「数」
のように捉えると便利なことがあります．そこで，実数全体の集合$\R$に$\infty$と$-\infty$を加えてできる集合
\begin{align*}\overline{\R}:=\R\cup\{\infty,-\infty\}\end{align*}
を拡大実数といいます．
この記事では
- 拡大実数$\overline{\R}$における計算
- 拡大実数$\overline{\R}$における順序と位相
- 拡大実数の応用例（上限性質）
を順に解説します．
拡大実数$\overline{\R}$における計算
拡大実数$\overline{\R}=\R\cup\{\infty,-\infty\}$上の計算を定めましょう．
$a,b\in\R$には通常の四則演算を定め，$\infty$, $-\infty$を含む場合の演算は以下のように定めます．
通常の極限の計算を踏まえれば，いずれも自然な定義であることがみてとれます．
$\infty$, $-\infty$と実数の演算
$a\in\R$, $b>0$, $c<0$に対して
- $\pm\infty$と実数の和
\begin{align*}\infty+a=a+\infty=\infty,\quad -\infty+a=a+(-\infty)=-\infty\end{align*} - $\pm\infty$と実数の積
\begin{align*}&\infty\cdot b=b\cdot\infty=\infty,\quad (-\infty)\cdot b=b\cdot(-\infty)=-\infty,
\\&\infty\cdot c=c\cdot\infty=-\infty,\quad (-\infty)\cdot c=c\cdot(-\infty)=\infty\end{align*} - $\pm\infty$と実数の商
\begin{align*}\frac{a}{\infty}=\frac{a}{-\infty}=0,\quad\frac{\infty}{b}=\frac{-\infty}{c}=\infty,\quad \frac{-\infty}{b}=\frac{\infty}{c}=-\infty\end{align*}
と定めます．
$\infty$, $-\infty$同士の演算
- $\pm\infty$と$\pm\infty$の和（複号同順）
\begin{align*}&\infty+\infty=\infty,\quad -\infty+(-\infty)=-\infty\end{align*} - $\pm\infty$と$\pm\infty$の積（複号任意）
\begin{align*}&\infty\cdot\infty=(-\infty)\cdot(-\infty)=\infty,\quad \infty\cdot(-\infty)=(-\infty)\cdot\infty=-\infty\end{align*}
と定めます．
不定形に対応する計算は定義されない
注意したいことは$\infty\cdot0$, $\infty+(-\infty)$, $\dfrac{\infty}{\infty}$が定義されない点で，これも通常の極限ではこの形では極限が分からない（不定形）ということと同じ気持ちですね．
ただし，測度論などでは便宜上$\infty\cdot0=0$と定義することもあります．
集合のどの２元を与えても結果を返すものを（二項）演算というので，$\infty+(-\infty)$, $\infty\cdot0$が定義されいないことから，厳密には＋と・を演算と呼ぶことはできません．
よって，$\R$は代数的には体でしたが$\overline{\R}$は体ではありません．
拡大実数$\overline{\R}$における順序と位相
拡大実数$\overline{\R}=\R\cup\{\infty,-\infty\}$上の順序を説明します．
$-\infty$は最小限，$\infty$は最大限と定めると全順序集合
まず$a,b\in\R$には通常の順序を定めます．一方，$\infty$または$-\infty$を含む場合には，$a\in\R$に対して
\begin{align*}-\infty<a,\quad a<\infty,\quad -\infty<\infty\end{align*}
と定めます．つまり，$-\infty$はどんな実数よりも小さく，$\infty$はどんな実数よりも大きいと定めるわけですね．
このとき拡大実数$\overline{\R}=\R\cup\{\infty,\infty\}$は順序集合となります．すなわち，順序集合の定義の３条件
- 反射律：任意の$a\in\overline{\R}$に対して$a\le a$
- 対称律：$a,b\in\overline{\R}$が$a\le b$かつ$b\le a$を満たせば$a=b$
- 推移律：$a,b,c\in\overline{\R}$が$a\le b$かつ$b\le c$を満たせば$a\le c$
が成り立ちます．
直感的には数直線の正の無限遠方に$\infty$があり，数直線の負の無限遠方に$-\infty$があると捉えることができます．
このことから，実数が$\R=(-\infty,\infty)$と表すことに対して，拡大実数は$\overline{\R}=[-\infty,\infty]$と表すことも多いです．
$\overline{\R}$の$\pm\infty$の近傍
$a\in\R$の近傍とは$a$を元にもつ開集合のことをいうのでした．このことは次のように言い換えることができます．
$a\in\R$と$U\subset\R$に対して，次は同値である．
- $U$は$a$の近傍である
- $U$は開集合で，ある$\delta>0$が存在して$(a-\delta,a+\delta)\subset U$が成り立つ．
$(1)\Ra(2)$の証明
(1)が成り立つなら，近傍の定義から$U$は開集合である．
また，$a\in U$だから開集合の定義より，ある$\delta>0$が存在して$(a-\delta,a+\delta)\subset U$が成り立つ．
$(2)\Ra(1)$の証明
(2)が成り立つなら，$a\in (a-\delta,a+\delta)\subset U$だから$a\in U$である．
また，$U$は開集合なので，$U$は$a$の近傍である．
このことをふまえて$\pm\infty$の近傍を次のように定めます．
$U\subset\overline{\R}$が$\infty$の近傍であるとは，$U$が開集合で，ある$R\in\R$が存在して$(R,\infty]\subset U$が成り立つことをいう．
また，$V\subset\overline{\R}$が$-\infty$の近傍であるとは，$V$が開集合で，ある$S\in\R$が存在して$[-\infty,S)\subset V$が成り立つことをいう．
拡大実数の応用例（上限性質）
拡大実数を用いると，実数の上限性質をシンプルに表すことができます．
そもそも$\R$の部分集合の上限$\sup$とは
まずは順序集合の上限は次のように定義されているのでした．
順序集合$X$に対して，$m\in X$が$A\subset X$の上界であるとは，任意の$a\in A$に対してで$a\le m$が成り立つことをいう．
また，上界をもつ$X$の部分集合は上に有界であるといい，上界の最小値を上限といい$\sup{A}$と表す．
例えば，$\R$上の閉区間$I_1=[2,5]$と開区間$I_2=(2,5)$を考えましょう．
![数直線上の閉区間[2,5]と開区間(2,5)](https://math-note.xyz/wp-content/uploads/2022/10/extended_real_number_intervals.svg)
このとき，いずれも上界全部の集合は$[5,\infty)$なので，上限はこの最小値なので
\begin{align*}\sup{I_1}=\sup{I_2}=5\end{align*}
ですね．
$\R$の上限性質を拡大実数$\overline{\R}$を用いてシンプルに表す
いまの例で注目したいのは「$I_2$の最大値は存在しないが上限は存在する」というところで，一般に次が成り立ちます．
［$\R$の上限性質］空でなく上に有界な$A\subset\R$は$\R$上に上限$\sup{A}$をもつ．
この［$\R$の上限性質］は$\R$の定義の一部なので，証明されるものではありません．
さて，上に有界でない$A\subset\R$は$\R$上に上界を持たず上限も存在しないので，$\R$の上限性質では「上に有界な」という条件が必要になります．
しかし，$A\subset\R$が$\R$において上に有界でなくても，拡大実数$\overline{\R}$においては必ず上限$\infty$をもちます．
そのため，［$\R$の上限性質］は拡大実数$\overline{\R}$上で次のように述べることもできます．
［$\R$の上限性質（$\overline{\R}$を用いた形）］空でない$A\subset\R$は$\overline{\R}$上に上限$\sup{A}$をもつ．
つまり，上に有界でない$A\subset\R$の場合は$\overline{\R}$上で$\sup{A}=\infty$となるので，上に有界であることに言及しなくてもよくなるという点で便利なわけですね．
コメント