2014 dxdy logo

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

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




 
 Построить на бесконечном множестве отношение
Сообщение22.10.2006, 21:29 
Уже несколько часов пытаюсь построить на бесконечном множестве отношение обладающее следующими свойствами:
1. Не рефлексивно.
2. Антифлексивно.
3. Не симметрично.
4. Антисимметрично.
5. Не транзитивно.
6. Связно.
То есть обладает свойствами 2, 4, 6.
К примеру, если задать на множестве R отношение x $\phi$ y \Leftrightarrow x > y, то оно обладает свойствами 2, 4, 5, 6.
Если нельзя построить такое отношение, то почему? Спасибо.

 
 
 
 
Сообщение22.10.2006, 21:41 
Аватара пользователя
А что означает
Цитата:
6. Связно.
, и зачем два одинаковых пункта 2. и 4. ?

 
 
 
 
Сообщение22.10.2006, 21:51 
Возможно требуется построить пример отдельно для каждого случая, удовлетворяющий только соответствующему свойству. Напомните, что понимается под антисимметричностью. Тогда смогу сказать, существует ли отношение, удовлетворяющее одновременно всем условиям.

 
 
 
 
Сообщение22.10.2006, 21:58 
Спасибо исправил. Связность значит: $\forallx\inA \forally\inA (x \neq y \to x \phi y$ или  $y \phi x)$

Добавлено спустя 6 минут 2 секунды:

Aнтисимметричность значит: $x \phi y$ или  $y \phi x \to x=y $ или равносильное определение $x \phi y$ и $x \neq y \to \overline{y \phi x}$

 
 
 
 
Сообщение22.10.2006, 22:02 
Тогда, можете разделить R на 3 подмножества A=(-00,0), B=[0,1],C=(1,00). На каждом подмножестве отношение совпадает с отношением < и A<B<C, C<A (точнее для двух элементов из соответствующих подмножеств).

 
 
 
 
Сообщение23.10.2006, 11:04 
Humming Bird писал(а):
Спасибо исправил. Связность значит: $\forallx\inA \forally\inA (x \neq y \to x \phi y$ или  $y \phi x)$

Добавлено спустя 6 минут 2 секунды:

Aнтисимметричность значит: $x \phi y$ или  $y \phi x \to x=y $ или равносильное определение $x \phi y$ и $x \neq y \to \overline{y \phi x}$


В определении антисимметричности должно стоять И Иначе имеем:
$x \neq y \to x \phi y$ или  $y \phi x\to x=y $

А избавиться от транзитивности в отношении порядка можно, например, так: Пусть $ \Omega $ -- мн-во точек окружности. Положим для любых точек X и Y : $ x \phi y  \leftrightarrow$ 0< XOY < \pi $, где (О -центр окр-ти, XOY - угол) Вроде все подходит

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


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