In mathematics, the Itô isometry, named after Kiyoshi Itô, is a crucial fact about Itô stochastic integrals. One of its main applications is to enable the computation of variances for random variables that are given as Itô integrals.
Let W : [ 0 , T ] × Ω → R denote the canonical real-valued Wiener process defined up to time T > 0 , and let X : [ 0 , T ] × Ω → R be a stochastic process that is adapted to the natural filtration F ∗ W of the Wiener process. Then
E [ ( ∫ 0 T X t d W t ) 2 ] = E [ ∫ 0 T X t 2 d t ] , where E denotes expectation with respect to classical Wiener measure.
In other words, the Itô integral, as a function from the space L a d 2 ( [ 0 , T ] × Ω ) of square-integrable adapted processes to the space L 2 ( Ω ) of square-integrable random variables, is an isometry of normed vector spaces with respect to the norms induced by the inner products
( X , Y ) L a d 2 ( [ 0 , T ] × Ω ) := E ( ∫ 0 T X t Y t d t ) and
( A , B ) L 2 ( Ω ) := E ( A B ) . As a consequence, the Itô integral respects these inner products as well, i.e. we can write
E [ ( ∫ 0 T X t d W t ) ( ∫ 0 T Y t d W t ) ] = E [ ∫ 0 T X t Y t d t ] for X , Y ∈ L a d 2 ( [ 0 , T ] × Ω ) .