We prove the positive state-price density alternative using finite-dimensional convex cones. Put and define
All displayed expectations are finite, since . The set is a convex cone, so is a closed convex cone. A vector is nonnegative on exactly when almost surely. Indeed, one direction follows by taking every nonnegative bounded test weight ; for the other direction, if on a set of positive probability, take its indicator as to obtain a strictly negative expectation. This also identifies as the closed cone generated by the support of a probability distribution of .
The three cases , , and are treated below. They give respectively a negative-cost separating portfolio, a supporting zero-cost portfolio with a strictly positive payoff on an event of positive probability, or the required positive pricing weight. Thus the alternatives are exhaustive.
They are mutually exclusive. If with and a portfolio has nonnegative payoff, then . A negative initial cost is impossible. If the payoff is strictly positive with positive probability, this expectation is strictly positive, so nonpositive initial cost is impossible too. The given weighted integrability permits taking the expectation of this scalar product.
In a one-period market, is the portfolio's initial cost and its terminal value. The first two cases are investment-consumption arbitrage: nonnegative wealth can be taken out at both dates, with a strict benefit at one of them. If a strictly positive bank account is traded, any negative initial cost can be invested in it, converting the opportunity into a zero-cost arbitrage with nonnegative terminal payoff and positive payoff with positive probability.
In the third case, is a strictly positive state-price density. If a traded numéraire has price and terminal value , its pricing identity is . Consequently
The density has mean one and is strictly positive, so is equivalent to the physical measure. Thus discounted asset prices are martingales in the one-period sense. This is the fundamental theorem of asset pricing formulation of absence of arbitrage; normalization to a probability measure uses the positive traded numéraire, not an unsupported assumption that .
Suppose lies on the relative boundary of in its span . There is a nonzero with for every and . Here is a direct construction of the supporting vector. Choose points converging to , let be their nearest points in , and set . The minimization inequality for a nearest point gives on and . A subsequence of the unit vectors converges to a unit vector . Since , it has the asserted support properties.
The test-weight characterization of now gives almost surely. This random payoff cannot vanish almost surely: otherwise would annihilate every element of , hence all of , contradicting and . Therefore
This supplies the positive-terminal-payoff alternative. If has zero-dimensional span, its relative boundary is empty, so that case requires no supporting vector.
If , let be a nearest point of the closed convex cone to . Existence follows by minimizing the continuous squared distance on a sufficiently large compact ball. The first-order minimization inequality is for every . Set . Taking and , both in the cone, gives . Consequently
The cone's test-weight characterization again yields almost surely. This is separation from a closed convex cone with the sign needed for
The strict benefit is already available at the initial date, even if the terminal payoff happens to be zero.
Suppose . We first justify the finite-dimensional fact , since itself need not be closed. Around any relative-interior point , choose a small simplex in whose vertices lie in and which contains strictly inside. Approximate its vertices by points of , possible because . For close enough approximations, the barycentric coordinates of remain strictly positive; hence is a convex combination of points of and belongs to . If , the assertion is immediate.
Let . Relative openness lets us choose such that . There is therefore a bounded nonnegative measurable satisfying . Set
Then and . This proves existence with strict positivity even when the unweighted asset vector is not integrable.
It also proves the strictly positive barycentre cone lemma. Every strictly positive weighted barycentre must lie in : otherwise the supporting vector constructed for the relative boundary would have zero value at that barycentre while its strictly positive weighted payoff had positive expectation. Thus the relative interior is exactly the set of such barycentres.

Articles by others on the same topic (0)

There are currently no matching articles.