Misplaced Pages

Itô–Nisio theorem

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Convergence of random variables in Banach spaces

The Itô-Nisio theorem is a theorem from probability theory that characterizes convergence in Banach spaces. The theorem shows the equivalence of the different types of convergence for sums of independent and symmetric random variables in Banach spaces. The Itô-Nisio theorem leads to a generalization of Wiener's construction of the Brownian motion. The symmetry of the distribution in the theorem is needed in infinite spaces.

The theorem was proven by Japanese mathematicians Kiyoshi Itô and Makiko Nisio [d] in 1968.

Statement

Let ( E , ‖ ⋅ ‖ ) {\displaystyle (E,\|\cdot \|)} be a real separable Banach space with the norm induced topology, we use the Borel σ-algebra and denote the dual space as E ∗ {\displaystyle E^{*}} . Let ⟨ z , S ⟩ := E ∗ ⟨ z , S ⟩ E {\displaystyle \langle z,S\rangle :={}_{E^{*}}\langle z,S\rangle _{E}} be the dual pairing and i {\displaystyle i} is the imaginary unit. Let

  • X 1 , … , X n {\displaystyle X_{1},\dots ,X_{n}} be independent and symmetric E {\displaystyle E} -valued random variables defined on the same probability space
  • S n = ∑ i = 1 n X n {\displaystyle S_{n}=\sum _{i=1}^{n}X_{n}}
  • μ n {\displaystyle \mu _{n}} be the probability measure of S n {\displaystyle S_{n}}
  • S {\displaystyle S} some E {\displaystyle E} -valued random variable.

The following is equivalent

  1. S n → S {\displaystyle S_{n}\to S} converges almost surely.
  2. S n → S {\displaystyle S_{n}\to S} converges in probability.
  3. μ n {\displaystyle \mu _{n}} converges to μ {\displaystyle \mu } in the Lévy–Prokhorov metric.
  4. { μ n } {\displaystyle \{\mu _{n}\}} is uniformly tight.
  5. ⟨ z , S n ⟩ → ⟨ z , S ⟩ {\displaystyle \langle z,S_{n}\rangle \to \langle z,S\rangle } in probability for every z ∈ E ∗ {\displaystyle z\in E^{*}} .
  6. There exist a probability measure μ {\displaystyle \mu } on E {\displaystyle E} such that for every z ∈ E ∗ {\displaystyle z\in E^{*}}
E [ e i ⟨ z , S n ⟩ ] → ∫ E e i ⟨ z , x ⟩ μ ( d x ) . {\displaystyle \mathbb {E} \to \int _{E}e^{i\langle z,x\rangle }\mu (\mathrm {d} x).}

Remarks: Since E {\displaystyle E} is separable point 3 {\displaystyle 3} (i.e. convergence in the Lévy–Prokhorov metric) is the same as convergence in distribution μ n ⟹ μ {\displaystyle \mu _{n}\implies \mu } . If we remove the symmetric distribution condition:

  • in a finite-dimensional setting equivalence is true for all except point 4 {\displaystyle 4} (i.e. the uniform tighness of { μ n } {\displaystyle \{\mu _{n}\}} ),
  • in an infinite-dimensional setting 1 ⟺ 2 ⟺ 3 {\displaystyle 1\iff 2\iff 3} is true but 6 ⟹ 3 {\displaystyle 6\implies 3} does not always hold.

Literature

  • Pap, Gyula; Heyer, Herbert (2010). Structural Aspects in the Theory of Probability. Singapore: World Scientific. p. 79.

References

  1. Ikeda, Nobuyuki; Taniguchi, Setsuo (2010). "The Itô–Nisio theorem, quadratic Wiener functionals, and 1-solitons". Stochastic Processes and Their Applications. 120 (5): 605–621. doi:10.1016/j.spa.2010.01.009.
  2. ^ Itô, Kiyoshi; Nisio, Makiko (1968). "On the convergence of sums of independent Banach space valued random variables". Osaka Journal of Mathematics. 5 (1). Osaka University and Osaka Metropolitan University, Departments of Mathematics: 35–48.
Categories: