資産価格付けの基本定理

資産価格付けの基本定理（しさんかかくづけのきほんていり、）とは、リスク中立確率の存在と一意性についての必要十分条件を述べる金融経済学、数理ファイナンスの定理である。、デイヴィッド・クレプス、Stanley Pliska らによって1970年代後半から1980年代前半にかけて示された。ファイナンスの基本定理、アセットプライシングの基本定理とも呼ばれる。無裁定価格理論や市場の完備性といった経済学的概念とリスク中立確率という数学的概念を結びつけた、資産価格理論において中核的な役割を果たす定理である。
概要.
資産価格付けの基本定理は、金融市場の数学的定式化の違いにより定理の内容が若干異なるが、通常以下のように言及される。
資産価格付けの基本定理という名前はPhilip Dybvigとに由来する。リスク中立確率とは利子率で割り引かれたすべての金融資産価格がマルチンゲールとなるような仮想上の確率であるので、そのような数学的概念の存在や一意性と、同値条件にあたる裁定取引の非存在や市場の完備性といった経済学的な概念が結び付けられたことで重要な意味を持ち、多くの資産価格理論が資産価格付けの基本定理を利用したものになっている。
資産価格付けの第1基本定理.
第1基本定理は裁定機会の非存在とリスク中立確率の存在が同値であることを述べている。この定理を用いることで、裁定機会の非存在という経済学的に妥当な仮定を課すだけでリスク中立確率を用いた価格付けが可能になる。
離散時間の第1基本定理.
離散時間の場合は概要で説明した通りの定理が成立する。簡単な証明を記す。
連続時間の第1基本定理.
連続時間の場合は定理のステートメント自体が変化し、その証明はの理論を駆使した非常に高度なものとなる。リスク中立確率の存在から裁定取引の非存在を示す方法は離散時間の場合とほぼ同様に証明できるが、逆の証明を行うためには裁定機会が存在しないという条件だけでは足らず、更に追加的な条件が必要となる。よく知られている Freddy Delbaen と Walter Schachermayer の第1基本定理では裁定機会の非存在を "" (NFLVR) という条件に置き換えている。
局所マルチンゲールとはマルチンゲールの一般化の一つであり、全てのマルチンゲールである確率過程は局所マルチンゲールである。よって上述の定理における全てのポートフォリオの割引価値を局所マルチンゲールにする同値な確率測度はリスク中立確率測度も含む広い概念になっている。もし全ての資産価格が局所有界ではなく、有界であると言えるならば、上述の連続時間の資産価格付けの第1基本定理における確率測度はリスク中立確率測度であると限定することが出来る。
NFLVRは一様収束の極限での裁定取引すら許容されないという条件である。裁定機会が存在しないとしてもポートフォリオの構成比率を徐々に変化させることで極限において裁定取引が可能となる場合がある。NFLVRはこのような場合ですら排除することを意味している。当然ながら、NFLVRならば裁定取引は存在しない。
なぜ、裁定取引の非存在では足らないかというと、連続時間においては、適当な位相によって、初期費用0で実行可能なポートフォリオのペイオフからなる集合を裁定取引となるようなペイオフの集合との共通部分が生じないような閉集合とできることを裁定取引の非存在だけでは言えないからである。閉集合であることと二つの集合の共通部分が無いことが言えなければハーン＝バナッハの分離定理を適用できないのでその点が重要になる。NFLVRの仮定を課すことで初期費用0で実行可能なポートフォリオのペイオフからなる集合はの下で閉集合となり、さらにそれを裁定取引であるようなペイオフの集合と分離することが可能になる。
金融資産の価格のパスが連続であるか、もしくは不連続であったとしてもそのジャンプの大きさが有界であるならば、局所有界と言える。Delbaen と Schachermayer は更に一般化した非有界の場合を証明している。非有界の場合は、全てのポートフォリオの割引価値を、局所マルチンゲールより広い概念となるにする同値な確率測度が存在することの同値条件がNFLVRであることを述べる定理となる。
資産価格付けの第2基本定理.
第2基本定理は市場の完備性とリスク中立確率の一意性が同値であることを述べている。つまり、市場が完備ならば、リスク中立価格付けによる価格は一意に定まることを意味している。市場が完備であるということは、モデル内で想定されるあらゆる不確実性を金融資産のポートフォリオでヘッジ出来る（複製ポートフォリオを組むことが出来る）ということである。完備市場モデルにはブラック＝ショールズモデルなどの基本的なモデルが多く含まれている。以下で簡単な証明を示す。
市場の完備性の必要十分条件は、例えば有限状態の場合はペイオフ行列の階数が状態数と一致することであり、ブラック＝ショールズモデルの場合はボラティリティ行列の階数がブラウン運動の数と常に一致することである。