1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ... 2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM! 3. Одна тема - один вопрос (задача) 4.Спрашивайте и отвечайте четко и по существу!!!
Вопрос прост: Множество всех действительных чисел - счетно или нет?
Я учусь на 2 курсе. Нам учитель прочитал доказательство теоремы в которой говорится что все действительные числа счетны. (У меня правда подозрения на то что может это были только алгебраические числа, хотя в заголовке строго говорится о действительных)
Но до этого у него было доказательство теоремы о том что все действительные числа на отрезке [0,1] несчетны (да и на любом другом).
т.е. Вроде как очевидно получается что Множество всех действительных чисел несчетно. Но в нете точного ответа не найдешь одни люди говорят одно другие другое.
Не знаю, хотел ли твой учитель похохмить или спровоцировать вас, или может ты его неправильно понял. Доказательство несчетности действительных чисел на отрезке мелькало тут недавно, можно найти или повторить. Этот вопрос такой, в котором нельзя оставлять неясности. Спрашивай, мы тут к твоим услугам
Цитата(CatWarrior @ 6.01.2006 11:46)
Действительные числа состоят из алгебраических и трансцендентных?
да. Но я предпочитаю другие названия: рациональные и иррациональные.
Цитата(CatWarrior @ 6.01.2006 11:46)
алгебраические - это те которые являются корнями некоторого уравнения (a0+a1z+a2z^2.. anz^n) и т.д. - их счетно?
Да, их счетно. Это даже не нужно доказывать. Каждое уравнение задается КОНЕЧНЫМ набором коэффициентов. Множество таких наборов счетно. Значит, и их решений.
Цитата(CatWarrior @ 6.01.2006 11:46)
трансцендентные - трансцендентных несчетно? (вот что их несчетно, это доказывается?)
Доказывается через диагональ Кантора. Если хочешь, могу подробнее. Или дам ссылку на то, что уже было тут.
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Ну да на интервале нам учитель давал несколько доказательств теоремы Канта (2 штуки). Из всех ясно следует что Не один интервал не является счетным множеством. Во втором доказательстве (Диагональная процедура) как раз легко доказывается что множество действительных чисел заключающееся между 0 и 1 - несчетно.
Просто возникли разногласия а перевеса ни в одну сторону не было. )
+ Диагональная процедура кантора это не диагональ Кантора? т.к. там вроде только о действительных числах говорится. + ссылку былобы хорошо
Не вижу - где тут разногласия? Только Кантор, а не Кант - ок? Кант совсем другими делами занимался, философскими глупостями.. Итак - где разногласия? Надеюсь, ты не собираешься их решать большинством голосов.. Кстати, вот ссылка на тот тред: http://forum.pascal.net.ru/index.php?showtopic=7336
Да, в диагонали рассматриваются все действительные числа. Но после вычета рациональных (их счетное количество) все равно остается континуум.
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
странно, мне казалось, что я отвечал (быстрый ответ).. а на самом деле добавилось к предыдущему моему мессаджу.. Это так и должно быть? раньше было иначе! или у меня глюки?..
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Да, в диагонали рассматриваются все действительные числа. Но после вычета рациональных (их счетное количество) все равно остается континуум.
Это из того что мощность подмножества бесконечного множества равна мощности самого бесконечного множества. Т.е. из того что мощность бесконечного множества не зависит от мощности его счетного подмножества.
Цитата
странно, мне казалось, что я отвечал (быстрый ответ).. а на самом деле добавилось к предыдущему моему мессаджу.. Это так и должно быть? раньше было иначе! или у меня глюки?..
Оно неверянка обладает возможностью автоматом объеденять посты одного и тогоже автора идущие подряд. И введенные в небольшой промежуток времени.
Это из того что мощность подмножества бесконечного множества равна мощности бесконечного множества. Т.е. из того что мощность бесконечного множества не зависит от мощности его счетного подмножества.
Довольно коряво... Просто сумма счетного и континуального множеств континуально. Сумма двух счетных множеств - счетна. Раз D является суммой R и I (сокращения мои ), то из счетности R следует континуальность I.
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Ты не понял. Я ввел конкретные обозначения для тех множеств, с которыми мы имеем сейчас дело. D - действительные R - рациональные (алгебраические) I - иррациональные (трансцендентные) Далее, мы знаем, что D - континуально, а R - счетно. В соответствии с тем, что я писал выше (про суммы множеств) получается, что I - континуально.
Всегда так: хочешь сократить, а получается в результате длиннее..
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Послушай, CatWarrior... Я тебя обманул. Извини, не хотел. Просто крыша поехала. Алгебраические числа - это не то, что рациональные, конечно. И я сейчас не могу сказать, счетно ли их множество. То мое рассуждение не проходит, если коеффициенты многочленов нецелые . Но главное - что множество действительных чисел несчетно - верно. Извини еще раз, зарапортовался. Сейчас - увы!- нет времени все просмотреть и переделать - может, завтра.. Но, повторяю - главное, что множество действительных чисел несчетно. до встречи..
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Как обещал - исправляю свои ошибки. Еще раз прощу извинения - я отвечал в перерывах, пока копировался системный диск (в несколько этапов, ввиду зоопарка стандартов), который полетел на сервере, и видимо моя башка не до конца переключалась.
Итак, 1. Множество действительных чисел несчетно, док-вом является диагональ Кантора. Его мощность зовется мощностью континуума (от слова "непрерывный"), или "c".
2. Рациональные числа - это те, которые представимы в виде p/q (от слова "рацио", отношение). Я их зря сюда вообще тогда приплел. В десятичном виде они представляют собой конечные или периодические дроби (что одно и то же, если приписать 0 в периоде. Их множество счетно, то есть имеет мощность алеф-ноль.
3. Алгебраические числа - это числа, являющиеся корнями многочлена с целыми коэффициентами (можно, впрочем, сказать и с рациональными, результат будет тот же, как легко видеть). То, что они выходят за рамки рациональных, легко видеть, доказав, что квадратный корень из 2 не может быть представлен в виде дроби. Конечно, их множество счетно (то рассуждение, которое я привел вчера, остается в силе).
4. Существование трансцендентных чисел следует из того, что множество алгебраических чисел счетно, а действительных - несчетно. Отсюда же следует, что их множество континуально. Пример - число "пи" или "е".
Вот, по сути и все. Досадную чушь я вчера наплел.. Не особо много, но математика не терпит даже малейших ошибок . И последнее замечание. Мы с тобой все это говорили в день 88-летия со дня смерти Георга Кантора, 6 января 1918. Он родился в 1845 г в Петербурге, но в России не учился и не работал. Он был, наверное, одним из самых великих математиков. Мир праху его.
Сообщение отредактировано: lapp -
--------------------
я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой
Правила форума
Счетность действительных множеств, я запутался
.