Популярная математика
Математика
Практикум
  • формат rtf
  • размер 16,88 КБ
  • добавлен 05 мая 2014 г.
Неканторово доказательство несчетности континуума
В отличие от известного диагонального метода, использованного Г. Кантором, для доказательства несчетности континуума осуществлена оценка мощности множества всех множеств точек, содержащихся во внутреннем интервале единичного отрезка прямой и всех его подынтервалах, и равномощных некоторому исходному произвольному множеству точек.
Показано, что величина искомой мощности определяется суммой членов стандартной геометрической прогрессии и, в пределе, строго больше мощности бесконечно-счетного множества натуральных чисел. Это и доказывает несчетность самого континуума.
Похожие разделы