Notice in Definition 7 that we are not saying is equal to its Fourier series. Later we
will discuss conditions under which that is actually true. For now we are just saying that
associated with any piecewise continuous function on is a certain series called
a Fourier series.