Estudiamos operadores de Markov , , y de cadenas de Markov generales en un espacio medible arbitrario. El operador, , está definido en el espacio de Banach de todas las funciones medibles acotadas. El operador está definido en el espacio de Banach de todas las medidas aditivas contables acotadas. Construimos un operador , topológicamente conjugado al operador , actuando en el espacio de todas las medidas aditivas finitamente acotadas. Demostramos el resultado principal del artículo de que, en general, un operador de Markov es cuasi-compacto si y solo si es cuasi-compacto. Se demuestra que el operador conjugado es cuasi-compacto si y solo si se cumple la condición de Doeblin. Se muestra que las condiciones de cuasi-compacto para los tres operadores de Markov , , y son equivalentes entre sí. Además, se obtiene que, para que un operador sea cuasi-compacto, es necesario y suficiente que no tenga medidas invariantes puramente finitamente aditivas. Se demuestra un teorema ergódico reversible uniforme fuerte para el operador de Markov cuasi-compacto en el espacio de medidas finitamente aditivas. Se dan todas las pruebas para el caso más general. Se proporciona un análisis detallado del contraejemplo de Lin.