:: תחשבו על קבוצות סופיות --[[משתמש:Grisha|Grisha]] 19:03, 18 בינואר 2012 (IST)
== תרגיל 9- שאלה 4 ==
היי,
אם חושבים על פונקציה חח"ע ועל מ<1 ,0>*N ל-N
והפונקציה מוגדרת כך שאת הזוגות (n,0) לוקחת ל2n ואת (n,1) ל2n-1
בהוכחת ה"על" אי אפשר פשוט לומר שהטבעיים מורכבים מזוגיים ואי זוגיים (הרי האיבר השני בזוג הסדור הוא סה"כ קבוע ועל כן לא משחק תפקיד) ועל כן לכל N יהיה מקור זוגי/לא זוגי.
אני קצת מתקשה בכתיבה פורמלית של הוכחות "על". אודה לעזרתך,
תודה מראש :)