: : : : Давайте придерживаться общепринятой терминологии, согласно которой, если множество конечно, то он не счетно. Не бывает счетных конечных множеств. Счетное множество это по определению бесконечное множество, мощность которого равна мощности множества натуральных чисел.
: : :
: : : Счетное множество, согласно общепринятой терминологии, не обязано быть бесконечным. Множество {1, 2, a+bx, банка пива, император Карл Великий} состоит из 5 элементов. Оно счетно.
: : То есть, вы не согласны, что счетное множество это по определению бесконечное множество, мощность которого равна мощности множества натуральных чисел?
: : Давайте, спросим у экспертов. По-моему есть конечные множества и множества мощностью алеф-ноль. Если счетное множество это и множество мощностью алеф-ноль, и конечное множество, то мы имеем в математике двусмысленный термин. Что-то мне не верится, что это так. Ведь чтобы устранить двусмысленность достаточно назвать конечное множество конечным, а множество мощностью алеф-ноль счетным.
:
: http://www.wikipedia.org/wiki/Countable :
: "A set is called finite if there exists a one to one correspondence, called a bijective mapping, between it and a set of the form {1, 2, 3, ..., n} for some natural number n. (This includes the empty set for n = 0). A set is called countably infinite if there exists a bijective mapping between it and the set N of all natural numbers. A countable set is a set which is either finite or countably infinite. "
:
: http://mathworld.wolfram.com/CountableSet.html :
: "Countable Set.
: A set which is either finite or denumerable. However, some author (Ciesielski 1997, p. 64) use the definition "equipollent to the finite ordinals," commonly used to define a denumerable set, to define a countable set. "
:
: Так что более общепринято определять счетное множество как конечное либо перечислимое. Хотя термин иногда применяют и в Вашем толковании (как перечислимое, denumerable).
Вот видите, оказыватеся общепринятые терминологии бывают разные. Интересно какой терминологией пользуется российская школа, если меня учили, если мне память не изменяет, что счетное множество эквивалентно множеству натуральных чисел?
Как бы то ни было, мы договорилсь. Я просто хотел определимться с терминами, чтобы разговаривать на одном и том же языке.
Ради бога, конечное множество счетно - это банальность. Если предела делимости не существует, т.е. если множество {1, 1/2, 1/3, ..., 1/n, ...} бесконечно, то оно счетно. По-моему это тоже банальность. Не вижу, где в этой фразе Игорь Старк может меня упрекнуть в нарушении законов логики. |
» Альтернативный форум