Suppose $A$ is a positive definite real symmetric matrix with eigen value $\lambda$ and $v$ an eigenvector corresponding to $\lambda$. How to prove that
$$A^rv= \lambda^r v$$ holds for all real $r>0$. So far I have manage to prove that $A^n v = \lambda^n v$ holds for all natural number $n>0$ by induction on $n$. From this point I hope I have to prove that it holds for all positive rational number $r>0$ then go on to prove for the real case. But the problem is how to proceed from natural number to rational number then to real number.
Let alone the equality how did they even define rational power and real power of matrices. Can anyone help me.