Треугольник Белла

Треугольник Белла — это треугольник чисел, аналогичный треугольнику Паскаля, значения которого содержат число разбиений множества, в которых заданный элемент является наибольшим синглтоном. Треугольник назван по тесной связи с числами Белла[1], которые можно найти с обеих сторон треугольника, (названные именем Эрика Темпла Белла). Треугольник Белла был неоднократно открыт независимо несколькими авторами, начиная с Чарльза Сандерса Пирса[2] и включая Александра Айткена[3] и группу авторов — Кона, Ивена, Менгера и Хупера[4]. По этой причине треугольник называется также массивом Айткена или треугольником Пирса[5]

Треугольник Белла

Значения

Различные источники дают различные ориентации, иногда симметричные относительно друг друга[7]. В формате, подобном треугольнику Паскаля, и с порядком элементов, как в «Энциклопедии целочисленных последовательностей», треугольник выглядит следующим образом[5]

                    1
                 1     2
              2     3     5
           5     7    10    15
       15    20    27    37    52
    52    67    87   114   151   203
203   255   322   409   523   674   877

Построение

Построение треугольника Белла

Треугольник Белла можно построить путём размещения числа 1 в первой позиции. Затем все самые левые числа берутся равными последнему числу предыдущей строки. Остальные позиции строки заполняются аналогично правилу заполнения треугольника Паскаля — число равно сумме значений слева в той же строке и слева из предшествующей строки.

Таким образом, после копирования 1 во вторую строку, второе число в строке будет равно сумме двух единиц (из первой строки и из второй строки). Продолжаем в том же духе.

Комбинаторная интерпретация

Числа Белла с левой и правой сторон треугольника содержат число способов разбиения конечного множества на подмножества, или, эквивалентно, число возможных отношений эквивалентности на множестве. Сан и Ву[8] дают следующую комбинаторную интерпретацию каждому значению в треугольнике. Пусть An,k означает число в k-ой позиции слева в n-ой строке треугольника. Число на вершине треугольника будет иметь обозначение A1,1. Тогда An,k равно числу разбиений множества {1, 2, ..., n + 1}, в которых элемент k + 1 является единственным элементом подмножества и каждое число, превосходящее его, содержится в подмножестве с более чем одним элементом. То есть k + 1 должен быть наибольшим синглтоном разбиения.

Например, число 3 в середине третьей строки треугольника в этих обозначениях есть A3,2 и подсчитывает число разбиений множества {1, 2, 3, 4}, в которых 3 является наибольшим синглтоном. Есть три таких разбиения:

{1}, {2, 4}, {3}
{1, 4}, {2}, {3}
{1, 2, 4}, {3}.

Остальные разбиения этих четырёх элементов либо не содержат подмножество, состоящее лишь из элемента 3, либо они содержат больший синглтон {4}, а потому не учитываются в A3,2.

В тех же обозначениях Сан и Ву[8] добавили в треугольник диагональ слева со значениями

An,0=1, 0, 1, 1, 4, 11, 41, 162, ...(последовательность A000296 в OEIS)

содержащими число разбиений того же множества из n + 1 элементов, в которых только первый элемент является синглтоном. Их расширенный треугольник имеет вид[9]

                       1
                    0     1
                 1     1     2
              1     2     3     5
           4     5     7    10    15
       11    15    20    27    37    52
    41    52    67    87   114   151   203
162   203   255   322   409   523   674   877

Этот треугольник можно построить аналогично исходной версии треугольника Белла с изменённым правилом формирования первого элемента строки — элемент равен разности последнего и первого элементов предыдущей строки.

Альтернативная, но более техническая интерпретация чисел в том же расширенном треугольнике дают Куэйнтенс и Квонг[10].

Суммы диагоналей и строк

Левый и правый диагонали треугольника Белла содержат последовательность 1, 1, 2, 5, 15, 52, ... чисел Белла (в правой диагонали отсутствует первое число Белла). Следующая диагональ, параллельная крайней правой диагонали, даёт разности двух последовательных чисел Белла, 1, 3, 10, 37, ..., и каждая последующая параллельная диагональ содержит разности предыдущей диагонали.

Таким образом, как заметил Айткен[3], этот треугольник можно понимать как имплементацию интерполяционной формулы Ньютона для нахождения коэффициентов многочлена по его значениям в целочисленных точках. Эта формула имеет близкое сходство с рекуррентным отношением, которое можно использовать для определения чисел Белла.

Суммы по строкам треугольника, 1, 3, 10, 37, ..., совпадают с числами второй правой диагонали треугольника[6]. Число с номером n в этой последовательности содержит число позиций n элементов в подмножествах, где одно из подмножеств отличается от остальных. Например, имеется 10 способов разбить три элемента на подмножества и выбрать затем одно из подмножеств[11].

Связанные построения

Другой треугольник чисел с числами Белла на одной стороне, а каждое число определяется как взвешенная сумма близлежащих чисел в предыдущей строке, описал Айгнер[12].

Примечания

  1. Согласно Гарднеру(Gardner 1978) это название предложил Джеффри Шаллит, статья которого о том же треугольнике была опубликована позже(Shallit 1980). Шаллит же, в свою очередь, указывает на Кона, Ивена, Менгера и Хупера(Cohn, Even, Menger, Hooper 1962) как авторов определения, но эти авторы не давали название треугольнику.
  2. Peirce, 1880.
  3. Aitken, 1933.
  4. Cohn, Even, Menger, Hooper, 1962.
  5. Массив Айткена: последовательность A011971 в OEIS
  6. Gardner, 1978.
  7. Например, Гарднер[6] показывает две ориентации, и обе отличаются от приведённых в статье.
  8. Sun, Wu, 2011.
  9. последовательность A106436 в OEIS
  10. Quaintance, Kwong, 2013.
  11. последовательность A005493 в OEIS.
  12. Aigner, 1999.

Литература

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.