He escuchado la siguiente declaración varias veces y tengo la sospecha de que existe un sencillo y elegante a prueba de este hecho, lo que yo simplemente no estoy viendo.
Pregunta: ¿por Qué es cierto que una invertible la matriz de nxn con entero no negativo entradas, cuya inversa también ha entero no negativo entradas, es necesariamente una matriz de permutación?
La razón por la que estoy interesado en esto tiene que ver con categorification. Hay una importante 2-categoría 2-categoría de Kapranov–Voevodsky 2-espacios vectoriales, que en la encarnación ha de objetos dada por los números naturales y 1-morfismos de n a m son matrices de mxn de espacios vectoriales. La composición es como la habitual composición de la matriz, pero con la suma y el producto tensor de espacios vectoriales. El 2-morfismos son las matrices de los lineales de los mapas.
Esta realidad implica que la única equivalencias en este 2-categoría de "permutación de matrices", es decir, aquellas matrices de espacios vectoriales que el aspecto de las matrices de permutación, pero donde cada "1" es reemplazado por un 1-dimensional espacio vectorial.
Es fácil ver la razón por la que el hecho implica esto. Dada una matriz de espacios vectoriales, puede aplicar "dim" para obtener una matriz de enteros no negativos. Dimensión respeta tensor del producto y de la suma directa y por lo que esta asociación es compatible con la composición en 2-Vect. Por lo tanto, si una matriz de espacios vectoriales es débilmente invertible, entonces su matriz de dimensiones también es invertible, y por otra parte tanto de esta matriz y su inversa positivos interger entradas. Por lo tanto, por el hecho, la matriz de dimesnions debe ser una matriz de permutación.
Pero ¿por qué el anterior verdad?