We move on to properties of stochastic integration which, while being fairly elementary, are rather difficult to prove directly from the definitions.
First, recall that for a semimartingale X, the Xintegrable processes were defined to be predictable processes which are `good dominators’. That is, if are bounded predictable processes with and pointwise, then tends to zero in probability. This definition is a bit messy. Fortunately, the following result gives a much cleaner characterization of Xintegrability.
Theorem 1 Let X be a semimartingale. Then, a predictable process is Xintegrable if and only if the set
(1)
is bounded in probability for each .
Proof: That it is necessary for the set in (1) to be bounded in probability follows from dominated convergence. If satisfy and go to zero, then and dominated convergence gives in probability. By the sequential characterization of boundedness, the given set is indeed bounded in probability.
Conversely, suppose that the set in (1) is bounded in probability. It needs to be shown that, for any sequence with and then in probability.
First, suppose that . Choosing any then is bounded by . So, the collection of all sums of the form
is in the set (1) and, hence, is bounded in probability. Using Lemma 4 in the construction of the stochastic integral, this is enough to conclude that tends to zero in probability.
Choosing any we can now show, by contradiction, that there is a positive constant L with for all bounded predictable processes . If this was not the case, then for any increasing sequence of numbers there would exist bounded predictable such that

(2) 
Furthermore, by bounded convergence, (2) still holds if is replaced by for large enough m. Then, by passing to a subsequence if necessary, we may suppose that . So,
so that, by the above argument, tends to zero in probability, contradicting (2).
Now, suppose that L is as above and that tend to zero. By bounded convergence, tends to zero in probability and,
for all . As was arbitrary, this shows that in probability as required.
Changes of Filtration
Recall that we work with respect to a complete filtered probability space . Sometimes it can be useful to replace by an alternative filtration , while keeping the same underlying probability space . It is assumed that , so changing filtrations in this way gives a new filtered probability space . For example, if studying a process which is not adapted, changing to a new filtration with respect to which it is adapted can be useful technique.
Changing filtrations in this way affects the notion of adapted processes and, therefore, the space of predictable processes changes. As stochastic integration was defined only for predictable integrands, it is also affected by changes of filtration. If a process X is a semimartingale with respect to F, it can fail to be a semimartingale with respect to a different filtration G even in the case where X is also Gadapted and. Even if it is, the space of Xintegrable processes and the values of the stochastic integral can differ.
I will say Fpredictable, Fsemimartingale, etc to denote that the respective property holds with respect to a given filtration F. Also, if X is an Fsemimartingale, denotes the Xintegrable processes with respect to F.
The filtration G is said to be a subfiltration of F if for each t. This case is particularly easy, because passing to a subfiltration reduces the set of predictable processes, making it easier for there to be a well defined stochastic integral.
Theorem 2 (Stricker’s Theorem) Let X be a semimartingale for the filtration F, and G be a subfiltration of F such that X is Gadapted. Then, X is a Gsemimartingale.
Furthermore, if then the integrals defined with respect to F and G agree.
Proof: As G is a subfiltration of F, every Gpredictable process is also Fpredictable. We can therefore define the integral for bounded Gpredictable to be equivalent to the value defined with respect to F. This agrees with the explicit expression for Gelementary processes and satisfies bounded convergence in probability.
So, X is a Gsemimartingale by definition and the stochastic integral defined under G for bounded integrands agrees with the definition under F. Now, suppose that . Then, dominated convergence
applies under both filtrations, and the two definitions of the integral agree.
Going in the opposite direction and increasing the size of the filtration makes the set of predictable processes larger, so it becomes less likely that there is a welldefined stochastic integral. For example, a standard Brownian motion is a semimartingale under its natural filtration but, as it has infinite variation on bounded sets, it is not a semimartingale under the maximal filtration (where for all t).
However, enlarging the filtration by adding a single set to , the semimartingale property is preserved. In fact, enlarging the filtration by any countable collection of disjoint sets preserves the semimartingale property. This is known as Jacod’s Countable Expansion. Furthermore, Xintegrability is also preserved.
Theorem 3 Let be a sequence of pairwise disjoint sets in and, for each t, let be the sigma algebra generated by . So, is a filtration containing F.
Then, every Fsemimartingale X is also a Gsemimartingale. Furthermore, and, for , the definitions of the integral with respect to F and G agree.
Proof: First, by inserting into the sequence of sets, we can suppose that . I make use of the result that a set S of random variables is bounded in probability if and only if is bounded in probability for each n.
The enlarged filtration G and its associated predictable processes are not hard to describe. First, is the collection of sets of the form for . The measurable random variables are of the form for measurable random variables . Then, the Gelementary processes are for Felementary processes . Similarly, the Gpredictable processes are of the form for Fpredictable .
The characterization of semimartingales in terms of boundedness in probability will be used. Suppose that X is an Fsemimartingale and, for each t, define the sets
For any Gelementary process , there are Felementary processes with . Replacing by , we suppose that . Then, . So, .
The following implications hold. X is an Fsemimartingale implies that S is bounded in probability, implying that are bounded in probability, so are bounded in probability. Then, is bounded in probability and X is a Gsemimartingale.
It only remains to prove that , in which case the agreement of stochastic integration defined with respect to F and G comes from Theorem 2.
The proof that Xintegrability is preserved when enlarging the filtration follows in a similar way as for the semimartingale property above. The characterization of Xintegrability in terms of boundedness in probability given by Theorem 1 is used. So, suppose that and define
For any bounded Gpredictable process , there are bounded Fpredictable such that . Replacing by , we suppose that . Then, , proving that .
In a similar way to the proof above, is bounded in probability implies are bounded in probability, implying that are bounded in probability, so is bounded in probability and .
Finally, for this post, we prove the following `pathwise’ property of stochastic integration. The stochastic integrals with respect to two different integrands agree on any measurable set for which the integrands agree. If integration was defined in a pathwise manner, such as when taking the standard Stieltjes integrals with respect to finite variation processes, then this result would be immediate. However, it appears to be very difficult to prove from the defining properties of stochastic integration. Instead, Theorem 3 above is used which, in turn, relied on the alternative definition of semimartingales in terms of boundedness in probability.
Theorem 4 Let X be a semimartingale and . If is any set such that on A, then on A.
Proof: Using Theorem 3, enlarge the filtration by adding the set A to each . Working with respect to this larger filtration, are Xintegrable and,
as required.
Notes
The characterization of Xintegrable processes given by Theorem 1 is a bit different those used in most introductions to stochastic calculus. The usual approach is to decompose the semimartingale X=M+V into a local martingale part M and FV term V. Then, a process is Xintegrable if it is both Vintegrable in the LebesgueStieltjes sense and Mintegrable according to the construction of stochastic integrals with respect to local martingales. However, such decompositions are not unique, and different decompositions lead to different sets of integrands. Then, a process is said to be Xintegrable if it is integrable with respect to at least one such decomposition. It can be shown that this does give the same class of integrands as in Theorem 1, but it is not easy to prove this.
On the other hand, Theorem 1 gives what seems to be a more natural and intrinsic definition of Xintegrability. I’m not sure if the result that this is a necessary and sufficient condition is new, and am not aware of any authors using this characterization. It does seem surprising if this is the case, as it is such a simple definition of Xintegrable processes.
Hi,
About the fact that you mention that a Brownian motion is not a semimartingale under the maximal filtration. You argue that it is because it has infinite variations over bounded sets.
As I understand it, if we use the BichtelerDellacherie Decomposition Theorem of semimartingales, and as a Brownian Motion under this filtration has no local martingale part (because it is an a.s. non constant deterministic process in this filtration), if it were a semimartingale then it should be a FV process which is false by properties of Brownian Motion paths, so making the desired contradiction appear.
The thing is that BichtelerDellacherie Decomposition Theorem only appears much later in these notes so I was wondering if there was a simpler argument.
Best regards
Comment by TheBridge — 25 October 11 @ 1:28 PM 
Ok, I stated it here as fact, but you can easily show that if X is any process and the filtration is large enough that X_{t} is measurable for all t ≥ 0, then X is a semimartingale if and only if it is cadlag with finite variation on each bounded interval.
If 0 = t_{0} ≤ t_{1} ≤ ⋯ ≤ t_{n} = T is a partition of the interval [0,T] then
is a predictable process bounded by 1. The integral is
If X was a semimartingale then this would be bounded (in probability) independently of the choice of partition. However, as the mesh maxt_{k} – t_{k1} goes to zero, it tends to the variation of X on the interval [0,T]. So, if X is a semimartingale then its sample paths almost surely have finite variation on each interval [0,T].
Comment by George Lowther — 25 October 11 @ 6:50 PM 
Ok thanks this very elegant argument.
Best Regards
Comment by TheBridge — 25 October 11 @ 7:57 PM 