Комментарии «Школьный демон. Пятый курс» (гет)

> Так, например, если представить себе бесконечное количество карандашей, в каждый из них можно ткнуть пальцем.
В любую точку отрезка прямой тоже можно ткнуть пальцем.

> бесконечное множество, для которого любое конечное подмножество состоит из одинакового количества элементов
Тут автор, видимо, опечатался — таких множеств и правда не существует, как уже сказали выше.

> Например, на прямой, луче (половине прямой) и отрезке любой длины — одинаковое количество точек.
И вот тут тоже неправда.

Но это все не так уж важно, потому что...
> почти бесконечное множество, ведутся даже споры о том, счетное оно, или «мощности континуума»*
Зачем спорить, если оно *почти* бесконечное?!

> любое конечное подмножество
Это, например, такие множества (являющиеся подмножествами отрезка [0; 1]): {0.25}; {0.5; 0.75}. Нетрудно видеть, что они оба конечные, но количество элементов в них не одинаковое.

>Все три представленных Вами подмножества состоят из одного и того же количества элементов.
Мы, кажется, друг друга не понимаем.
Мною было представлено *два* подмножества одного множества (отрезка):
- {0.25} — множество, состоящее из *одного* элемента "одна четвертая";
- {0.5; 0.75} — множество, состоящее из *двух* элементов "половина" и "три четверти".

(Upd: следующий абзац содержит некоторые мелкие ошибки, но на суть они вроде бы не влияют, а исправлять я не буду — пусть все читают и смеются.)

Что же касается прямых, отрезков и лучей — тут мною сделано предположение, что мы все-таки пользуемся биективным способом сравнения мощности множеств. (Потому что кардинальные числа, во-первых, сильно сложнее, а во-вторых, их бы точно упомянули в тексте :) Так вот, на луче на одну точку больше, чем на прямой (если его конец не "выколот"), а на отрезке — на две точки (и тут никаких "если", потому что у отрезка без концов есть свое название "интервал").

(все, что выше, написано до изменения комментария)

> Точка - это отрезок бесконечно малой длины. И любая комбинация конечного количества точек - тоже будет отрезком бесконечно малой длины. А вот если отрезок имеет конечную длину - то он состоит из бесконечного количества точек.
Множество, состоящее из двух разных точек прямой (или отрезка), "отрезком" называться никак не может, потому что этому множеству не принадлежат точки, находящиеся между двумя его "концами". А так, если переформулировать это в терминах меры на прямой или отрезке — то да, верно. Но никак не относится к предмету разговора.

> Одна точка не является "конечным подмножеством континуума"
о_О
То есть как это?
Вот возьмем множество А = "множество точек, лежащих на прямой".
Возьмем множество B = "множество, единственным элементом которого является точка ноль на этой прямой".
И вы мне хотите сказть, что B не является подмножеством A?

И да, я прошу прощения за занудство, но уж больно резануло глаз такое аж во втором абзаце :(

Возможно, вы путаете "конечность" с чем-то еще? Для меня "конечное" множество — это то, элементы которого можно пересчитать и в какой-то момент закончить. (Существует натуральное число N такое, что оно больше числа элементов множества.)

>Так что с волнами врапа
>к легионам своих собратьев, чтобы присоединиться к легионам своих собратьев