資産価格付けの基本定理のソースを表示

'''資産価格付けの基本定理'''（しさんかかくづけのきほんていり、{{lang-en-short|fundamental theorem of asset pricing}}）とは、[[リスク中立確率]]の存在と一意性についての必要十分条件を述べる[[金融経済学]]、[[数理ファイナンス]]の定理である。{{仮リンク|Michael Harrison|en|J. Michael Harrison}}、[[デイヴィッド・クレプス]]、Stanley Pliska らによって[[1970年代]]後半から[[1980年代]]前半にかけて示された<ref>{{Harvnb|Harrison and Kreps|(1979)|ref=Harrison,Kreps1979}}</ref><ref>{{Harvnb|Harrison and Pliska|(1981)|ref=Harrison,Pliska1981}}</ref><ref name=Harrison,Pliska1983>{{Harvnb|Harrison and Pliska|(1983)|ref=Harrison,Pliska1983}}</ref>。ファイナンスの基本定理、アセットプライシングの基本定理とも呼ばれる。[[無裁定価格理論]]や[[金融経済学#市場の完備性|市場の完備性]]といった経済学的概念とリスク中立確率という数学的概念を結びつけた、資産価格理論において中核的な役割を果たす定理である。

== 概要 ==
資産価格付けの基本定理は、金融市場の数学的定式化の違いにより定理の内容が若干異なるが<ref>{{Harvnb|Shreve|(2004)|pp=224-234|Ref=Shreve2004}}</ref><ref>{{Harvnb|Dybvig and Ross|(2003)|p=614|Ref=Dybvig,Ross2003}}</ref>、通常以下のように言及される。

* '''資産価格付けの第1基本定理'''

:[[金融市場]]に[[裁定取引]]が存在しない[[必要十分条件]]は少なくとも1つ以上の[[リスク中立確率]]が存在することである。

* '''資産価格付けの第2基本定理'''

:金融市場に裁定取引が存在しないと仮定する。この時、[[金融経済学#市場の完備性|金融市場が完備]]である必要十分条件はリスク中立確率が一意に定まることである。

資産価格付けの基本定理という名前はPhilip Dybvigと{{仮リンク|ステファン・ロス|en|Stephen Ross (economist)}}に由来する<ref>{{Harvnb|Dybvig and Ross|(1987)|Ref=Dybvig,Ross1987}}</ref>。リスク中立確率とは利子率で割り引かれたすべての金融資産価格が[[マルチンゲール]]となるような仮想上の[[確率]]であるので、そのような数学的概念の存在や一意性と、同値条件にあたる裁定取引の非存在や市場の完備性といった経済学的な概念が結び付けられたことで重要な意味を持ち、多くの資産価格理論が資産価格付けの基本定理を利用したものになっている。

== 資産価格付けの第1基本定理 ==
第1基本定理は裁定機会の非存在とリスク中立確率の存在が同値であることを述べている。この定理を用いることで、裁定機会の非存在という経済学的に妥当な仮定を課すだけでリスク中立確率を用いた価格付けが可能になる。

=== 離散時間の第1基本定理 ===
離散時間の場合は[[#概要|概要]]で説明した通りの定理が成立する。簡単な証明を記す。

* リスク中立確率の存在から裁定取引の非存在<ref>{{Harvnb|Shreve|(2004)|p=231|Ref=Shreve2004}}</ref>
: [[背理法]]を用いる。そもそも裁定取引とは現時点で組成にかかる費用が0で将来の利益が必ず非負であり、さらに正の確率で正の利益をもたらすポートフォリオのことを指す。このような裁定ポートフォリオの時点 <math>t</math> における割引価値を <math>X_t</math> とすれば、<math>X_0 = 0</math> かつ将来の時点 <math>T</math> において、<math>\mathbb{P}(X_T \geq 0) = 1</math> かつ <math>\mathbb{P}(X_T > 0) > 0</math> である。ただし、<math>\mathbb{P}</math> は実際の確率を表す[[確率測度]]であり、<math>\mathbb{P}(\cdot)</math> はカッコ内の事象が起こる確率である。すると、リスク中立測度 <math>\widetilde{\mathbb{P}}</math> が存在するので、 <math>\widetilde{\mathbb{P}}</math> の下での[[期待値]]を <math>\widetilde{\operatorname{E}}</math> とすれば、リスク中立測度の下で全ての割引ポートフォリオの価値は[[マルチンゲール]]となるので
:: <math> \widetilde{\operatorname{E}}[X_T] = X_0 = 0</math>
: が成り立つ。ここでリスク中立測度は実際の確率測度と同値であるので<ref>[[リスク中立確率]]の項を参照。</ref>、<math>\mathbb{P}(A) = 0</math> である事象 <math>A</math> について <math>\widetilde{\mathbb{P}}(A)=0</math> が成り立ち、また逆も成立する。よって <math>\mathbb{P}(X_T \geq 0) = 1</math> なので、<math>\mathbb{P}(X_T < 0) = 0</math> であり、したがって <math>\widetilde{\mathbb{P}}(X_T < 0) = 0</math> である。つまり <math>\widetilde{\mathbb{P}}(X_T \geq 0) = 1</math> である。ここで、<math>\widetilde{\operatorname{E}}[X_T] = 0</math> より、<math>\widetilde{\mathbb{P}}(X_T > 0) = 0</math> であることも言える。そうでなければ、<math>\widetilde{\operatorname{E}}[X_T] > 0</math> となるからである。したがって再び確率測度の同値性を用いれば、<math>\widetilde{\mathbb{P}}(X_T > 0) = 0</math> から <math>\mathbb{P}(X_T > 0) = 0</math> が言える。これは最初に仮定した <math>X</math> が裁定取引であること、つまり <math>\mathbb{P}(X_T > 0) > 0</math> であることと矛盾するので、このようなポートフォリオは存在しない。つまりこの金融市場に裁定取引は存在しないと言える。この証明は連続時間の場合にも容易に拡張が可能である。

* 裁定取引の非存在からリスク中立確率の存在<ref>{{Harvnb|Delbaen and Schachermayer|(2005)|pp=18-19|Ref=Delbaen,Schachermayer2005}}</ref>
: この証明は一般には閉凸集合に対する[[ハーン＝バナッハの分離定理]]を用いる。ヒューリスティックな説明を行えば、初期費用0で実行可能なポートフォリオのペイオフからなる集合と裁定取引であるようなペイオフの集合が、裁定取引が存在しない場合は分離される。するとハーン＝バナッハの分離定理により非負値の線形作用素の存在が言える。この作用素は初期費用0で実行可能なポートフォリオのペイオフからなる集合の要素については0を返し、裁定取引であるようなペイオフの集合の要素については正の値を返すので、価格付け関数としての条件を満たしている。また、この作用素は標準化することで現実の確率測度と同値な確率測度の期待値オペレーターと見なせるので、その確率測度がリスク中立確率測度になるのである。離散時間かつ状態数が有限の場合はこの議論でそのまま証明できるが、状態数が無限であったり、連続時間の場合は数学的な議論の精緻化が必要になる。しかし、そのような応用的な場合でも基本的にはハーン＝バナッハの分離定理により非負値の線形作用素の存在を示すという方向性は変わらない。

=== 連続時間の第1基本定理 ===
連続時間の場合は定理のステートメント自体が変化し、その証明は{{仮リンク|セミマルチンゲール|en|semimartingale}}の理論を駆使した非常に高度なものとなる。リスク中立確率の存在から裁定取引の非存在を示す方法は離散時間の場合とほぼ同様に証明できるが、逆の証明を行うためには裁定機会が存在しないという条件だけでは足らず、更に追加的な条件が必要となる。よく知られている Freddy Delbaen と Walter Schachermayer の第1基本定理では裁定機会の非存在を ''{{仮リンク|No Free Lunch with Vanishing Risk|en|No free lunch with vanishing risk}}'' (NFLVR) という条件に置き換えている<ref>{{Harvnb|Delbaen and Schachermayer|(1994)|Ref=Delbaen,Schachermayer1994}}</ref>。

* '''（連続時間における）資産価格付けの第1基本定理'''<ref>{{Harvnb|Delbaen and Schachermayer|(1994)|Ref=Delbaen,Schachermayer1994}}, Corollary 1.2</ref>

:金融市場において全ての資産の価格が{{仮リンク|局所有界|en|local boundedness}}なセミマルチンゲール確率過程であるとする。この時、No Free Lunch with Vanishing Riskが成立する[[必要十分条件]]は少なくとも1つ以上の、全てのポートフォリオの割引価値を{{仮リンク|局所マルチンゲール|en|local martingale}}とする同値な確率測度が存在することである。

局所マルチンゲールとはマルチンゲールの一般化の一つであり、全てのマルチンゲールである[[確率過程]]は局所マルチンゲールである。よって上述の定理における全てのポートフォリオの割引価値を局所マルチンゲールにする同値な確率測度はリスク中立確率測度も含む広い概念になっている。もし全ての資産価格が局所有界ではなく、[[有界]]であると言えるならば、上述の連続時間の資産価格付けの第1基本定理における確率測度はリスク中立確率測度であると限定することが出来る<ref>{{Harvnb|Delbaen and Schachermayer|(1994)|Ref=Delbaen,Schachermayer1994}}, Theorem 1.1</ref>。

NFLVRは[[一様収束]]の[[極限]]での裁定取引すら許容されないという条件である。裁定機会が存在しないとしてもポートフォリオの構成比率を徐々に変化させることで極限において裁定取引が可能となる場合がある。NFLVRはこのような場合ですら排除することを意味している。当然ながら、NFLVRならば裁定取引は存在しない。

なぜ、裁定取引の非存在では足らないかというと、連続時間においては、適当な[[位相]]によって、初期費用0で実行可能なポートフォリオのペイオフからなる集合を裁定取引となるようなペイオフの集合との[[共通部分]]が生じないような閉集合とできることを裁定取引の非存在だけでは言えないからである。閉集合であることと二つの集合の共通部分が無いことが言えなければハーン＝バナッハの分離定理を適用できないのでその点が重要になる。NFLVRの仮定を課すことで初期費用0で実行可能なポートフォリオのペイオフからなる集合は{{仮リンク|汎弱位相|en|weak_topology#The_weak-*_topology}}の下で閉集合となり、さらにそれを裁定取引であるようなペイオフの集合と分離することが可能になる。

金融資産の価格のパスが連続であるか、もしくは不連続であったとしてもそのジャンプの大きさが有界であるならば、局所有界と言える。Delbaen と Schachermayer は更に一般化した非有界の場合を証明している<ref>{{Harvnb|Delbaen and Schachermayer|(1998)|Ref=Delbaen,Schachermayer1998}}</ref>。非有界の場合は、全てのポートフォリオの割引価値を、局所マルチンゲールより広い概念となる{{仮リンク|シグマ-マルチンゲール|en|sigma-martingale}}にする同値な確率測度が存在することの同値条件がNFLVRであることを述べる定理となる。

== 資産価格付けの第2基本定理 ==
第2基本定理は市場の完備性とリスク中立確率の一意性が同値であることを述べている。つまり、市場が完備ならば、リスク中立価格付けによる価格は一意に定まることを意味している。市場が完備であるということは、モデル内で想定されるあらゆる不確実性を金融資産のポートフォリオでヘッジ出来る（複製ポートフォリオを組むことが出来る）ということである。完備市場モデルには[[ブラック-ショールズ方程式|ブラック＝ショールズモデル]]などの基本的なモデルが多く含まれている。以下で簡単な証明を示す。

* 市場の完備性からリスク中立確率の一意性<ref name=Shreve2004,232,233>{{Harvnb|Shreve|(2004)|pp=232-233|Ref=Shreve2004}}</ref>
: ここで二つのリスク中立測度 <math>\mathbb{P}_B</math> と <math>\mathbb{P}_C</math> が存在したとする。ここで将来時点 <math>T</math> で起こったかどうかが分かるような任意の事象 <math>A</math> を考え、事象 <math>A</math> が起こった時に1円と時点 <math>T</math> までの利子を支払い、起こらなかった時には何も支払わないような[[オプション取引|オプション]]を考える。このオプションの割引ペイオフを <math>H</math> とする。すると、<math>H</math> は事象 <math>A</math> が起これば1円、起こらなければ0円となる。また、市場の完備性からこのオプションには複製ポートフォリオが存在する。この複製ポートフォリオの時点 <math>t</math> での割引価値を <math>X_t</math> とする。すると、リスク中立確率の定義から
::<math>X_0 = \operatorname{E}_B[H] = \mathbb{P}_B(A) </math>
::<math>X_0 = \operatorname{E}_C[H] = \mathbb{P}_C(A) </math>
: が成り立つ。ただし、<math>\operatorname{E}_B,\operatorname{E}_C</math> はそれぞれリスク中立測度 <math>\mathbb{P}_B,\mathbb{P}_C</math> の下での期待値である。よって、<math>\mathbb{P}_B(A) = \mathbb{P}_C(A)</math> が成り立つ。ここで <math>A</math> は任意に選んだので、結局リスク中立測度 <math>\mathbb{P}_B,\mathbb{P}_C</math> は同じものである。よって完備市場の下ではリスク中立測度は一意に定まる。

* リスク中立測度の一意性から市場の完備性<ref name=Harrison,Pliska1983 /><ref name=Shreve2004,232,233 />
: 逆を示すには{{仮リンク|マルチンゲール表現定理|en|martingale representation theorem}}を用いる。市場が完備であるという事は任意の条件付き請求権（{{lang-en-short|contingent claim}}）に複製ポートフォリオが存在するという事である。任意の条件付き請求権の条件付き期待値はマルチンゲールとなるので、マルチンゲール表現定理により金融資産の価格過程に対する確率積分として表示することが可能である、つまり複製ポートフォリオとして表現できる。ゆえに市場は完備である。ここでリスク中立測度が一意に定まらないとマルチンゲール表現定理を用いる事が出来ないので、その点でリスク中立測度の一意性が必要になる。

市場の完備性の必要十分条件は、例えば有限状態の場合はペイオフ行列の[[行列の階数|階数]]が状態数と一致することであり、ブラック＝ショールズモデルの場合はボラティリティ行列の階数がブラウン運動の数と常に一致することである<ref>{{Harvnb|Biagini|(2010)|ref = Biagini2010}}</ref>。

== 脚注 ==
{{reflist|3}}

== 参考文献 ==
* {{Citation
|last = Biagini
|first = Francesca
|contribution = Second Fundamental Theorem of Asset Pricing
|title = Encyclopedia of Quantitative Finance
|year = 2010
|isbn = 978-0-470-05756-8
|ref = Biagini2010
}}
* {{Citation
|last1 = Delbaen
|first1 = Freddy
|last2 = Schachermayer
|first2 = Walter
|title = A General Version of the Fundamental Theorem of Asset Pricing
|journal = Mathematische Annalen
|volume = 300
|issue = 1
|pages = 463--520
|year = 1994
|doi = 10.1007/BF01450498
|publisher = Springer
|ref = Delbaen,Schachermayer1994
}}
* {{Citation
|last1 = Delbaen
|first1 = Freddy
|last2 = Schachermayer
|first2 = Walter
|title = The Fundamental Theorem of Asset Pricing for Unbounded Stochastic Processes
|journal = Mathematische Annalen
|volume = 312
|issue = 2
|pages = 215--250
|year = 1998
|doi = 10.1007/s002080050220
|publisher = Springer
|ref = Delbaen,Schachermayer1998
}}
* {{Citation
|last1 = Delbaen
|first1 = Freddy
|last2 = Schachermayer
|first2 = Walter
|title = The Mathematics of Arbitrage
|year = 2005
|publisher = Springer
|location = Berlin
|doi = 10.1007/978-3-540-31299-4
|isbn = 978-3-540-21992-7
|ref = Delbaen,Schachermayer2005
}}
* {{Citation
|last1 = Dybvig
|first1 = Philip H.
|last2 = Ross
|first2 = Stephen A.
|contribution = Arbitrage
|editor1-last = Eatwell
|editor1-first = John
|editor2-last = Milgate
|editor2-first = Murray
|editor3-last = Newman
|editor3-first = Peter K.
|title = The new Palgrave dictionary of economics, vol. 1
|year = 1987
|publisher = Macmillan
|location = London
|pages = 100-106
|isbn = 9780444513632
|ref = Dybvig,Ross1987}}
* {{Citation
|last1 = Dybvig
|first1 = Philip H.
|last2 = Ross
|first2 = Stephen A.
|contribution = Arbitrage, State Prices and Portfolio Theory
|editor1-last = Constantinides
|editor1-first = George M.
|editor2-last = Harris
|editor2-first = Milton
|editor3-last = Stulz
|editor3-first = René M.
|title = Handbook of the Economics of Finance 1
|year = 2003
|publisher = Elsevier
|pages = 605-637
|doi = 10.1016/S1574-0102(03)01019-7
|isbn = 9780444513632
|ref = Dybvig,Ross2003}}
* {{Citation
|last1 = Harrison
|first1 = J. Michael
|last2 = Kreps
|first2 = David M.
|authorlink2 = デイヴィッド・クレプス
|title = Martingales and Arbitrage in Multiperiod Securities Markets
|journal = Journal of Economic Theory
|year = 1979
|volume = 20
|issue = 3
|pages = 381-408
|doi = 10.1016/0022-0531(79)90043-7
|ref = Harrison,Kreps1979}}
* {{Citation
|last1 = Harrison
|first1 = J. Michael
|last2 = Pliska
|first2 = Stanley R.
|title = Martingales and Stochastic Integrals in the Theory of Continuous Trading
|journal = Stochastic Processes and their Applications
|year = 1981
|volume = 11
|issue = 3
|pages = 215-260
|doi = 10.1016/0304-4149(81)90026-0
|ref = Harrison,Pliska1981}}
* {{Citation
|last1 = Harrison
|first1 = J. Michael
|last2 = Pliska
|first2 = Stanley R.
|title = A Stochastic Calculus Model of Continuous Trading: Complete Markets
|journal = Stochastic Processes and their Applications
|year = 1983
|volume = 15
|issue = 3
|pages = 313-316
|doi = 10.1016/0304-4149(83)90038-8
|ref = Harrison,Pliska1983}}
* {{Citation
|last = Shreve
|first = Steven E.
|year = 2004
|title = Stochastic Calculus for Finance II: Continuous-time Models
|publisher = Springer
|place = New York
|isbn = 9780387401010
|ref = Shreve2004
}}

== 関連項目 ==
* [[確率的割引ファクター]]
* [[リスク中立確率]]
* [[無裁定価格理論]]

{{デフォルトソート:しさんかかくつけのきほんていり}}
[[Category:金融経済学]]
[[Category:数理ファイナンス]]