文献あり

ネットの上極限・下極限

158

はじめに

実数列，実関数，集合列に対して，その上極限・下極限がそれぞれ次のように定義されます．

実数列の上極限・下極限

実数列$\seq{a_n}{n}$に対して
\begin{align*} \limsup_{n\to\infty}a_n&:=\inf_{n\ge 0}\bigg(\sup_{k\ge n}a_k\bigg), \\ \liminf_{n\to\infty}a_n&:=\sup_{n\ge 0}\bigg(\inf_{k\ge n}a_k\bigg). \end{align*}

実関数の上極限・下極限

関数$f:\mathbb{R}\to\mathbb{R}$と実数$a\in\mathbb{R}$に対して
\begin{align*} \limsup_{x\to a}f(x)&:=\inf_{\varepsilon>0}\bigg(\sup_{0<|x-a|\le\varepsilon}f(x)\bigg), \\ \liminf_{x\to a}f(x)&:=\sup_{\varepsilon>0}\bigg(\inf_{0<|x-a|\le\varepsilon}f(x)\bigg). \end{align*}

集合列の上極限・下極限

集合列$\seq{S_n}{n}$に対して
\begin{align*} \limsup_{n\to\infty}S_n&:=\bigcap_{n\ge 0}\bigg(\bigcup_{k\ge n}S_k\bigg), \\ \liminf_{n\to\infty}S_n&:=\bigcup_{n\ge 0}\bigg(\bigcap_{k\ge n}S_k\bigg). \end{align*}

本記事では，これらを含むより一般的な上極限・下極限の定義を紹介します．

有向集合とネット

本記事の目標は，（完備束上の）ネットの上極限・下極限を定義し，その特別な場合として数列・関数・集合列の上極限・下極限を解釈することです．
そのために，まずこの節ではネットを定義します．

前順序

反射律・反対称律・推移律の3条件を満たす二項関係は半順序とよばれますが，この定義から反対称律を除いたものを前順序といいます．
（注意：前順序 (preorder) は，全順序 (total order) とは別の概念です．）

前順序集合

集合$\Lambda$上の前順序とは，次の2条件を満たす$\Lambda$上の二項関係$\preceq$のことをいう．

任意の$\lambda\in \Lambda$に対して，$\lambda\preceq \lambda$が成り立つ．（反射律）
$\lambda\preceq\mu$かつ$\mu\preceq\nu$を満たす任意の$\lambda,\mu,\nu\in\Lambda$に対して，$\lambda\preceq\nu$が成り立つ．（推移律）

集合$\Lambda$とその上の前順序$\preceq$の組$(\Lambda,\preceq)$を前順序集合という．

明らかに半順序は前順序です．

半順序

次の条件を満たす前順序集合$(\Lambda,\preceq)$を，半順序集合という．

$\lambda\preceq\mu$かつ$\mu\preceq\lambda$を満たす任意の$\lambda,\mu\in\Lambda$に対して，$\lambda=\mu$が成り立つ．（反対称律）

半順序集合には，たとえば次のようなものがある．

自然数全体の集合$\mathbb{N}$と大小関係$\le$の組$(\mathbb{N},\le)$．
集合$X$の冪集合$\powerset{X}$と包含関係$\subset$の組$(\powerset{X},\subset)$．

半順序でない前順序もあります．

距離と基点が定める前順序

距離空間$(\Lambda,d)$と1点$a\in \Lambda$が与えられたとき，$\Lambda$上の前順序$\preceq$が次式で定まる．
$$ \lambda\preceq \mu \iff d(\lambda,a)\ge d(\mu,a).$$

前順序集合に対しても，半順序集合と同様に上界・下界が定義できます．

上界・下界

$(\Lambda,\preceq)$を前順序集合，$M$を$\Lambda$の部分集合とする．

$M$の上界とは，元$\lambda\in\Lambda$であって，任意の$\mu\in M$に対して$\mu\preceq\lambda$を満たすもののことをいう．
$M$の下界とは，元$\lambda\in\Lambda$であって，任意の$\mu\in M$に対して$\lambda\preceq\mu$を満たすもののことをいう．

上に有界・下に有界

$(\Lambda,\preceq)$を前順序集合，$M$を$\Lambda$の部分集合とする．

$M$が上に有界であるとは，$M$の上界が存在することをいう．
$M$が下に有界であるとは，$M$の下界が存在することをいう．
$M$が有界であるとは，$M$が上に有界かつ下に有界であることをいう．

有向集合

任意の有限部分集合が上界をもつような前順序集合のことを有向集合といいます．

有向集合

有向集合とは，空でない前順序集合$(\Lambda,\preceq)$であって，任意の2元$\lambda,\mu\in\Lambda$に対して$\{\lambda,\mu\}$が上に有界であるもののことをいう．

空でない全順序集合

次の条件を満たす半順序集合$(\Lambda,\le)$を全順序集合という．

任意の$\lambda,\mu\in\Lambda$に対して，$\lambda\le\mu$または$\mu\le\lambda$が成り立つ．

全順序集合の空でない有限集合は最大元を持つため，空でない全順序集合は有向集合である．

例：距離と基点が定める前順序で考えた前順序集合$(\Lambda,\preceq)$は，任意の部分集合が$a$を上界に持つから，有向集合である．

有向集合でない前順序集合もあります．

反鎖

2点集合$\Lambda=\{0,1\}$に次の前順序$\preceq$を考える．
\begin{align*} 0&\preceq 0, \\ 0&\not\preceq 1, \\ 1&\not\preceq 0, \\ 1&\preceq 1. \end{align*}
このとき$\Lambda$の上界は存在しないため，$(\Lambda,\preceq)$は有向集合でない．

ネット

有向集合で添字づけられた族のことをネット（あるいは有向点族）といいます．

ネット

集合$X$上のネットとは，ある有向集合$(\Lambda,\preceq)$から$X$への写像$x:\Lambda\to X$のことである．
このとき，各$\lambda\in\Lambda$に対して$x_\lambda:=x(\lambda)$と書き，ネット$x$自身を$\net{x_\lambda}{\lambda\in\Lambda}$とも書く．
また，ネット$\net{x_\lambda}{\lambda\in\Lambda}$の定義域を明示して$(\Lambda,\preceq)$で添字づけられたネットということもある．

ネットは点列の一般化になっています．

点列

自然数全体の集合$\mathbb{N}$を，大小関係によって有向集合とみなす．
このとき，$\mathbb{N}$で添字づけられたネットを点列という．

部分ネット

$(\Lambda,\preceq_\Lambda),(M,\preceq_M)$を有向集合，$X$を集合とし，$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\mu}{\mu\in M}$をそれぞれ$(\Lambda,\preceq_\Lambda),(M,\preceq_M)$で添字づけられた$X$上のネットとする．
このとき$\net{y_\mu}{\mu\in M}$が$\net{x_\lambda}{\lambda\in\Lambda}$の部分ネットであるとは，次の2条件を満たす写像$\phi:M\to\Lambda$が存在することをいう．

任意の$\lambda\in\Lambda$に対してある$\mu\in M$が存在して，$\mu\preceq_M\nu$を満たす任意の$\nu\in M$に対して$\lambda\preceq_\Lambda\phi(\nu)$が成り立つ．
任意の$\mu\in M$に対して$y_\mu=x_{\phi(\mu)}$が成り立つ．

$(\Lambda,\preceq_\Lambda),(M,\preceq_M)$を前順序集合とし，写像$\phi:M\to\Lambda$は次の2条件を満たすものとする．

$\mu\preceq_M\mu'$を満たす任意の$\mu,\mu'\in M$に対して，$\phi(\mu)\preceq_\Lambda\phi(\mu')$が成り立つ．（単調増加性）
任意の$\lambda\in\Lambda$に対してある$\mu\in M$が存在して，$\lambda\preceq_\Lambda\phi(\mu)$が成り立つ．（共終性）

このとき「任意の$\lambda\in\Lambda$に対してある$\mu\in M$が存在して，$\mu\preceq_M\nu$を満たす任意の$\nu\in M$に対して$\lambda\preceq_\Lambda\phi(\nu)$が成り立つ」ことを示せ．

解答例

$\lambda\in\Lambda$を任意に取ると，共終性より$\lambda\preceq_\Lambda\phi(\mu)$を満たす$\mu\in M$が取れる．そこで$\mu\preceq_M\nu$を満たす$\nu\in M$を任意に取ると，単調増加性より$\lambda\preceq_\Lambda\phi(\mu)\preceq_\Lambda\phi(\nu)$を得る．

点列の部分列は部分ネット

集合$X$上の点列$\seq{x_n}{n}$とその部分列$\seq{x_{\phi(n)}}{n}$について，$\seq{x_{\phi(n)}}{n}$は$\seq{x_n}{n}$の部分ネットである．
（$\phi$の狭義単調増加性より，自動的に共終性も成り立つため）

点列の部分ネットは部分列とは限らない

たとえば写像$\phi:\mathbb{N}\ni n\mapsto 2n+(-1)^n\in\mathbb{N}$は次の2条件

単調増加性：各$n\in\mathbb{N}$に対して，次式より$\phi(n)\le \phi(n+1)$が成り立つ：
$$ \phi(n+1)-\phi(n)=2\cdot(1+(-1)^{n+1})\ge 0.$$
共終性：各$n\in\mathbb{N}$に対して，次式より$n\le \phi(n+1)$が成り立つ．
$$ \phi(n+1)-n=n+2+(-1)^{n+1}\ge 0.$$

を満たすから，点列$\seq{x_n}{n}$に対して$\seq{x_{\phi(n)}}{n}$は$\seq{x_n}{n}$の部分ネットとなる．
しかし$\phi(0)=\phi(1)=1$より$\phi$は狭義単調増加ではないので，$\seq{x_{\phi(n)}}{n}$は$\seq{x_n}{n}$の部分列ではない．

ネットの上極限・下極限

ネット$\net{x_\lambda}{\lambda\in\Lambda}$の終域$X$が半順序集合であれば，その値域$\{x_\lambda\mid\lambda\in\Lambda\}$の部分集合に対して上限や下限を考えることができます．
ネットの上極限や下極限を定義するにあたって，上限や下限が常に存在した方が議論が簡単なので，ここでは完備束上のネットを考えることにします．

完備束

完備束とは，半順序集合$(X,\le)$であって，$X$の任意の部分集合が上限と下限をもつようなもののことをいう．

この記事では次の2つの例を知っていれば十分です．

拡大実数全体の集合$\overline{\mathbb{R}}=\mathbb{R}\cup\{-\infty,\infty\}$は，大小関係で完備束となる．
集合$X$の冪集合$\powerset{X}$は，包含関係で完備束となる．（証明）

ネットの上限・下限

実数列の場合と同様ですが，ネットの上限・下限についての性質をいくつか書いておきます．

順序の保存

$(\Lambda,\preceq)$を有向集合，$(X,\le)$を完備束とし，$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネット，$M$を$\Lambda$の部分集合とする．
このとき，任意の$\mu\in M$に対して$x_\mu\le y_\mu$が成り立つならば，次式が成り立つ．
$$ \sup_{\mu\in M}x_\mu\le \sup_{\mu\in M}y_\mu, \qquad \inf_{\mu\in M}x_\mu\le \inf_{\mu\in M}y_\mu.$$

任意の$\mu\in M$に対して
$$ x_\mu\le y_\mu\le \sup_{\mu\in M}y_\mu$$
が成り立つから，$\displaystyle\sup_{\mu\in M}y_\mu$は$\{x_\mu\mid \mu\in M\}$の上界であり$\displaystyle\sup_{\mu\in M}x_\mu\le \sup_{\mu\in M}y_\mu$を得る．同様に，任意の$\mu\in M$に対して
$$ \inf_{\mu\in M}x_\mu\le x_\mu\le y_\mu$$
が成り立つから，$\displaystyle\inf_{\mu\in M}x_\mu$は$\{y_\mu\mid \mu\in M\}$の下界であり$\displaystyle\inf_{\mu\in M}x_\mu\le \inf_{\mu\in M}y_\mu$を得る．

$\net{tx_\lambda}{\lambda\in\Lambda}$の上限・下限 ($t>0$)

$(\Lambda,\preceq)$を有向集合とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとする．
このとき，$\Lambda$の部分集合$M$と正の実数$t$に対して次式が成り立つ：
\begin{align*} \sup_{\mu\in M}(tx_\mu)= t\cdot\sup_{\mu\in M}x_\mu, \qquad \inf_{\mu\in M}(tx_\mu)= t\cdot\inf_{\mu\in M}x_\mu. \end{align*}

実数列の極限を上極限で定義するで既に示した．

$\net{-x_\lambda}{\lambda\in\Lambda}$の上限・下限

$(\Lambda,\preceq)$を有向集合とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとする．
このとき，$\Lambda$の部分集合$M$に対して次式が成り立つ：
\begin{align*} \sup_{\mu\in M}(-x_\mu)= -\inf_{\mu\in M}x_\mu, \qquad \inf_{\mu\in M}(-x_\mu)= -\sup_{\mu\in M}x_\mu. \end{align*}

実数列の極限を上極限で定義するで既に示した．

$\net{x_\lambda+y_\lambda}{\lambda\in\Lambda}$の上限・下限（その１）

$(\Lambda,\preceq)$を有向集合とし，有界な写像$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}:\Lambda\to\mathbb{R}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとみなす．
このとき，$\Lambda$の部分集合$M$に対して次式が成り立つ：
\begin{align*} \sup_{\mu\in M}(x_\mu+y_\mu)\le \sup_{\mu\in M}x_\mu+\sup_{\mu\in M}y_\mu, \qquad \inf_{\mu\in M}(x_\mu+y_\mu)\ge \inf_{\mu\in M}x_\mu+\inf_{\mu\in M}y_\mu. \end{align*}

任意の$\mu\in M$に対して$\inf_{\mu\in M}x_\mu\le x_\mu\le\sup_{\mu\in M}x_\mu$と$\inf_{\mu\in M}y_\mu\le y_\mu\le\sup_{\mu\in M}y_\mu$より
\begin{align*} \inf_{\mu\in M}x_\mu+\inf_{\mu\in M}y_\mu\le x_\mu+y_\mu\le\sup_{\mu\in M}x_\mu+\sup_{\mu\in M}y_\mu \end{align*}
が成り立つから
$$ \inf_{\mu\in M}x_\mu+\inf_{\mu\in M}y_\mu\le \inf_{\mu\in M}(x_\mu+y_\mu),\qquad \sup_{\mu\in M}(x_\mu+y_\mu)\le \sup_{\mu\in M}x_\mu+\sup_{\mu\in M}y_\mu$$
を得る．

$\net{x_\lambda+y_\lambda}{\lambda\in\Lambda}$の上限・下限（その２）

$(\Lambda,\preceq)$を有向集合とし，有界な写像$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}:\Lambda\to\mathbb{R}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとみなす．
このとき，さらに$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}$が単調増加（つまり$\lambda\preceq\mu$を満たす任意の$\lambda,\mu\in \Lambda$に対して$x_{\lambda}\le x_{\mu}$と$y_{\lambda}\le y_{\mu}$が成り立つ）ならば，次式が成り立つ：
\begin{align*} \sup_{\lambda\in\Lambda}(x_\lambda+y_\lambda)=\sup_{\lambda\in\Lambda}x_\lambda+\sup_{\lambda\in\Lambda}y_\lambda. \end{align*}
また，$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}$が単調減少（つまり$\lambda\preceq\mu$を満たす任意の$\lambda,\mu\in \Lambda$に対して$x_{\lambda}\ge x_{\mu}$と$y_{\lambda}\ge y_{\mu}$が成り立つ）ならば，次式が成り立つ：
\begin{align*} \inf_{\lambda\in\Lambda}(x_\lambda+y_\lambda)=\inf_{\lambda\in\Lambda}x_\lambda+\inf_{\lambda\in\Lambda}y_\lambda. \end{align*}

$\lambda,\mu\in\Lambda$を任意に取る．このとき$\{\lambda,\mu\}$の上界$\nu\in\Lambda$を取れば，$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}$の単調増加性より
\begin{align*} x_\lambda+y_\mu\le x_\nu+y_\nu\le\sup_{\lambda\in\Lambda}(x_\lambda+y_\lambda) \end{align*}
が成り立つから，まず$\lambda$について上限を取れば，任意の$\mu\in\Lambda$に対して
\begin{align*} \sup_{\lambda\in\Lambda}x_\lambda+y_\mu\le\sup_{\lambda\in\Lambda}(x_\lambda+y_\lambda) \end{align*}
が成り立ち，次に$\mu$について上限を取れば
\begin{align*} \sup_{\lambda\in\Lambda}x_\lambda+\sup_{\lambda\in\Lambda}y_\lambda\le\sup_{\lambda\in\Lambda}(x_\lambda+y_\lambda) \end{align*}
を得る．他方の不等式も同様に示せる．

ネットの上極限・下極限

実数列と同様に，ネットの上極限・下極限が次のように定義されます．

ネットの上極限・下極限

$(\Lambda,\preceq)$を有向集合，$(X,\le)$を完備束とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネットとする．
このとき，$\net{x_\lambda}{\lambda\in\Lambda}$の上極限と下極限を次式で定める．
\begin{align*} \limsup_{\lambda\in\Lambda}x_\lambda&:=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg), \\ \liminf_{\lambda\in\Lambda}x_\lambda&:=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}x_\mu\bigg) \end{align*}

$\limsup$や$\liminf$の下には，慣習などにより様々な式が書かれることがある．後述の例も参照せよ．

下極限$\le$上極限

$(\Lambda,\preceq)$を有向集合，$(X,\le)$を完備束とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネットとする．
このとき，次式が成り立つ：
$$ \liminf_{\lambda\in\Lambda}x_\lambda\le \limsup_{\lambda\in\Lambda}x_\lambda.$$

$\lambda,\mu\in\Lambda$を任意に取る．このとき$\{\lambda,\mu\}$の上界$\nu\in\Lambda$を取れば
$$ \inf_{\xi\succeq\lambda}x_\xi\le x_\nu\le \sup_{\xi\succeq\mu}x_\xi$$
が成り立つから，まず$\mu$の任意性より
$$ \inf_{\xi\succeq\lambda}x_\xi\le \inf_{\mu\in\Lambda}\bigg(\sup_{\xi\succeq\mu}x_\xi\bigg)=\limsup_{\mu\in\Lambda}x_\mu$$
となり，次に$\lambda$の任意性より
$$ \liminf_{\lambda\in\Lambda}x_\lambda=\sup_{\lambda\in\Lambda}\bigg(\inf_{\xi\succeq\lambda}x_\xi\bigg)\le\limsup_{\mu\in\Lambda}x_\mu$$
を得る．

順序の保存

$(\Lambda,\preceq)$を有向集合，$(X,\le)$を完備束とし，$\net{x_\lambda}{\lambda\in\Lambda},\net{y_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネットとする．
このとき，任意の$\lambda\in\Lambda$に対して$x_\lambda\le y_\lambda$が成り立つならば，次式が成り立つ：
$$ \limsup_{\lambda\in\Lambda}x_\lambda\le \limsup_{\lambda\in\Lambda}y_\lambda, \qquad \liminf_{\lambda\in\Lambda}x_\lambda\le \liminf_{\lambda\in\Lambda}y_\lambda.$$

\begin{align*} \limsup_{\lambda\in\Lambda}x_\lambda &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg) \le \inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}y_\mu\bigg) =\limsup_{\lambda\in\Lambda}y_\lambda, \\ \liminf_{\lambda\in\Lambda}x_\lambda &=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}x_\mu\bigg) \le \sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}y_\mu\bigg) =\liminf_{\lambda\in\Lambda}y_\lambda. \end{align*}

部分ネットの上極限・下極限

$(\Lambda,\preceq_\Lambda),(M,\preceq_M)$を有向集合，$(X,\le)$を完備束とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネットとする．
このとき，$\net{x_\lambda}{\lambda\in\Lambda}$の部分ネット$\net{x_{\phi(\mu)}}{\mu\in M}$に対して
$$ \liminf_{\lambda\in\Lambda}x_\lambda\le\liminf_{\mu\in M}x_{\phi(\mu)}\le\limsup_{\mu\in M}x_{\phi(\mu)}\le \limsup_{\lambda\in\Lambda}x_\lambda$$
が成り立つ．

$\lambda\in\Lambda$を任意に取ると，まず部分ネットの定義から「$\mu\preceq\nu$を満たす任意の$\nu\in M$に対して$\lambda\preceq\phi(\nu)$が成り立つ」という性質を満たす$\mu\in M$が存在する．この取り方から$\{x_{\phi(\nu)}\mid \nu\succeq\mu\}\subset\{x_\xi\mid \xi\succeq\lambda\}$が成り立つので
$$ \inf_{\mu\in M}\bigg(\sup_{\nu\succeq\mu}x_{\phi(\nu)}\bigg)\le \sup_{\nu\succeq\mu}x_{\phi(\nu)}\le \sup_{\xi\succeq\lambda}x_{\xi}$$
となる．すると，$\lambda\in\Lambda$の任意性より
$$ \limsup_{\mu\in M}x_{\phi(\mu)}\le \inf_{\lambda\in \Lambda}\bigg(\sup_{\xi\succeq\lambda}x_{\xi}\bigg)=\limsup_{\lambda\in\Lambda}x_{\lambda}$$
を得る．下極限についても同様．

$(\Lambda,\preceq)$を有向集合，$(X,\le)$を完備束をなす全順序集合，$a\in X$とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$X$上のネットとする．
このとき
$$ \limsup_{\lambda\in\Lambda}x_\lambda=\liminf_{\lambda\in\Lambda}x_\lambda=a$$
が成り立つならば，$a$を含む任意の開区間$I$に対して「$\lambda_I\preceq\lambda$を満たす任意の$\lambda\in\Lambda$に対して$x_\lambda\in I$が成り立つ」という性質を満たす$\lambda_I\in\Lambda$が存在することを示せ．

解答例

$a$を含む開区間$I=(b,c)$を任意に取る．このとき，まず
$$ a=\limsup_{\lambda\in\Lambda}x_\lambda=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg)< c$$
より，ある$\lambda_1\in\Lambda$が存在して$\sup_{\mu\succeq\lambda_1}x_\mu< c$が成り立つ．また
$$ a=\liminf_{\lambda\in\Lambda}x_\lambda=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}x_\mu\bigg)>b$$
より，ある$\lambda_2\in\Lambda$が存在して$\inf_{\mu\succeq\lambda_2}x_\mu>b$が成り立つ．そこで$\{\lambda_1,\lambda_2\}$の上界$\lambda_I\in\Lambda$を取れば，$\lambda_I\preceq\lambda$を満たす任意の$\lambda\in\Lambda$に対して$b< x_\lambda< c$つまり$x_\lambda\in I$が成り立つ．

$\net{tx_\lambda}{\lambda\in\Lambda}$の上極限・下極限 ($t>0$)

$(\Lambda,\preceq)$を有向集合とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとする．
このとき，正の実数$t$に対して次式が成り立つ：
\begin{align*} \limsup_{\lambda\in\Lambda}(tx_\lambda) &=t\cdot\limsup_{\lambda\in\Lambda}x_\lambda, \\ \liminf_{\lambda\in\Lambda}(tx_\lambda) &=t\cdot\liminf_{\lambda\in\Lambda}x_\lambda. \end{align*}

\begin{align*} \limsup_{\lambda\in\Lambda}(tx_\lambda) &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}(tx_\mu)\bigg) =\inf_{\lambda\in\Lambda}\bigg(t\cdot\sup_{\mu\succeq\lambda}x_\mu\bigg) =t\cdot\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg) =t\cdot\limsup_{\lambda\in\Lambda}x_\lambda, \\ \liminf_{\lambda\in\Lambda}(tx_\lambda) &=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}(tx_\mu)\bigg) =\sup_{\lambda\in\Lambda}\bigg(t\cdot\inf_{\mu\succeq\lambda}x_\mu\bigg) =t\cdot\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}x_\mu\bigg) =t\cdot\liminf_{\lambda\in\Lambda}x_\lambda. \end{align*}

$\net{-x_\lambda}{\lambda\in\Lambda}$の上極限・下極限

$(\Lambda,\preceq)$を有向集合とし，$\net{x_\lambda}{\lambda\in\Lambda}$を$(\Lambda,\preceq)$で添字づけられた$\overline{\mathbb{R}}$上のネットとする．
このとき，次式が成り立つ：
\begin{align*} \limsup_{\lambda\in\Lambda}(-x_\lambda) &=-\liminf_{\lambda\in\Lambda}x_\lambda, \\ \liminf_{\lambda\in\Lambda}(-x_\lambda) &=-\limsup_{\lambda\in\Lambda}x_\lambda. \end{align*}

\begin{align*} \limsup_{\lambda\in\Lambda}(-x_\lambda) &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}(-x_\mu)\bigg) =\inf_{\lambda\in\Lambda}\bigg(-\inf_{\mu\succeq\lambda}x_\mu\bigg) =-\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}x_\mu\bigg) =-\limsup_{\lambda\in\Lambda}x_\lambda, \\ \liminf_{\lambda\in\Lambda}(-x_\lambda) &=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}(-x_\mu)\bigg) =\sup_{\lambda\in\Lambda}\bigg(-\sup_{\mu\succeq\lambda}x_\mu\bigg) =-\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg) =-\liminf_{\lambda\in\Lambda}x_\lambda. \end{align*}

$\net{x_\lambda+y_\lambda}{\lambda\in\Lambda}$の上極限・下極限（その１）

$\net{\sup_{\mu\succeq\lambda}x_\mu}{\lambda\in\Lambda},\net{\sup_{\mu\succeq\lambda}y_\mu}{\lambda\in\Lambda}$が有界かつ単調減少であることに注意すれば
\begin{align*} \limsup_{\lambda\in\Lambda}(x_\lambda+y_\lambda) &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}(x_\mu+y_\mu)\bigg) \\ &\le\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu+\sup_{\mu\succeq\lambda}y_\mu\bigg) \\ &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}x_\mu\bigg)+\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}y_\mu\bigg) \\ &=\limsup_{\lambda\in\Lambda}x_\lambda+\limsup_{\lambda\in\Lambda}y_\lambda. \end{align*}
下極限についても同様に示せる．

$\net{x_\lambda+y_\lambda}{\lambda\in\Lambda}$の上極限・下極限（その２）

2つ目の不等号については
\begin{align*} \limsup_{\lambda\in\Lambda}y_\lambda &=\limsup_{\lambda\in\Lambda}((x_\lambda+y_\lambda)-x_\lambda) \\ &\le \limsup_{\lambda\in\Lambda}(x_\lambda+y_\lambda)+\limsup_{\lambda\in\Lambda}(-x_\lambda) \\ &=\limsup_{\lambda\in\Lambda}(x_\lambda+y_\lambda)-\liminf_{\lambda\in\Lambda}x_\lambda \end{align*}
として，両端辺に実数$\displaystyle\liminf_{\lambda\in\Lambda}x_\lambda$を足せばよい．1つ目の不等号も同様に示せる．

$\net{x_\lambda+y_\lambda}{\lambda\in\Lambda}$の上極限・下極限（その３）

一般に
\begin{align*} \liminf_{\lambda\in\Lambda}x_\lambda+\limsup_{\lambda\in\Lambda}y_\lambda\le \limsup_{\lambda\in\Lambda}(x_\lambda+y_\lambda)\le \limsup_{\lambda\in\Lambda}x_\lambda+\limsup_{\lambda\in\Lambda}y_\lambda \end{align*}
が成り立つが，仮定より上の不等号はすべて等号となる．下極限についても同様に示せる．

例１：実数列の上極限・下極限

実数列$\seq{a_n}{n}$を$\overline{\mathbb{R}}$上のネットとみなして上極限・下極限を考えれば，よく知られた定義式
\begin{align*} \limsup_{n\to\infty}a_n&:=\inf_{n\ge 0}\bigg(\sup_{k\ge n}a_k\bigg), \\ \liminf_{n\to\infty}a_n&:=\sup_{n\ge 0}\bigg(\inf_{k\ge n}a_k\bigg) \end{align*}
が得られます．

例２：関数の上極限・下極限

実数列だけではなく，関数の上極限・下極限を考えることもあります．
まず次の定義を思い出しておきましょう．

集積点

距離空間$(\Lambda,d)$と$\Lambda$の部分集合$M$および点$a\in\Lambda$について，$a$が$M$の集積点であるとは，任意の正実数$\varepsilon$に対してある$\mu\in M$が存在して$0< d(\mu,a)\le\varepsilon$が成り立つことをいう．

さて，距離空間$(\Lambda,d)$の部分集合$M$上で定義された関数$f:M\to\mathbb{R}$と$M$の集積点$a\in\Lambda$について，まず$M\setminus\{a\}$を前順序
$$ \mu\preceq\nu \iff d(\mu,a)\ge d(\nu,a)$$
によって有向集合とみなします．すると$f$は（定義域の制限と終域の拡張により）$M\setminus\{a\}$で添字づけられた$\overline{\mathbb{R}}$上のネットとみなせるので，その上極限・下極限を考えれば
\begin{align*} \limsup_{\mu\to a}f(\mu)&:=\inf_{\mu\in M\setminus\{a\}}\bigg(\sup_{\substack{\nu\in M\setminus\{a\}\\d(\nu,a)\le d(\mu,a)}}f(\nu)\bigg), \\ \liminf_{\mu\to a}f(\mu)&:=\sup_{\mu\in M\setminus\{a\}}\bigg(\inf_{\substack{\nu\in M\setminus\{a\}\\d(\nu,a)\le d(\mu,a)}}f(\nu)\bigg) \end{align*}
となります．

距離空間$(\Lambda,d)$と，$\Lambda$の部分集合$M$および$M$の集積点$a\in \Lambda$について，先述の通り$M\setminus\{a\}$上の前順序$\preceq$を
$$ \mu\preceq\nu \iff d(\mu,a)\ge d(\nu,a)$$
で定める．このとき，$(M\setminus\{a\},\preceq)$が有向集合になることを示せ．
（注意：例：距離と基点が定める前順序とは違い，有限部分集合の上界として$a$を取ることはできない）

解答例

$M\setminus\{a\}$の2元$\mu_1,\mu_2$を任意に取ると，$\varepsilon:=\min(\{d(\mu_1,a),d(\mu_2,a)\})>0$である．すると$a$が$M$の集積点であることから$0< d(\mu^{\ast},a)\le\varepsilon$を満たす$\mu^{\ast}\in M$が存在し，$\varepsilon$の取り方から$\mu^{\ast}\succeq \mu_1$かつ$\mu^{\ast}\succeq \mu_2$が成り立つ．すなわち，$\mu^{\ast}$は$\{\mu_1,\mu_2\}$の上界である．

さらに$a$が集積点であることから，$d(\mu,a)=\varepsilon$と置き換えた次の表示も得られます．

この例の状況で，次式が成り立つ．
\begin{align*} \limsup_{\mu\to a}f(\mu)&=\inf_{\varepsilon>0}\bigg(\sup_{\substack{\nu\in M\\0< d(\nu,a)\le \varepsilon}}f(\nu)\bigg), \\ \liminf_{\mu\to a}f(\mu)&=\sup_{\varepsilon>0}\bigg(\inf_{\substack{\nu\in M\\0< d(\nu,a)\le \varepsilon}}f(\nu)\bigg) \end{align*}

上極限の方だけ証明する．正実数$\varepsilon$に対して
$$ s_\varepsilon:=\sup_{\substack{\nu\in M\\0< d(\nu,a)\le \varepsilon}}f(\nu)$$
とおき，$\displaystyle\inf_{\mu\in M\setminus\{a\}}s_{d(\mu,a)}=\inf_{\varepsilon>0}s_{\varepsilon}$を示せばよい．まず$\{s_{d(\mu,a)}\mid\mu\in M\setminus\{a\}\}\subset\{s_{\varepsilon}\mid\varepsilon>0\}$より
$$ \inf_{\mu\in M\setminus\{a\}}s_{d(\mu,a)}\ge\inf_{\varepsilon>0}s_{\varepsilon}$$
が成り立つ．また正実数$\varepsilon$を任意に取ると，$a$が$M$の集積点であることから$0< d(\mu,a)\le\varepsilon$を満たす$\mu\in M$が取れる．すると
$$ \inf_{\mu\in M\setminus\{a\}}s_{d(\mu,a)}\le s_{d(\mu,a)}\le s_{\varepsilon}$$
となるから，$\varepsilon$の任意性より
$$ \inf_{\mu\in M\setminus\{a\}}s_{d(\mu,a)}\le\inf_{\varepsilon>0}s_{\varepsilon}$$
も示された．

上の条件式$0< d(\nu,a)\le \varepsilon$は，$0< d(\nu,a)<\varepsilon$に置き換えても良い．

例３：集合列の上極限・下極限

ここでは，集合$X$の冪集合$\powerset{X}$を包含関係
$$ S\le T\iff S\subset T$$
によって半順序集合とみなします．このとき，$\powerset{X}$は完備束です．

上限・下限の存在

$X$を集合とし，冪集合$\powerset{X}$を包含関係によって半順序集合とみなす．
このとき，$\powerset{X}$の任意の部分集合$\mathcal{S}$は上限と下限をもち，
\begin{align*} \sup(\mathcal{S})&=\bigcup\mathcal{S}, \qquad \inf(\mathcal{S})=\bigcap\mathcal{S} \end{align*}
が成り立つ．

下記2点より，$\sup(\mathcal{S})=\bigcup\mathcal{S}$が成り立つ．

$\bigcup\mathcal{S}$が$\mathcal{S}$の上界であること
$S\in\mathcal{S}$を任意に取る．このとき，任意の$s\in S$に対して$s\in\bigcup\mathcal{S}$が成り立つから，$S\subset\bigcup\mathcal{S}$が成り立つ．よって$\bigcup\mathcal{S}$は$\mathcal{S}$の上界である．
$\bigcup\mathcal{S}$が$\mathcal{S}$の上界の最小元であること
$\mathcal{S}$の上界$T\in\powerset{X}$と$x\in\bigcup\mathcal{S}$を任意に取る．このとき，$x\in S$を満たす$S\in\mathcal{S}$が存在するから，$S\subset T$より$x\in T$となる．よって$\bigcup\mathcal{S}\subset T$だから，$\bigcup\mathcal{S}$は$\mathcal{S}$の上界の最小元である．

$\inf(\mathcal{S})=\bigcap\mathcal{S}$についても同様に示せる．

集合$X$の部分集合族$\net{S_\lambda}{\lambda\in\Lambda}$は，添字集合$\Lambda$が有向集合であれば$\powerset{X}$上のネットなので，上極限と下極限を定義することができます．
特に$\Lambda=\mathbb{N}$の場合，これはよく知られた「集合列の上極限・下極限」の定義と同じです．

$(\Lambda,\preceq)$を有向集合，$X$を集合とし，$\net{S_\lambda}{\lambda\in\Lambda}$を$\powerset{X}$上のネットとする．
このとき，次式が成り立つ．
\begin{align*} \limsup_{\lambda\in\Lambda}S_n&=\bigcap_{\lambda\in\Lambda}\bigg(\bigcup_{\mu\succeq\lambda}S_\mu\bigg), \\ \liminf_{\lambda\in\Lambda}S_n&=\bigcup_{\lambda\in\Lambda}\bigg(\bigcap_{\mu\succeq\lambda}S_\mu\bigg). \end{align*}

前命題より
\begin{align*} \limsup_{\lambda\in\Lambda}S_n &=\inf_{\lambda\in\Lambda}\bigg(\sup_{\mu\succeq\lambda}S_\mu\bigg) =\bigcap_{\lambda\in\Lambda}\bigg(\bigcup_{\mu\succeq\lambda}S_\mu\bigg), \\ \liminf_{\lambda\in\Lambda}S_n &=\sup_{\lambda\in\Lambda}\bigg(\inf_{\mu\succeq\lambda}S_\mu\bigg) =\bigcup_{\lambda\in\Lambda}\bigg(\bigcap_{\mu\succeq\lambda}S_\mu\bigg). \end{align*}

例４：リーマン和

$I=[a,b]$を有界閉区間とするとき，
$$ a=x_0< x_1<\cdots< x_n=b$$
なる有限集合$\Delta=\{x_0,x_1,\ldots,x_n\}$を$I$の分割といい，さらに$\xi_i\in[x_{i-1},x_i]\ (i=1,2,\ldots,n)$を満たす有限列$\xi:\xi_1,\xi_2,\ldots,\xi_n$を$\Delta$の代表点というのでした．$I$の分割とその代表点の組$(\Delta,\xi)$全体の集合$\Lambda$を
$$ (\Delta,\xi)\preceq(\Delta',\xi')\iff \Delta\subset\Delta'$$
によって有向集合とみなせば，有界関数$f:I\to\mathbb{R}$の$(\Delta,\xi)\in\Lambda$によるリーマン和
$$ S(f;\Delta;\xi):=\sum_{i=1}^{n}f(\xi_i)(x_{i}-x_{i-1})$$
は（$f$を固定したとき）$\Lambda$で添字づけられた$\overline{\mathbb{R}}$上のネットとみなせるので，その上極限・下極限を考えることができます．

この例の状況で，$\Lambda$が有向集合になることを示せ．

解答例

$\Lambda$の任意の2元$(\Delta_1,\xi_1),(\Delta_2,\xi_2)$に対して，次のように定める$(\Delta,\xi)$が$\{(\Delta_1,\xi_1),(\Delta_2,\xi_2)\}$の上界となる．

$\Delta:=\Delta_1\cup\Delta_2$.
$\xi$は（どのように取っても良いが，たとえば）$\Delta$の各小区間から左端点を取ったものとする．

この例の状況で，各$(\Delta,\xi)\in\Lambda$に対して次式が成り立つ．（右辺は代表点$\xi$の取り方によらない）
\begin{align*} \sup_{(\Delta',\xi')\succeq(\Delta,\xi)}S(f;\Delta';\xi') &=\sum_{i=1}^{n}\bigg(\sup_{x\in[x_{i-1},x_{i}]}f(x)\bigg)(x_{i}-x_{i-1}),\\ \inf_{(\Delta',\xi')\succeq(\Delta,\xi)}S(f;\Delta';\xi') &=\sum_{i=1}^{n}\bigg(\inf_{x\in[x_{i-1},x_{i}]}f(x)\bigg)(x_{i}-x_{i-1}). \end{align*}

上限の方だけ示す．右辺が
$$ A:=\{S(f;\Delta';\xi')\mid(\Delta',\xi')\in\Lambda,\ (\Delta',\xi')\succeq(\Delta,\xi)\}$$
の上限であることが次の2点により示される．

$A$の上界であること
$(\Delta',\xi')\succeq(\Delta,\xi)$を満たす$(\Delta',\xi')\in\Lambda$を任意に取り，$(\Delta',\xi')$を$\Delta$の各小区間$[x_{i-1},x_{i}]$の分割・代表点とみなしたものを$(\Delta_i',\xi_i')$と書くことにする．このとき，リーマン和の簡単な評価$S(f,\Delta,\xi)\le (\sup_{x\in I}f(x))(b-a)$から次の不等式を得る：
\begin{align*} S(f;\Delta';\xi')=\sum_{i=1}^{n}S(f;\Delta_i';\xi_i')\le \sum_{i=1}^{n}\bigg(\sup_{x\in[x_{i-1},x_{i}]}f(x)\bigg)(x_{i}-x_{i-1}). \end{align*}
$A$の上界の最小元であること
$\varepsilon>0$を任意に取る．このとき$\Delta$の各小区間$[x_{i-1},x_{i}]$において
$$ \sup_{x\in[x_{i-1},x_{i}]}f(x)-\frac{\varepsilon}{n(x_{i}-x_{i-1})}< f(\xi_i')$$
を満たす$\xi_i'\in[x_{i-1},x_{i}]$を1つずつ取ることによって$\Delta$の代表点$\xi'$を構成でき，この取り方から$S(f;\Delta;\xi')-\varepsilon< S(f;\Delta,\xi)$が成り立つ．

上の命題から，リーマン和の上極限・下極限は次のように表せます．

リーマン和の上極限・下極限

この例の状況で，次式が成り立つ．
\begin{align*} \limsup_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi) &=\inf_{\text{$\Delta$ : $I$ の分割}}\bigg(\sum_{i=1}^{n}\bigg(\sup_{x\in[x_{i-1},x_{i}]}f(x)\bigg)(x_{i}-x_{i-1})\bigg) =:\overline{\int_a^b}f(x)\,dx,\\ \liminf_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi) &=\sup_{\text{$\Delta$ : $I$ の分割}}\bigg(\sum_{i=1}^{n}\bigg(\inf_{x\in[x_{i-1},x_{i}]}f(x)\bigg)(x_{i}-x_{i-1})\bigg) =:\underline{\int_a^b}f(x)\,dx \end{align*}
上極限$\displaystyle\overline{\int_a^b}f(x)\,dx$を$f$の上ダルブー積分といい，下極限$\displaystyle\underline{\int_a^b}f(x)\,dx$を$f$の下ダルブー積分という．

有界閉区間$[a,b]$上の有界関数$f:[a,b]\to\mathbb{R}$に対して，その上ダルブー積分$\displaystyle\overline{\int_a^b}f(x)\,dx$と下ダルブー積分$\displaystyle\underline{\int_a^b}f(x)\,dx$は，実数としてそれぞれ必ず存在する．

有界閉区間上の有界関数$f,g:[a,b]\to\mathbb{R}$と実数$r\in\mathbb{R}$に対して，次のことを示せ．

$[a,b]$の分割$\Delta$とその代表点$\xi$に対して，次の等式が成り立つ．
$$ S(f+g;\Delta;\xi)=S(f;\Delta;\xi)+S(g;\Delta;\xi), \qquad S(rf;\Delta;\xi)=rS(f;\Delta;\xi).$$
次の不等式が成り立つ．
$$\overline{\int_a^b}(f(x)+g(x))\,dx\le \overline{\int_a^b}f(x)\,dx+\overline{\int_a^b}g(x)\,dx, \qquad\underline{\int_a^b}(f(x)+g(x))\,dx\ge \underline{\int_a^b}f(x)\,dx+\underline{\int_a^b}g(x)\,dx.$$
$r>0$のとき，次の等式が成り立つ．
$$\overline{\int_a^b}rf(x)\,dx= r\overline{\int_a^b}f(x)\,dx, \qquad \underline{\int_a^b}rf(x)\,dx= r\underline{\int_a^b}f(x)\,dx.$$
$r<0$のとき，次の等式が成り立つ．
$$\overline{\int_a^b}rf(x)\,dx= r\underline{\int_a^b}f(x)\,dx, \qquad \underline{\int_a^b}rf(x)\,dx= r\overline{\int_a^b}f(x)\,dx.$$

\begin{align*} S(f+g;\Delta;\xi)&=\sum_{i=1}^{n}(f(\xi_i)+g(\xi_i))(x_{i}-x_{i-1})=\sum_{i=1}^{n}f(\xi_i)(x_{i}-x_{i-1})+\sum_{i=1}^{n}g(\xi_i)(x_{i}-x_{i-1})=S(f;\Delta;\xi)+S(g;\Delta;\xi), \\ S(rf;\Delta;\xi)&=\sum_{i=1}^{n}rf(\xi_i)(x_{i}-x_{i-1})=r\sum_{i=1}^{n}f(\xi_i)(x_{i}-x_{i-1})=rS(f;\Delta;\xi). \end{align*}
\begin{align*} \overline{\int_a^b}(f(x)+g(x))\,dx&=\limsup_{(\Delta,\xi)\in\Lambda}S(f+g;\Delta;\xi)=\limsup_{(\Delta,\xi)\in\Lambda}(S(f;\Delta;\xi)+S(g;\Delta;\xi))\le \limsup_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)+\limsup_{(\Delta,\xi)\in\Lambda}S(g;\Delta;\xi)=\overline{\int_a^b}f(x)\,dx+\overline{\int_a^b}g(x)\,dx,\\ \underline{\int_a^b}(f(x)+g(x))\,dx&=\liminf_{(\Delta,\xi)\in\Lambda}S(f+g;\Delta;\xi)=\liminf_{(\Delta,\xi)\in\Lambda}(S(f;\Delta;\xi)+S(g;\Delta;\xi))\ge \liminf_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)+\liminf_{(\Delta,\xi)\in\Lambda}S(g;\Delta;\xi)=\underline{\int_a^b}f(x)\,dx+\underline{\int_a^b}g(x)\,dx. \end{align*}
\begin{align*} \overline{\int_a^b}rf(x)\,dx&=\limsup_{(\Delta,\xi)\in\Lambda}S(rf;\Delta;\xi)=\limsup_{(\Delta,\xi)\in\Lambda}(rS(f;\Delta;\xi))=r\cdot\limsup_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)=r\overline{\int_a^b}f(x)\,dx,\\ \underline{\int_a^b}rf(x)\,dx&=\liminf_{(\Delta,\xi)\in\Lambda}S(rf;\Delta;\xi)=\liminf_{(\Delta,\xi)\in\Lambda}(rS(f;\Delta;\xi))=r\cdot\liminf_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)=r\underline{\int_a^b}f(x)\,dx. \end{align*}
\begin{align*} \overline{\int_a^b}rf(x)\,dx&=\limsup_{(\Delta,\xi)\in\Lambda}S(rf;\Delta;\xi)=\limsup_{(\Delta,\xi)\in\Lambda}(rS(f;\Delta;\xi))=r\cdot\liminf_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)=r\underline{\int_a^b}f(x)\,dx,\\ \underline{\int_a^b}rf(x)\,dx&=\liminf_{(\Delta,\xi)\in\Lambda}S(rf;\Delta;\xi)=\liminf_{(\Delta,\xi)\in\Lambda}(rS(f;\Delta;\xi))=r\cdot\limsup_{(\Delta,\xi)\in\Lambda}S(f;\Delta;\xi)=r\overline{\int_a^b}f(x)\,dx. \end{align*}

誤りがあればご指摘いただけると幸いです．
ここまでお読みいただきありがとうございました．