Açıklanmış tercih ve seçim tutarlılığının zayıf aksiyomu - nasıl eşdeğer olduklarını gösterme


2

ve B ' nin alt kümeleri ailesinin unsurlarıdır XBBX

ÇÖZGÜ
her çifti için, ve eğer X C ( B ) , daha sonra ise y C ( B ' ) , X şart C ( B ' ) .x,yBBxc(B)yc(B),xc(B).

Seçim Tutarlılık
çok çifti için ve eğer X C ( B ) ve y c ( B ) , daha sonra y gerekir c ( B ' ) .x,yBBxc(B)yc(B)yc(B).

Bu iki eşdeğer mi. Evet ise, nasıl ispatlayabiliriz?


1
Bunu kendi yöntemleriyle kanıtlamaya çalışmalısın ya da en azından çabayı göstermelisin, bu bir ev ödevi sorusu gibi görünüyor.
user157623

Yanıtlar:


1

Evet, eşdeğerdir. İşte çelişkiyle resmi bir kanıt.

B,Bx,yBBxc(B)yc(B)yc(B)

yc(B)xc(B)yc(B)

B,Bx,yBBxc(B),yc(B)xc(B)

yc(B)xc(B)xc(B)


2
Bu bir ev ödevi sorusu gibi görünüyor.
Giskard

Hayır, bu MWG ve Kreps'teki tanımların farklı versiyonlarından kaynaklanıyordu. Eski, bu açıklayıcı tercihin zayıf aksiyomu olarak bahsederken Kreps, seçim tutarlılığı diyor. Sadece ekonomik olarak ikisinin de aynı anlama geldiğini anladığımdan emin olmak istedim. Şimdilik kendi kendine çalışma yapmak, insanlar bu kavramları uygulamak ve geliştirmek için bazı iyi kaynaklara işaret edebilirlerse iyi olurdu.
subrat

0

Yeni Kreps bu konuda net! Seçim tutarlılığı ve WARP çelişkilidir.

Seçim tutarlılığından başlayarak, karşıtlığı şöyle yazın:

Tüm x için, B ve B 'deki y,

C (B ')' de y = = değil {[C (B) 'de x]] ve [y C (B)' de değil]}

hangi eşdeğer

C (B ')' de y => [x C (B) 'de yok] veya [C (B)' de y]

Eğer x, C (B) 'de ise, y C (B)' de olmalıdır.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.