Marina,
должен признаться, что в Вашем непонимании есть некоторая доля и нашей вины: для людей, имеющих отношение к математике, настолько привычно, что буквой
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
обозначаются
только натуральные числа, что в большинстве объяснений этот факт даже не упоминался.
В частности, один из моих предыдущих постов надо читать так (обратите внимание на добавочку "
![$\text{где}~ n \in \mathrm{N}$ $\text{где}~ n \in \mathrm{N}$](https://dxdy-02.korotkov.co.uk/f/9/6/d/96d2df2763b79493b0eea270b12e002982.png)
"):
Для того, чтобы доказать равномощность множеств
![$[2, 8]$ $[2, 8]$](https://dxdy-04.korotkov.co.uk/f/7/3/0/7309aa8abaffe6669cfed158c58dc3ea82.png)
и
![$[2, 8)$ $[2, 8)$](https://dxdy-04.korotkov.co.uk/f/3/2/a/32a857a4dd7440f4729e9e733b1781fc82.png)
, нам надо построить между этими двумя множествами
какую-нибудь биекцию (взаимно однозначное соответствие).
"Построить биекцию" означает указать два правила (формулы, алгоритма):
1. Правило, сопоставляющее каждой точке отрезка
![$[2, 8]$ $[2, 8]$](https://dxdy-04.korotkov.co.uk/f/7/3/0/7309aa8abaffe6669cfed158c58dc3ea82.png)
уникальную точку полуинтервала
![$[2, 8)$ $[2, 8)$](https://dxdy-04.korotkov.co.uk/f/3/2/a/32a857a4dd7440f4729e9e733b1781fc82.png)
.
2. Правило, сопоставляющее каждой точке полуинтервала
![$[2, 8)$ $[2, 8)$](https://dxdy-04.korotkov.co.uk/f/3/2/a/32a857a4dd7440f4729e9e733b1781fc82.png)
уникальную точку отрезка
![$[2, 8]$ $[2, 8]$](https://dxdy-04.korotkov.co.uk/f/7/3/0/7309aa8abaffe6669cfed158c58dc3ea82.png)
.
Вот мы и строим биекцию, формулируя эти правила.
При этом нашим условиям удовлетворяет не одна бекция (пара правил), а много.
Например, такая:
1. Прямое отображение: каждая точка вида
![$2 + \dfrac 6 {n+1} (\text{где}~ n \in \mathrm{N})$ $2 + \dfrac 6 {n+1} (\text{где}~ n \in \mathrm{N})$](https://dxdy-03.korotkov.co.uk/f/a/2/0/a20f67534b8999691077ad3975e13a8582.png)
переходит в точку полуинтервала
![$2 + \dfrac 6 {n+2} $ $2 + \dfrac 6 {n+2} $](https://dxdy-03.korotkov.co.uk/f/2/8/6/2869c9f36909441eb66b55590759497982.png)
; все остальные точки "остаются на месте";
2. Обратное отображение: каждая точка вида
![$2 + \dfrac 6 {n+2} (\text{где}~ n \in \mathrm{N})$ $2 + \dfrac 6 {n+2} (\text{где}~ n \in \mathrm{N})$](https://dxdy-04.korotkov.co.uk/f/b/c/2/bc2e227acb960773960a05ad1b60bc0782.png)
переходит в точку отрезка
![$2 + \dfrac 6 {n+1}$ $2 + \dfrac 6 {n+1}$](https://dxdy-03.korotkov.co.uk/f/6/d/1/6d1573037570ba394931d94da68af53682.png)
; все остальные точки "остаются на месте";
Или такая:
1. Прямое отображение: точка 8 переходят в точку 7; точка 7 переходит в точку 7.1, точка 7.1 -- в точку 7.11 и т.д.; все остальные точки "остаются на месте";
2. Обратное отображение: точки
![$7.111...11$ $7.111...11$](https://dxdy-03.korotkov.co.uk/f/6/6/b/66b9fabce91a9655c65107f7ace61ddd82.png)
(
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
единиц) переходят в точки
![$7.111...1$ $7.111...1$](https://dxdy-03.korotkov.co.uk/f/e/d/9/ed959022d5257050623a0afb31bab96782.png)
(
![$n-1$ $n-1$](https://dxdy-03.korotkov.co.uk/f/e/f/c/efcf8d472ecdd2ea56d727b5746100e382.png)
единиц), точка 7 переходит в точку 8; остальные точки "остаются на месте"
Или еще какая-нибудь.
Какую конкретно выбрать -- дело вкуса.