stringtranslate.com

numero de campana

En matemáticas combinatorias , los números de Bell cuentan las posibles particiones de un conjunto . Estos números han sido estudiados por matemáticos desde el siglo XIX y sus raíces se remontan al Japón medieval. En un ejemplo de la ley de eponimia de Stigler , llevan el nombre de Eric Temple Bell , quien escribió sobre ellos en la década de 1930.

Los números de Bell se denotan , donde es un número entero mayor o igual a cero . Comenzando con , los primeros números de Bell son

(secuencia A000110 en la OEIS ).

El número de Bell cuenta el número de formas diferentes de dividir un conjunto que tiene exactamente elementos o, de manera equivalente, el número de relaciones de equivalencia que contiene. También cuenta el número de diferentes esquemas de rima para poemas de versos. [1]

Además de aparecer en problemas de conteo, estos números tienen una interpretación diferente, como momentos de distribuciones de probabilidad . En particular, es el -ésimo momento de una distribución de Poisson con media 1.

Contando

Establecer particiones

Las particiones de conjuntos se pueden organizar en un orden parcial, lo que muestra que cada partición de un conjunto de tamaño n "usa" una de las particiones de un conjunto de tamaño  n  − 1.
Las 52 particiones de un conjunto de 5 elementos

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 disjuntos por pares, no vacíos, cuya unión es . Por ejemplo, porque el conjunto de 3 elementos se puede dividir de 5 formas distintas:

Como sugiere la notación de conjuntos anterior, no se considera el orden de los subconjuntos dentro de la familia; Las particiones ordenadas se cuentan mediante 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 vagamente 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 uno a uno con sus relaciones de equivalencia . Éstas son 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 que el otro. Por el contrario, 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 , lo que significa que es el producto de algún número de números primos distintos , entonces se obtiene el número de particiones multiplicativas diferentes de . Estas son factorizaciones de 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 líneas . Un esquema de rima describe qué líneas riman entre sí y, por lo tanto, puede interpretarse como una partición del conjunto de líneas en subconjuntos que riman. Los esquemas de rima generalmente se escriben como una secuencia de letras romanas, una por línea, con líneas que riman con la misma letra entre sí y con las primeras líneas de cada conjunto de rimas etiquetadas en orden alfabético. Así, 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 surgen 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 reinsertándola en cualquier lugar 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 barajas diferentes que puede ser llevado a cabo. De estos, el número 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 1/ n ! probabilidad que describiría una permutación uniformemente aleatoria de la baraja.

Relacionados con el barajado de cartas hay varios otros problemas de contar tipos especiales de permutaciones que también se resuelven con los números de Bell. Por ejemplo, el enésimo número de Bell es igual al número de permutaciones en n elementos en los que no hay tres valores ordenados 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 uno al lado del otro y los valores que pueden aparecer de forma no consecutiva están separados por un guión, estas permutaciones pueden describirse como 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 mediante 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 mediante 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 se ha generalizado de esta manera: según la (ahora probada) conjetura de Stanley-Wilf , el número de tales permutaciones es simplemente exponencial, y el Los números de Bell tienen una tasa de crecimiento asintótica mayor que esa.

Esquema triangular para cálculos.

La matriz triangular cuya secuencia diagonal derecha consta de números de Bell

Los números de Bell se pueden calcular fácilmente creando el llamado triángulo de Bell , también llamado matriz de Aitken o triángulo de Peirce en honor a Alexander Aitken y Charles Sanders Peirce . [6]

  1. Comience con el número uno. Pon esto en una fila por sí solo. ( )
  2. 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 ( i -1)-ésima fila)
  3. Determine los números que no están en la columna de la izquierda tomando la suma del número de la izquierda y el número encima del número de la izquierda, es decir, el número diagonalmente arriba e izquierda del número que estamos calculando.
  4. Repita el paso tres hasta que haya una nueva fila con un número más que la fila anterior (haga el paso 3 hasta )
  5. El número en el lado izquierdo de una fila determinada es el número de Bell para esa fila. ( )

Aquí están las primeras cinco filas del triángulo construido según estas reglas:

Los números de Bell aparecen tanto en el lado izquierdo como en el derecho del triángulo.

Propiedades

Fórmulas de suma

Los números de Bell satisfacen una relación de recurrencia que involucra coeficientes binomiales : [7]

Se puede explicar observando que, a partir de una partición arbitraria de n  + 1 elementos, eliminar el conjunto que contiene el primer elemento deja una partición de un conjunto más pequeño de k elementos para algún 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 sobre cómo dividirlos.

Una fórmula de suma diferente representa cada número de Bell como una suma de números de Stirling del segundo tipo.

El número de Stirling es el número de formas de dividir un conjunto de cardinalidad n en exactamente k subconjuntos no vacíos. Así, 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 exactamente en 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 dado una fórmula que combina ambas sumas:

Aplicando la fórmula de inversión de Pascal a la relación de recurrencia, obtenemos

Que se puede generalizar de esta manera [9]

números de Stirling del primer tipo[9]

Lo que se simplifica con a

y con a

fórmula de inversión de los números de Stirling

función generadora

La función generadora exponencial de los números de Bell es

En esta fórmula, la suma del 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 obtener este resultado utiliza la combinatoria analítica , un estilo de razonamiento matemático en el que 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 del 1 al n , y la clase combinatoria de todas las particiones (para todo n ) puede expresarse mediante la notación

Aquí hay una clase combinatoria con un solo miembro de tamaño uno, un elemento que se puede colocar 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 luego leerse a partir de esta notación traduciendo el operador a la función exponencial y la restricción de no vacío ≥1 a una resta por uno. [10]

Un método alternativo para derivar la misma función generadora utiliza la relación de recurrencia de los números de Bell en términos de coeficientes binomiales para mostrar 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]

Momentos de distribuciones de probabilidad.

Los números de Bell satisfacen la fórmula de Dobinski [14] [11] [13]

Esta fórmula se puede derivar expandiendo la función generadora exponencial usando 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 enésimo momento de una distribución de Poisson con valor esperado 1.

El n.ésimo número de Bell es también la suma de los coeficientes del n.ésimo polinomio completo de Bell , que expresa el n.ésimo momento de cualquier distribución de probabilidad en función de los primeros n cumulantes .

Aritmética modular

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 todo número primo p ; por ejemplo, para p  = 2, los números de Bell repiten el patrón impar-impar-par con el período tres. El período de esta repetición, para un número primo arbitrario p , debe ser divisor de

y para todos los primos y , o es exactamente este número (secuencia A001039 en el OEIS ). [17] [18]

El período de los números de Bell al módulo n es

1, 3, 13, 12, 781, 39, 137257, 24, 39, 2343, 28531167061, 156, 25239592216021, 411771, 10153, 48, 51702516367896047761, 39, 109912203092239643840221, 9372, 1784341, 85593501183, 949112181811268728834319677753, 312, 3905, 75718776648063, 117, 1647084, 91703076898614683377208150526107718802981, 30459, 5689724710241078652870214343019771585348244 81, 96, 370905171793, 155107549103688143283, 107197717, 156, ... (secuencia A054767 en el 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

Luego se pueden derivar algunas representaciones asintóticas mediante una aplicación estándar del método del 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 !, da una secuencia logarítmicamente cóncava. [20] [21] [22]

Tasa 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 ;

es más, si entonces para todos ,

donde y Los números de Bell también se pueden aproximar usando la función Lambert W , una función con la misma tasa de crecimiento que el logaritmo, como [23]

Moser y Wyman (1955) establecieron la expansión

uniformemente para as , donde y each and son expresiones conocidas en . [24]

La expresión asintótica

fue establecido por de Bruijn (1981).

primos de campana

Gardner (1978) planteó la cuestión de si una infinidad de números de Bell son también números primos . Los primeros números de Bell que son primos son:

2, 5, 877, 27644437, 35742549198872617291353508656626642567, 359334085968622831041960188598043661065388726959079837 (secuencia A051 131 en la OEIS )

correspondientes 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] A partir de 2018 , es el número de Bell primo más grande conocido. Ignacio Larrosa Cañestro demostró que era un primo probable en 2002. Después de 17 meses de cálculo con el programa ECPP Primo de Marcel Martin, Ignacio Larrosa Cañestro demostró que era primo en 2004. Descartó cualquier otro posible primo por debajo de B 6000 , que luego se extendió a B. 30447 de Eric Weisstein . [26] La búsqueda fue ampliada a B 50000 por Václav Kotěšovec (18/05/2021).

Historia

Los números de Bell llevan el nombre de Eric Temple Bell , quien escribió sobre ellos en 1938, después 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 proporciona la fórmula de Dobiński para los números de Bell. Bell llamó a estos números "números exponenciales"; Becker y Riordan (1948) les dieron el nombre "números de Bell" y la notación B n para estos números. [29]

La primera enumeración exhaustiva de particiones parece haber ocurrido en el Japón medieval, donde (inspirado por la popularidad del libro El cuento de Genji ) surgió un juego de salón llamado genji-ko , en el que a los invitados se les daban cinco paquetes de incienso para oler. y se les pidió que adivinaran cuáles eran iguales y cuáles diferentes. Las 52 posibles soluciones, contadas por el número de campana B 5 , se registraron en 52 diagramas diferentes, que se imprimieron encima de los títulos de los capítulos en algunas ediciones de El cuento de Genji. [30] [31]

En el segundo cuaderno de Srinivasa Ramanujan , investigó tanto los polinomios de Bell como los números de Bell. [32] Las primeras referencias para el triángulo de Bell , que tiene los números de Bell en ambos lados, incluyen a Peirce (1880) y Aitken (1933).

Ver también

Notas

  1. ^ ab Gardner 1978.
  2. ^ 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. SEÑOR  0453532.
  3. Williams 1945 atribuye esta observación a los Principii di Analisi Combinatoria (1909) de Silvio Minetola.
  4. ^ Claesson (2001).
  5. ^ Callan (2006).
  6. ^ Sloane, Nueva Jersey (ed.). "Secuencia A011971 (matriz de Aitken)". La enciclopedia en línea de secuencias enteras . Fundación OEIS.
  7. ^ Wilf 1994, pág. 23.
  8. ^ Conway y Guy (1996).
  9. ^ 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.
  10. ^ ab Flajolet y Sedgewick 2009.
  11. ^ ab Rota 1964.
  12. ^ Wilf 1994, págs. 20-23.
  13. ^ ab Bender y Williamson 2006.
  14. ^ Dobinski 1877.
  15. ^ Becker y Riordan (1948).
  16. ^ Hurst y Schultz (2009).
  17. ^ Williams 1945.
  18. ^ Wagstaff 1996.
  19. ^ Simón, Barry (2010). "Ejemplo 15.4.6 (Asintóticas de números de campana)". Análisis complejo (PDF) . págs. 772–774. Archivado desde el original (PDF) el 24 de enero de 2014 . Consultado el 2 de septiembre de 2012 .
  20. ^ Engel 1994.
  21. ^ Canfield 1995.
  22. ^ Asai, Kubo y Kuo 2000.
  23. ^ Lovász (1993).
  24. ^ Canfield, Rod (julio de 1994). "La expansión Moser-Wyman de los números de Bell" (PDF) . Consultado el 24 de octubre de 2013 .
  25. ^ "93074010508593618333... 83885253703080601131". 5000 números primos más grandes conocidos, la base de datos Prime . Consultado el 24 de octubre de 2013 .
  26. ^ Weisstein, Eric W. "Primos de secuencia entera". MundoMatemático .
  27. ^ Campana 1934.
  28. ^ Campana 1938.
  29. ^ Rota 1964. Sin embargo, Rota da una fecha incorrecta, 1934, para Becker & Riordan 1948.
  30. ^ Knuth 2013.
  31. ^ Gardner 1978 y Berndt 2011 también mencionan la conexión entre los números de Bell y The Tale of Genji, con menos detalle.
  32. ^ Berndt 2011.

Referencias

enlaces externos