Вопрос в том, подразумевается ли рациональность в преемственности и монотонности. Чтобы показать, что это не так, достаточно контрпример. Поэтому мы ищем непереходное, неполное, монотонное, непрерывное отношение предпочтений.
Предположим, что . Таким образом, мы формируем предпочтения над точками линии от ( 0 , 1 ) до ( 1 , 0 ) . Рассмотрим отношение предпочтения, определяемое как ( 1 , 0 ) ≻ ( .5 , .5 ) ≻ ( 0 , 1 ) ≻ ( 1 , 0X={x≥0,y≥0:x+y=1}(0,1)(1,0) который является неполным в противном случае.(1,0)≻(.5,.5)≻(0,1)≻(1,0)
рациональность
Рациональность состоит из полноты и транзитивности отношения предпочтения, определяемого следующим образом:
завершенность
Отношение предпочтения является полным, если для всех мы имеем x ≿ y , y ≿ x или оба.x,y∈Xx≿yy≿x
, поэтому отношение предпочтения не является полным.(.5,.5)≿̸(.5,.5)
транзитивность
Отношение предпочтения является транзитивным, если и y ≿ z означают x ≿ z .x≿yy≿zx≿z
и ( .5 , .5 ) ≿ ( 0 , 1 ) выполняются, но ( 1 , 0 ) ≿ ̸ ( 0 , 1 ) , поэтому отношение предпочтения не является транзитивным.(1,0)≿(.5,.5)(.5,.5)≿(0,1)(1,0)≿̸(0,1)
непрерывность
Отношение предпочтения является непрерывным, если для всех последовательностей сходящихся к ( x , y ) с ∀ i : x i ≿ y i, мы имеем x ≿ y .(xi,yi)∞i=1(x,y)∀i:xi≿yix≿y
Отношение предпочтения не нарушает преемственность. Рассмотрим последовательность которая сходится к x , y . Эти последовательности могут быть только такими, что x i = x и y i = y , а x ≠ y , поскольку все остальные x i , y i либо не сходятся к x , y , либо не удовлетворяют x i ≿ y i . Но ясно, если x i ≿ yxi≿yix,yxi=xyi=yx≠yxi,yix,yxi≿yi тогда х ≿ у .xi≿yix≿y
Монотонность
Отношение предпочтения является монотонным, если подразумевает x ≿ y .x≥yx≿y
Отношение считает все элементы X несравнимыми, поэтому отношение предпочтения является монотонным.≥X
Таким образом, мы имеем непереходное, неполное, монотонное, непрерывное отношение предпочтений.