1
สัจพจน์อ่อนแอของการตั้งค่าที่เปิดเผย
บางทีนี่อาจเป็นความจริงที่รู้จักกันดีว่าฉันมองข้ามหรือลืมไปแล้ว แต่ฉันพบว่าตัวเองอยากรู้อยากเห็นเมื่อเร็ว ๆ นี้หากมีข้อสรุปใด ๆ เกี่ยวกับ WARP ที่ถือครองมิติที่แตกต่างกันสำหรับโครงสร้างตัวเลือกที่กำหนด ดังนั้นถ้าฉันมีฟังก์ชั่นยูทิลิตี้ตัวแทน $ N $, $ L $ สินค้าและเวกเตอร์ราคาใน $ R ^ L _ + $, และฉันต้องการตรวจสอบว่า WARP เก็บที่นี่หรือไม่, มันเพียงพอที่จะคิดว่า $ L = 2 $ และพิสูจน์ WARP ความหมายมันเป็นความจริงหรือไม่ถ้าหาก WARP มีราคา $ L = 2 $ มันก็จะเท่ากับ $ L = N $, $ N …