Research proof index

The set of points where the cadlag modification of a real quasimartingale along a countable dense set T disagrees with X is countable.

The set of points where the right limit along a countable dense set T disagrees with X is countable.

The elementary predictable sets generate the predictable σ-algebra. Note that we require the time domain to have countably generated atTop so that each (t, ∞] can be written as a countable union of intervals (t, s].

Any uncountable set in a separable, densely-ordered, first-countable linear order admits a strictly decreasing sequence of its elements converging to a point from the right.

A stochastic process X with independent increments and such that X t is gaussian for all t is a Gaussian process.

Two-sided expectation bound for adapted {0,1}-weighted increment sums of X, from the boundedness of elementary stochastic integrals at time t. The lower bound uses the complementary weights 1 - W.