М.Двач / Математика

Двач.hk не отвечает.
Вы видите копию треда, сохраненную 13 июня в 19:40.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

33 Кб, 1132x89
Погомите проверить утверждение. 18 авг 2019, 22:21 57908 В конец треда | Веб

Все драсьте, можете пожалуйста помочь с доказательством 1 утверждения. Я пришел к следующему, утверждение неверно в силу того, что если А включено в В то А не может быть одновременно быть элементом С, т.к В уже является элементом С, т.е все элементы А явл. подмножеством В но даже не принадлежат С. Хз, подскажите как можно себя проверить и написать доказательство в человеческом виде плз.

Ответы8761

2 18 авг 2019, 22:24 2 57909

Такс, поторопился и напсал херню. Если А включено в В, следовательно все элементы А принадлежат В. В включено в С как элемент, тогда А не принадлежит С и не включено в С. Следовательно А является элементом С - противоречие.

Ответы8826

Sage 3 12 сен 2019, 22:42 3 58761

>>57908 (OP)
По п.1 контрпример:
A = {1}
B = {1,2}
C = { {1,2}, {3} }
Имеем, A вложено в B, B принадлежит С, но A не принадлежит С.

4 15 сен 2019, 03:23 4 58826

>>57909
У тебя неверное доказательство. A может являться элементом С. Например:
A = {x}
B = {x,y}
C = {{x},{x,y}}

5 16 сен 2019, 00:09 5 58852

Последний пост, я понял что тут из того что а включено в б и б принадлежит с как элемент следует, что а принадлежит с как элемент. Т.е тут на самом деле имелось ввиду возможность того что а может принадлежать с?

6 16 сен 2019, 01:14 6 58856

Утверждение 1) неверное.

Допустим что оно верное, тогда от того что АсВ и ВєС следует что АєС. Если это так, А=B. В то же время, от того что АсВ и ВєС не следует что А=B.

Карочи, утверждение 1) верное только если А=В.

Обновить тред
Двач.hk не отвечает.

« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion