Los números regulares son números que dividen uniformemente potencias de 60 (o, equivalentemente, potencias de 30 ). De manera equivalente, son los números cuyos únicos divisores primos son 2 , 3 y 5 . Por ejemplo, 60 2 = 3600 = 48 × 75, por lo que, como divisores de una potencia de 60, tanto 48 como 75 son regulares.
Estos números surgen en varias áreas de las matemáticas y sus aplicaciones, y tienen diferentes nombres provenientes de sus distintas áreas de estudio.
En teoría de números , estos números se llaman 5-suaves , porque pueden caracterizarse por tener solo 2, 3 o 5 como factores primos . Este es un caso específico de los k - números suaves más generales , los números que no tienen ningún factor primo mayor que k .
En el estudio de las matemáticas babilónicas , los divisores de potencias de 60 se llaman números regulares o números sexagesimales regulares , y son de gran importancia en esta área debido al sistema numérico sexagesimal (base 60) que los babilonios utilizaban para escribir sus números, y eso era fundamental para las matemáticas babilónicas.
En informática , los números regulares suelen denominarse números de Hamming , en honor a Richard Hamming , quien propuso el problema de encontrar algoritmos informáticos para generar estos números en orden ascendente. Este problema se ha utilizado como caso de prueba para la programación funcional .
Teoría de los números
Formalmente, un número regular es un número entero de la forma , para enteros no negativos , y . Tal número es divisor de . Los números regulares también se llaman 5- suaves , lo que indica que su mayor factor primo es como máximo 5. [2] Más generalmente, un número k -suave es un número cuyo mayor factor primo es como máximo k . [3]
Aunque los números regulares parecen densos dentro del rango de 1 a 60, son bastante escasos entre los números enteros más grandes. Un número regular es menor o igual a algún umbral si y sólo si el punto pertenece al tetraedro delimitado por los planos coordenados y el plano.
AO 6456, una tabla de recíprocos de números regulares de Seleucid Uruk , copiada de una fuente anterior desconocida
En la notación sexagesimal babilónica, el recíproco de un número regular tiene una representación finita. Si divide a , entonces la representación sexagesimal de es solo la de para , desplazada una cierta cantidad de lugares. Esto permite una fácil división por estos números: dividir por , multiplicar por y luego desplazar. [6]
Por ejemplo, considere la división por el número regular 54 = 2 1 3 3 . 54 es divisor de 60 3 y 60 3 /54 = 4000, por lo que dividir por 54 en sexagesimal se puede lograr multiplicando por 4000 y desplazando tres lugares. En sexagesimal 4000 = 1×3600 + 6×60 + 40×1, o (como lo indica Joyce) 1:6:40. Así, 1/54, en sexagesimal, es 1/60 + 6/60 2 + 40/60 3 , también denotado 1:6:40 ya que las convenciones de notación babilónicas no especificaban la potencia del dígito inicial. Por el contrario, 1/4000 = 54/60 3 , por lo que la división por 1:6:40 = 4000 se puede lograr multiplicando por 54 y desplazando tres lugares sexagesimales.
Los babilonios utilizaban tablas de recíprocos de números regulares, algunas de las cuales aún sobreviven. [7] Estas tablas existieron relativamente sin cambios durante la época babilónica. [6] Una tablilla de la época seléucida , obra de alguien llamado Inaqibıt-Anu, contiene los recíprocos de 136 de los 231 números regulares de seis posiciones cuyo primer lugar es 1 o 2, enumerados en orden. También incluye recíprocos de algunos números de más de seis lugares, como 3 23 (2 1 4 8 3 0 7 en sexagesimal), cuyo recíproco tiene 17 dígitos sexagesimales. Al notar la dificultad de calcular estos números y ordenarlos, Donald Knuth en 1972 aclamó a Inaqibıt-Anu como "el primer hombre en la historia en resolver un problema computacional que toma más de un segundo en una computadora electrónica moderna". (También se conocen dos tablas que dan aproximaciones de recíprocos de números no regulares, una de las cuales da recíprocos para todos los números del 56 al 80.) [8] [9]
Aunque la razón principal para preferir los números regulares a otros números tiene que ver con la finitud de sus recíprocos, algunos cálculos babilónicos distintos de los recíprocos también involucraban números regulares. Por ejemplo, se han encontrado tablas de cuadrados regulares [6] y Neugebauer ha interpretado que la tablilla rota Plimpton 322 enumera ternas pitagóricas generadas por y tanto regulares como menores que 60. [10]
Fowler y Robson analizan el cálculo de raíces cuadradas , como por ejemplo cómo los babilonios encontraron una aproximación a la raíz cuadrada de 2 , quizás usando aproximaciones numéricas regulares de fracciones como 17/12. [9]
Teoría musical
En teoría musical , la entonación justa de la escala diatónica involucra números regulares: los tonos en una sola octava de esta escala tienen frecuencias proporcionales a los números en la secuencia 24, 27, 30, 32, 36, 40, 45, 48 de casi números regulares consecutivos. [11] Por lo tanto, para un instrumento con esta afinación, todos los tonos son armónicos de número regular de una única frecuencia fundamental . Esta escala se llama afinación de límite 5 , lo que significa que el intervalo entre dos tonos cualesquiera se puede describir como un producto 2 i 3 j 5 k de potencias de los números primos hasta 5, o de manera equivalente como una proporción de números regulares. [12]
También se han utilizado escalas musicales de 5 límites distintas a la familiar escala diatónica de la música occidental, tanto en músicas tradicionales de otras culturas como en la música experimental moderna: Honingh y Bod (2005) enumeran 31 escalas diferentes de 5 límites, extraídas de una escala más grande. Base de datos de escalas musicales. Cada una de estas 31 escalas comparte con la entonación justa diatónica la propiedad de que todos los intervalos son proporciones de números regulares. [12] El tonnetz de Euler proporciona una representación gráfica conveniente de los tonos en cualquier afinación de 5 límites, al factorizar las relaciones de octava (potencias de dos) para que los valores restantes formen una cuadrícula plana . [12] Algunos teóricos de la música han afirmado de manera más general que los números regulares son fundamentales para la música tonal en sí y que las proporciones de tono basadas en números primos mayores que 5 no pueden ser consonantes . [13] Sin embargo, el temperamento igual de los pianos modernos no es una afinación de 5 límites, [14] y algunos compositores modernos han experimentado con afinaciones basadas en números primos mayores que cinco. [15]
En la teoría renacentista de la armonía universal , las proporciones musicales se utilizaban en otras aplicaciones, incluida la arquitectura de los edificios. En relación con el análisis de estas proporciones musicales y arquitectónicas compartidas, por ejemplo en la arquitectura de Palladio , los números regulares también se denominaron números enteros armónicos . [17]
Algoritmos
Edsger Dijkstra popularizó los algoritmos para calcular los números regulares en orden ascendente . Dijkstra (1976, 1981) atribuye a Hamming el problema de construir la secuencia ascendente infinita de todos los números 5 lisos; este problema ahora se conoce como problema de Hamming , y los números así generados también se denominan números de Hamming . Las ideas de Dijkstra para calcular estos números son las siguientes:
La secuencia de los números de Hamming comienza con el número 1.
Los valores restantes de la secuencia tienen la forma , y , donde es cualquier número de Hamming.
Por lo tanto, la secuencia se puede generar generando el valor 1 y luego fusionando las secuencias , y .
Este algoritmo se utiliza a menudo para demostrar el poder de un lenguaje de programación funcional perezoso , porque (implícitamente) implementaciones eficientes concurrentes, que utilizan un número constante de operaciones aritméticas por valor generado, se construyen fácilmente como se describe anteriormente. También son posibles implementaciones secuenciales imperativas o funcionales estrictas igualmente eficientes, mientras que las soluciones generativas explícitamente concurrentes pueden no ser triviales. [18]
En el lenguaje de programación Python , el código funcional diferido para generar números regulares se utiliza como una de las pruebas integradas para verificar la corrección de la implementación del lenguaje. [19]
Un problema relacionado, analizado por Knuth (1972), es enumerar todos los números sexagesimales de dígitos en orden ascendente (consulte #Matemáticas babilónicas más arriba). En términos algorítmicos, esto equivale a generar (en orden) la subsecuencia de la secuencia infinita de números regulares, que van desde hasta . [8]
Véase Gingerich (1965) para una descripción temprana del código informático que genera estos números desordenados y luego los clasifica; [20] Knuth describe un algoritmo ad hoc, que atribuye a Bruins (1970), para generar números de seis dígitos más rápidamente, pero que no se generaliza de manera directa a valores más grandes de . [8] Eppstein (2007) describe un algoritmo para calcular tablas de este tipo en tiempo lineal para valores arbitrarios de . [21]
Otras aplicaciones
Heninger, Rains y Sloane (2006) muestran que, cuando es un número regular y es divisible por 8, la función generadora de una red unimodular par extrema -dimensional es una potencia de un polinomio. [22]
Al igual que con otras clases de números suaves , los números regulares son importantes como tamaños de problemas en programas de computadora para realizar la transformada rápida de Fourier , una técnica para analizar las frecuencias dominantes de señales en datos que varían en el tiempo . Por ejemplo, el método de Temperton (1992) requiere que la longitud de la transformación sea un número regular. [23]
El libro VIII de La República de Platón incluye una alegoría del matrimonio centrada en el número muy regular 60 4 = 12.960.000 y sus divisores (ver El número de Platón ). Estudiosos posteriores han invocado tanto las matemáticas babilónicas como la teoría musical en un intento de explicar este pasaje. [24]
Ciertas especies de bambú liberan una gran cantidad de semillas en sincronía (un proceso llamado masting ) a intervalos que se han estimado como números regulares de años, con diferentes intervalos para diferentes especies, incluidos ejemplos con intervalos de 10, 15, 16, 30, 32. , 48, 60 y 120 años. [25] Se ha planteado la hipótesis de que el mecanismo biológico para cronometrar y sincronizar este proceso se presta a números suaves, y en particular en este caso a números de 5 suaves. Aunque los intervalos de maduración estimados para algunas otras especies de bambú no son números regulares de años, esto puede explicarse como un error de medición. [25]
Notas
^ Inspirado en diagramas similares de Erkki Kurenniemi en "Acordes, escalas y celosías divisorias".
^ abc Sloane "A051037".
^ Pomerancia (1995).
^ OEIS busca secuencias que impliquen 5 suavidad.
^ Berndt y Rankin (1995).
^ abc Aaboe (1965).
^ Sachs (1947).
^ abc Knuth (1972).
^ ab Fowler y Robson (1998).
^ Véase Conway y Guy (1996) para un tratamiento popular de esta interpretación. Plimpton 322 tiene otras interpretaciones, para las cuales consulte su artículo, pero todas involucran números regulares.
^ Clarke (1877).
^ abc Honingh y Bod (2005).
^ Asmussen (2001), por ejemplo, afirma que "dentro de cualquier pieza de música tonal" todos los intervalos deben ser proporciones de números regulares, haciéndose eco de afirmaciones similares de escritores mucho anteriores como Habens (1889). En la literatura de teoría musical moderna, esta afirmación se atribuye a menudo a Longuet-Higgins (1962), quien utilizó una disposición gráfica estrechamente relacionada con el tonnetz para organizar tonos de 5 límites.
^ Kopiez (2003).
^ Lobo (2003).
^ Halsey y Hewitt (1972) señalan que esto se deriva del teorema de Størmer (Størmer 1897) y proporcionan una prueba para este caso; véase también Silver (1971).
^ Howard y Longair (1982).
^ Véase, por ejemplo, Hemmendinger (1988) o Yuen (1992).
^ Función m235 en test_generators.py.
^ Jengibreich (1965).
^ Eppstein (2007).
^ Heninger, lluvias y Sloane (2006).
^ Temperton (1992).
^ Barton (1908); McClain (1974).
^ ab Veller, Nowak y Davis (2015).
Referencias
Aaboe, Asger (1965), "Algunas tablas matemáticas seléucidas (recíprocos extendidos y cuadrados de números regulares)", Journal of Cuneiform Studies , 19 (3), The American Schools of Oriental Research: 79–86, doi :10.2307/1359089, JSTOR 1359089, SEÑOR 0191779, S2CID 164195082.
Asmussen, Robert (2001), Periodicidad de frecuencias sinusoidales como base para el análisis de la armonía barroca y clásica: un estudio por computadora (PDF) , Ph.D. tesis, Universidad de Leeds.
Barton, George A. (1908), "Sobre el origen babilónico del número nupcial de Platón", Revista de la Sociedad Oriental Americana , 29 , Sociedad Oriental Americana: 210–219, doi :10.2307/592627, JSTOR 592627.
Berndt, Bruce C.; Rankin, Robert Alexander, eds. (1995), Ramanujan: cartas y comentarios , Historia de las matemáticas, vol. 9, Sociedad Estadounidense de Matemáticas, pág. 23, Bibcode :1995rlc..libro.......B, ISBN 978-0-8218-0470-4.
Bruins, EM (1970), "La construcción de la grande table le valeurs réciproques AO 6456", en Finet, André (ed.), Actes de la XVII e Rencontre Assyriologique Internationale , Comité belge de recherches en Mésopotamie, págs. 115.
Clarke, AR (enero de 1877), "Entonación justa", Nature , 15 (377): 253, Bibcode :1877Natur..15..253C, doi : 10.1038/015253b0.
Dijkstra, Edsger W. (1976), "17. Un ejercicio atribuido a RW Hamming", Una disciplina de programación, Prentice-Hall, págs. 129-134, ISBN 978-0132158718
Dijkstra, Edsger W. (1981), Ejercicio de Hamming en SASL (PDF) , Informe EWD792. Originalmente una nota manuscrita de circulación privada..
Eppstein, David (2007), El problema de Hamming de rango restringido.
Cazador de aves, David; Robson, Eleanor (1998), "Aproximaciones de raíz cuadrada en las matemáticas de la antigua Babilonia: YBC 7289 en contexto" (PDF) , Historia Mathematica , 25 (4): 366–378, doi : 10.1006/hmat.1998.2209, página 375.
Habens, Rev. WJ (1889), "En la escala musical", Actas de la Asociación Musical , 16 , Royal Musical Association: 16.ª sesión, p. 1, JSTOR 765355.
Halsey, GD; Hewitt, Edwin (1972), "Más sobre las proporciones superparticulares en la música", American Mathematical Monthly , 79 (10), Mathematical Association of America: 1096–1100, doi :10.2307/2317424, JSTOR 2317424, MR 0313189.
Hemmendinger, David (1988), "El "problema de Hamming" en Prolog", Avisos de ACM SIGPLAN , 23 (4): 81–86, doi :10.1145/44326.44335, S2CID 28906392.
Honingh, Aline; Bod, Rens (2005), "La convexidad y la buena formación de los objetos musicales", Journal of New Music Research , 34 (3): 293–303, doi :10.1080/09298210500280612, S2CID 16321292.
Howard, Débora ; Longair, Malcolm (mayo de 1982), "Proporción armónica y Quattro Libri de Palladio ", Revista de la Sociedad de Historiadores de Arquitectura , 41 (2): 116–143, doi :10.2307/989675, JSTOR 989675
Knuth, DE (1972), "Algoritmos antiguos babilónicos" (PDF) , Comunicaciones del ACM , 15 (7): 671–677, doi :10.1145/361454.361514, S2CID 7829945. En CACM 19(2), 1976, aparece una corrección que indica que la tablilla no contiene los 231 números de interés. El artículo (corregido) con un breve complemento aparece en Selected Papers on Computer Science, CSLI Lecture Notes 59, Cambridge Univ. Press, 1996, págs. 185-203, pero sin el Apéndice que se incluyó en el artículo original.
Kopiez, Reinhard (2003), "Entonación de intervalos armónicos: adaptabilidad de músicos expertos a temperamento igual y entonación justa", Music Perception , 20 (4): 383–410, doi :10.1525/mp.2003.20.4.383
Longuet-Higgins, HC (1962), "Carta a un amigo musical", Music Review (agosto): 244–248.
Pomerance, Carl (1995), "El papel de los números suaves en los algoritmos de teoría de números", Actas del Congreso Internacional de Matemáticos, vol. 1, 2 (Zúrich, 1994) , Basilea: Birkhäuser, págs. 411–422, SEÑOR 1403941.
Sachs, AJ (1947), "Textos matemáticos babilónicos. I. Recíprocos de números sexagesimales regulares", Journal of Cuneiform Studies , 1 (3), The American Schools of Oriental Research: 219–240, doi :10.2307/1359434, JSTOR 1359434 , SEÑOR 0022180, S2CID 163783242.
Silver, AL Leigh (1971), "Musimatics or the monn's violín", American Mathematical Monthly , 78 (4), Mathematical Association of America: 351–357, doi :10.2307/2316896, JSTOR 2316896.
Størmer, Carl (1897), "Quelques théorèmes sur l'équation de Pell x 2 - Dy 2 = ±1 et leurs application", Skrifter Videnskabs-selskabet (Christiania), Mat.-Naturv. kl. , yo (2).
Temperton, Clive (1992), "Un algoritmo FFT de factor primo generalizado para cualquier N = 2 p 3 q 5 r ", Revista SIAM de Computación científica y estadística , 13 (3): 676–686, doi :10.1137/0913039, S2CID 14764894.
Veller, Carl; Nowak, Martín A.; Davis, Charles C. (mayo de 2015), "Los intervalos de floración extendidos de los bambúes evolucionaron mediante multiplicación discreta", Ecology Letters , 18 (7): 653–659, Bibcode :2015EcolL..18..653V, doi :10.1111/ele. 12442, PMID 25963600
Wolf, Daniel James (marzo de 2003), "Afinaciones alternativas, tonalidades alternativas", Contemporary Music Review , 22 (1–2): 3–14, doi :10.1080/0749446032000134715, S2CID 191457676
Yuen, CK (1992), "Números de Hamming, evaluación perezosa y eliminación entusiasta", Avisos de ACM SIGPLAN , 27 (8): 71–75, doi :10.1145/142137.142151, S2CID 18283005.
enlaces externos
Tabla de recíprocos de números regulares hasta 3600 del sitio web del profesor David E. Joyce, Clark University.
RosettaCode Generación de Hamming_numbers en ~ 50 lenguajes de programación