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