stringtranslate.com

Número 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 los matemáticos desde el siglo XIX y sus raíces se remontan al Japón medieval. En un ejemplo de la ley de epónimos de Stigler , se denominan así en honor a Eric Temple Bell , quien escribió sobre ellos en la década de 1930.

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]

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 momento -ésimo de una distribución de Poisson con media 1.

Cálculo

Establecer particiones

Las particiones de conjuntos se pueden organizar en un orden parcial, lo que demuestra que cada partición de un conjunto de tamaño n "utiliza" 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 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.

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. Empieza con el número uno. Colócalo en una fila aparte. ( )
  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 la ( i -1)-ésima fila)
  3. 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
  4. 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 )
  5. 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.

Propiedades

Fórmulas de suma

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

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.

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 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:

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

que puede generalizarse de esta manera: [9]

Otras fórmulas de suma finita que utilizan números de Stirling del primer tipo incluyen [9]

que se simplifica con

y con , a

que puede verse como la fórmula de inversión de los números de Stirling aplicada a la fórmula de Spivey.

Función generadora

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

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]

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 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.

El n -ésimo número de Bell es también la suma de los coeficientes del n- ésimo polinomio de Bell completo , 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 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 símbolos japoneses tradicionales para los 54 capítulos del Cuento de Genji se basan en las 52 formas de dividir cinco elementos (los dos símbolos rojos representan la misma división y se agrega el símbolo verde para llegar a 54). [26]

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.

Véase también

Notas

  1. ^Por 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.Sr. 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, N. J. A. (ed.). "Secuencia A011971 (matriz de Aitken)". La enciclopedia en línea de secuencias de números enteros . 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. ^ desde Rota 1964.
  12. ^ Wilf 1994, págs. 20-23.
  13. ^ desde Bender y Williamson 2006.
  14. ^ Dobinski 1877.
  15. ^ Becker y Riordan (1948).
  16. ^ Hurst y Schultz (2009).
  17. ^ Williams 1945.
  18. ^ Wagstaff 1996.
  19. ^ 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 .
  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 de Moser-Wyman de los números de Bell" (PDF) . Consultado el 24 de octubre de 2013 .
  25. ^ Sloane, N. J. A. (ed.). "Secuencia A051131". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  26. ^ por Knuth 2013.
  27. ^ Campana 1934.
  28. ^ Campana 1938.
  29. ^ Rota 1964. Sin embargo, Rota da una fecha incorrecta, 1934, para Becker & Riordan 1948.
  30. ^ Gardner 1978 y Berndt 2011 también mencionan la conexión entre los números de Bell y El cuento de Genji, con menos detalle.
  31. ^ Bernardt 2011.

Referencias

Enlaces externos