image.png33 Кб, 1132x89
Погомите проверить утверждение. 57908 В конец треда | Веб
Все драсьте, можете пожалуйста помочь с доказательством 1 утверждения. Я пришел к следующему, утверждение неверно в силу того, что если А включено в В то А не может быть одновременно быть элементом С, т.к В уже является элементом С, т.е все элементы А явл. подмножеством В но даже не принадлежат С. Хз, подскажите как можно себя проверить и написать доказательство в человеческом виде плз.
2 57909
Такс, поторопился и напсал херню. Если А включено в В, следовательно все элементы А принадлежат В. В включено в С как элемент, тогда А не принадлежит С и не включено в С. Следовательно А является элементом С - противоречие.
Sage 3 58761
>>7908 (OP)
По п.1 контрпример:
A = {1}
B = {1,2}
C = { {1,2}, {3} }
Имеем, A вложено в B, B принадлежит С, но A не принадлежит С.
4 58826
>>7909
У тебя неверное доказательство. A может являться элементом С. Например:
A = {x}
B = {x,y}
C = {{x},{x,y}}
5 58852
Последний пост, я понял что тут из того что а включено в б и б принадлежит с как элемент следует, что а принадлежит с как элемент. Т.е тут на самом деле имелось ввиду возможность того что а может принадлежать с?
6 58856
Утверждение 1) неверное.

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

Карочи, утверждение 1) верное только если А=В.
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

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