Помощь - Поиск - Пользователи - Календарь
Полная версия: Биекция
Форум «Всё о Паскале» > Образование и наука > Математика
UtaH
Как-то на матанализе мы доказывали, что card N x N = card Q+. Это можно было сделать факторизацией, а можно было с помощью диагонального процесса:
Код
(1,1)   (2,1) (3,1) (4,1)...
  |
  V     /
(1,2)  (2,2) (3,2) (4,2)...
  |
  V  /
(1,3) (2,3) (3,3) (4.3)...
....
т.е. (1.1) -> 1
      (1.2) -> 2
      (2.1) -> 3
(1,3) -> 4 и т. д. по диагоналям.

Наше солнышко потребовал построить взаимнооднозначную функцию f(m,n), осуществляющую такое отображение. Ломали головы всей подгруппой, никак. Может, кто-то знает?
Michael_Rybak
f(i, j) = (i + j - 1) * (i + j - 2) div 2 + 1 + i - 1
UtaH
Благодарю smile.gif
UtaH
Да, ещё... В книге Мостовского "Теория множеств" эта биекция выглядит так:
Нажмите для просмотра прикрепленного файла
Что за странная функция?
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.