Esta es una lista de teoremas mal llamados en las matemáticas . Incluye teoremas (y lemas , corolarios, conjeturas , leyes y tal vez incluso algún objeto) que son bien conocidos en matemáticas, pero que no llevan el nombre del creador. Es decir, estos elementos de esta lista ilustran la ley de la eponimia de Stigler (que, por supuesto, no se debe a Stephen Stigler , quien acredita a Robert K Merton ).
- Ley de Benford . Esto fue declarado por primera vez en 1881 por Simon Newcomb , [1] y redescubierto en 1938 por Frank Benford . [2] La primera formulación y prueba rigurosa parece deberse a Ted Hill en 1988 .; [3] véase también la contribución de Persi Diaconis . [4]
- Teorema de la balota de Bertrand . Este resultado relativo a la probabilidad de que el ganador de una elección estuviera por delante en cada paso del escrutinio fue publicado por primera vez por WA Whitworth en 1878, pero recibió el nombre de Joseph Louis François Bertrand, quien lo redescubrió en 1887. [5] Una prueba común utiliza la reflexión de André método , aunque la prueba de Désiré André no utilizó ningún reflejo.
- Teorema de Bézout . La declaración puede haber sido hecha por primera vez por Isaac Newton en 1665. La cuestión de la prueba fue abordada por Colin MacLaurin (c. 1720) y Leonhard Euler , así como por Étienne Bézout (c. 1750). Sin embargo, la "prueba" de Bézout era incorrecta . La primera prueba correcta parece deberse principalmente a Georges-Henri Halphen en la década de 1870. [6]
- Lema de Burnside . Esto fue declarado y probado sin atribución en el libro de texto de 1897 de Burnside, [7] pero había sido discutido previamente por Augustin Cauchy , en 1845, y por Georg Frobenius en 1887.
- Teorema de Cayley-Hamilton . El teorema fue probado por primera vez en el caso especial fácil de matrices de 2 × 2 por Cayley , y más tarde para el caso de matrices de 4 × 4 por Hamilton . Pero Frobenius solo lo demostró en general en 1878. [8]
- La paradoja de Cramer . Esto fue observado por primera vez por Colin Maclaurin en 1720, y luego redescubierto por Leonhard Euler en 1748 (cuyo artículo no se publicó durante otros dos años, ya que Euler escribió sus artículos más rápido de lo que sus impresores podían imprimirlos). También fue discutido por Gabriel Cramer en 1750, quien sugirió de forma independiente la idea esencial necesaria para la resolución, aunque proporcionar una prueba rigurosa siguió siendo un problema abierto pendiente durante gran parte del siglo XIX. Aunque Cramer había citado a Maclaurin, la paradoja se conoció después de Cramer en lugar de Maclaurin. Georges Halphen , Arthur Cayley y varios otros matemáticos contribuyeron a la primera demostración más o menos correcta. Consulte [9] para obtener una excelente reseña.
- Regla de Cramer . Lleva el nombre de Gabriel Cramer (1704-1752), quien publicó la regla en su Introduction à l'analyse des lignes courbes algébriques de 1750 , aunque Colin Maclaurin también publicó el método en su Tratado de álgebra de 1748 (y probablemente conocía el método como temprano como 1729). [10]
- Teorema de Frobenius . Este teorema fundamental fue establecido y probado en 1840 por Feodor Deahna . [11] Aunque Frobenius citó el artículo de Deahna en su propio artículo de 1875, [12] se hizo conocido por Frobenius, no por Deahna. Consulte [13] para obtener una revisión histórica.
- Teorema de Heine-Borel . Este teorema fue probado en 1872 por Émile Borel , no por Eduard Heine . Borel usó técnicas similares a las que usó Heine para demostrar que las funciones continuas en intervalos cerrados son uniformemente continuas. Se adjuntó el nombre de Heine porque Schönflies notó la similitud en los enfoques de Heine y Borel. De hecho, el teorema fue probado por primera vez en 1852 por Peter Gustav Lejeune Dirichlet , pero las notas de lectura de Lejeune Dirichlet no se publicaron hasta 1904. [14]
- Desigualdad de Hölder . Esta desigualdad fue establecida por primera vez por Leonard James Rogers y publicada en 1888. Otto Hölder la descubrió de forma independiente y la publicó en 1889.
- La regla de L'Hôpital . Esta regla apareció por primera vez en el libro de L' Hôpital L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes en 1696. Se cree que la regla es obra de Johann Bernoulli, ya que L'Hôpital, un noble, pagó a Bernoulli un anticipo de 300 francos por año para mantenerlo actualizado sobre la evolución del cálculo y resolver los problemas que tenía. Véase L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes y su referencia.
- Serie Maclaurin . La serie Maclaurin lleva el nombre de Colin Maclaurin , un profesor de Edimburgo, quien publicó este caso especial de la serie Taylor en 1742, pero nunca afirmó haberlo descubierto. [15]
- Teorema de Marden . Este teorema que relaciona la ubicación de los ceros de un polinomio cúbico complejo con los ceros de su derivada fue nombrado por Dan Kalman después de que Kalman lo leyó en un libro de 1966 de Morris Marden, quien había escrito sobre él por primera vez en 1945. [16] Pero, como Marden mismo había escrito, su prueba original fue de Jörg Siebeck en 1864. [17]
- Ley de Morrie . El nombre se debe al físico Richard Feynman , quien solía referirse a la identidad con ese nombre. Feynman eligió ese nombre porque había aprendido la ley durante su infancia de un niño con el nombre de Morrie Jacobs. [18]
- Ecuación de Pell . La solución de la ecuación x 2 - dy 2 = 1, en donde x y y son enteros positivos desconocidos y donde d es un entero positivo conocido que no es un cuadrado perfecto, se atribuye a John Pell . Parece haber sido descubierto por Fermat , quien lo planteó como un problema de desafío en 1657. La primera solución europea se encuentra en un trabajo conjunto en 1658 de John Wallis y Lord Brouncker ; en 1668, se dio una solución más breve en una edición del trabajo de un tercer matemático de Pell; ver ref. [19] La primera prueba rigurosa puede deberse a Lagrange . El nombre inapropiado aparentemente surgió cuando Euler confundió a Brouncker y Pell; ver [20] para una descripción extensa de la historia de esta ecuación.
- Lema de Poincaré . Esto fue mencionado en 1886 por Henri Poincaré , [21] pero fue probado por primera vez en una serie de artículos de 1889 por el distinguido matemático italiano Vito Volterra . Sin embargo, se ha hecho conocido después de Poincaré. Consulte [13] para conocer la retorcida historia de este lema.
- Teorema de enumeración de Pólya . Esto fue probado en 1927 en un artículo difícil de JH Redfield . [22] A pesar de la prominencia del lugar (el American Journal of Mathematics ), se pasó por alto el artículo. Finalmente, el teorema fue redescubierto de forma independiente en 1936 por George Pólya . [23] No fue hasta 1960 que Frank Harary desenterró el artículo mucho anterior de Redfield. Consulte [24] para obtener información histórica y de otro tipo.
- Teorema de Stokes . Lleva el nombre de Sir George Gabriel Stokes (1819-1903), aunque la primera declaración conocida del teorema es de William Thomson (Lord Kelvin) y aparece en una carta suya a Stokes. El teorema adquirió su nombre por la costumbre de Stokes de incluirlo en los exámenes del premio de Cambridge . En 1854 pidió a sus alumnos que probaran el teorema en un examen; no se sabe si alguien pudo hacerlo. [25]
- El lema de Zorn lleva el nombre de Max Zorn . Mucho trabajo sobre el teorema ahora conocido como lema de Zorn, y sobre varias formulaciones estrechamente relacionadas, como el principio máximo de Hausdorff , fue realizado entre 1907 y 1940 por Zorn, Brouwer , Hausdorff , Kuratowski , RL Moore y otros. Pero el teorema particular ahora conocido como "el lema de Zorn" nunca fue probado por Zorn y, en cualquier caso, Kuratowski anticipó los resultados de Zorn. El teorema fue descubierto por Chevalley en 1936, y publicado y atribuido a Zorn por él en la Théorie des Ensembles de Bourbaki en 1939. S. Bochner anticipó un resultado muy similar en 1928. [26]
Ver también
- Lista de ejemplos de la ley de Stigler
- Lista de múltiples descubrimientos
- Lista de teoremas
- Efecto Mateo
Referencias
- ^ Newcomb, S. (1881). "Nota sobre la frecuencia de uso de los diferentes dígitos en números naturales". Amer. J. Math. Prensa de la Universidad Johns Hopkins. 4 (1): 39–40. Código bibliográfico : 1881AmJM .... 4 ... 39N . doi : 10.2307 / 2369148 . JSTOR 2369148 .
- ^ Benford, F. (1938). "La ley de los números anómalos". Proc. Soy. Philos. Soc. 78 : 551–572.
- ^ Hill, Theodore P. (abril de 1995). "El fenómeno del dígito significativo" . Amer. Matemáticas. Mensual . Asociación Matemática de América. 102 (4): 322–327. doi : 10.2307 / 2974952 . JSTOR 2974952 .
- ^ Diaconis, Persi (1977). "La distribución de los primeros dígitos y la distribución uniforme mod 1" . Ana. Probab. El Instituto de Estadística Matemática. 5 (1): 72–81. doi : 10.1214 / aop / 1176995891 .
- ^ Feller, William (1968), Introducción a la teoría de la probabilidad y sus aplicaciones, Volumen I (3ª ed.), Wiley, p. 69.
- ^ Bix, Robert (1998). Cónicas y cúbicas . Saltador. ISBN 0-387-98401-1.
- ^ Burnside, William (1897). Teoría de grupos de orden finito . Prensa de la Universidad de Cambridge.
- ^ Grattan-Guinness, Ivor (2002), Enciclopedia complementaria de la historia y la filosofía de las ciencias matemáticas , Routledge, págs. 779–780, ISBN 9781134957507.
- ^ Scott, Charlotte Agnas (marzo de 1898). "Sobre la intersección de curvas planas" . Toro. Soy. Matemáticas. Soc. 4 (6): 260–273. doi : 10.1090 / S0002-9904-1898-00489-5 .
- ^ Carl B. Boyer (1968). A History of Mathematics, 2ª edición . Wiley. pag. 431.
- ^ Deahna, F. (1840). "Über die Bedingungen der Integrabilität" . J. Reine Angew. Matemáticas . 20 : 340-350. doi : 10.1515 / crll.1840.20.340 .
- ^ Frobenius, Georg (1895). "Problema de Ūber das Pfaffsche". J. Reine Angew. Matemáticas. : 230–315.
- ^ a b Samelson, Hans (junio-julio de 2001). "Formas diferenciales, los primeros días; o las historias del teorema de Deahna y del teorema de Volterra". Amer. Matemáticas. Mensual . Asociación Matemática de América. 108 (6): 522–530. doi : 10.2307 / 2695706 . JSTOR 2695706 .
- ^ Sundström, Manya Raman (2010). "Una historia pedagógica de la compacidad". pag. 7. arXiv : 1006.4131v1 [ math.HO ].
- ^ Thomas y Finney. Cálculo y geometría analítica .
- ^ Kalman, Dan (2008), "An Elementary Proof of Marden's Theorem" , The American Mathematical Monthly , 115 (4): 330–338, doi : 10.1080 / 00029890.2008.11920532 , ISSN 0002-9890
- ^ Siebeck, Jörg (1864), "Über eine neue analytische Behandlungweise der Brennpunkte" , Journal für die reine und angewandte Mathematik , 64 : 175-182, ISSN 0075-4102
- ^ WA Beyer, JD Louck y D. Zeilberger, Una generalización de una curiosidad que Feynman recordó toda su vida , Matemáticas. revista 69, 43–44, 1996.
- ^ Cajori, Florian (1999). Una historia de las matemáticas . Nueva York: Chelsea. ISBN 0-8284-0203-5. (reimpresión de la quinta edición, 1891).
- ^ Whitford, Edward Everett (1912). La ecuación de Pell . Nueva York: EE Whitford.Este es el Ph.D. de 1912 de Whitford. disertación, escrita en la Universidad de Columbia y publicada por cuenta propia en 1912.
- ^ Poincaré, H. (1886–1887). "Sur les residus des intégrales se duplica" . Acta Math. 9 : 321–380. doi : 10.1007 / BF02406742 .
- ^ Redfield, JH (1927). "La teoría de distribuciones relacionadas con el grupo". Amer. J. Math. Prensa de la Universidad Johns Hopkins. 49 (3): 433–445. doi : 10.2307 / 2370675 . JSTOR 2370675 .
- ^ Pólya, G. (1936). "Algebraische Berechnung der Isomeren einiger organischer Verbindungen". Zeitschrift für Kristallographie . 93 : 414. doi : 10.1524 / zkri.1936.93.1.415 .
- ^ Read, RC (diciembre de 1987). "Teorema de Pólya y su progenie". Revista de Matemáticas . 60 (5): 275–282. doi : 10.2307 / 2690407 . JSTOR 2690407 .
- ^ Victor J. Katz (mayo de 1979). "La historia del teorema de Stokes". Revista de Matemáticas . 52 (3): 146-156. doi : 10.2307 / 2690275 . JSTOR 2690275 .
- ^ Campbell, Paul J. (1978). "El origen del 'Lema de Zorn ' ". Historia Mathematica . 5 : 77–89. doi : 10.1016 / 0315-0860 (78) 90136-2 .