עוצמות של קבוצות אינסופיות - דחוף

[nir9696]

נראה לי

שהבנתי. אבל רק בשביל ההבנה שלי - צדקתי בהערה שהפונקציה שהצעתי אינה חח"ע ובשמקרה הספציפי שהעלת התמונה תהיה N?

 

[אורי769]

למה אתה חושב כך?

כדי להראות שהיא לא חח"ע אתה צריך למצוא שתי תתי-קבוצות של N שהתמונה שלהן זהה. האם מצאת כאלה?
אכן התמונה של כל N לפי הבניה שלך היא כל N.

 

[nir9696]

אתה צודק. טעיתי.

אם כן - זה לא פשוט כלל לחשוב על התאמה חח"ע כזו...