Los números de Bell se denotan , donde es un entero mayor o igual a cero . A partir de , los primeros números de Bell son
(secuencia A000110 en la OEIS ).
El número de Bell cuenta las diferentes formas de particionar un conjunto que tiene exactamente elementos, o equivalentemente, las relaciones de equivalencia en él. También cuenta los diferentes esquemas de rima para poemas de 1 a 2 líneas. [1]
En general, es el número de particiones de un conjunto de tamaño . Una partición de un conjunto se define como una familia de subconjuntos no vacíos, disjuntos por pares, cuya unión es . Por ejemplo, debido a que el conjunto de 3 elementos se puede particionar de 5 maneras distintas:
Como lo sugiere la notación de conjuntos anterior, no se considera el orden de los subconjuntos dentro de la familia; las particiones ordenadas se cuentan por una secuencia diferente de números, los números de Bell ordenados . es 1 porque hay exactamente una partición del conjunto vacío . Esta partición es en sí misma el conjunto vacío; puede interpretarse como una familia de subconjuntos del conjunto vacío, que consta de cero subconjuntos. Es vacuamente cierto que todos los subconjuntos de esta familia son subconjuntos no vacíos del conjunto vacío y que son subconjuntos disjuntos por pares del conjunto vacío, porque no hay subconjuntos que tengan estas propiedades improbables.
Las particiones de un conjunto se corresponden biunívocamente con sus relaciones de equivalencia . Se trata de relaciones binarias que son reflexivas , simétricas y transitivas . La relación de equivalencia correspondiente a una partición define dos elementos como equivalentes cuando pertenecen al mismo subconjunto de partición. A la inversa, toda relación de equivalencia corresponde a una partición en clases de equivalencia . [2] Por lo tanto, los números de Bell también cuentan las relaciones de equivalencia.
Factorizaciones
Si un número es un entero positivo sin cuadrados , es decir, que es el producto de una cierta cantidad de números primos distintos , entonces da el número de particiones multiplicativas diferentes de . Estas son factorizaciones de en números mayores que uno, tratando dos factorizaciones como iguales si tienen los mismos factores en un orden diferente. [3] Por ejemplo, 30 es el producto de los tres primos 2, 3 y 5, y tiene = 5 factorizaciones:
Esquemas de rima
Los números de Bell también cuentan los esquemas de rima de un poema o estrofa de n versos . Un esquema de rima describe qué versos riman entre sí, y por lo tanto puede interpretarse como una partición del conjunto de versos en subconjuntos que riman. Los esquemas de rima se escriben generalmente como una secuencia de letras romanas, una por verso, con los versos que riman con la misma letra que los demás, y con los primeros versos de cada conjunto que rima etiquetados en orden alfabético. Por lo tanto, los 15 posibles esquemas de rima de cuatro versos son AAAA, AAAB, AABA, AABB, AABC, ABAA, ABAB, ABAC, ABBA, ABBB, ABBC, ABCA, ABCB, ABCC y ABCD. [1]
Permutaciones
Los números de Bell aparecen en un problema de barajado de cartas mencionado en el apéndice de Gardner 1978. Si se baraja una baraja de n cartas quitando repetidamente la carta superior y volviéndola a insertar en cualquier parte de la baraja (incluida su posición original en la parte superior de la baraja), con exactamente n repeticiones de esta operación, entonces hay n n barajadas diferentes que se pueden realizar. De estas, la cantidad que devuelve la baraja a su orden original es exactamente B n . Por lo tanto, la probabilidad de que la baraja esté en su orden original después de barajarla de esta manera es B n / n n , que es significativamente mayor que la probabilidad 1/ n ! que describiría una permutación aleatoria uniforme de la baraja.
En relación con el barajado de cartas existen otros problemas de conteo de tipos especiales de permutaciones que también se responden con los números de Bell. Por ejemplo, el n -ésimo número de Bell es igual al número de permutaciones en n elementos en los que no hay tres valores que estén en orden ordenado que tengan los dos últimos de estos tres consecutivos. En una notación para patrones de permutación generalizados donde los valores que deben ser consecutivos se escriben adyacentes entre sí, y los valores que pueden aparecer de forma no consecutiva se separan con un guión, estas permutaciones se pueden describir como las permutaciones que evitan el patrón 1-23. Las permutaciones que evitan los patrones generalizados 12-3, 32-1, 3-21, 1-32, 3-12, 21-3 y 23-1 también se cuentan con los números de Bell. [4] Las permutaciones en las que cada patrón 321 (sin restricción de valores consecutivos) se puede extender a un patrón 3241 también se cuentan con los números de Bell. [5] Sin embargo, los números de Bell crecen demasiado rápido para contar las permutaciones que evitan un patrón que no ha sido generalizado de esta manera: por la conjetura de Stanley-Wilf (ahora probada) , el número de tales permutaciones es simplemente exponencial, y los números de Bell tienen una tasa de crecimiento asintótico más alta que esa.
Empieza con el número uno. Colócalo en una fila aparte. ( )
Comience una nueva fila con el elemento más a la derecha de la fila anterior como el número más a la izquierda ( donde r es el último elemento de la ( i -1)-ésima fila)
Determinar los números que no están en la columna de la izquierda tomando la suma del número a la izquierda y el número sobre el número a la izquierda, es decir, el número diagonalmente hacia arriba y a la izquierda del número que estamos calculando
Repita el paso tres hasta que haya una nueva fila con un número más que la fila anterior (repita el paso 3 hasta que )
El número en el lado izquierdo de una fila dada es el número de Bell para esa fila. ( )
Aquí están las primeras cinco filas del triángulo construido con estas reglas:
Los números de campana aparecen tanto en el lado izquierdo como en el derecho del triángulo.
Esto se puede explicar observando que, a partir de una partición arbitraria de n + 1 elementos, al eliminar el conjunto que contiene el primer elemento se obtiene una partición de un conjunto más pequeño de k elementos para un número k que puede variar de 0 a n . Hay opciones para los k elementos que quedan después de eliminar un conjunto y B k opciones de cómo dividirlos.
El número de Stirling es el número de maneras de particionar un conjunto de cardinalidad n en exactamente k subconjuntos no vacíos. Por lo tanto, en la ecuación que relaciona los números de Bell con los números de Stirling, cada partición contada en el lado izquierdo de la ecuación se cuenta en exactamente uno de los términos de la suma en el lado derecho, aquel para el cual k es el número de conjuntos en la partición. [8]
Spivey 2008 ha proporcionado una fórmula que combina ambas sumas:
En esta fórmula, la suma en el medio es la forma general utilizada para definir la función generadora exponencial para cualquier secuencia de números, y la fórmula de la derecha es el resultado de realizar la suma en el caso específico de los números de Bell.
Una forma de derivar este resultado utiliza la combinatoria analítica , un estilo de razonamiento matemático en el que los conjuntos de objetos matemáticos se describen mediante fórmulas que explican su construcción a partir de objetos más simples, y luego esas fórmulas se manipulan para derivar las propiedades combinatorias de los objetos. En el lenguaje de la combinatoria analítica, una partición de conjunto puede describirse como un conjunto de urnas no vacías en las que se han distribuido elementos etiquetados de 1 a n , y la clase combinatoria de todas las particiones (para todos los n ) puede expresarse mediante la notación
Aquí, hay una clase combinatoria con un solo miembro de tamaño uno, un elemento que puede colocarse en una urna. El operador interno describe un conjunto o urna que contiene uno o más elementos etiquetados, y el externo describe la partición general como un conjunto de estas urnas. La función generadora exponencial puede entonces leerse a partir de esta notación traduciendo el operador en la función exponencial y la restricción de no vacío ≥1 en una resta por uno. [10]
Un método alternativo para derivar la misma función generadora utiliza la relación de recurrencia para los números de Bell en términos de coeficientes binomiales para demostrar que la función generadora exponencial satisface la ecuación diferencial . La función en sí se puede encontrar resolviendo esta ecuación. [11] [12] [13]
Esta fórmula se puede derivar expandiendo la función generadora exponencial utilizando la serie de Taylor para la función exponencial y luego recopilando términos con el mismo exponente. [10]
Permite interpretar B n como el n- ésimo momento de una distribución de Poisson con valor esperado 1.
Los números de Bell obedecen a la congruencia de Touchard: si p es cualquier número primo entonces [15]
o, generalizando [16]
Debido a la congruencia de Touchard, los números de Bell son periódicos módulo p , para cada número primo p ; por ejemplo, para p = 2, los números de Bell repiten el patrón impar-impar-par con período tres. El período de esta repetición, para un número primo arbitrario p , debe ser un divisor de
y para todos los primos y , o es exactamente este número (secuencia A001039 en la OEIS ). [17] [18]
Los períodos de los números de Bell en módulo n son
1, 3, 13, 12, 781, 39, 137257, 24, 39, 2343, 28531167061, 156, ... (secuencia A054767 en la OEIS )
Representación integral
Una aplicación de la fórmula integral de Cauchy a la función generadora exponencial produce la representación integral compleja
Algunas representaciones asintóticas pueden entonces derivarse mediante una aplicación estándar del método de descenso más pronunciado . [19]
Concavidad logarítmica
Los números de Bell forman una secuencia logarítmicamente convexa . Dividiéndolos por los factoriales, B n / n !, se obtiene una secuencia logarítmicamente cóncava. [20] [21] [22]
Índice de crecimiento
Se conocen varias fórmulas asintóticas para los números de Bell. En Berend & Tassa 2010 se establecieron los siguientes límites:
para todos los números enteros positivos ;
Además, si entonces para todos ,
donde y
Los números de Bell también se pueden aproximar utilizando la función W de Lambert , una función con la misma tasa de crecimiento que el logaritmo, como [23]
Moser & Wyman 1955 estableció la expansión
uniformemente para como , donde y cada uno y son expresiones conocidas en . [24]
La expresión asintótica
fue establecido por de Bruijn 1981.
Números primos de Bell
Gardner en 1978 planteó la cuestión de si una cantidad infinita de números de Bell son también números primos . Estos se denominan primos de Bell . Los primeros primos de Bell son:
2, 5, 877, 27644437, 35742549198872617291353508656626642567, 359334085968622831041960188598043661065388726959079837 (secuencia A051131 en la OEIS )
correspondiente a los índices 2, 3, 7, 13, 42 y 55 (secuencia A051130 en la OEIS ) . El siguiente primo de Bell es B 2841 , que es aproximadamente 9,30740105 × 10 6538. [25]
Historia
Los números de Bell reciben su nombre de Eric Temple Bell , quien escribió sobre ellos en 1938, a raíz de un artículo de 1934 en el que estudiaba los polinomios de Bell . [27] [28] Bell no afirmó haber descubierto estos números; en su artículo de 1938, escribió que los números de Bell "han sido investigados con frecuencia" y "han sido redescubiertos muchas veces". Bell cita varias publicaciones anteriores sobre estos números, comenzando con Dobiński 1877 que da la fórmula de Dobiński para los números de Bell. Bell llamó a estos números "números exponenciales"; el nombre "números de Bell" y la notación B n para estos números les fue dado por Becker & Riordan 1948. [29]
La primera enumeración exhaustiva de particiones de conjuntos parece haber ocurrido en el Japón medieval, donde (inspirado por la popularidad del libro La historia de Genji ) surgió un juego de salón llamado genji-ko , en el que se les daba a los invitados cinco paquetes de incienso para que los olieran y se les pedía que adivinaran cuáles eran iguales entre sí y cuáles eran diferentes. Las 52 posibles soluciones, contadas por el número de campana B 5 , se registraban mediante 52 diagramas diferentes, que se imprimían sobre los títulos de los capítulos en algunas ediciones de La historia de Genji. [26] [30]
En el segundo cuaderno de notas de Srinivasa Ramanujan , investigó tanto los polinomios de Bell como los números de Bell. [31]
Las primeras referencias para el triángulo de Bell , que tiene los números de Bell en ambos lados, incluyen Peirce 1880 y Aitken 1933.
^ Halmos, Paul R. (1974). Teoría de conjuntos ingenua. Textos de Pregrado en Matemáticas. Springer-Verlag, Nueva York-Heidelberg. págs. 27-28. ISBN 9781475716450.Sr. 0453532 .
^ Williams 1945 atribuye esta observación a los Principii di Analisi Combinatoria (1909) de Silvio Minetola.
^ ab Komatsu, Takao; Pita-Ruiz, Claudio (2018). "Algunas fórmulas para los números de Bell". Filomat . 32 (11): 3881–3889. doi : 10.2298/FIL1811881K . ISSN 0354-5180.
^ ab Flajolet y Sedgewick 2009.
^ desde Rota 1964.
^ Wilf 1994, págs. 20-23.
^ desde Bender y Williamson 2006.
^ Dobinski 1877.
^ Becker y Riordan (1948).
^ Hurst y Schultz (2009).
^ Williams 1945.
^ Wagstaff 1996.
^ Simon, Barry (2010). «Ejemplo 15.4.6 (asintótica de los números de Bell)». Análisis complejo (PDF) . pp. 772–774. Archivado desde el original (PDF) el 24 de enero de 2014. Consultado el 2 de septiembre de 2012 .
^ Engel 1994.
^ Canfield 1995.
^ Asai, Kubo y Kuo 2000.
^ Lovász (1993).
^ Canfield, Rod (julio de 1994). "La expansión de Moser-Wyman de los números de Bell" (PDF) . Consultado el 24 de octubre de 2013 .
Aitken, AC (1933). "Un problema de combinaciones". Notas matemáticas . 28 : 18–23. doi : 10.1017/S1757748900002334 .
Becker, HW; Riordan, John (1948). "La aritmética de los números de Bell y Stirling". Revista Americana de Matemáticas . 70 (2): 385–394. doi :10.2307/2372336. JSTOR 2372336..
Bell, ET (1934). "Polinomios exponenciales". Anales de Matemáticas . 35 (2): 258–277. doi :10.2307/1968431. JSTOR 1968431..
Bell, ET (1938). "Los enteros exponenciales iterados". Anales de Matemáticas . 39 (3): 539–557. doi :10.2307/1968633. JSTOR 1968633..
Bender, Edward A.; Williamson, S. Gill (2006). "Ejemplo 11.7, Particiones de conjuntos". Fundamentos de combinatoria con aplicaciones (PDF) . Dover. págs. 319–320. ISBN 0-486-44603-4.
Berend, D.; Tassa, T. (2010). "Límites mejorados en números de Bell y en momentos de sumas de variables aleatorias". Probabilidad y estadística matemática . 30 (2): 185–205.
Berndt, Bruce C. (2011). "Ramanujan saca su mano de su tumba para arrebatarte tus teoremas" (PDF) . Boletín de Matemáticas de Asia Pacífico . 1 (2): 8–13.
de Bruijn, NG (1981). Métodos asintóticos en análisis (3ª ed.). Dover. pag. 108.
Callan, David (2006). "Una interpretación combinatoria de la secuencia propia para la composición". Journal of Integer Sequences . 9 (1): 06.1.4. arXiv : math/0507169 . Bibcode :2005math......7169C. MR 2193154.
Canfield, E. Rodney (1995). "Desigualdad de Engel para números de Bell". Journal of Combinatorial Theory . Serie A. 72 (1): 184–187. doi : 10.1016/0097-3165(95)90033-0 . MR 1354972.
Claesson, Anders (2001). "Evitación generalizada de patrones". Revista Europea de Combinatoria . 22 (7): 961–971. arXiv : math/0011235 . doi :10.1006/eujc.2001.0515. MR 1857258.
Conway, John Horton ; Guy, Richard K. (1996). "Familias famosas de números: números de Bell y números de Stirling". El libro de los números. Serie Copérnico. Springer. págs. 91–94. ISBN 9780387979939.
Dobiński, G. (1877). "Summirung del Reihe ∑ n m n ! {\displaystyle \textstyle \sum {\frac {n^{m}}{n!}}} para m = 1, 2, 3, 4, 5, …". Archivo de Grunert . 61 : 333–336.
Engel, Konrad (1994). "Sobre el rango medio de un elemento en un filtro de la red de partición". Journal of Combinatorial Theory . Serie A. 65 (1): 67–78. doi :10.1016/0097-3165(94)90038-8. MR 1255264.
Gardner, Martin (1978). "The Bells: números versátiles que pueden contar particiones de un conjunto, primos e incluso rimas". Scientific American . 238 (5): 24–30. Bibcode :1978SciAm.238e..24G. doi :10.1038/scientificamerican0578-24.Reimpreso con un apéndice como "Las campanas del templo tintineantes", Capítulo 2 de Fractal Music, Hypercards y más... Recreaciones matemáticas de Scientific American , WH Freeman, 1992, págs. 24-38
Hurst, Greg; Schultz, Andrew (2009). "Una prueba elemental (de teoría de números) de la congruencia de Touchard". arXiv : 0906.0696 [math.CO].
Knuth, Donald E. (2013). "Dos mil años de combinatoria". En Wilson, Robin; Watkins, John J. (eds.). Combinatoria: antigua y moderna . Oxford University Press. págs. 7–37.
Lovász, L. (1993). "Sección 1.14, Problema 9". Problemas y ejercicios combinatorios (2.ª ed.). Ámsterdam, Países Bajos: Holanda Septentrional. p. 17. ISBN 9780821869475.Zbl 0785.05001 .
Moser, Leo ; Wyman, Max (1955). "Una fórmula asintótica para los números de Bell". Transactions of the Royal Society of Canada, Sección III . 49 : 49–54. MR 0078489.
Spivey, Michael Z. (2008). "Una recurrencia generalizada para los números de Bell" (PDF) . Journal of Integer Sequences . 11 (2): Artículo 08.2.5, 3. Bibcode :2008JIntS..11...25S. MR 2420912.
Wagstaff, Samuel S. (1996). "Factorizaciones aurifeuillianas y el período de los números de Bell módulo un primo". Matemáticas de la computación . 65 (213): 383–391. Bibcode :1996MaCom..65..383W. doi : 10.1090/S0025-5718-96-00683-7 . MR 1325876.
Williams, GT (1945). "Números generados por la función e e x − 1 ". American Mathematical Monthly . 52 : 323–327. doi :10.2307/2305292. JSTOR 2305292. MR 0012612.