Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Последний раз редактировалось Roman_T 27.09.2019, 12:24, всего редактировалось 1 раз.
Встретилось тут в видеолекции: "Каждое множество является собственным подмножеством". По-моему неудачно сказано. Или норм?
Aritaborian
Re: Каждое множество является своим подмножеством
27.09.2019, 12:27
Конечно, неудачно. Приводит к путанице.
gris
Re: Каждое множество является своим подмножеством
27.09.2019, 12:54
а заголовок темы вполне удачен
worm2
Re: Каждое множество является своим подмножеством
27.09.2019, 15:06
Последний раз редактировалось worm2 27.09.2019, 15:07, всего редактировалось 1 раз.
Это уже больше на ФизМатЮмор похоже Каждое множество является своим подмножеством, является собственным подмножеством, но не является своим собственным подмножеством.
mihaild
Re: Каждое множество является своим подмножеством
27.09.2019, 15:21
Последний раз редактировалось mihaild 27.09.2019, 15:21, всего редактировалось 1 раз.
Каждое множество является (своим собственным) подмножеством, но не является своим (собственным подмножеством). А я давно говорил - в естественном языке очень не хватает скобок.
Каждое множество... является собственным подмножеством
А правильно я понимаю, что это отдельная теорема, причём не совсем тривиальная?
arseniiv
Re: Каждое множество является своим подмножеством
27.09.2019, 18:50
Последний раз редактировалось arseniiv 27.09.2019, 18:52, всего редактировалось 1 раз.
I see what you did there. Тривиальная по крайней мере в присутствии аксиомы регулярности. Тогда мы знаем, что , потому собственное подмножество .
-- Пт сен 27, 2019 20:52:09 --
Вот ради таких вещей эту аксиому и терпят, как я понимаю.
mihaild
Re: Каждое множество является своим подмножеством
27.09.2019, 21:15
Последний раз редактировалось mihaild 27.09.2019, 21:16, всего редактировалось 1 раз.
Да и без регулярности легко: множество всех элементов , не содержащих себя в качестве элемента, не принадлежит (если взять аксиому регулярности, то это как раз и получится).