לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
שיחה:83-116 תשעד סמסטר א
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
הוספת נושא
גרסאות קודמות
עוד
קריאה
עריכה
הוספת נושא
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
== תרגיל 6 שאלה 3 == בוקר טוב עדי! לא הבנתי איך פותרים ב"פתרון" את השאלה. ובכלל, איך אפשר להגדיר פונ' הפיכה לפונ' שהיא לא חח"ע ועל!? '''ראשית, אתה לא מגדיר פונ' הפיכה לפונ' שהיא לא חח"ע ועל, אתה מגדיר פונקציה הפיכה בין קבוצת פונקציות כלשהן לקבוצה אחרת, במקרה הזה-למכפלה קרטזית של הטווח. הפונקציות {f:A->B} הם המקורות שלך, הם לא בהכרח חחע/על, עליהם נפעיל פונקציה חחע ועל. כלומר ההתאמה בין אוסף הפונקציות {f:A->B} לטווח שבחרנו היא הפיכה, לא בין A לבינו. '''במקרה הזה המפתח הוא ש-A ו- B הן סופיות. לכן ניתן למספר את אייברי A: <math>\ \ a_1,...,a_m</math> ולפי סדר זה להחשיב את סדר התמונות (שהן ב-B): '''<math>f(a_1)=b_{i_1},...,f(a_m)=b_{i_m}</math> (לא נקרא להם <math>b_1,...,b_m</math> כי אלו חלק מאיברי B. אנחנו פשוט רוצים לבחור m מתוכם, אבל לא בהכרח את ה-m הראשונים). '''כעת, נשלח כל פונקציה מA לB (את הפונקציה עצמה. f היא מקור, אנחנו לא מגדירים f:A->B, אלא מגדירים לאן f (חחע או לא/על או לא) נישלחת ע"י פונ' g שהיא חח"ע ועל) ל-m-יית התמונות של <math>(a_1,...,a_m)</math>. מכיוון שתמונת <math>a_i</math> מוגדרת באופן אחד ויחיד, ומכיוון שכל פונקציה מגדירה m-יית תמונות באופן אחד ויחיד, ההתאמה ל <math>B^m</math> תהיה חח"ע ועל: '''*לכל m-יה ב-<math>B^m</math> פונקציה השולחת את <math>(a_1,...,a_m)</math> אליה. '''*כמו כן, פונקציות שונות יגדירו m-יות שונות היות ושוני בין פונקציות מתבטא בשוני בתמונות אשר במקרה שלנו מגדירות את ה-m-יה ב-<math>B^m</math> '''במקרה בשאלה זו אוסף המקורות הם פונקציות בעצמם '''**אם הפונ' מהתחום אינה חח"ע אז ב-m-יה הסדורה שתתקבל ב- <math>B^m</math> יהיה אינקס חוזר, וזה בסדר גמור, יש איברים שכאלו ב-<math>B^m</math> ונרצה לכסות גם אותם. '''**אם פונ' מהתחום אינה על אז אז ב-m-יה הסדורה ב- <math>B^m</math> לא יופיעו כל <math>b_1,...,b_n\in B</math>, , וזה בסדר גמור, יש איברים שכאלו ב-<math>B^m</math> ונרצה לכסות גם אותם. עדי
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)