A brief note on the Karhunen-Lo\`eve expansion

We provide a detailed derivation of the Karhunen-Lo`eve expansion of a stochastic process. We also discuss briefly Gaussian processes, and provide a simple numerical study for the purpose of illustration.