# proof of completeness of semimartingale convergence

We start by showing that semimartingale convergence is a vector topology (http://planetmath.org/TopologicalVectorSpace) on the space of semimartingales. That is, addition of processes and multiplication by real numbers are continuous (http://planetmath.org/Continuous) operations  .

The continuity of addition follows immediately from the fact that the topology is given by a translation-invariant metric $D^{\rm s}$; if $X^{n}\rightarrow X$ and $Y^{n}\rightarrow Y$ then

 $D^{\rm s}(X^{n}+Y^{n}-X-Y)\leq D^{\rm s}(X^{n}-X)+D^{\rm s}(Y^{n}-Y)\rightarrow 0$

so $X^{n}+Y^{n}\rightarrow X+Y$. Also, suppose that $\lambda_{n}$ are real numbers converging to $\lambda$. Then, it is easily shown that $D^{\rm s}(\lambda_{n}Y)\leq\max(|\lambda_{n}|,1)D^{\rm s}(Y)$ for all processes $Y$ and, therefore,

 $\begin{split}\displaystyle D^{\rm s}(\lambda_{n}X^{n}-\lambda X)&\displaystyle% \leq D^{\rm s}(\lambda_{n}(X^{n}-X))+D^{\rm s}((\lambda_{n}-\lambda)X)\\ &\displaystyle\leq\max(|\lambda_{n}|,1)D^{\rm s}(X^{n}-X)+D^{\rm s}((\lambda_{% n}-\lambda)X).\end{split}$

As was noted (in semimartingale convergence (http://planetmath.org/SemimartingaleConvergence)), the statement that $D((\lambda_{n}-\lambda)X)\rightarrow 0$ whenever $\lambda_{n}\rightarrow\lambda$ is equivalent     to the statement that $X$ is a semimartingale, so $\lambda_{n}X_{n}\rightarrow\lambda X$ and $D^{\rm s}$ does indeed generate a vector topology.

For any simple predictable process $\xi$, $\int_{0}^{t}\xi\,dX^{n}\rightarrow\int_{0}^{t}\xi\,dX$ in probability. Therefore, for any sequence of simple predictable processes $\xi^{n}$,

 $\int_{0}^{t}\xi^{n}\,dX^{n}-\int_{0}^{t}\xi^{n}\,dX=\lim_{m\rightarrow\infty}% \left(\int_{0}^{t}\xi^{n}\,dX^{n}-\int_{0}^{t}\xi^{n}\,dX^{m}\right)$

where the limit is taken in probability. If $|\xi^{n}|\leq 1$ then the condition that $X^{n}-X^{m}$ goes to zero in the semimartingale topology implies that the right hand side tends to zero in probability as $n$ goes to infinity  and, $X^{n}\rightarrow X$ in the semimartingale topology.

This shows that semimartingale convergence is complete on the space of cadlag adapted processes. To show that it is complete on the set of semimartingales, we just need to show that the process $X$ above is a semimartingale whenever $X^{n}$ are. However, for any sequence of real numbers $\lambda_{n}\rightarrow 0$ then,

 $D^{\rm s}(\lambda_{n}X)\leq D^{\rm s}(\lambda_{n}X^{m})+\max(|\lambda_{n}|,1)D% ^{\rm s}(X-X^{m}).$

As noted previously, the condition that $X^{m}$ are semimartingales gives $\lambda_{n}X^{m}\rightarrow 0$ as $n$ tends to infinity.

 $\limsup_{n\rightarrow\infty}D^{\rm s}(\lambda_{n}X)\leq\sup_{n}\max(|\lambda_{% n}|,1)D^{\rm s}(X-X^{m}).$

Taking the limit $m\rightarrow\infty$ shows that $\lambda_{n}X$ tends to zero in the semimartingale topology and, consequently, $X$ is a semimartingale.

Title proof of completeness of semimartingale convergence ProofOfCompletenessOfSemimartingaleConvergence 2013-03-22 18:40:54 2013-03-22 18:40:54 gel (22282) gel (22282) 4 gel (22282) Proof msc 60G07 msc 60G48 msc 60H05