1生産物モデルにおける生産集合の連続性

生産集合の連続性

分析対象である生産者にとって、経済に存在する商品の中でも\(N\)種類の商品が生産要素であり、それらとは異なる\(1\)種類の商品が生産物である状況、すなわち\(N\)生産要素\(1\)生産物モデルを想定します。\(N\)生産要素\(1\)生産物モデルにおいて生産ベクトルは投入ベクトルと産出量の組\begin{equation*}\left( 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\)はユークリッド空間の部分集合であるため、そこには位相が設定されています。そこで、生産集合\(Y\)が閉集合である場合、\(Y\)は連続性（continuity）を満たすと言います。

閉集合は様々な形で定義できますが、ここでは点列を用いた定義を採用した上で、生産集合\(Y\)が連続性を満たすことの意味を確認します。生産集合\(Y\)の点を項とする収束点列\(\left\{ \left( x_{v},y_{v}\right) \right\} \)を任意に選びます。つまり、\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} ^{N+1}
\end{eqnarray*}をともに満たす点列\(\left\{ \left( x_{v},y_{v}\right) \right\} \)を任意に選ぶということです。一般にこのような収束点列の極限は\(Y\)の点であるとは限りませんが、仮にこのような収束点列の極限が\(Y\)の点であることが保証されるならば、すなわち、\begin{equation*}\left( c\right) \ \lim_{v\rightarrow \infty }\left( x_{v},y_{v}\right) \in Y
\end{equation*}が成り立つならば、\(Y\)は閉集合であると言います。

連続性の意味を深く理解するために、生産集合\(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} ^{N+1}
\end{eqnarray*}をともに満たす一方で、\begin{equation*}
\left( c\right) \ \lim_{v\rightarrow \infty }\left( x_{v},y_{v}\right) \in Y
\end{equation*}を満たさない点列\(\left\{\left( x_{v},y_{v}\right) \right\} \)が存在するはずです。点列\(\left\{ \left(x_{v},y_{v}\right) \right\} \)が\(\left( a\right) \)を満たすということは、\(\left\{ \left( x_{v},y_{v}\right) \right\} \)のすべての項が技術的に選択可能な生産ベクトルであることを意味します。\(\left( b\right) \)より点列\(\left\{ \left( x_{v},y_{v}\right) \right\} \)は収束するため、その極限\(\lim\limits_{v\rightarrow \infty }\left( x_{v},y_{v}\right) \)に相当する生産ベクトルのいくらでも近い所に\(\left\{ \left( x_{v},y_{v}\right) \right\} \)の点が無数に存在します。つまり、生産ベクトル\(\lim\limits_{v\rightarrow \infty }\left( x_{v},y_{v}\right) \)のいくらでも近い所に技術的に選択可能な生産ベクトルが無数に存在するということです。一方、条件\(\left( c\right) \)が成り立たないことは、生産ベクトル\(\lim\limits_{v\rightarrow \infty }\left( 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,y\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\)が閉集合であること、したがって連続性を満たすことが明らかになりました。

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

閉集合は境界を用いて表現することもできます。生産ベクトル\(\left( a,b\right) \in Y\)を任意に選んだとき、点\(\left( a,b\right) \)を中心とする近傍\(N_{\varepsilon}\left( a,b\right) \)とは点\(\left( a,b\right) \)からの距離が\(\varepsilon >0\)よりも近い場所にある\(Y\)の点からなる集合であり、具体的には、\begin{equation*}N_{\varepsilon }\left( a,b\right) =\left\{ \left( x,y\right) \in Y\ |\
d\left( \left( x,y\right) ,\left( a,b\right) \right) <\varepsilon \right\}
\end{equation*}と定義されます。ただし、\(d:Y\times Y\rightarrow \mathbb{R} \)はユークリッド距離関数であり、点\(\left( x,y\right),\left( a,b\right) \in Y\)に対して、\begin{equation*}d\left( \left( x,y\right) ,\left( a,b\right) \right) =\sqrt{\sum_{i=1}^{N}\left( x_{i}-a_{i}\right) ^{2}+\left( y-b\right) ^{2}}
\end{equation*}と定義されます。さて、生産ベクトル\(\left(x,y\right) \in \mathbb{R} ^{N+1}\)が生産集合\(Y\)の境界点であることとは、\(\left( x,y\right) \)を中心とする任意の近傍が\(Y\)とその補集合\(Y^{c}\)の双方と交わること、すなわち、\begin{equation*}\forall \varepsilon >0:\left[ N_{\varepsilon }\left( x,y\right) \cap
Y\not=\phi \wedge N_{\varepsilon }\left( x,y\right) \cap Y^{c}\not=\phi \right] \end{equation*}が成り立つことを意味します。さらに、\(Y\)のすべての境界点からなる集合を\(Y\)の境界と呼び、これを、\begin{equation*}Y^{f}
\end{equation*}で表記します。特に、生産集合\(Y\)の境界\(Y^{f}\)を変換フロンティアと呼びます。以上を踏まえたとき、生産集合\(Y\subset \mathbb{R} ^{N}\)の境界\(Y^{f}\)が\(Y\)の部分集合であることは、すなわち、\begin{equation*}Y^{f}\subset Y
\end{equation*}が成り立つことは、\(Y\)が\(\mathbb{R} ^{N}\)上の閉集合であるための必要十分条件です。

例（生産集合の連続性）

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\)は閉集合ですが、これは先の結果と整合的です。

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

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

効率的な生産ベクトルは生産集合の境界点である一方、その逆は成立するとは限りません。つまり、生産集合の境界点、すなわち生産フロンティア上の点は効率的であるとは限らないということです。以下の例より明らかです。

例（効率的ではない生産集合の境界点）

1生産要素1生産物モデルにおいて生産集合\(Y\subset \mathbb{R} ^{2}\)が下図のグレーの領域として描かれているものとします。境界\(Y^{f}\)が生産フロンティアですが、これは\(Y\)の部分集合であるため\(Y\)は連続性を満たします。

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

生産関数の連続性

生産集合\(Y\subset \mathbb{R} _{+}^{N+1}\)が与えられたとき、生産関数\(f:\mathbb{R} _{+}^{N}\rightarrow \mathbb{R} _{+}\)はそれぞれの投入ベクトル\(x\in \mathbb{R} _{+}^{N}\)に対して、\begin{equation*}f\left( x\right) =\max \left\{ y\in \mathbb{R} _{+}\ |\ \left( x,y\right) \in Y\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\} \quad \because \text{生産関数の定義} \\
&=&\max \left\{ y\in \mathbb{R} _{+}\ |\ y\leq x\right\} \\
&=&\max \left[ 0,x\right] \\
&=&x
\end{eqnarray*}を定めますが、これは恒等関数であるため連続です。したがって先の命題より\(Y\)は連続性を満たしますが、これは先の結果と整合的です。

演習問題