Ruelle-Perron-Frobenius theorem, uniqueness of stationary measure, ergodicity