การตั้งค่าแบบโมโนโทนิคและต่อเนื่องจำเป็นต้องมีเหตุผลหรือไม่?


15

ปล่อยให้เป็นความสัมพันธ์แบบต่อเนื่องและต่อเนื่องที่เคร่งครัดและให้X = \ mathbb {R} ^ {n}เป็นชุดการบริโภค≿X=Rn

ความมีเหตุผลของ≿โดยนัยเกี่ยวกับเงื่อนไขเหล่านี้หรือไม่

ฉันคิดว่าความต่อเนื่องนั้นมีนัยมาจากความต่อเนื่อง อย่างไรก็ตามความสมบูรณ์นั้นเป็นปัญหาเนื่องจากมีองค์ประกอบx,y∈Xที่ไม่สามารถสั่งได้ด้วยความเคารพ≤หรือ≥ดังนั้นเราจึงไม่สามารถใช้คำพูดเดียวเพื่อแสดงว่า≿เสร็จสมบูรณ์

ฉันคิดว่าจะสร้างลำดับxnด้วยx1=xเช่นนั้นxn→yและxn≿xn+1หรือxn+1≿xn{n} จากนั้นด้วยความสลับซับซ้อนและความต่อเนื่องเราสามารถแสดงให้เห็นว่าxและyสามารถสั่งได้ด้วยความเคารพ≿แต่ฉันไม่คิดว่ามันเป็นไปได้ที่จะสร้างลำดับดังกล่าว

ความช่วยเหลือใด ๆ ที่จะได้รับการชื่นชม แต่โปรดให้คำแนะนำและไม่แก้ปัญหาอย่างเต็มรูปแบบ


6
โชคไม่ดีที่ความสัมพันธ์ไม่ได้เกิดจากความต่อเนื่องเท่านั้น ให้ R เป็นความสัมพันธ์ 'มีความแตกต่างน้อยกว่าหนึ่งอย่างเคร่งครัด' เกี่ยวกับจำนวนจริง R นั้นต่อเนื่อง แต่ไม่ใช่สกรรมกริยา
— Giskard

2
ฉันค่อนข้างแน่ใจว่าการตั้งค่าแบบต่อเนื่องและแบบต่อเนื่องไม่จำเป็นต้องสมเหตุสมผล
— BB King

คำตอบ:


8

พิจารณาความสัมพันธ์ในการตั้งค่าเช่นว่าและy_2R2x=(x1,x2)≿(Y1,Y2)=Y ⟺ x 2 ≥ y 2x1≥Y1x2≥Y2

1) คุณอาจต้องการที่จะโต้แย้งว่าความสัมพันธ์ในการตั้งค่านี้เป็นแบบโมโนโทนิคและต่อเนื่อง

2) ความสัมพันธ์ที่กำหนดไว้ข้างต้นสมบูรณ์หรือไม่

จากนั้นในฐานะที่เป็นเครื่องเคียงคุณอาจพิจารณาคำกล่าวอ้างของคุณว่าความต่อเนื่องเป็นสาเหตุของการเปลี่ยนแปลง

หมายเหตุ: ฉันเพิ่งเขียนบทความนี้โดยมีวัตถุประสงค์เพื่อให้การทดสอบความคิด มากขึ้นในการท้าทายความเข้าใจของคุณ ฉันไม่แน่ใจว่าตัวอย่างนี้ให้คำตอบสำหรับคำถามของคุณหรือไม่


4

คำถามก็คือว่าความมีเหตุผลนั้นมีนัยโดยความต่อเนื่องและการพูดซ้ำซาก เพื่อแสดงให้เห็นว่านี่ไม่ใช่กรณีตัวอย่างแบบโต้ตอบก็เพียงพอแล้ว ดังนั้นเราจึงมองหาความสัมพันธ์ที่ชอบด้วยความอยุติธรรม, ไม่สมบูรณ์, โมโนโทน, ต่อเนื่อง

สมมติว่า } ดังนั้นเราในรูปแบบการตั้งค่ากว่าจุดที่เส้นจาก( 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)≻(0.5,0.5)≻(0,1)≻(1,0)

ความมีเหตุผล

ความเป็นเหตุเป็นผลประกอบด้วยความสมบูรณ์และความแปรปรวนของความสัมพันธ์ที่ชอบกำหนดไว้ดังนี้:

ความสมบูรณ์

การตั้งค่าความสัมพันธ์เสร็จสมบูรณ์ถ้าสำหรับทั้งหมดเรามีx ≿ y , y ≿ xหรือทั้งสองอย่างx,Y∈Xx≿YY≿x

จึงมีความสัมพันธ์การตั้งค่ายังไม่สมบูรณ์(0.5,0.5)≿̸(0.5,0.5)

กริยา

การตั้งค่าความสัมพันธ์ที่เป็น transitive ถ้าและY ≿ Zบ่งบอกx ≿ Zx≿YY≿Zx≿Z

และ ( 0.5 , 0.5 ) ≿ ( 0 , 1 )ถือ แต่ ( 1 , 0 ) ≿ ̸ ( 0 , 1 )จึงมีความสัมพันธ์การตั้งค่าที่ไม่ได้เป็นสกรรมกริยา(1,0)≿(0.5,0.5)(0.5,0.5)≿(0,1)(1,0)≿̸(0,1)

ความต่อเนื่อง

การตั้งค่าความสัมพันธ์อย่างต่อเนื่องถ้าลำดับทั้งหมดบรรจบ( x , Y )กับ∀ ฉัน: x ฉัน ≿ Y ฉันเรามีx ≿ Y(xi,yi)i=1∞(x,y)∀i:xi≿yix≿y

ความสัมพันธ์ที่ต้องการไม่ละเมิดความต่อเนื่อง พิจารณาลำดับที่ลู่ไปx , y ที่ ลำดับเหล่านี้เท่านั้นที่สามารถเป็นเช่นนั้นx ฉัน = xและy ที่ฉัน = Yและx ≠ ปีตั้งแต่อื่น ๆ ทั้งหมดx ฉัน , y ที่ฉันจะทำไม่ได้มาบรรจบกันเพื่อx , Yหรือไม่ปฏิบัติตามx ฉัน ≿ Yฉัน แต่ชัดเจนถ้าx i ≿ yxi≿yix,yxผม=xYผม=Yx≠Yxผม,Yผมx,Yxผม≿Yผมแล้ว x ≿ Yxผม≿Yผมx≿Y

monotonicity

การตั้งค่าความสัมพันธ์ที่เป็นเสียงเดียวถ้าหมายถึงx ≿ Yx≥Yx≿Y

สัมพันธ์พิจารณาองค์ประกอบทั้งหมดของXที่เปรียบมิได้ทำให้ความสัมพันธ์การตั้งค่าเป็นเสียงเดียว≥X

ดังนั้นเราจึงมีความสัมพันธ์ที่ไม่สอดคล้องกันอย่างไม่แน่นอนโมโนโทนและต่อเนื่อง


ฉันคิดว่าแต่ถึงกระนั้นนิยามความสัมพันธ์ของคุณก็ไม่สมบูรณ์ สิ่งที่ต้องการ (0.1,0.9) หรือ (0,1) คืออะไร? (แล้วคู่อื่นล่ะ?) โดยmeanระหว่าง (0.5,0.5) และ (0,1) คุณหมายถึง∼ไหม x≤1,Y≤1⪰~
— Giskard

ขอบคุณสำหรับการชี้ให้เห็นข้อผิดพลาดการพิมพ์ เกี่ยวกับความคิดเห็นที่เหลือเกี่ยวกับการให้ความสัมพันธ์ที่ไม่สมบูรณ์: นี่คือจุดที่แน่นอน เรากำลังมองหาความสัมพันธ์ที่ชอบซึ่งเป็นอกรรมกริยา + ไม่สมบูรณ์ แต่ในเวลาเดียวกันและต่อเนื่อง หากเราเริ่มต้นด้วยความสัมพันธ์ที่พึงพอใจที่สมบูรณ์แล้วสิ่งนี้จะเอาชนะวัตถุประสงค์
— HRSE

ฉันเห็น. ดังนั้นคุณหมายถึงความสัมพันธ์จะถูกกำหนดเฉพาะที่คุณกำหนดไว้ นี่ไม่ใช่กรณีเสมอไป เช่น: 3 <5 แต่ความสัมพันธ์ก็ยังที่ฉันไม่ได้กำหนดไว้
— Giskard

ความสัมพันธ์เป็นเพียง "กำหนดที่หนึ่งกำหนดไว้" เท่านั้น อย่างเป็นทางการความสัมพันธ์เป็นส่วนย่อยของผลิตภัณฑ์คาร์ทีเซียนของชุด สำหรับคำนิยามของความสัมพันธ์ข้อกำหนดของชุดย่อยนั้นเพียงพอ ดังนั้นคุณสามารถกำหนดความสัมพันธ์ <กับจำนวนจริงเช่นนั้น <3 สิ่งนี้จะไม่สอดคล้องกับคำจำกัดความปกติ แต่มันก็เป็นข้อกำหนดที่ถูกต้องของความสัมพันธ์ (ไม่สมบูรณ์)
— HRSE

เอาล่ะฉันจะใช้ถ้อยคำใหม่ในความคิดเห็นของฉัน: ฉันคิดว่าคุณแค่ยกตัวอย่างว่าความสัมพันธ์ของคุณจะทำงานอย่างไรและไม่ใช่คำจำกัดความที่แน่นอน แต่ตอนนี้ฉันเข้าใจว่าคุณหมายถึงอะไร
— Giskard

2

กริยาของการตั้งค่าการอุทธรณ์บางความคิด "ใช้งานง่าย" ของ "ความสอดคล้องของจิตใจมนุษย์" และมันสามารถจะแย้งว่าข้อยกเว้นใด ๆ คือ "ข้อยกเว้นกฎ " และเพื่อให้เราทำมีกฎนามธรรมเพียงพอ

ในการเปรียบเทียบความสมบูรณ์นั้นเป็น "ก้าวกระโดดแห่งศรัทธา" มากกว่า มันแขวนอยู่ในอากาศอันเนื่องมาจากไม่มีอะไรเกี่ยวข้องกับสิ่งใด ( ดังนั้นคำตอบสำหรับคำถามของคุณคือไม่ ) บางทีมันอาจได้รับการสนับสนุนจากบางคำหยาบคายว่า "ถ้าคุณกดคนพอแล้วในที่สุดเขาก็จะสั่งคู่ใด ๆ ที่คุณจะวางไว้ข้างหน้าเขาแม้ว่าจะกำจัดคุณ" แต่แน่นอนในขณะที่มอง ดีในทางปฏิบัติจะไม่ทำงานในทางทฤษฎี

ดังนั้นเราแค่นิยามความสมบูรณ์ที่มีอยู่ ... ทำไม? เพื่อหลีกเลี่ยงปัญหาที่ค่อนข้างจัดการไม่ได้ตามถนน มันจะมีประโยชน์อย่างไรในการทำงานกับการตั้งค่าที่ไม่สมบูรณ์? มันมีประโยชน์แค่ไหนที่จะบอกว่า "ฉันมีรุ่นนี้มันอาจส่งผลให้มันอาจจะไม่ขึ้นอยู่กับว่าการตั้งค่าจะเสร็จสมบูรณ์หรือไม่" ... การใช้งานของมันคืออะไร? จากนั้นเราจะถูกบังคับให้มากับทางเลือกกฎการตัดสินใจ "สมมติว่าการตั้งค่าไม่ได้เสร็จสมบูรณ์แล้วถ้าคนที่พบคู่ที่เขาไม่สามารถสั่งซื้อ ... เป็น" -he ไม่สิ่งที่ ? พลิกเหรียญ? แต่สิ่งนี้จะทำให้ "ความไม่สมบูรณ์" เทียบเท่ากับความเฉยเมย ...

มีอะไรอีกบ้าง? แนวความคิดนี้อาจกระตุ้นได้มาก แต่ก็เป็นสิ่งที่ท้าทายและแน่นอนว่าการทำลายเส้นทางหากมีเส้นทางดังกล่าวอยู่จริงหรือสามารถสร้างขึ้นได้ (ในความคิดของฉันการสำรวจทางทฤษฎีต่างๆของวาไรตี้ "คลุมเครือ" พยายามหา "ทางสายกลาง" สำหรับปัญหานี้อย่างแน่นอน - ทุกที่พวกเขาพิจารณาสถานการณ์ที่บุคคลไม่ได้มีการตั้งค่าที่สมบูรณ์และไม่แข็ง "สมบูรณ์" เมื่อ "ยาก" "คู่ขึ้นมา)

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.