Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
![]() ![]() |
Страница 3 из 4 |
[ Сообщений: 37 ] | На страницу Пред. 1, 2, 3, 4 След. |
|
Автор | Сообщение | |
---|---|---|
swan |
|
|
Вы опять бездумно пишете K1b0rg писал(а): [math]\phi \,\colon n \to f_n[/math] Бессмысленная запись. Доказательство есть в Верещагин, Шень. В параграфе равномощные подмножества. Предъявляется конкретная биекция. Вот эта биекция и порождает нужный нам гомоморфизм. |
||
Вернуться к началу | ||
![]() |
swan |
|
|
Хотя, прошу прощения. При естественной биекции умножению функций соответствует пересечение множеств. А у нас объединение. Так что потом еще надо дополнительно воспользоваться свойством [math]\overline{A \cup B} =\overline{A} \cap \overline{B}[/math]
|
||
Вернуться к началу | ||
![]() |
K1b0rg |
|
|
swan писал(а): Хотя, прошу прощения. При естественной биекции умножению функций соответствует пересечение множеств. А у нас объединение. Так что потом еще надо дополнительно воспользоваться свойством [math]\overline{A \cup B} =\overline{A} \cap \overline{B}[/math] А как проще всего доказать? Не совсем понимаю как там доказывается биективность, тоесть не совсем понимаю как отнести то что там написано к моей задаче. Правильно ведь что тут инъективность и сюръективность нужно доказать? |
||
Вернуться к началу | ||
![]() |
swan |
|
|
K1b0rg писал(а): тоесть не совсем понимаю как отнести то что там написано к моей задаче. Ваша задача - найти нужную биекцию между множеством всех подмножеств и множеством функций с двумя значениями. Так что отношение самое прямое. Цитата: множество подмножеств любого множества U (оно обыч-но обозначается P(U)и по-английски называется power set) равномощно множеству всех функций, которые ставят в со-ответствие каждому элементу x∈U одно из чисел 0 и 1(мно-жество таких функций обычно обозначают ). (В самом деле,каждому множеству X⊂U соответствует его характеристиче-ская функция Ну и поскольку в моноиде А операция объединения при гомоморфизме должна переходить в произведение, то нужно внести поправку. Каждому подмножеству Х ставится характеристическая функция [math]\overline X[/math] Далее вам нужно доказать, что эта биекция будет гомоморфизмом. Последний раз редактировалось swan 08 июл 2019, 22:50, всего редактировалось 1 раз. |
||
Вернуться к началу | ||
![]() |
K1b0rg |
|
|
swan писал(а): K1b0rg писал(а): тоесть не совсем понимаю как отнести то что там написано к моей задаче. Ваша задача - найти нужную биекцию между множеством всех подмножеств и множеством функций с двумя значениями. Так что отношение самое прямое. Мне что записать: P(A) - power set) равномощно множеству всех функций, которые ставят в соответствие каждому элементу x ∈ A одно из чисел 0 и 1 (множество таких функций обычно обозначают [math]2^{U}[/math] ). (В самом деле, каждому множеству X ⊂ A соответствует его характеристическая функция. и всё? как эту биекцию найти? |
||
Вернуться к началу | ||
![]() |
swan |
|
|
Я дополнил ответ
|
||
Вернуться к началу | ||
![]() |
swan |
|
|
Ну вот вам и задача: показать, что соответствие, при котором каждому подмножеству Х ставится в соответствие его характеристическая функция, является биекцией.
|
||
Вернуться к началу | ||
![]() |
||
За это сообщение пользователю swan "Спасибо" сказали: K1b0rg |
||
![]() |
K1b0rg |
|
|
swan писал(а): K1b0rg писал(а): тоесть не совсем понимаю как отнести то что там написано к моей задаче. Далее вам нужно доказать, что эта биекция будет гомоморфизмом. Ладно, то что биекция это итак понятно. [math]\boldsymbol{\phi} \,\colon P(A) \to B[/math] биекция. доказать гомоморфизм: [math]1) \boldsymbol{\phi}(g\cup h) = \phi (g) \odot \phi (h),\quad \forall g, h \in P(A).[/math] [math]2) \phi (\{\}) = 1[/math] [math]1) \boldsymbol{\phi}(g \cup h) = \phi(g) \cup \phi(h) = \phi (g) \odot \phi(h)[/math] [math]2) \phi (\{\}) =[/math]? |
||
Вернуться к началу | ||
![]() |
swan |
|
|
K1b0rg писал(а): Ладно, то что биекция это итак понятно. Было бы понятно, таких вопросов не возникло бы K1b0rg писал(а): [math]2) \phi (\{\}) =[/math]? Но вам конечно виднее Проясню еще раз. Между [math]M_A[/math] и [math]M_B[/math] до чёрта биекций. а конкретно [math]2^n![/math] , то есть даже для n=2 можно указать 24 биекции. Но гомоморфизмом будет только одна из них (или две?). Какая - я указал. Поэтому надо брать не абстрактную биекцию, а вполне конкретную, смотреть, куда что переходит и доказывать сохранение групповой операции. |
||
Вернуться к началу | ||
![]() |
||
За это сообщение пользователю swan "Спасибо" сказали: K1b0rg |
||
![]() |
K1b0rg |
|
|
swan писал(а): Ну вот вам и задача: показать, что соответствие, при котором каждому подмножеству Х ставится в соответствие его характеристическая функция, является биекцией. Извиняюсь, мне не нужно доказывать биекцию а просто её построить. Думаю так: [math]\boldsymbol{\phi}\,\colon P(A) \to B[/math] биекция Цитата: Каждому подмножеству Х ставится характеристическая функция [math]\forall X ⊂ A[/math] [math](ϕ(X))(x_i) = \left\{ \begin{array}{ll} 1 & \mbox {if } x_i \in X \\ 0 & \mbox {if } x_i \notin X \end{array} \right.[/math] [math]\forall x_i \in X, 1\leqslant i \leqslant n[/math] |
||
Вернуться к началу | ||
![]() |
![]() ![]() |
На страницу Пред. 1, 2, 3, 4 След. | [ Сообщений: 37 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Моноид на декартовом квадрате | 0 |
305 |
06 июн 2013, 12:08 |
|
Доказать
в форуме Пределы числовых последовательностей и функций, Исследования функций |
3 |
107 |
18 ноя 2016, 21:00 |
|
Доказать
в форуме Геометрия |
1 |
189 |
24 ноя 2015, 20:01 |
|
Доказать | 2 |
184 |
17 июн 2017, 15:47 |
|
Доказать
в форуме Теория вероятностей |
64 |
1073 |
04 янв 2017, 18:23 |
|
Доказать | 2 |
188 |
12 окт 2014, 19:00 |
|
Доказать
в форуме Теория чисел |
1 |
804 |
23 мар 2019, 18:18 |
|
Доказать
в форуме Тригонометрия |
29 |
1066 |
28 май 2014, 00:23 |
|
Доказать
в форуме Теория чисел |
15 |
873 |
20 ноя 2013, 20:48 |
|
Доказать
в форуме Интегральное исчисление |
2 |
249 |
17 июн 2015, 10:49 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
|
Кто сейчас на конференции |
Сейчас этот форум просматривают: Google Adsense [Bot] и гости: 9 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |