Para conseguir esto sin respuesta fuera de la lista:
La pregunta fue posteriormente publicado para MathOverflow, donde se contestó en la afirmativa. Algunas referencias útiles de Marca Wildon la respuesta:
Estoy bastante seguro de que M. Gerstenhaber fue el primero en demostrar que la irreductibilidad resultado. Su papel es: Sobre la posición dominante y las variedades de los desplazamientos de las matrices, Anales de Matemáticas. 73 (1961), 324-348. Sin embargo, el resultado que se pidió en la pregunta ya era conocido desde Teorema 5 en T. S. Motzkin, Olga Taussky, Pares de matrices con propiedad L II, Trad. Amer. De matemáticas. Soc. 80 (1955), 387-401. Hay un breve resumen de este trabajo después de la Observación 3.4 en el papel por Meara y Vinsonhaler mencionado en SJ de la respuesta.
La última referencia que se parece a K. C. O'Meara y C. I. Vinsonhaler, En aproximadamente simultáneamente diagonalizable matrices, Álgebra Lineal Appl., 412 (2006), 39 - 74.