शुरू करने के लिए, मुझे लगता है कि प्रश्न गलत कहा गया है। यदि एक पतली उदासीनता वक्र की परिभाषा ऐसी है कि एक उपभोक्ता की वरीयताओं की निरंतरता पतली उदासीनता घटता है, तो, निश्चित रूप से, निरंतरता पतली उदासीनता घटता है ... यह आपके सवाल का जवाब देता है।
हालांकि, अगर हम एक पतली उदासीनता वक्र का एक उपयुक्त परिभाषा बनाने के लिए कर रहे हैं, हम सबसे पहले कह सकते हैं कि एक है मोटी उदासीनता वक्र, जहां Δ संभव बंडलों का सेट है, और जहां ~ अर्थ है उदासीनता, जब भी वहाँ एक से मौजूद है क्ष ' ∈ [ q ] और एक ε > 0 ऐसी है कि पी ∈ एन ε ( क्ष ' ) तात्पर्य p ∼
[ क्ष] = { पी ∈ Δ | p ∼ क्ष}
Δ~क्ष'∈ [ क्ष]ϵ > ०पी ∈ एनε( क्यू') है, जहां
एन ε ( क्ष ' ) के आसपास कुछ एप्सिलॉन-पड़ोस है
क्ष ' ; और दूसरी बात यह है कि
[ q ] एक
मोटीउदासीनता वक्र है यदि यह मोटी नहीं है। बोलचाल की भाषा में इसका मतलब है कि एक मोटी उदासीनता वक्र
[ q ] पर कुछ टक्कर है, लेकिन पतली उदासीनता वक्र पर ऐसा कोई टक्कर नहीं है।
p ∼ क्ष'एनε( क्यू')क्ष'[ क्ष][ क्ष]
अनिवार्य रूप से, उपरोक्त ए जियोमेट्रिक दृष्टिकोण से अपेक्षित उपयोगिता (चटर्जी और कृष्णा, 2006) का एक छोटा सा विवरण है । एक पतली उदासीनता वक्र की उपरोक्त परिभाषा का उपयोग करते हुए, वे लेम्मा 2.3 में दिखाते हैं कि (i) निरंतरता और (ii) स्वतंत्रता का अर्थ है पतली उदासीनता घटता है (ध्यान दें कि वे यह नहीं दिखाते हैं कि निरंतरता पतली उदासीनता घटता है; cf. Ubiquitous 'answer) । उनकी परिभाषा निम्नलिखित दो सामयिक अवधारणाओं पर निर्भर करती है।
- निरंतरता की धारणा। सभी उपसमुच्चय और { क्ष | पी ≻ क्ष } की Δ , जहां पी ∈ Δ , खुले हैं; यहाँ, याद रखें कि एक खुला सेट एक ऐसा सेट है, जिसके लिए प्रत्येक बिंदु के पास उस सेट में एक पड़ोस पड़ा होता है। इस प्रकार, निरंतरता की यह धारणा आपके समान है।{ क्ष| क्ष≻ पी }{ क्ष| p≻क्ष}Δपी ∈ Δ
- स्वतंत्रता की धारणा। सभी के लिए , पी ≻ क्ष और λ ∈ ( 0 , 1 ] कि तात्पर्य
λ पी + ( 1 - λ ) आर ≻ λ क्ष + ( 1 - λ ) आर ; यह कुछ अच्छा बीजगणित के लिए अनुमति देता है।पी , क्यू, आर ∈ Δp ≻ क्षλ ∈ ( 0 , 1 ]
λ पी + ( 1 - λ ) आर । λ क्यू+ ( 1 - λ ) आर ;
अब, क्या वे लेम्मा 2.3 में दिखाने के अनिवार्य रूप से यह है कि अगर आप एक उदासीनता की अवस्था और कुछ एप्सिलॉन-पड़ोस पर विचार एन ε ( क्ष ' ) के आसपास क्ष ' ∈ [ क्यू ] , तो पी ∈ एन ε ( क्ष ' ) होगा कि संकेत नहीं पी ~ क्ष ' मनमाने ढंग से छोटे के लिए ε > 0 । यानी, हालांकि, छोटा, कोई एप्सिलॉन-पड़ोस ऐसा नहीं है, जिसमें केवल बंडल होते हैं, जिसके लिए एक उन बंडल और q के बीच उदासीन होता है।[ क्ष]एनε( क्यू')क्ष'∈ [ क्ष]पी ∈ एनε( क्यू')p ∼ क्ष'ϵ > ० । इसके बजाय, हर एप्सिलॉन-पड़ोस अंक कि सख्ती से करने के लिए पसंद कर रहे हैं शामिल होंगे क्ष ' ।क्ष'क्ष'
निरंतर उपयोगिता कार्यों के लिए, मुझे लगता है कि यह नोट करना फलदायक है कि उदाहरण के लिए में उनकी छवि (Lebesgue) माप 0 है (cf. कैसे साबित करें कि R 2 में निरंतर वक्र की छवि का माप 0 है ? )आर2आर20