|
|
Некто написал в ![[info]](http://lj.rossia.org/img/community.gif){kind=small} studium, |
Сопоставляем каждому числу подмн-во, содержащее только его - инъекция из чисел в подмножества.
Сопоставляем каждому подмн-ву его двоичный код (как вы это сделали, а спереди дописываем единичку, чтобы разное кол-во нулей впереди различалось), получаем натуральное число в двоичной записи - инъекция из подмн-в в числа.
По теореме Кантора-Бернштейна они равномощны.
Так получается короче ^_^
Сопоставляем каждому подмн-ву его двоичный код (как вы это сделали, а спереди дописываем единичку, чтобы разное кол-во нулей впереди различалось), получаем натуральное число в двоичной записи - инъекция из подмн-в в числа.
По теореме Кантора-Бернштейна они равномощны.
Так получается короче ^_^
Добавить комментарий:
