Although the above argument shows that φ φ does not exist as a random element of H 1 ( Ω Ω ) , it still could be that it is a random function on Ω Ω in some larger function space. In fact, in dimension n = 1 , an orthonormal basis of H 1 [ 0 , 1 ] is given by