2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2, 3, 4, 5, 6  След.
 
 Как определить "не принадлежит"?
Сообщение01.12.2012, 22:52 
В основе теории множеств лежат первичные понятия: множество и отношение быть элементом множества.
http://ru.wikipedia.org/wiki/%D2%E5%EE%F0%E8%FF_%EC%ED%EE%E6%E5%F1%F2%E2
Обозначается так: $a\in A$ (элемент $a$ принадлежит множеству $A$).
При определении понятия "дополнение множества $A$" (обозначается $A^c$) используется символ $\notin$.
Смотреть http://ru.wikipedia.org/wiki/%D0%94%D0%BE%D0%BF%D0%BE%D0%BB%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%B0#.D0.94.D0.BE.D0.BF.D0.BE.D0.BB.D0.BD.D0.B5.D0.BD.D0.B8.D0.B5_.D0.BC.D0.BD.D0.BE.D0.B6.D0.B5.D1.81.D1.82.D0.B2.D0.B0
$A^c= \{x\in X \land x\notin A\}$, где $A\subset X$
Что означает символ $\notin$? Нигде предварительно он не определяется. Значит ли это, что понятие "не принадлежит" вводится аксиоматически?

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение01.12.2012, 23:24 
Аватара пользователя
Ну Вы нашли, где смотреть. Посмотрите у Бурбаков в "Теории множеств" в параграфе о коллективизирующих соотношениях. Там чётко сказано: Соотношение "не $(T\in U)$" записывается как $(T\notin U)$

Нарочно глянул: и у Куратовского, и у К-Ф в функане так же чётко прописано об этом знаке.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение02.12.2012, 13:26 
gris в сообщении #652701 писал(а):
Там чётко сказано: Соотношение "не $(T\in U)$" записывается как $(T\notin U)$


А почему не так: "не $(T\in U)$" записывается как $T$$\in$"не $U$" или "не $T$"$\in$$U$? А может быть "не $T$"$\in$"не $U$"!
В любом случае, надо обосновать появление частицы "не". В теории множеств вроде не предполагается использование понятия "отрицание".

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение02.12.2012, 13:38 
Аватара пользователя
Побережный Александр в сообщении #652917 писал(а):
А почему не так: "не $(T\in U)$" записывается как $T$ $\in$"не $U$" или "не $T$"$\in$ $U$? А может быть "не $T$"$\in$"не $U$"!
$T\notin U$ - это сокращение для формулы $\neg(T\in U)$. А "не $T$" и "не $U$", то есть, "$\neg T$" и "$\neg U$", - бессмысленные последовательности символов.
Вообще, судя по Вашим вопросам, Вы не умеете логически рассуждать.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение02.12.2012, 13:58 
Аватара пользователя
Побережный Александр в сообщении #652917 писал(а):
В теории множеств вроде не предполагается использование понятия "отрицание"

То есть в теории множеств запрещено формулировать утверждения типа "не существует множества ... " , к примеру, пустого и не пустого одновременно?

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение02.12.2012, 14:07 
Аватара пользователя
Мне кажется, что ТС пеняет Википедии на недостаток строгости и последовательности. Но так она и не претендует на полноту и логическую стройность изложения, являясь энциклопедией, но не учебником. В любом достаточно серьёзном учебнике (курсе) все обозначения определены до их использования, да и то можно придраться, если одолевает. В энциклопедии же нет упорядоченного расположения статей, и некоторые общепринятые обозначения могут вообще не определяться или определяться совершенно в ином разделе.
Впрочем, в учебнике Хаусдорфа, например, спорный символ, по-моему, не используется. Но "отрицание утверждения" относится к математической логике, которая. Ну не буду залезать.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение02.12.2012, 14:26 
Аватара пользователя
Побережный Александр в сообщении #652917 писал(а):
В теории множеств вроде не предполагается использование понятия "отрицание"
Чушь какая. Отрицание - это логическое понятие. Теория множеств на 100% использует классическую логику, в том числе - и отрицание.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 00:40 
Someone в сообщении #652925 писал(а):
Побережный Александр в сообщении #652917 писал(а):
А почему не так: "не $(T\in U)$" записывается как $T$ $\in$"не $U$" или "не $T$"$\in$ $U$? А может быть "не $T$"$\in$"не $U$"!
$T\notin U$ - это сокращение для формулы $\neg(T\in U)$. А "не $T$" и "не $U$", то есть, "$\neg T$" и "$\neg U$", - бессмысленные последовательности символов.

Уважаемый Someone, почему такая избирательность:
"НЕ принадлежит" - допустимо,
а "НЕ множество" - запрещено. Хотя и "множество" и "принадлежность" базовые понятия в теории множеств.
Я просто пытаюсь разобраться в теме, поскольку пока не могу найти ответ для себя. Если есть возможность, объясните свою точку зрения.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 00:52 
Аватара пользователя
А что могло бы значить «не множество», коль скоро теория множеств только ими и занимается?

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 01:35 
Аватара пользователя
Побережный Александр в сообщении #653322 писал(а):
почему такая избирательность:
"НЕ принадлежит" - допустимо,
а "НЕ множество" - запрещено.
А Вы не догадываетесь, что у Вас во втором случае пропущен глагол-связка "есть"? И если там указать некий объект $A$, то получится высказывание "$A$ не есть множество", которое является отрицанием высказывания "$A$ есть множество"? И что это совсем не то же самое, что бессмысленное отрицание объекта $A$?

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 10:13 
А такие высказывания будут корректны?
"А не есть множество В" или "А есть НЕ множество В".
"НЕ множество В" - это любое другое множество, кроме В.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 10:39 
Аватара пользователя

(Оффтоп)

Побережный Александр в сообщении #653401 писал(а):
А такие высказывания будут корректны?"А не есть множество В"

Корректно будет $A$ не ест множество $B$ :D
Побережный Александр в сообщении #653401 писал(а):
"НЕ множество В" - это любое другое множество, кроме В

А почему бы тогда даже и не множество? И вообще все эти изыски математикой даже не пахнут - просто рюсская языка учить надо.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 16:19 
Bot, на самом деле я как раз и пытаюсь сформировать математически выверенный текст. Насколько я понял из слов Someone, частица "не" совсем не означает "отрицание". "Не" перед множеством - это не правильно. А чтобы было правильно необходимо бытовой текст переформулировать на математически правильный.
Например, бытовая речь "Москва - это столица" или "Новгород - это не столица".
По-математически, "Москва есть столица" и "Новгород не есть столица", а вариант "Новгород есть не столица" категорически отвергается. Этот нюанс я как раз и не могу уловить. Что мешает использовать вариант "не столица" в математическом варианте?

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение03.12.2012, 18:14 
Тонкое различие в семантике русского языка, по моему, можно показать скобками:
Побережный Александр в сообщении #653401 писал(а):
"А не есть множество В" или "А есть НЕ множество В".
"А не есть множество В" = "A не есть (множество В)"

"А есть НЕ множество В", на мой взгляд, неоднозначно, и может означать как "А есть НЕ (множество В)", так и "А есть (НЕ множество) В".
Первый вариант совпадает с "А не есть множество В", а второй - нет. Причём, мне кажется, второй вариант понимания более правилен.

Побережный Александр в сообщении #653401 писал(а):
"НЕ множество В" - это любое другое множество, кроме В.
..., или объект другого класса (не множество) под именем B.

 
 
 
 Re: Как определить "не принадлежит"?
Сообщение04.12.2012, 13:30 
Получается, что объект "не множество" нельзя определить. Соответственно, был введен запрет на операцию "отрицание" для множеств. Операция "дополнение множества" есть некоторый аналог операции "отрицания" для множеств, если я все верно понял.
Только с "дополнением" тоже возникают вопросы.
Есть конечное множество К. Множество А является подмножеством К. Для множества К всегда можно построить булеан М. Булеан - это множество всех подмножеств множества К. Но А является подмножеством и булеана М. Теперь когда мы говорим о дополнении множества А, то не ясно о каком дополнении идет речь. То ли в множестве К, то ли в булеане М.
Чтобы различать эти дополнения, предлагаю дополнение в булеане М называть "отрицанием множества А". :D

 
 
 [ Сообщений: 76 ]  На страницу 1, 2, 3, 4, 5, 6  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group