1生産物モデルにおける生産集合の閉性(連続な生産関数)

生産集合の閉性について、点列を用いた定義から、生産フロンティアや効率生産集合との関係、生産関数の連続性との関係まで体系的に解説します。閉集合でない生産集合の具体例や演習問題を通じて、閉性の数学的・経済学的意味を理解します。

生産集合の閉性

これまで、生産集合や生産関数、限界生産、技術的限界代替率など、生産者理論における基本的な概念について学びました。しかし、これらの概念だけでは、生産者の行動を十分に分析することはできません。

例えば、生産関数がどのような形をしていてもよいとすると、限界生産が負になる生産技術や、生産要素を増やすほど生産量が減少するような生産技術も分析の対象となります。しかし、このような生産技術は現実の企業行動を考える上では必ずしも適切とは言えません。

そこで、生産者理論では、生産集合や生産関数が満たすべきいくつかの性質を仮定し、そのもとで企業の行動を分析します。これらの仮定は、生産技術の特徴を数学的に表現するとともに、企業の利潤最大化問題や費用最小化問題を分析するための基礎となります。

もっとも、これらの仮定は自然法則のように常に成立するものではありません。現実の生産技術は産業や企業によって大きく異なり、必ずしもすべての仮定を満たすとは限りません。そのため、それぞれの仮定がどのような意味を持ち、どのような生産技術を表現しているのかを理解することが重要です。

以下では、生産集合および生産関数に課される代表的な仮定について、一つずつ詳しく見ていきます。

\(N\)生産要素\(1\)生産物モデルにおける生産ベクトルは投入ベクトルと産出量の組\begin{equation*}\left( \boldsymbol{x},y\right) =\left( x_{1},\cdots ,x_{N},y\right) \in \mathbb{R} _{+}^{N+1}
\end{equation*}として表現されます。生産者が技術的に選択可能な生産ベクトルからなる集合は生産集合\begin{equation*}
Y\subset \mathbb{R} _{+}^{N+1}
\end{equation*}として表現されます。\(Y\)はユークリッド空間\(\mathbb{R} ^{N+1}\)の部分集合であるため、そこには位相が設定されています。そこで、生産集合\(Y\)が\(\mathbb{R} ^{N+1}\)上の閉集合である場合、\(Y\)は閉性(closedness)を満たすと言います。

生産集合\(Y\)は\(\mathbb{R} _{+}^{N+1}\)の部分集合です。\(\mathbb{R} _{+}^{N+1}\)はユークリッド空間\(\mathbb{R} ^{N+1}\)の部分距離空間ですが、\(\mathbb{R} _{+}^{N+1}\)は\(\mathbb{R} ^{N+1}\)上の閉集合でもあります。したがって、\(Y\)が\(\mathbb{R} _{+}^{N+1}\)上の閉集合であることと、\(Y\)が\(\mathbb{R} ^{N+1}\)上の閉集合であることは必要十分です(演習問題)。このような事情もあり、本稿では\(Y\)が\(\mathbb{R} ^{N+1}\)上の閉集合であることとして\(Y\)の閉性を定義しています。

生産集合\(Y\)が閉集合であることの意味を深く理解するために、逆に\(Y\)が閉性を満たさない場合に何が起こるかを考えます。\(Y\)が閉集合であることは、以下の条件\begin{eqnarray*}&&\left( a\right) \ \forall v\in \mathbb{N} :\left( \boldsymbol{x}_{v},y_{v}\right) \in Y \\
&&\left( b\right) \ \lim_{v\rightarrow +\infty }\left( \boldsymbol{x}_{v},y_{v}\right) \in \mathbb{R} ^{N+1}
\end{eqnarray*}を満たす点列\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right) \right\} \)を任意に選んだとき、\begin{equation*}\left( c\right) \ \lim_{v\rightarrow +\infty }\left( \boldsymbol{x}_{v},y_{v}\right) \in Y
\end{equation*}が成り立つことと必要十分です。したがって、逆に\(Y\)が閉集合でない場合には、\(\left(a\right) ,\left( b\right) \)を満たす一方で\(\left( c\right) \)を満たさない点列\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right) \right\} \)が存在します。これは何を意味するのでしょうか。点列\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right) \right\} \)が\(\left( a\right) \)を満たすということは、\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right) \right\} \)のすべての項が技術的に選択可能な生産ベクトルであることを意味します。\(\left( b\right) \)より点列\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right)\right\} \)は収束するため、その極限\(\lim\limits_{v\rightarrow +\infty }\left( \boldsymbol{x}_{v},y_{v}\right) \)に相当する生産ベクトルのいくらでも近い所に\(\left\{ \left( \boldsymbol{x}_{v},y_{v}\right) \right\} \)の点が無数に存在します。つまり、生産ベクトル\(\lim\limits_{v\rightarrow +\infty }\left( \boldsymbol{x}_{v},y_{v}\right) \)のいくらでも近い所に技術的に選択可能な生産ベクトルが無数に存在するということです。一方、条件\(\left( c\right) \)が成り立たないことは、生産ベクトル\(\lim\limits_{v\rightarrow +\infty }\left( \boldsymbol{x}_{v},y_{v}\right) \)は技術的に選択可能ではないことを意味します。結論をまとめると、生産集合が閉集合ではない場合には、技術的に選択可能ではない生産ベクトルのいくらでも近い所に技術的に選択可能な生産ベクトルが無数に存在するという事態が起こり得ます。生産ベクトルが閉集合であるという仮定のもとでは、このような事態が起こる可能性が排除されます。

例(生産集合の閉性)
1生産要素1生産物モデルにおける生産集合を、\begin{equation*}
Y=\left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y\leq x\right\}
\end{equation*}と定義します。これは下図のグレーの領域として図示されています(境界を含む)。

図:生産集合
図:生産集合

この生産集合\(Y\)が連続性を満たすこと、すなわち閉集合であることを点列を用いて証明します。\(Y\)の点を項とする収束点列を任意に選びます。つまり、以下の条件\begin{eqnarray*}&&\left( a\right) \ \forall v\in \mathbb{N} :\left( x_{v},y_{v}\right) \in Y \\
&&\left( b\right) \ \lim_{v\rightarrow +\infty }\left( x_{v},y_{v}\right)
\in \mathbb{R} ^{2}
\end{eqnarray*}をともに満たす点列\(\left\{ \left( x_{v},y_{v}\right) \right\} \)を任意に選ぶということです。\(Y\)の定義より\(\left( a\right) \)は、\begin{equation*}\forall v\in \mathbb{N} :y_{v}\leq x_{v}
\end{equation*}と必要十分であるため、これと\(\left( b\right) \)および収束する数列の性質より、\begin{equation*}\lim_{v\rightarrow +\infty }y_{v}\leq \lim_{v\rightarrow +\infty }x_{v}
\end{equation*}が成り立ちます。これと\(\left( b\right) \)および\(Y\)の定義より、\begin{equation*}\left( \lim_{v\rightarrow +\infty }x_{v},\lim_{v\rightarrow +\infty
}y_{v}\right) \in Y
\end{equation*}が成り立つため、\(Y\)が閉集合であることが示されました。

 

生産フロンティアを用いた閉性の定義

生産集合\(Y\)の境界\(Y^{f}\)を生産フロンティアと呼びます。\(Y\)が閉集合であることと\(Y\)の境界が\(Y\)の部分集合は必要十分であるため、以下の条件\begin{equation*}Y^{f}\subset Y
\end{equation*}が成り立つことと\(Y\)が閉性を満たすことは必要十分です。

例(生産集合の閉性)
1生産要素1生産物モデルにおける生産集合を、\begin{equation*}
Y=\left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y\leq x\right\}
\end{equation*}と定義します。これは下図のグレーの領域として図示されています(境界を含む)。

図:生産集合
図:生産集合

先に点列を用いて示したように、この生産集合\(Y\)は\(\mathbb{R} ^{2}\)上の閉集合です。\(Y\)の境界、すなわち生産フロンティアは、\begin{equation*}Y^{f}=\left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y=x\right\} \cup \left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y=0\right\}
\end{equation*}であるため\(Y^{f}\subset Y\)が明らかに成立します。したがって\(Y\)は閉集合ですが、これは先の結果と整合的です。

 

閉性の仮定と効率生産集合の関係

効率生産集合と生産フロンティアの関係について復習します。

命題(効率的な生産ベクトルは生産集合の境界点)
\(N\)生産要素\(1\)生産物モデルにおいて生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)について、\begin{equation*}Y^{\ast }\subset Y^{\ast \ast }\subset Y\cap Y^{f}
\end{equation*}が成り立つ。ただし、\(Y^{\ast }\)は狭義効率生産集合であり、\(Y^{\ast \ast }\)は広義効率生産集合であり、\(Y^{f}\)は\(Y\)の境界である。

生産集合\(Y\)が\(\mathbb{R} _{+}^{N+1}\)上の閉集合でない場合、生産フロンティア\(Y^{f}\)は\(Y\)に含まれるとは限りません。仮に\(Y\)のすべての境界点が\(Y\)の要素でない場合には\(Y\cap Y^{f}=\phi \)となりますが、すると先の命題より、\begin{equation*}Y^{\ast }=Y^{\ast \ast }=\phi
\end{equation*}となり、効率的な生産ベクトルが存在しないことになってしまいます。一方、生産集合\(Y\)が閉集合である場合、これは\(Y^{f}\subset Y\)が成り立つことと必要十分であるため、先の命題より以下を得ます。

命題(効率生産集合と生産フロンティアの関係)
\(N\)生産要素\(1\)生産物モデルにおいて生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)が閉集合であるならば、\begin{equation*}Y^{\ast }\subset Y^{\ast \ast }\subset Y^{f}\subset Y
\end{equation*}が成り立つ。ただし、\(Y^{\ast }\)は狭義効率生産集合であり、\(Y^{\ast \ast }\)は広義効率生産集合であり、\(Y^{f}\)は\(Y\)の境界である。

効率的な生産ベクトルは生産集合の境界点であることが明らかになりましたが、逆は成立するとは限りません。生産集合の境界点は効率的であるとは限らないということです。以下の例より明らかです。

例(効率生産集合と生産フロンティアの関係)
1生産要素1生産物モデルにおいて生産集合\(Y\subset \mathbb{R} ^{2}\)が下図で与えられているものとします。境界\(Y^{f}\)が生産フロンティアです。

図:効率生産集合
図:効率生産集合

生産フロンティア上の生産ベクトル\(\left( 1,0\right)\in Y^{f}\)に注目したとき、これは生産ベクトル\(\left( 0,0\right) \in Y\)によって広義支配されるため、\(\left(1,0\right) \)は狭義効率的ではありません。

 

生産関数の連続性

生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)が与えられたとき、生産関数\(f:\mathbb{R} _{+}^{N}\rightarrow \mathbb{R} _{+}\)が存在する場合には、それぞれの投入ベクトル\(\boldsymbol{x}\in \mathbb{R} _{+}^{N}\)に対して、\begin{eqnarray*}f\left( \boldsymbol{x}\right) &=&\max P\left( \boldsymbol{x}\right) \\
&=&\max \left\{ y\in \mathbb{R} _{+}\ |\ \left( \boldsymbol{x},y\right) \in Y\right\}
\end{eqnarray*}を定めます。ただし、\begin{equation*}
P\left( \boldsymbol{x}\right) =\left\{ y\in \mathbb{R} _{+}\ |\ \left( \boldsymbol{x},y\right) \in Y\right\}
\end{equation*}は\(\boldsymbol{x}\)の可能産出量集合です。

生産関数\(f\)が連続である場合、一定の条件のもとでは生産集合\(Y\)が閉性を満たすことを保証できます。

命題(連続な生産関数)

\(N\)生産要素\(1\)生産物モデルにおいて生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)が与えられているものとする与えられたとき、生産関数\(f:\mathbb{R} _{+}^{N}\rightarrow \mathbb{R} _{+}\)が存在するとともに、\begin{equation*}Y=\left\{ \left( \boldsymbol{x},y\right) \in \mathbb{R} _{+}^{N+1}\ |\ y\leq f\left( \boldsymbol{x}\right) \right\}
\end{equation*}が成り立ち、さらに\(f\)が連続関数である場合には\(Y\)は閉性を満たす。

証明

会員専用コンテンツです
ログイン】【会員登録

例(生産集合の連続性)
1生産要素1生産物モデルにおける生産集合を、\begin{equation*}
Y=\left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y\leq x\right\}
\end{equation*}と定義します。これは下図のグレーの領域として図示されています(境界を含む)。

図:生産集合
図:生産集合

先に示したように\(Y\)は閉性を満たします。生産関数\(f:\mathbb{R} _{+}\rightarrow \mathbb{R} _{+}\)が存在して、これはそれぞれの\(x\in \mathbb{R} _{+}\)に対して、\begin{eqnarray*}f\left( x\right) &=&\max \left\{ y\in \mathbb{R} _{+}\ |\ \left( x,y\right) \in Y\right\} \\
&=&\max \left\{ y\in \mathbb{R} _{+}\ |\ y\leq x\right\} \\
&=&\max \left[ 0,x\right] \\
&=&x
\end{eqnarray*}を定めますが、これは恒等関数であるため連続です。さらに、\begin{equation*}
Y=\left\{ \left( x,y\right) \in \mathbb{R} _{+}^{2}\ |\ y\leq f\left( x\right) \right\}
\end{equation*}であるため、先の命題より\(Y\)は閉性を満たしますが、これは先の結果と整合的です。

先の命題では、生産関数\(f\)が連続であるとともに、生産集合\(Y\)との間に以下の関係\begin{equation*}Y=\left\{ \left( \boldsymbol{x},y\right) \in \mathbb{R} _{+}^{N+1}\ |\ y\leq f\left( \boldsymbol{x}\right) \right\}
\end{equation*}が成り立つことを条件として設けています。つまり、\begin{equation*}
\forall \left( \boldsymbol{x},y\right) \in \mathbb{R} _{+}^{N+1}:\left[ \left( \boldsymbol{x},y\right) \in Y\Leftrightarrow y\leq
f\left( \boldsymbol{x}\right) \right] \end{equation*}が成り立つということです。生産関数について解説した際、\begin{equation*}
\forall \left( \boldsymbol{x},y\right) \in \mathbb{R} _{+}^{N+1}:\left[ \left( \boldsymbol{x},y\right) \in Y\Rightarrow y\leq
f\left( \boldsymbol{x}\right) \right] \end{equation*}は常に成り立つことを指摘すると同時に、逆に、\begin{equation*}
\forall \left( \boldsymbol{x},y\right) \in \mathbb{R} _{+}^{N+1}:\left[ y\leq f\left( \boldsymbol{x}\right) \Rightarrow \left(
\boldsymbol{x},y\right) \in Y\right] \end{equation*}は成り立つとは限らないことを具体例を通じて確認しました。つまり、生産関数\(f\)のもとで\(y\leq f\left( \boldsymbol{x}\right) \)が成り立つ場合に\(\left( \boldsymbol{x},y\right) \)は技術的に実現可能であるとは限らないということです。この主張が成り立たない場合、先の命題の条件の1つが満たされなくなるため、\(Y\)は閉集合ではなくなる事態が起こり得ます。以下の例より明らかです。

例(閉集合ではない生産集合)
1生産要素1生産物モデルにおける生産集合が、\begin{equation*}
Y=\left\{ \left( x,1\right) \in \mathbb{R} _{+}^{2}\ |\ x\geq 0\right\} \cup \left\{ \left( \frac{1}{v},0\right) \in \mathbb{R} _{+}^{2}\ |\ v\in \mathbb{N} \right\}
\end{equation*}であるものとします。\(x\geq 0\)を任意に選びます。\(x=0\)の場合には、\begin{eqnarray*}P\left( 0\right) &=&\left\{ y\in \mathbb{R} _{+}\ |\ \left( 0,y\right) \in Y\right\} \\
&=&\left\{ 1\right\}
\end{eqnarray*}であるため、\begin{eqnarray*}
f\left( 0\right) &=&\max P\left( 0\right) \\
&=&\max \left\{ 1\right\} \\
&=&1
\end{eqnarray*}が成り立ちます。\(x>0\)の場合には、\begin{equation*}P\left( x\right) =\left\{
\begin{array}{cl}
\left\{ 0,1\right\} & \left( if\ \exists v\in \mathbb{N} :x=\frac{1}{v}\right) \\
\left\{ 1\right\} & \left( otherwise\right)
\end{array}\right.
\end{equation*}であるため、\begin{eqnarray*}
f\left( x\right) &=&\max P\left( x\right) \\
&=&1
\end{eqnarray*}が成り立ちます。以上より、生産関数\(f:\mathbb{R} _{+}\rightarrow \mathbb{R} _{+}\)が存在して、\begin{equation*}\forall x\in \mathbb{R} _{+}:f\left( x\right) =1
\end{equation*}が成り立つことが明らかになりました。つまり、\(f\)は定数関数であるため連続です。その一方で、\(\mathbb{R} ^{2}\)上の点列\(\left\{ \left( \frac{1}{v},0\right)\right\} \)に注目したとき、\(Y\)の定義よりこれは\(Y\)上の点列ですが、その極限は、\begin{equation*}\lim_{v\rightarrow +\infty }\left( \frac{1}{v},0\right) =\left( 0,0\right)
\not\in Y
\end{equation*}を満たすため、\(Y\)は閉集合ではありません。

 

演習問題

問題(生産集合の閉性の定義)
生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)が与えられているものとします。\(Y\)が\(\mathbb{R} _{+}^{N+1}\)上の閉集合であることと、\(Y\)が\(\mathbb{R} ^{N+1}\)上の閉集合であることが必要十分であることを示してください。
解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(閉集合ではない生産集合)
1生産要素1生産物モデルにおける生産集合が、\begin{equation*}
Y=\left\{ \left( x,1\right) \in \mathbb{R} _{+}^{2}\ |\ x\geq 0\right\} \cup \left\{ \left( \frac{1}{v},0\right) \in \mathbb{R} _{+}^{2}\ |\ v\in \mathbb{N} \right\}
\end{equation*}であるものとします。以下の問いに答えてください。

  1. 生産関数\(f:\mathbb{R} _{+}\rightarrow \mathbb{R} _{+}\)が存在するとともに、連続関数であることを示してください。
  2. 以下の命題\begin{equation*}\forall \left( x,y\right) \in \mathbb{R} _{+}^{2}:\left[ y\leq f\left( x\right) \Rightarrow \left( x,y\right) \in Y\right] \end{equation*}が成り立たないことを示してください。
  3. \(Y\)が閉集合ではないことを示してください。
解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(生産集合の閉性)
2生産要素1生産物モデルにおける生産集合が、\begin{equation*}
Y=\left\{ \left( x_{1},x_{2},y\right) \in \mathbb{R} _{+}^{3}\ |\ y\leq x_{1}^{\frac{1}{2}}x_{2}^{\frac{1}{2}}\right\}
\end{equation*}で与えられているものとします。生産関数\(f\)を特定した上で、\(Y\)が閉性を満たすことを示してください。
解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(生産集合の閉性)
2生産要素1生産物モデルにおける生産集合が、\begin{equation*}
Y=\left\{ \left( x_{1},x_{2},y\right) \in \mathbb{R} _{+}^{3}\ |\ y\leq x_{1}+2x_{2}\right\}
\end{equation*}で与えられているものとします。生産関数\(f\)を特定した上で、\(Y\)が閉性を満たすことを示してください。
解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(生産集合の閉性)
2生産要素1生産物モデルにおける生産集合が、\begin{equation*}
Y=\left\{ \left( x_{1},x_{2},y\right) \in \mathbb{R} _{+}^{3}\ |\ y\leq \min \left\{ x_{1},\frac{x_{2}}{2}\right\} \right\}
\end{equation*}で与えられているものとします。生産関数\(f\)を特定した上で、\(Y\)が閉性を満たすことを示してください。
解答を見る

会員専用コンテンツです
ログイン】【会員登録

この教材についての議論

この教材について質問したり、他の学習者と議論したりするには会員登録とログインが必要です。

  • 会員はコメントを投稿できます
  • 他のユーザーへの返信も可能です
  • 過去の議論を検索・閲覧できます
  • 投稿内容は後から編集できます

WIISでは、年齢・性別・学歴・職業・社会的立場などにかかわらず、すべてのユーザーが「学ぶ人」として対等であると考えています。

ここは知識を競う場所ではなく、互いの考えを尊重しながら理解を深めていくための場です。質問や意見の表明はもちろん、分からないことを率直に尋ねることも歓迎します。

建設的で安心できる学習環境を維持するため、投稿の前にガイドラインをご確認ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合には以下のフォームからご連絡をお願い致します。

ログイン

会員向けコンテンツです。

まだ会員登録がお済みでない方は、会員登録ページよりアカウントを作成してください。

AIに質問
wiis専属チューター ×
本日の利用回数を確認中...
こんにちは!この教材の専属チューターです。数式の証明や概念の解説など、何でも聞いてください。

💡 教材のテキストや数式をドラッグ選択すると、自動的に下の入力欄に数式付きで引用されます!

このページの目次

最近閲覧したページ