xpy xry & ~yrx xiy xry & yrx

Σχετικά έγγραφα
פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

Logic and Set Theory for Comp. Sci.

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

x a x n D f (iii) x n a ,Cauchy

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

{ : Halts on every input}

ל הזכויות שמורות לדפנה וסטרייך

רשימת משפטים והגדרות

גבול ורציפות של פונקציה סקלרית שאלות נוספות

חורף תש''ע פתרון בחינה סופית מועד א'

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

מתמטיקה בדידה תרגול מס' 5

תורת הקבוצות תרגיל בית 2 פתרונות

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

תרגיל 13 משפטי רול ולגראנז הערות

הגדרה: מצבים k -בני-הפרדה

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

אינפי - 1 תרגול בינואר 2012

gcd 24,15 = 3 3 =

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )


קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

מתמטיקה בדידה תרגול מס' 13

אלגברה ליניארית (1) - תרגיל 6

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

גמישויות. x p Δ p x נקודתית. 1,1

מודלים חישוביים תרגולמס 5

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

תורת הקבוצות ניר אדר ניר אדר.

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

אלגברה מודרנית פתרון שיעורי בית 6

חשבון אינפיניטסימלי 1

לוגיקה ותורת הקבוצות למדעי המחשב הרצאות

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

אלגברה לינארית (1) - פתרון תרגיל 11

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

אוסף שאלות מס. 3 פתרונות

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות.

קיום ויחידות פתרונות למשוואות דיפרנציאליות

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME

logn) = nlog. log(2n

תרגול מס' 1 3 בנובמבר 2012

ויעילות הוצאת * החומר * 1

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

הרצאה. α α פלוני, וכדומה. הזוויות α ל- β שווה ל-

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

סדרות - תרגילים הכנה לבגרות 5 יח"ל

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

פרק 8: עצים. .(Tree) במשפטים הגדרה: גרף ללא מעגלים נקרא יער. דוגמה 8.1: תרגילים: הקודקודים 2 ו- 6 בדוגמה הוא ).

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד

אלגברה ליניארית 1 א' פתרון 7

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

סרוקל רזע תרבוח 1 ילמיסיטיפניא ןובשח

שאלה 1 V AB פתרון AB 30 R3 20 R

אלגברה לינארית 1 יובל קפלן

התפלגות χ: Analyze. Non parametric test

פולינומים אורתוגונליים

אלגברה לינארית מטריצות מטריצות הפיכות

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

אינפי 1 פרופ י. בנימיני אביב תש ע

The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

אוטומטים- תרגול 8 שפות חסרות הקשר

חדוו"א 2 סיכום טענות ומשפטים

רשימת בעיות בסיבוכיות

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

מתמטיקה בדידה תרגול מס' 12

מבני נתונים מבחן מועד ב' סמסטר חורף תשס"ו

אלגברה ליניארית 1 א' פתרון 2

C.C Ωשרשרת. Eחסומה. E אם לכל x Rb x E

בסל A רמת התועלת היא: ) - השקה: שיפוע קו תקציב=שיפוע עקומת אדישות. P x P y. U y P y A: 10>6 B: 9>7 A: 5>3 B: 4>3 C: 3=3 C: 8=8 תנאי שני : מגבלת התקציב

אלגברה ליניארית 1 א' פתרון 11

ביטויים רגולריים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353) הרצאה 5

3-9 - a < x < a, a < x < a

תרגול פעולות מומצאות 3

סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך.

תורת ההסתברות 1 יובל קפלן סיכום הרצאות פרופ יורי קיפר בקורס "תורת ההסתברות 1" (80420) באוניברסיטה העברית,

ניתן לקבל אוטומט עבור השפה המבוקשת ע "י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות:

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

n x 2 i x i x 2 i 1 x i A n = אשר מייצגים את השטח של איחוד של מלבנים, במקרה אחד החוסמים את הגרף מבחוץ, ובמקרה השני אשר חסומים בתוך הגרף.

פרק 5 טורי חזקות 5.5 טור לורן. (z z 0 ) m. c n = 1. 2πi γ (ξ z 0 ) n+1dξ, .a 1 = 1 f(z)dz בפרט,.a 2πi γ m וגם 0 0 < z z 0 < r בעיגול הנקוב z.

לוגיקה למדעי המחשב ניצן פומרנץ 25 ביוני 2015

Transcript:

האם קיים קשר בין העדפה ובחירה? ההנחה שקיים קשר הדוק בין מערכת ההעדפות של היחידה הכלכלית ובין התנהגותה המתבטאת בבחירה בין האפשרויות העומדות בפניה מקובלת מאד בתיאוריה הכלכלית. למעשה הנחת העבודה הבלעדית בניתוח ההתנהגות של היחידה הכלכלית היא שאפשר לייחס לה מערכת העדפות כך שהיא בוחרת באפשרות מועדפת ביותר על פי אותה מערכת העדפות. מן הראוי לציין שבהנחה זו המכונה עקרון הרציונאליות מערכת ההעדפות המיוחסת ליחידה הכלכלית איננה אלא כלי ) קונסטרוקציה תיאורטית ( המאפשר מתן הסבר וניבוי להתנהגותה. הקיום של קשר הדוק כזה בין העדפה ובחירה איננו הכרחי. יתכן שמערכת ההעדפות איננה מוגדרת ובכל זאת קיימת בחירה. יתכן שמערכת ההעדפות מוגדרת אך היא איננה מתיישבת עם הבחירה. ויתכן כי למושג ההעדפה כלל אין משמעות כמו למשל במקרה של קבוצה של פרטים העומדים בפני בחירה קבוצתית. הפרק הנוכחי מוקדש להצגה פורמאלית של המושגים העדפה ובחירה ולהבהרת הקשר ביניהם. בפרט נשיב על שתי שאלות: מהן התכונות ההכרחיות של מערכת העדפות המבטיחות את קיומה של בחירה המתיישבת עם אותה מערכת העדפות ) מוּנעת על ידה )? ( מהן התכונות ההכרחיות של בחירה המבטיחות שאפשר להתייחס אליה כמתיישבת עם מערכת העדפות כלשהי (מוּנעת על ידה)? (2 בחירה מוּנעת-העדפה בכל הקשר של העדפה ובחירה המושגים הראשוניים הם קבוצה של אפשרויות X ויחס העדפה R המוגדר עליה. בפרק זה נניח כי X היא קבוצה סופית ונסמן את אבריה הטיפוסיים ב- xyz וכדומה. יחס ההעדפה R היחס "עדיף מ- או שקול ל-" מאפשר השוואה בין זוגות ) לאו דווקא כל הזוגות ( של אפשרויות. את הקביעה שאפשרות x עדיפה מ- או שקולה לאפשרות y נרשום בצורה מקוצרת כך: xry. מהיחס R מתקבלים היחס P "עדיף מ-" והיחס I "שקול ל-" כך: xpy xry & ~yrx xiy xry & yrx ) משמעות הסימון: ~yrx היא: "לא מתקיים.(yRx נסמן ב- χ את קבוצת כל תתי הקבוצות הלא ריקות של X

{ S X : } χ = S φ בהינתן יחס העדפה R ותת-קבוצה של אפשרויות S השייכת ל- χ נגדיר את קבוצת המקסימום המתאימה ל- (R כך: M(R = { x ε S : y ε S xry } M(R כוללת את האפשרויות הטובות ביותר ב- S על פי יחס ההעדפה R. מקובל לכנות את ו- R S שטבעי להניח שבהינתן מאחר S ול- בשם קבוצת הבחירה המתאימה ל- R M(R האפשרויות הנבחרות הן אלו הכלולות ב- M(R. כלומר מקבל ההחלטות בוחר מבין האפשרויות העומדות לפניו את האפשרות הטובה ביותר מבחינתו. הנחה זו המקובלת בתחום הכלכלה ובמידה מסוימת גם במדעי החברה האחרים נקראת בשם עיקרון הרציונאליות. דפוס ההתנהגות הנובע ממנה נקרא בשם התנהגות רציונאלית. השאלה הראשונה בה נדון היא: מהן התכונות ההכרחיות של יחס ההעדפה R המבטיחות שבהינתן תת- קבוצה כלשהי של אפשרויות S קבוצת הבחירה M(R היא לא ריקה?. xrx רפלקסיביות: יחס ההעדפה R הוא רפלקסיבי אם כל אפשרות x עדיפה מ- או שקולה לעצמה דהיינו שלמות: יחס ההעדפה R הוא שלם אם לכל שתי אפשרויות שונות x ו- y x עדיפה מ- או שקולה ל- y. yrx xry או y עדיפה מ- או שקולה ל- x כלומר או הבהר לעצמך מדוע רפלקסיביות ושלמות הן תכונות הכרחיות לכך שקבוצת הבחירה M(R היא לא ריקה לכל S. ב- X טרנסיטיביות: יחס העדפה R הוא טרנסיטיבי אם לכל שלש אפשרויות xyz אי- מעגליות: xry & yrz xrz יחס העדפה R איננו מעגלי אם לכל סדרת אפשרויות ב- {xyz...uv } X xpy & ypz... & upv xrv 2

שים לב אי- מעגליות היא דרישה חלשה יותר מטרנסיטיביות; טרנסיטיביות גוררת אי-מעגליות אך אי-מעגליות לא גוררת טרנסיטיביות. יחס R נקרא בשם סדר (ordering) אם הוא רפלקסיבי שלם וטרנסיטיבי. אם R הוא סדר אז בהינתן S כלשהי השייכת ל- χ קבוצת הבחירה M(R איננה ריקה. במילים אחרות רפלקסיביות שלמות וטרנסיטיביות הם תנאים מספיקים לקיומה של קבוצת בחירה לא ריקה בכל הנסיבות. טענה זו נובעת מהתוצאה הבאה המבהירה מהם התנאים ההכרחיים והמספיקים לקיומה של קבוצת בחירה לא ריקה לכל S ב- χ. משפט : יהא R יחס רפלקסיבי ושלם. קבוצת הבחירה M(R קבוצה של אפשרויות S השייכת ל- χ אם ורק אם R איננו מעגלי. הוכחה: (מספיקות) לכל נבחר S X. x S אם לכל (מכיוון שהיחס R הוא רפלקסיבי ושלם) קיימת בהכרח אפשרות y אם לכל s ב- yrs S הרי שוב סיימנו את ההוכחה. איננה ריקה בהינתן כל תת- xrs s S הרי שסיימנו את ההוכחה. אחרת {} x.ypx כך ש- y S \ אחרת קיימת אפשרות z { x y} z S \ כך ש- zpy. מההנחה שהיחס R איננו מעגלי משתמע כי.zRx מאחר ש- X ) ולפיכך גם ( S היא קבוצה סופית ניתן להמשיך את הטיעון באופן דומה ולהסיק כי בהכרח קיימת אפשרות המועדפת מ- או שקולה לכל אפשרות אחרת ב- S. } x { ונניח S =... x n. x תהא Rx n. עלינו להוכיח כי x Px2Px3... Px n Px n (הכרחיות) נניח כי כי. i=2...n x i לפיכך היות ו- M ( R i=2...n xi Px i. M מאחר ש- ( R φ x x M ( R חייב להתקיים כי (S ופירוש הדבר הוא שהאפשרות עדיפה מ- M ( R φ x כפי שרצינו להוכיח. Rx n או שקולה לכל אפשרות ב- S ובפרט מ.ש.ל. פונקציה (.)C המתאימה לכל תת-קבוצה של אפשרויות S ב- χ תת-קבוצה לא ריקה של אפשרויות )C נקראת בשם פונקצית בחירה function).(choice תת-הקבוצה המוכלת ב- S S הנבחרת יכולה להכיל אפשרות אחת או כמה אפשרויות. אם תת-הקבוצה הנבחרת תמיד מכילה אפשרות אחת נאמר שפונקצית הבחירה היא נחושה.(determined) על פי משפט ג. אם R הוא 3 החומר הנוכחי הוא חלק מההקדמה לקורס. כדי להימנע מסרבול יתר ומסטייה מהנושא העיקרי של הקורס בחרנו לכלול בפרק זה רק את התוצאות העיקריות הנוגעות לקשר בין העדפה ובחירה ולהציגן ללא הוכחות פרט להוכחה של המשפט הראשון המוצגת להלן. דיון מעמיק יותר הכולל הוכחות של התוצאות הכלולות בפרק זה ושל תוצאות נוספות מופיע בספרם של (998) Banks.Austen-Smith and

יחס רפלקסיבי שלם וטרנסיטיבי (ולפיכך לא מעגלי) על X דהיינו אם R הוא סדר על קבוצת האפשרויות X אז M(R C( = היא פונקצית בחירה מוגדרת היטב. לפונקציה זו נקרא בשם פונקצית הבחירה הרציונאלית המתאימה ל- R או פונקצית הבחירה המוּנעת על-ידי R. 2 בחירה הניתנת לרציונליזציה נעבור עתה להבהרת התכונות ההכרחיות של בחירה תכונות הניתנות לבירור תצפיתי-אמפירי המבטיחות שהבחירה ניתנת לרציונליזציה על ידי סדר כלומר שניתן להתייחס לבחירה כמונעת על-ידי יחס העדפה רפלקסיבי שלם וטרנסיטיבי. פונקצית בחירה (.)C ניתנת לרציונליזציה אם קיים יחס R על X כך שלכל S ב- χ.c( = M(R מועמד טבעי להענקת רציונליזציה ל- (.)C הוא היחס R c הנגזר מפונקצית הבחירה (.)C כך: ({ x y} ) x y X xrc y x C היחס R c מכונה יחס הבסיס של (.)C. קל לוודא כי טענה : פונקצית בחירה (.)C ניתנת לרציונליזציה אם ורק אם היא ניתנת לרציונליזציה על-ידי.C( = M(R c יחס הבסיס שלה. כלומר אם ורק אם לכל S ב- χ הדוגמה שלפניך מבהירה שלא כל פונקצית בחירה ניתנת לרציונליזציה. דוגמה : {} z ) z C ( = {} y ) y C ( = { x} ) x C ( = X = כי נניח } yz { x. ו- {( { y z} ) = C( { x y z} ) { y } C = { x y} ) = C( { x z} ) { x} C ( = { x y z} ) y R כל יחס C ( = { x y} ) x על פי טענה ג. מאחר ו- = ( C ו- המספק רציונליזציה R c לפונקציית הבחירה (.)C ובפרט יחס הבסיס חייב לקיים את הדרישה הבלתי אפשרית : xpy ו-.yPx מכאן ש- (.)C איננה ניתנת לרציונליזציה. להלן נציג שתי תכונות של פונקציות בחירה. התכונה האחת תכונה α מכונה עקביות בצמצום. התכונה האחרת תכונה β מכונה עקביות בהרחבה. עקביות בצמצום מנוסחת במונחים של שינויים מותרים בבחירה בעת שקבוצת האפשרויות מצטמצמת. עקביות בהרחבה מנוסחת במונחים של שינויים מותרים בבחירה בעת שקבוצת האפשרויות מתרחבת. פונקצית בחירה (.)C מקיימת את תכונה α אם ורק אם לכל S ו- T השייכות ל- χ 4

S T C( T ) S C( x נבחרת מ- T ו- T מצטמצמת על ידי הרחקת חייבת להמשיך ולהיבחר מקבוצת האפשרויות מתכונה α משתמעת הדרישה שאם אפשרות אזי אפשרות x אפשרויות השונות מ- המצומצמת. x C P L קל לוודא כי פונקצית הבחירה בדוגמה איננה מקיימת את תכונה. α פונקצית בחירה זו איננה חריגה. פונקציות בחירה רבות ושכיחות אינן מקיימות תכונה זו. כלל הרובניות (.) (plurality rule ) הוא דוגמה לפונקצית בחירה שאיננה מקיימת את תכונת העקביות בצמצום. על פי כלל זה כאשר קבוצה של פרטים בוחרת מועמד מתוך קבוצה של מועמדים כל פרט מציין מי הוא המועמד המועדף מבחינת מספר הבוחרים הגדול ביותר. α. תכונה דוגמה ג. 2 : נניח כ י פרטים T = { x yz } מעדיפים את החמישי מעדיף את x ביותר מבחינתו ונבחרים המועמדים המועדפים ביותר הדוגמה שלפניך מבהירה שכלל הרובניות אכן מפר את וכי יחסי ההעדפה הטרנסיטיביים של חמישה בוחרים הם כדלקמן. שני מ- z. y ואת מ- y שני פרטים מעדיפים את. מ- x z ואת מ- z y. מ- y x ואת מ- x z במקרה זה המועמדים x T אך x בלבד נבחר מתוך תת הקבוצה = { x yz } איננו ו- y הפרט נבחרים מתוך y משמעות העובדה שהמועמד.S={ x y} נבחר מתוך y} { x היא שכלל הרובניות מפר את תכונה.α פונקצית בחירה (.)C מקיימת את תכונה β אם ורק אם לכל S ו- T השייכות ל- χ S T & C( C( T ) φ C (S ) C(T ) S אזי מתכונה β משתמעת הדרישה שאם אפשרות x נבחרת מתוך S וגם מתוך T המכילה את כל אפשרות אחרת שנבחרת מ- S גם כן נבחרת מ- T. קל להוכיח כי פונקצית בחירה נחושה מקיימת את תכונה β וכי כלל הרובניות איננו מקיים את תכונה. β התכונות α ו- β הן תכונות הכרחיות ומספיקות לכך שפונקצית הבחירה (.)C על-ידי סדר חלש. ניתנת לרציונליזציה 5

משפט 2: פונקצית בחירה (.)C ניתנת לרציונליזציה על ידי סדר אם ורק אם היא מקיימת את תכונה α ואת תכונה β. ממשפט 2 ומכך שפונקצית בחירה נחושה מקיימת את תכונה β נובע שתכונה α היא תנאי הכרחי ומספיק לכך שפונקצית בחירה נחושה ניתנת לרציונליזציה על-ידי סדר. התכונות α ו- β הצרכן. שקולות לאקסיומה החלשה של ההעדפה הנגלית אותה הכרנו בהקשר של תורת פונקצית בחירה מקיימת את לכל S ו- T השייכות ל- χ האקסיומה החלשה של ההעדפה הנגלית( WARP ) אם ורק אם x C( y S \ C( & y C(T) x T כלומר אם אפשרות x מתגלה כמועדפת מאפשרות ) y אם x נבחרת מ- S ו- y כלולה ב- S אך איננה נבחרת) אזי y לא יכולה להתגלות כמועדפת מ- x (מהעובדה ש- y נבחרת מ- T נובע ש- x איננה שייכת ל- T ). α C(.) : טענה 2 פונקצית בחירה מקיימת את התכונות ו- β אם ורק אם היא מקיימת את האקסיומה החלשה של ההעדפה הנגלית( WARP ). מטענה 2 ומשפט 2 מתקבלת התוצאה החותמת את הפרק. משפט 3: פונקצית בחירה (.)C ניתנת לרציונליזציה על ידי סדר אם ורק אם היא מקיימת את האקסיומה החלשה של ההעדפה הנגלית( WARP ). 6

תרגילים ג. בחירה מוּנעת-העדפה שאלה : א. מהי קבוצת הבחירה בתורת הצרכן? ב. מהי קבוצת הבחירה בתורת היצרן? א. בתורת הצרכן קבוצת הבחירה כוללת סלי המצרכים השייכים לקבוצת התקציב והמועדפים מ- או שקולים לכל סל בקבוצה זו. ב. בתורת היצרן קבוצת הבחירה כוללת תכניות ייצור השייכות לקבוצת אפשרויות הייצור והמניבות רווח מקסימאלי. שאלה 2: הסבר מדוע רפלקסיביות ושלמות של R הן תכונות הכרחיות לכך שקבוצת הבחירה M(R היא לא ריקה לכל S. רפלקסיביות היא תכונה הכרחית להבטחת הקיום של קבוצת בחירה לא ריקה באותם מקרים שבהם S מכילה אפשרות אחת בלבד. שלמות היא תכונה הכרחית להבטחת הקיום של קבוצת בחירה לא ריקה באותם מקרים שבהם S מכילה שתי אפשרויות. שאלה 3: הסבר מדוע רפלקסיביות שלמות וטרנסיטיביות מבטיחות את אפשרות המימוש של עיקרון הרציונאליות. שלשת התכונות האלה מבטיחות שבכל תת-קבוצה של אפשרויות קיימת אפשרות "טובה ביותר". פירוש הדבר הוא שעיקרון הרציונאליות ניתן למימוש. 2 בחירה הניתנת לרציונליזציה שאלה 4 : הוכח את טענה ג. : פונקצית בחירה (.)C ניתנת לרציונליזציה אם ורק אם היא ניתנת לרציונליזציה על-ידי יחס הבסיס שלה. כלומר אם ורק אם לכל S ב-.C( = M(R c (S χ הוכחת המספיקות פשוטה: אם יחס הבסיס של (.)C מספק רציונליזציה ל- (.)C על פי הגדרה (.)C ניתנת לרציונליזציה. 7

ב y לצורך הוכחת ההכרחיות נניח כי (.)C ניתנת לרציונליזציה על-ידי יחס R ונוכיח כי יחס R שכזה M(R.) ב- X x. חייב להיות שווה ליחס R c לכל שתי אפשרויות ו- y על פי הגדרת. x C( { x y} xr y C C(.) רציונליזציה ל- מספק מאחר ש- R. xry x M ( R { x y}) { x y} ) x C ({ x }) R c אך על פי הגדרת. x M ( R y לכן. R= R c כלומר xry xr C y לכל שתי אפשרויות x ו- -X מ.ש.ל. שאלה 5: הוכח שפונקצית בחירה נחושה מקיימת את התכונה עקביות β. C( אם פונקצית הבחירה (.)C היא נחושה אזי מהעובדה שהחיתוך של קבוצות הבחירה ו- C(T) הוא לא ריק נובע כי C(=C(T). פירוש הדבר הוא שפונקצית הבחירה (.)C מקיימת את התכונה עקביות β. שאלה 6: קבוצה של פרטים בוחרת מועמד מתוך קבוצה של מועמדים. על פי כלל הרובניות rule) (plurality כל פרט מציין מי הוא המועמד המועדף ביותר מבחינתו ונבחרות האפשרויות המועדפות ביותר מבחינת מספר הבוחרים הגדול ביותר.חווה דעתך על הטענה שלפניך: "ברור שכלל הרובניות מקיים את התכונה עקביות α. אם מועמד מסוים נבחר מקבוצת מועמדים T הוא נבחר גם מכל תת-קבוצה S המוכלת ב- T מאחר ובשני המקרים אותו מועמד הוא המועמד המועדף ביותר של מספר הבוחרים הגדול ביותר". הטענה שיקרית. נכון שאם מועמד מסוים נבחר מקבוצת המועמדים T אז הוא המועמד המועדף ביותר מתוך T של מספר הבוחרים הגדול ביותר. אך כאשר הקבוצה T מצטמצמת לקבוצה S בהחלט יתכן כי אותו מועמד איננו המועמד המועדף ביותר של מספר הפרטים הגדול ביותר כפי שמבהירה דוגמה ג. 2. שאלה 7: הוכח שכלל הרובניות מפר את התכונה עקביות β. נניח כי x { וכי יחסי ההעדפה הטרנסיטיביים של חמישה בוחרים הם כדלקמן. שני y z w} T = פרטים מעדיפים את x מ- y את y מ- w ואת w מ- z. שני פרטים מעדיפים את w מ- y את y מ- z ואת z מ- x. הפרט החמישי מעדיף את z מ- x את x מ- w ואת w מ- y. במקרה זה המועמדים x 8

{ x y z w} אך x ו- w נבחרים מתוך = T. משמעות העובדה { x y z} ו- y נבחרים מתוך = S שהמועמד y איננו נבחר מתוך T היא שכלל הרובניות מפר את התכונה עקביות β. שאלה 8: הוכח שכלל הרובניות איננו מקיים את האקסיומה החלשה של ההעדפה הנגלית (WARP). C( x אך x T כלומר כלל הרובניות מפר את בדוגמה ג. 2 C(T) y S \ C( & y. WARP שאלה 9: הנח כי C( היא פונקצית בחירה המוּנעת על-ידי יחס ההעדפה.C(=M(R R הוכח כי (.)C מקיימת את התכונות עקביות α ועקביות β. { x T : y T xry} נניח כי. S T על-פי הגדרה = ) T. C ( מכאן נקבל שאם C(.). z C( y S אז zry כלומר קבלנו אפוא שפונקצית הבחירה z C( T ) S מקיימת את התכונה עקביות α S T C( T ) S C( y T zry z C( נניח כי S T.C( C( וכי T ) φ מכאן שאם אז כלומר β מקיימת את התכונה עקביות (.)C קבלנו אפוא שפונקצית הבחירה. z C(T ) S T & C( C( T ) φ C( C( T ) שאלה 0: א. האם פונקצית בחירה המונעת על-ידי יחס העדפה R היא נחושה? ב. האם כלל הרובניות הוא פונקצית בחירה נחושה? א. לא. בהחלט יתכן כי קבוצת המקסימום המתאימה לקבוצת אפשרויות מסוימת S מכילה יותר מאפשרות אחת. בדוגמאות שכאלה נתקלנו בקורס תורת המחירים א. ב. לא. ראה דוגמה 2. 9