Leonid Mirsky (19 de diciembre de 1918 - 1 de diciembre de 1983) fue un matemático ruso-británico que trabajó en teoría de números, álgebra lineal y combinatoria. [1] [2] [3] [4] El teorema de Mirsky lleva su nombre.
Mirsky nació en Rusia el 19 de diciembre de 1918 en una familia de médicos, pero sus padres lo enviaron a vivir con su tía y su tío, un comerciante de lana en Alemania , cuando tenía ocho años. La familia de su tío se mudó a Bradford , Inglaterra, en 1933, trayendo a Mirsky con ellos. Estudió en Herne Bay High School y King's College, Londres , graduándose en 1940. Debido a la evacuación de Londres durante el Blitz , los estudiantes del King's College fueron trasladados a la Universidad de Bristol , donde Mirsky obtuvo una maestría. Tomó un puesto de profesor a corto plazo en la Universidad de Sheffield en 1942, y luego un puesto similar en Manchester; regresó a Sheffield en 1945, donde (a excepción de un período como profesor visitante en Bristol) permanecería por el resto de su carrera. Se convirtió en profesor en 1947, obtuvo un doctorado. de Sheffield en 1949, se convirtió en profesor titular en 1958, lector en 1961 y se le otorgó una cátedra personal en 1971.
En 1953 Mirsky se casó con Aileen Guilding, quien en ese momento era profesora de Historia y Literatura Bíblica en Sheffield, pero más tarde se convirtió en profesora y jefa de departamento.
Se jubiló en septiembre de 1983 y falleció el 1 de diciembre de 1983. [1] [2] [5]
Mirsky fue editor del Journal of Linear Algebra and its Applications , el Journal of Mathematical Analysis and Applications y Mathematical Spectrum . [2] [3]
Las primeras investigaciones de Mirsky se centraron en la teoría de números . Estaba particularmente interesado en los números libres de r , una generalización de los números enteros libres de cuadrados que consisten en los números no divisibles por ninguna potencia r . Estos números son un superconjunto de los números primos , y Mirsky demostró teoremas para ellos análogos al teorema de Vinogradov , la conjetura de Goldbach y la conjetura de los primos gemelos para números primos. [2] [3]
Junto con Paul Erdős en 1952, Mirsky demostró límites asintóticos fuertes para el número de valores distintos que toma la función divisora d ( n ) contando el número de divisores del número n . Si D ( n ) denota el número de valores distintos de d ( m ) para m ≤ n , entonces [2] [3]
El teorema de Mirsky-Newman se refiere a las particiones de los números enteros en progresiones aritméticas y establece que cualquier partición de este tipo debe tener dos progresiones con la misma diferencia. Es decir, no puede haber un sistema de recubrimiento que cubra cada número entero exactamente una vez y tenga diferencias claras. Este resultado es un caso especial de la conjetura de Herzog-Schönheim en teoría de grupos ; fue conjeturada en 1950 por Paul Erdős y demostrada poco después por Mirsky y Donald J. Newman . Sin embargo, Mirsky y Newman nunca publicaron su prueba. La misma prueba también fue encontrada independientemente por Harold Davenport y Richard Rado . [6]
En 1947, se le pidió a Mirsky que impartiera un curso de álgebra lineal . Poco después escribió un libro de texto sobre el tema, An introduction to linear algebra (Oxford University Press, 1955), además de escribir varios artículos de investigación sobre el tema. [2] [3]
En su investigación, Mirsky proporcionó condiciones necesarias y suficientes para la existencia de matrices de varios tipos ( matrices simétricas reales , matrices ortogonales , matrices hermíticas , etc.) con elementos diagonales especificados y valores propios especificados . [2]
Obtuvo un ajuste del teorema de Birkhoff-von Neumann con HK Farahat afirmando que cada matriz doblemente estocástica puede obtenerse como una combinación convexa de matrices de permutación . En la versión de Mirsky de este teorema, demostró que, como máximo, se necesitan matrices de permutación para representar cada matriz doblemente estocástica, y que algunas matrices doblemente estocásticas necesitan esta cantidad de matrices de permutación. En la combinatoria poliédrica moderna , este resultado puede verse como un caso especial del teorema de Carathéodory aplicado al politopo de Birkhoff . También trabajó con Hazel Perfect en los espectros de matrices doblemente estocásticas. [2]
A mediados de la década de 1960, el enfoque de investigación de Mirsky cambió nuevamente a la combinatoria , después de usar el teorema de matrimonio de Hall en relación con su trabajo sobre matrices doblemente estocásticas. En esta área, escribió el libro de texto Transversal Theory (Academic Press, 1971), al mismo tiempo que editaba un festschrift para Richard Rado . [3] Derivó condiciones para que pares de familias de conjuntos tengan transversales simultáneas, estrechamente relacionadas con el trabajo posterior sobre problemas de flujo de redes . [2] También fue uno de los primeros en reconocer la importancia de los matroides transversales , [2] [3] y demostró que los matroides transversales pueden representarse utilizando álgebra lineal sobre extensiones trascendentales de los números racionales . [2]
El teorema de Mirsky , una versión dual del teorema de Dilworth publicado por Mirsky en 1971, establece que en cualquier conjunto finito parcialmente ordenado el tamaño de la cadena más larga es igual al menor número de anticadenas en las que se puede dividir el conjunto. Aunque es mucho más fácil de demostrar que el teorema de Dilworth, tiene muchas de las mismas consecuencias. [2] [3]
