《無裁定価格理論》

【無裁定価格理論】

■離散時間アプローチと連続時間アプローチ

　金融工学の無裁定価格理論は,複数個の金融商品に対して,リスク(損失の可能性)なしに確実に利益をもたらす裁定機会を排除するように,価格に整合的な関係を要求する理論である.その整合性の条件は,一定の数学的仮定のもとで,適当なリスク中立確率測度のもとで資産の相対価格がマルチンゲールに従うことが十分であると同時に,ほとんど必要であることを主張する.その結果,派生証券の価格評価が可能となる.そこでは,CTA(連続時間アプローチ:Continuous Time Approach)のもとに連続な変数(確率変数のとりうる値が実数)を想定するという枠組みをもつ.DTA(離散時間アプローチ:Discrete Time Approach)の場合,複製可能性を意識して,変数も離散的な場合を扱う場 合が多い。しかし,時間離散,空間連続の場合,無裁定価格理論は,非Markovモデルが容易に扱えるという特徴をもつ.金利の変動や信用の変化など非Markovと考えられる現象に対して,CTAは応用上制約的であるとも考えられる.

　連続時間のもとでの基礎理論を展開したBlack―Scholes(BS)は,ヨーロピアンコールなどのオプシヨンに対して,複数個の資産を用いて「自己金融取引ルール」(以下SFR:Self Financing trading Rule)のもとに最終時点のベイオフを確率1で「複製する」ことができることを示した.そこでは株価に幾何Brown運動を仮定し,伊藤確率解析のもとにペイオフを複製する偏微分方程式を導いた.このアプローチはヘッジポートフォリオの構築法を具体的に示す点で役に立つ。しかし,複製可能性の概念は無裁定性の十分条件であり,ヘッジ理論を展開するための基礎になるが,派生商品を含む金融商品のプライシングの視点からは,無裁定性の概念がより重要であろう。特に,信用リスク派生商品など不連続で,時間軸が長いものは微小時間に基づくヘッジ概念は実際的に有効でないと考えられる.複製可能性の概念は,完備性の概念と結合している。

　これに対して,Harrison and Pliska(1981)は,無裁定性と複製可能性の概念を識別し,問題を再定式化した.そしてセミマルチンゲールの数学的構造の中で,「リスク中立測度のもとでの相対価格のマルチンゲール性」が無裁定性の十分条件であることを証明した.この「マルチンゲールアプローチ」は問題の本質をとらえるものである。資産価格の一般理論としては,Delbaen and Schachemeyer(1994)による「相対価格のマルチングール性がほとんど必要であること」の結果によって完成した.

■無裁定性

　以下では無裁定性の概念を述べ,DTAでの無裁定性定理を述べる.以下CTAとDTAを並行的に扱う.時間軸を有限区間$[o,T]$とし,それを構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N} 等分した時間幅を$h$,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Nh=T} とする.時点はCTAでは$t$,DTAでは構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n} で表す.このもとで$M+1$個の資産価格過程を,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X(t)=(X_0(t),X_1(t),\ldots,X_M(t))^{\top}=(X_0(t),Y(t)^{\top})^{\top},0\le t\le T \ \ \ \mbox{(1C)}}

$X_{n}=(X_{0n},X_{1n},\ldots ,X_{Mn})^{\top }=(X_{0n},Y'_{n})^{\top },n=0,1,\ldots ,N\ \ \ {\mbox{(1D)}}$

として表現する.ここで$X(t)$は$t$に関して連続で,$X(t)$[または構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X_n} ]は確率空間$(\Omega ,{\mathcal {F}},{\mathcal {Q}})$で定義されていて,フィルトレーション

${\mathcal {F}}_{t}(X)=\sigma (\{X(s);s\leq t\})$または${\mathcal {F}}_{n}=\sigma (\{X_{j};j\leq n\})\ \ \ (2)$

に関して可測であるとする.すなわち$X$は$\{{\mathcal {F}}_{t}\}$[または$\{{\mathcal {F}}_{n}\}$]適合であるとする.

　$t$時点のポートフォリオとは,各資産に対する組入れ枚数を示す確率変数の組

$\mathbf {a} (t)=(a_{0}(t),a_{1}(t),\ldots ,a_{M}(t))$または$\mathbf {a} _{n}=(a_{0n},a_{1n},\ldots ,a_{Mn})\ \ \ (3)$

をいう.$a_{i}(t)<0$のときは第$i$資産を空売りすることを意味する.市場には摩擦がなく,どの資産についても任意の量を空売り可能とする。取引ルールとは,確率過程$\{\mathbf {a} (t):0\leq t\leq T\}$[または$\mathbf {a} _{n}$]をいう。(3)のもとでのポートフォリオの価値を

$V_{t}(\mathbf {a} )=a_{o}(t)X_{0}(t)+\cdots +a_{M}(t)X_{M}(t)=\mathbf {a} (t)\cdot X(t)\ \ \ {\mbox{(4C)}}$

$V_{n}(\mathbf {a} )=\mathbf {a} _{n}\cdot X_{n}\ \ \ {\mbox{(4D)}}$

で示す.$\{V_{t}(\mathbf {a} )\}$を価値過程という.このとき$t-h$時点で$t$時点の価値の変化は

$\Delta V_{t}(\mathbf {a} )=V_{t}(\mathbf {a} )-V_{t-h}(\mathbf {a} )=\Delta \mathbf {a} (t)\cdot X(t)+\mathbf {a} (h-t)\cdot \Delta X(t)$

となる。右辺第1項は,価格変化後にポートフォリオの再構築$(\mathbf {a} (t-h)\to \mathbf {a} (t))$をしたと きによる価値変化を示す.右辺第2項は,$t-h$時点でのポートフォリオ$\mathbf {a} (t-h)$のもと での価格変化$(X(t-h)\to X(t))$による価値変化を示す.自己金融取引ルール(SFR)$\{\mathbf {a} (t)\}$ とは,再構築のときに資金の流入をもたらさない取引ルール,すなわち

$\Delta \mathbf {a} (t)X(t)=0$ または $\Delta V_{t}(\mathbf {a} )=\mathbf {a} (t-h)\cdot \Delta X(t)\ \ \ (5)$

と同等となる. 　CTAでは$h\to 0$とするので,$\mathrm {d} \mathbf {a} (t)$や$\mathrm {d} X(t)$が確率積分要素として数学的に定義されなくてはならない.そのため

① $a_{i}(t)$は発展的可測($F_{t}\otimes g_{t}$),$t$に関して2乗可積分,有界変動

② $X(t)$は(発展的可測,2乗可積分)伊藤過程(拡散方程式)に従う

と仮定する.ただし,$g_{t}$は$[0,t]$上のBorel集合族である。(5)よりSFRを,

$\mathrm {d} V_{t}(\mathbf {a} )=\mathbf {a} (t)\cdot \mathrm {d} X(t)$ または $\Delta V_{n}(\mathbf {a} _{n})=\mathbf {a} _{n}\cdot \Delta X_{n}\ \ \ (6)$

をみたすものとして定義する.SFRのもとでの価値プロセスは

$V_{t}(\mathbf {a} )=\int _{0}^{t}\mathbf {a} (t)\cdot \mathrm {d} X(t)$ または $V_{n}(\mathbf {a} _{n})=\sum _{j=1}^{n}\mathbf {a} _{j}\cdot \Delta X_{j}\ \ \ (7)$

となる.$V_{t}(\mathbf {a} )$の値はSFRを用いて,ポートフォリオを各時点での価格変化のもとに瞬時にかつ連続的に再構築して運用したときの累積額である.

定義１　与えられた$M$個の資産が裁定機会を許すとは,適当なSFR$\{\mathbf {a} ^{*}(t)\}$(または$\{\mathbf {a} _{n}\}$)をとると,

$Q\{V_{0}(\mathbf {a} ^{*})=0,V_{T}(\mathbf {a} ^{*})\geq 0\}=1$ かつ $Q\{V_{T}(\mathbf {a} ^{*}>0\}>0\ \ \ (8)$

となることをいう($T=Nh$).どのようなSFRに対しても裁定機会が存在しないとき,資産は互いに無裁定であるという.

DTA無裁定定理　相対価格の過程$\{{\tilde {X}}_{in}=X_{in}/X_{0n}\}(i=1,\ldots ,M)$が${\mathcal {Q}}$に対して適当な同値確率測度${\mathcal {Q}}^{*}$のもとでマルチンゲールとなることが,$M+1$個の資産が互いに無裁定であるための必要十分条件である.

十分性は刈屋(1997:pp.77-80)またはKariya and Liu(2002)をみよ。必要性はElliott and Kopp(1999:p.60)をみよ.測度の一意性については後に述べる.

■伊藤過程と基本定理

　以上の基本的枠組みでCTA無裁定価格理論を展開するためには,すでに述べた確率積分や確率解析などが定義されるための数学的構造(セミマルチンゲール構造)が要求される.したがって,それが可能となるモデルの定式化から入らぎるをえない.その結果,モデルの構造に関して無裁定性,完備性が議論されることになる.この点はDTAとの違いである.典型的な状況として,まず価格過程として基準化資産としての0時点1円の第0資産に

${\frac {\mathrm {d} X_{0}(t)}{X_{0}(t)}}=r(t)\mathrm {d} t$,すなわち $X_{0}(t)=\exp {\bigg [}\int _{o}^{t}r(s)\mathrm {d} s{\bigg ]}\ \ \ (9)$

を仮定する。ここで$\{r(s)\}$は式(10)の$J$個のWiener過程$\{W(t)\}$によるフィルトレーションに適合した確率過程であると仮定する.他の資産価格は,伊藤過程(確率微分方程式)

${\frac {\mathrm {d} X_{i}(t)}{X_{i}(t)}}=\mu _{i}(t)\mathrm {d} t+\sum _{j=1}^{J}\psi _{ij}(t)\mathrm {d} W_{j}(t),i=1,\ldots ,M\ \ \ (10)$

に従うとする。ここで$J$個の$\{W_{j}(t)\}$は互いに独立なWiencr過程,$\mu _{i}(t),\psi _{ij}(t)$はドリフトとボラテイリティの確率過程で,通常はMarkov性

$\mu _{i}(t)=\mu _{i}(t,Y(t)),\psi _{ij}(t)=\psi _{ij}(t,Y(t))\ \ \ (11)$

を仮定する.このときもし(10)が解をもつならば,その解は

$X_{i}(t)=X_{i}(0)\exp {\bigg \{}\int _{0}^{t}\mu _{i}(s)\mathrm {d} s-{\frac {1}{2}}\sum _{j=1}^{J}\int _{o}^{t}\psi _{ij}(s)^{2}\mathrm {d} s+\sum _{j=1}^{J}\int _{o}^{t}\psi _{ij}(s)\mathrm {d} W_{j}(s){\bigg \}}$

となる幾何過程になる(たとえばChung and Wilhams(1990:p.120)).モデル(9)(10)の定式化に注意を要する.(9)の金利の過程$\{r(t)\}$は,(10)の確率過程から独立的であることを示す.仮にそれが拡散過程

$\mathrm {d} r(t)=\mu _{0}(t)\mathrm {d} t+\sigma _{0}(t)\mathrm {d} W_{0}(t)\ \ \ (12)$

に従っていたものとしても,,$W_{0}(t)$のは$Y(t)=(X_{1}(t),\ldots ,X_{M}(t))$に影響を与えない。もちろ ん,$\mu _{0}(t),\sigma _{0}(t)$は$Y(t)$の関数であってもよい。 したがって,$\{r(t)\}$は$\sigma \{Y(s),r(s):s\leq t\}$適合である.それに対して(10)の$Y(t)$は,それ自身の$J$個のWiener過程に対して適合的である.この仮定は,金利は他の資産から影響を受けてもその逆はないという経済的な関係を設定している。金利が他の資産価格に影響を与える場合の一般形は,第0資産も含めた$M+1$個の資産が拡散方程式

${\frac {\mathrm {d} X_{i}(t)}{X_{i}(t)}}=\mu _{i}(t)\mathrm {d} t+\sum _{j=0}^{J}\psi _{ij}(t)\mathrm {d} W_{j}(t),i=0,1,\ldots ,M\ \ \ (13)$

に従う場合である。この場合,$J+1$個のWiener過程のもとに$M+1$個の資産価格が互いに影響をもって変動する.$M+1$個の資産価格は同時決定方程式体系となる.

　確率微分方程式の解の存在条件は,非Markovの場合も含む形で

$\mu (t,x,\omega )=(\mu _{i}(t,X,\omega )),\Psi (t,x,\omega )=(\psi _{ij}(t,X,\omega ))\ \ \ (14a)$

とおくと、強Lipschitz条件として、

$\|\mu (t,x,\omega )-\mu (t,y,\omega )\|\leq K\|x-y\|,{\mbox{a.s.}}\ \ \$

$\|\Psi (t,x,\omega )-\Psi (t,y,\omega )\|\leq K\|x-y\|,{\mbox{a.s.}}\ \ \ (14b)$

$\mathrm {E} {\bigg [}\|Y(0)\|^{2}+\int _{0}^{T}[\|\Psi (s,0,\omega )\|^{2}+\|\mu (s,0,\omega )\|^{2}]\mathrm {d} s{\bigg ]}<\infty \ \ \$

となる(長井,1999).ここで行列Aに対して$\|A\|^{2}={\mbox{tr}}AA^{\top }$である。なお,a.s.は「ほとんど確実に」の略である.

　この解の存在条件は,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu} や$\psi$がt,xに加えて構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega} に依存してよいという意味では,非Markovの場合も含まれているが,上のLipschitz条件は,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega} に関する一様性を要求しているため,興味ある非Markovモデルの例を見つけるのは困難である.$\omega$に依存しない場合,過程(10)はMarkovとなることが示される。それを伊藤過程(拡散方程式)という.

　以下では(9),(10)のもとにCTAの無裁定条件を考察するため,伊藤過程の場合につて議論する.そして,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \theta_j(t)(j=1,\ldots ,J)} についての線形方程式

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu_i(t)-r(t)=\sum_{j=1}^J\psi_{ij}(t)\theta_j(t),\int _o^T \theta_j(t)^2\mathrm{d}t<\infty \mbox{ a.s.} \ \ \ (15)}

を考える。これが解をもつとき構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \theta(t)=(\theta_1(t),\ldots ,\theta_J(t))} をリスクの市場価格という.

　解は,①一意的な解をもつ,②解をもたない,③ 2つ以上の解をもつ,の3つケースに分けられる.(15)が解をもつとき(9),(10)は,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathrm{d}\bigg(\frac{X_i(t)}{X_0(t)}\bigg)=\frac{X_i(t)}{X_0(t)}\bigg\{\sum_{j=1}^J\psi _{ij}(t)[\theta_j(t)\mathrm{r}t+\mathrm{d}W_j(t)]\bigg\} \ \ \ (16)}

となる.ここでGirsanovの定理を用いて測度変換する.まず,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Lambda_T=\exp\bigg\{-\int_0^T\theta(s)\cdot \mathrm{d}W(s)-\frac{1}{2}\int_o^T\|\theta(s)\|^2 \mathrm{d}s\bigg\} \ \ \ (17)}

とおいて測度構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} と構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} のもとでのWiener過程を

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\mathrm{d}Q^*}/{\mathrm{d}Q}=\Lambda_T, \mathrm{d}W_i^*(t)=\theta_i(t)\mathrm(d)t+\mathrm(d)W_i(t) \ \ \ (18)}

とおく.(18)を(16)に代入したものとその解は,それぞれ

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathrm{d}\bigg(\frac{X_i(t)}{X_0(t)}\bigg)=\frac{X_i(t)}{X_0(t)}\bigg(\sum_{j=1}^J\psi _{ij}(t)\mathrm{d}W_j^*(t)\bigg) \ \ \ (19)}

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{X_i(t)}{X_0(t)}=\frac{X_i(0)}{X_0(0)}\exp\bigg\{-\frac{1}{2}\sum_{j=1}^J\int_o^t\psi_{ij}^2(s)\mathrm{d}s+\sum_{j=1}^J\int_o^t\psi_{ij}(s)\mathrm{d}W_j^*(s)\bigg\} \ \ \ (20)}

となるので,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle W_j^*(t)} がWiener過程であることから相対価格構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{X_i(t)/X_0(t)\}} の過程が構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} のもとでマルチンゲールとなる.すなわち構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} のもとで次式が成立する.

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathrm{E}_t^*\bigg[\frac{X_i(t)}{X_0(t)}\bigg]=\frac{X_i(t)}{X_0(t)} }

CTA無裁定定理 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle K>0} に対して,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V_t(\mathbf{a})\ge -K(\mbox{a.s.})} となるSFRのクラスを構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A_K} とする.このとき,(15)に解が存在するならば,すなわち相対価格をマルチンゲールにする確率測度構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} が存在するならば,任意の構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{a}\in A_K} に対して裁定機会を与えない.すなわち

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V_0(\mathbf{a})=0} ならば確率１で 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V_T(\mathbf{a})\le 0}

が成立する.なお,SFRに対して構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V_T(\mathbf{a})\ge -K} の条件を除くと,裁定機会を許すものが存在する.(Delbaen and Schachermayer, 1994).

系 (15)と構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathrm{E}[\Lambda_T]=1} をみたす構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \theta(t)} が存在するとき,相対価格をマルチンゲールにする同値確率測度は存在し,価格は互いに無裁定となる.

定義2 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_T} 可測な非負確率変数構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(T)} としての条件付き請求権(オプション)が,適当なSFRのもとで構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V_T(\mathbf{a})=Z(T)} となるとき,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(T)} は複製可能という.与えられたモデルのもとで任意の構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_T} 可測な非負確率変数構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(T)} が複製可能なとき,モデルは完備であるという.

　モデルが完備の場合,任意の条件付き請求権は複製可能であるから,オプションなどの条件付き請求権商品は不要,もしくは冗長ということになる.完備性に関して,(15)の解の存在性よりCTA無裁定定理によって,次の定理が成立する.

完備性定理 モデル(9),(10)を仮定する.①構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M=J} で構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \psi(t)} がすべて構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t} に対して確率1で正則ならば,モデルは完備であり,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q} は一意的に存在,②構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M<J} ならば不完備で,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} は数多く存在,③構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M>J} ならば構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} は存在しない.構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^*} が完備なときは,任意の条件付き請求権構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(T)} の構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle t} 時点価格は構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Z(t)=X_0(t)\mathrm{E}_t^*[Z(T)/X_0(T)]} で与えられる.

　この条件は,不確実性の数としてのWiener過程の数構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle J} と基準化資産構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X_0} 以外の資産数構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M} との関係で述べられている。それは構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(t)} の定式化問題と関係している.実際(15)は,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r_0(t)1=\Phi(t)\gamma(t),\mbox{ }\Phi(t)=[\mu(t),\Psi(t)],\mbox{ }\gamma(t)=(1,-\theta(t)^{\top})^{\top}}

であるから,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Phi(t)} の列ベクトル空間構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle L(\Phi(t))} (各構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega} に対して)は,1のベクトル構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 1} を含まなくてはならない.このことは,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M} 個の資産価格過程のドリフトベクトル構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu (t)} とボラティリティ行列構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Psi } の間に一定の関係を前提にしている.

---

参考文献

[1]刈屋武昭(1997),『金融工学の基礎』,東洋経済新報社.

[2]長井英生(1999),『確率微分方程式』,共立出版.

[3]Chung,K.L.and R.J.Williams(1990),Introduction to Stochastic Integration, Birkhauser.

[4]Delbaen,F.and W.Schachemayer(1990),"A general version of the fundamental theorem of asset pricing,"Mathematical Annalean,300,463-520.

[5]Elliott,R.J and P.E.Kopp(1999),Mathematics of Financial Markets,Springer.

[6]Harrison,J.M. and S.R. Pliska(1981),"Martingales and stochastic integrals in the theory of continuous trading,"Stochastic Processes and Their Applications,11,215-260.

[7]Karatzas,I.and S.E.Shreve(1998),Brown Motion and Stochastic Calculus,Springer.

[8]Kariya,T.and R.Y.Liu(2002),Asset Pricing,Kluwer.