2014 dxdy logo

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

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




 
 Открытое множество – объединение интервалов
Сообщение14.09.2014, 04:43 
Доказательство факта в книге Дьяченко-Ульянова: http://bookre.org/reader?file=441801&pg=41

Не поняла, почему введенное там отношение ($A$ - открытое множество в $\mathbb R$, $x \sim y$ если $(x,y)\subset A$) называется отношением эквивалентности, а именно, откуда берутся симметричность и транзитивность:
1) Если интервал $(x,y)\subset A$, то $(y,x)\subset A$?
2) Если $(x,y)\subset A$ и $(y,z)\subset A$, то $(x,z)\subset A$?

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 04:52 
Аватара пользователя
Сдается мне, что под интервалом $(x,y)$ надо понимать (в этом контексте) $\bigl(\min(x,y), \max(x,y)\bigr)$. Тогда $(x,y)$ и $(y,x)$ - одно и то же.

А вот с транзитивностью правда непонятно: если $A = \mathbb{R}\setminus\{0\}$, $x=-1, y=0, z=1$, то $(x,y) \subseteq A$, $(y,z) \subseteq A$, но $(x,z)$ не является подмножеством $A$.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 07:04 
popolznev в сообщении #907529 писал(а):
А вот с транзитивностью правда непонятно: если $A = \mathbb{R}\setminus\{0\}$, $x=-1, y=0, z=1$, то $(x,y) \subseteq A$, $(y,z) \subseteq A$, но $(x,z)$ не является подмножеством $A$.
Некорректный контрпример: речь идёт об отношении эквивалентности на множестве $A$, а $y=0$ не принадлежит $A$.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 07:17 
В книге ошибка. Должно быть так:
$x \sim y$ если существует интервал $(a,b)\subset A$ такой, что $x, y \in (a, b)$

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 07:33 
Некорректное использование термина "интервал". Правильнее использовать термин "подмножество" или "отрезок".

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 07:54 
Evgenjy в сообщении #907535 писал(а):
В книге ошибка. Должно быть так:
$x \sim y$ если существует интервал $(a,b)\subset A$ такой, что $x, y \in (a, b)$
Ошибки нет. Это ровно то же самое отношение эквивалентности.
Skeptic в сообщении #907536 писал(а):
Некорректное использование термина "интервал".
Ничего подобного.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 09:04 
nnosipov в сообщении #907539 писал(а):
Ошибки нет. Это ровно то же самое отношение эквивалентности.

Тогда любые две точки множества эквивалентны. Пусть $x, y \in A$ и $x\ge y$, тогда интервал $(x,y)\subset A$, как пустое множество.

Dandeliona в сообщении #907527 писал(а):
Не поняла, почему введенное там отношение ($A$ - открытое множество в $\mathbb R$, $x \sim y$ если $(x,y)\subset A$) называется отношением эквивалентности

Dandeliona! Чтобы Вам не ломать голову над пестротой мнений этого обсуждения откройте авторитетную книгу: Колмогоров и Фомин "Элементы теории функций..." , глава вторая, параграф второй, пункт 5.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 09:52 
Аватара пользователя
nnosipov в сообщении #907534 писал(а):
popolznev в сообщении #907529 писал(а):
А вот с транзитивностью правда непонятно: если $A = \mathbb{R}\setminus\{0\}$, $x=-1, y=0, z=1$, то $(x,y) \subseteq A$, $(y,z) \subseteq A$, но $(x,z)$ не является подмножеством $A$.
Некорректный контрпример: речь идёт об отношении эквивалентности на множестве $A$, а $y=0$ не принадлежит $A$.
Ах, да, на множестве $A$, вы правы.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 10:30 
Evgenjy в сообщении #907547 писал(а):
Тогда любые две точки множества эквивалентны. Пусть $x, y \in A$ и $x\ge y$, тогда интервал $(x,y)\subset A$, как пустое множество.
Этот момент уже комментировали:
popolznev в сообщении #907529 писал(а):
Сдается мне, что под интервалом $(x,y)$ надо понимать (в этом контексте) $\bigl(\min(x,y), \max(x,y)\bigr)$. Тогда $(x,y)$ и $(y,x)$ - одно и то же.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 13:51 
nnosipov в сообщении #907539 писал(а):
Skeptic в сообщении #907536 писал(а):
Некорректное использование термина "интервал".
Ничего подобного.

Интервал имеет строгое определение (см. учебники). Его надо знать, а не фантазировать.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 14:08 
nnosipov в сообщении #907563 писал(а):
Этот момент уже комментировали:

Известны и другие, правильные, способы как исправить указанную ошибку.

 
 
 
 Re: Открытое множество – объединение интервалов
Сообщение14.09.2014, 19:39 
Аватара пользователя
 !  Skeptic, Evgenjy, обоим по замечанию за бессодержательные сообщения.

 
 
 [ Сообщений: 12 ] 


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