推 washburn:感謝分享! 11/07 07:08
※ 引述《toysrus (城主)》之銘言：
: 這樣的想法是倒果為因的
: 並不是因為我們希望效用函數有什麼性質 而回過頭去假設偏好有什麼性質
這是公理系統的建構方式，先有許多定理及性質，再回過頭找可演繹出這些定理的
基本性質，把他們當作假設或公理，這無所謂倒果為因吧。不然就是，倒果為因是
理論建構的正常現象。
在經濟學裡，許多極強的偏好假設其合理性來源都是如此。
像是傳遞性，單就性質來看，絕對是一個極強的假設
A=B B=C .......Y=Z
所以一杯清水=加一滴紅酒的清水=加兩滴紅酒的水 ......=滿杯紅酒
純就假設來看是不合理的，但因為需要這個假設 才能讓效用函數與實數系一致
所以才使用該假設
而偏好本身並無法提供充足的理由說明其合理性
: 所謂的偏好連續性 指的是偏好不應該有跳動(jump)
: 亦即 如果一個序列 (Xn,Yn) 對所有的 n
: Xn 弱優於(weakly prefer) Yn 且Xn→X Yn→Y
偏好本身應該只包括二元排序，不需要有商品空間上的metric（距離概念）
但這邊不論妳用極限、或開集去定義連續都需要有metric的想法
不然無所謂很靠近和收斂
可是這個假設等於要agent能比商品間的距離，甚至還要滿足三角不等式
這可不是偏好結構本身該有的性質
那是為了效用函數在實數系上操作方便，所增列的假設
再來，假設如果我有一商品空間是W，有一組頗合理的二元排序，但沒有W上的距離概念，
這時W可以是一組合理的偏好嗎？
如果可以是，那這時候(1)在缺乏距離的W上能談連續嗎？
如果不能，為什麼連續會是偏好本身該有的性質？
又，那兩個定義都把W上的點擺在R^n上
照理說，這只是個更名的動作，用R^n上的地址取代原來商品的名稱
而任意的一對一更名都應該不影響其偏好的性質
但為什麼他們居住的地址會跟它們之間的排序有關係（住很近的排序要很像）
如果不是為了讓效用函數易於操作，我也想不太出理由為什麼要這樣....
我為什麼不能把商品排序差異大的排在一起，讓他們跳來跳去
一點想法及疑問 請指正
: 則偏好的連續性質要求 X 也弱優於Y (見MWG, p46, Def 3.C.1)
: 這樣定義告訴我們 若 Xn 弱優於 Y (亦即 Xn 屬於 upper contour set)
: 則 X 也弱優於 Y (亦即 X 也屬於 upper contour set)
: 而這正是 closed set 的定義
: 同理可証 lower contour set 亦為 closed set
: 反之可證 若upper contour set 與 lower contour set 均為 closed set
: 則偏好滿足上述定義
: 因此 ninmit大提到 upper contour set 與 lower contour set
: 均為 closed set 的定義其實就是偏好連續性的等價敘述(iff)
: ※ 引述《onechina ()》之銘言：
: : 我想妳要問的是為什麼要這樣定義吧
: : 我們起始關心的是偏好，不是實數，但偏好難以操作，所以想把它透過效用函數
: : 轉成實數，而且希望這個效用函數有好的函數上的性質，如連續!
: : 那就需要對偏好做一些假設，希望他對應的效用函數會有連續的性質
: : (1) 當{x:x>=y}是closed，表示對應效用函數會有上連續upper-semicontinuous(usc)
: : (2) 當{x:x<=y}是closed，表示對應效用函數會有下連續lower-semicontinuous(ulc)
: : 兩個加起來，就有連續效用函數了（前提是偏好要有自反性、遞移、完整)
: : 稍微解釋一下，
: : u(.)在x usc 的意思是 對任意ε>0
: : 都存在一半徑為r的開集N(x,r) 使得 u(y)<u(x)+ε對所有y屬於N(x,r)^X ^是交集符號喔
: : u(.)在x lsc 的意思是 對任意ε>0
: : 都存在一半徑為r的開集N(x,r) 使得 u(y)>u(x)-ε對所有y屬於N(x,r)^X
: : (1)的說明：
: : 假設{x:x>=y}是closed，以及u在某個點x上不是usc
: : 那麼存在ε，對任意r，都存在y屬於N(x,r)^X 使得 u(x)+ε<=u(y)
: : 把r設成1/n 並把這些y取成一個序列yn，那麼這個序列的極限就會是x
: : 因為{x:x>=y}是closed，所以x滿足u(x)+ε<=u(x)
: : 矛盾!
: : 就知道{x:x>=y}保證u(.)上連續
: : (2)也一樣
: : usc + lsc 保證連續 應該不用解釋吧
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.200.9
※ 編輯: onechina 來自: 140.112.200.9 (11/06 13:20)
※ 編輯: onechina 來自: 140.112.200.9 (11/06 13:21)