- #1

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,851

- 413

Let G be the set of measurable functions [itex]f:\mathbb R^3\rightarrow\mathbb C[/itex] such that [itex]|f|^2[/itex] is Lebesgue integrable. Define an equivalence relation on G by saying that f and g are equivalent if the set on which f-g is non-zero has Lebesgue measure 0, and define H to be the set of such equivalence classes. Define the inner product of two arbitrary equivalence classes [itex]\bar f[/itex] and [itex]\bar g[/itex] by

[tex]\langle \bar f|\bar g\rangle=\int\limits_{-\infty}^\infty d^3x f^*(x) g(x) [/tex]

where f and g are arbitrary functions in the equivalence classes [itex]\bar f[/itex] and [itex]\bar g[/itex].