In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Lah numbers, discovered by
Ivo Lah
Ivo Lah (; 5 September 1896 – 23 March 1979) was a Slovenian mathematician and actuary, best known for his discovery of the Lah numbers in 1955 and for the Lah identity. In the 1930s, Lah made the first tables about mortality rates in Slov ...
in 1954, are
coefficient
In mathematics, a coefficient is a multiplicative factor in some term of a polynomial, a series, or an expression; it is usually a number, but may be any expression (including variables such as , and ). When the coefficients are themselves var ...
s expressing
rising factorials in terms of
falling factorial
In mathematics, the falling factorial (sometimes called the descending factorial, falling sequential product, or lower factorial) is defined as the polynomial
:\begin
(x)_n = x^\underline &= \overbrace^ \\
&= \prod_^n(x-k+1) = \prod_^(x-k) \,.
\e ...
s. They are also the coefficients of the
th derivatives of
.
Unsigned Lah numbers have an interesting meaning in
combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many appl ...
: they count the number of ways a
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
of ''n'' elements can be
partition
Partition may refer to:
Computing Hardware
* Disk partitioning, the division of a hard disk drive
* Memory partition, a subdivision of a computer's memory, usually for use by a single job
Software
* Partition (database), the division of a ...
ed into ''k'' nonempty linearly ordered
subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
s. Lah numbers are related to
Stirling number
In mathematics, Stirling numbers arise in a variety of analytic and combinatorial problems. They are named after James Stirling, who introduced them in a purely algebraic setting in his book ''Methodus differentialis'' (1730). They were rediscov ...
s.
Unsigned Lah numbers :
:
Signed Lah numbers :
:
''L''(''n'', 1) is always ''n''!; in the interpretation above, the only partition of into 1 set can have its set ordered in 6 ways:
:, , , , or
''L''(3, 2) corresponds to the 6 partitions with two ordered parts:
:, , , , or
''L''(''n'', ''n'') is always 1 since, e.g., partitioning into 3 non-empty subsets results in subsets of length 1.
:
Adapting the
Karamata–
Knuth notation for
Stirling numbers
In mathematics, Stirling numbers arise in a variety of analytic and combinatorial problems. They are named after James Stirling, who introduced them in a purely algebraic setting in his book ''Methodus differentialis'' (1730). They were rediscov ...
, it has been proposed to use the following alternative notation for Lah numbers:
Rising and falling factorials
Let
represent the rising factorial
and let
represent the falling factorial
.
Then
and
For example,
Compare the third row of the table of values.
Identities and relations
:
:
:
:
where
,
for all
, and
:
where