Simple random walk on the $N$-cycle

240 Views Asked by At

I am considering the following example:

enter image description here enter image description here

In my lecture notes we noted that "the functions $(\phi_j)_j$ form a basis". I think they refer to the space $\mathbb{C}^G$ where $G$ is the above multiplicative group. Now I would like to prove the linear independence of those functions. Is there a method to avoid the big computation?

Thanks