Bijective proof

[8/100%]
Show
LaTeX

Let the sequence {rn}\left\{ r_{n}\right\} be defined as follows:

r1=1,r2k=1+rk,r2k+1=1r2k(k∈N). r_{1}=1, \quad r_{2 k}=1+r_{k}, \quad r_{2 k+1}=\frac{1}{r_{2 k}} \quad (k \in \mathbb {N}) .

Prove that the map n↦rnn \mapsto r_{n} is a bijection of the set N\mathbb {N} onto the set Q+=Q∩(0,+∞)\mathbb {Q}_{+}=\mathbb {Q} \cap (0,+\infty ).

?

Let F(N)={A⊂N∣card⁡(A)<+∞}\mathscr {F}(\mathbb {N})=\left\{ A \subset \mathbb {N} \mid \operatorname {card}(A)<+\infty \right\} be the system of all finite subsets of the set N\mathbb {N}. Prove that

?
(a)

the system F(N)\mathscr {F}(\mathbb {N}) is countable;

(b)

there exists a bijection φ:F(N)→N\varphi : \mathscr {F}(\mathbb {N}) \rightarrow \mathbb {N} such that φ(A)⩽φ(B)\varphi (A) \leqslant \varphi (B) if A⊂B(A,B∈F(N))A \subset B(A, B \in \mathscr {F}(\mathbb {N})).

The number of zig-zag paths between the street corners (0,0)(0,0) and (r,s)(r,s) is

(nr). \binom {n}{r} .
?
Remark.
?

See e.g.MD, Vol. 1, pp. 68-78.

The number of those zig-zag paths between the street corners (0,0)(0,0) and (r,s)(r,s) the area under which is α\alpha equals cn,r,αc_{n,r,\alpha } (notation of problem 60.5).

?
Remark.
?

G. Pólya: J. Combinatorial Theory, Vol. 6, p. 105 (1969).

The number of inversions generated by a zig-zag path equals the area under the path. (Thus problem 60.10 determines the number of certain paths, or letter sequences, having a given number α\alpha of inversions.)

?

A multiset is an unordered collection of elements in which each element may occur any number of times. Two multisets are equal if each element occurs in them the same number of times. For example, the multiset {1,2,1,3}\left\{ 1,2,1,3\right\} equals the multiset {3,1,1,2}\left\{ 3,1,1,2\right\} and does not equal the multiset {1,2,2,3}\left\{ 1,2,2,3\right\}.

Prove that the number of ways to form a kk-element multiset from nn pairwise distinct elements, using each of them any number of times, equals Cn+k−1kC_{n+k-1}^{k}.

?
?
(1)

(nk)=(nn−k)\binom {n}{k} = \binom {n}{n-k}.

(2)

Find the sum (n0)+…+(nn)\binom {n}{0} + \ldots + \binom {n}{n}.

?
(1)

Pascal's rule. (n+1k+1)=(nk+1)+(nk)\binom {n+1}{k+1} = \binom {n}{k+1} + \binom {n}{k} if 0⩽k⩽n−10 \leqslant k \leqslant n-1.

(2)

\begin{Bmatrix} \end{Bmatrix} n+1 \\ k+1 \end{Bmatrix} = (k+1)\begin{Bmatrix} \end{Bmatrix} n \\ k+1 \end{Bmatrix} + \begin{Bmatrix} \end{Bmatrix} n \\ k \end{Bmatrix}. Here \begin{Bmatrix} \end{Bmatrix} n \\ k \end{Bmatrix} is the number of partitions of an nn-element set into kk parts (i.e. nonempty subsets); partitions are considered unordered, i.e. the partition of the set {1,2,3}\{ 1,2,3\} into the parts {1,2}\{ 1,2\} and {3}\{ 3\} and the partition of the same set into the parts {3}\{ 3\} and {1,2}\{ 1,2\} are considered the same. Cf. Problem 1.4.7(5).

Remark.
?

The numbers \begin{Bmatrix} \end{Bmatrix} n \\ k \end{Bmatrix} are called Stirling numbers of the second kind; for more on them see, for example, [GKP, p.287].

References

[МГЛ+04] Макаров Б.М., Голузина М.Г., Лодкин А.А., Подкорытов А.Н. Избранные задачи по вещественному анализу. 2-е изд., Невский Диалект; БХВ-Петербург, 2004.
[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.
[ДДК+21] Дехтярь М.И., Дудаков С.М., Карлов М.И., Карлов Б.Н. Лекции по дискретной математике. 3-е изд., Тверской государственный университет, 2021.
[ГДИ+16] Глибичук А.А., Дайняк А.Б., Ильинский Д.Г., Купавский А.Б., Райгородский А.М., Скопенков А.Б., Чернов А.А. Элементы дискретной математики в задачах. МЦНМО, 2016.