Introduction to orthonormal bases