http://stanislav-mikov.livejournal.com/ ([identity profile] stanislav-mikov.livejournal.com) wrote in [community profile] useless_faq2009-09-07 12:45 pm

Вопросы

1. Почему в сознании многих термин "бесполезный вопрос" равнозначен термину "идиотский вопрос"?
2. (Только для математиков). Докажите, что мощность множества бесполезных вопросов меньше мощности множества идиотских вопросов.

[identity profile] ffil.livejournal.com 2009-09-07 09:23 am (UTC)(link)
Хм, по-моему мощности обоих множеств равны алеф-нулю

[identity profile] ffil.livejournal.com 2009-09-07 09:37 am (UTC)(link)
Оба множества бесконечны. Но каждому вопросу (если рассматривать их как последовательность символов) я могу сопоставить некоторое натуральное число (очевидно, например записывая подряд коды символов). Отсюда следует, что множества счетны. Мощность всех счетных множеств одинакова и равна алеф-нулю.

[identity profile] blak-n-wait.livejournal.com 2009-09-07 09:46 am (UTC)(link)
размер текста вопроса-то почему конечен?

[identity profile] ffil.livejournal.com 2009-09-07 09:51 am (UTC)(link)
Для реального мира Ваш вопрос в силе :)) Нужно только определить количество вопросов в каждом множестве :)

[identity profile] thexder666.livejournal.com 2009-09-07 10:01 am (UTC)(link)
Ну если конечны, то мощность множества бесполезных вопросов меньше мощности множества идиотских вопросов, т.к. для конечных множеств мощность - это количество членов, при этом бесполезные - подмножество идиотских

[identity profile] thexder666.livejournal.com 2009-09-07 10:29 am (UTC)(link)
еггог, запутался в определениях, они вообще не пересекаются

[identity profile] zgugr.livejournal.com 2009-09-07 09:46 am (UTC)(link)
Вообще, мощность множества вопросов, равна алеф-нулю.
Вопросы это конечные множества букв (которых тоже немного). Совсем нетрудно установить соотношение между множеством рациональных чисел и множеством всех вопросов.

Как уже ответил ffil

[identity profile] zgugr.livejournal.com 2009-09-07 10:11 am (UTC)(link)
Это множество всё ещё счётно, значит Алеф-ноль

[identity profile] czz.livejournal.com 2009-09-07 11:34 am (UTC)(link)
Возьмём любое вещественное число Х.
Вопрос "А правда ли, что Х является иррациональным числом" - бесполезный, но не идиотский.
Вопрос "А чё, правда Х=Х? Кто сказал? - идиотский.
Отсюда следует, что мощности множеств как бесполезных, так и идиотских вопросов не меньше мощности континуума.
:)
Edited 2009-09-07 11:34 (UTC)

[identity profile] czz.livejournal.com 2009-09-07 01:38 pm (UTC)(link)
С помощью конечного числа символов мы можем задать набор правил, порождающий несчётное множество вопросов.

[identity profile] czz.livejournal.com 2009-09-07 01:43 pm (UTC)(link)
Конечно. Вот я в своём комментарии и написал пример правила порождения такого множества.

(no subject)

[identity profile] czz.livejournal.com - 2009-09-07 14:03 (UTC) - Expand

(no subject)

[identity profile] czz.livejournal.com - 2009-09-07 13:57 (UTC) - Expand

(no subject)

[identity profile] czz.livejournal.com - 2009-09-07 14:21 (UTC) - Expand

[identity profile] zgugr.livejournal.com 2009-09-07 12:08 pm (UTC)(link)
Вообше-то, вопрос был определён как множество символов (из конечного множества символов) а не как функция вещественной переменной.

[identity profile] czz.livejournal.com 2009-09-07 01:43 pm (UTC)(link)
С помощью конечного числа символов мы можем задать набор правил, порождающий несчётное множество вопросов.

[identity profile] ffil.livejournal.com 2009-09-07 12:54 pm (UTC)(link)
А у нас нет способа выразить любое вещественное число :)

[identity profile] czz.livejournal.com 2009-09-07 01:34 pm (UTC)(link)
Зато у нас есть способы выразить сразу множество (с мощностью континуума) вещественных чисел, тем самым задав целый континуум вопросов за один раз. Здесь же можно задавать более одного вопроса в посте? :)

[identity profile] czz.livejournal.com 2009-09-07 02:04 pm (UTC)(link)
Нет, я неправ. Здесь принято задавать в одном посте только один вопрос.

[identity profile] ffil.livejournal.com 2009-09-07 02:12 pm (UTC)(link)
Ага, согласен, такое множество существует. Но, как я понимаю, нельзя выписать любой его элемент. Хотя в рельности это не прокатит даже с бесконечным счетным множеством.
Можно расширить Ваш пример: пусть X - множество с офигенной мощностью ;). Тогда, перебирая все элементы z, принадлежащие X, можно задать множество(с той же мощностью) вопросов "А правда ли, что z принадлежит X?" :))

(no subject)

[identity profile] czz.livejournal.com - 2009-09-07 14:13 (UTC) - Expand

(no subject)

[identity profile] ffil.livejournal.com - 2009-09-07 14:16 (UTC) - Expand