בתשובה להאייל האלמוני, 05/12/06 13:23
איזומורפיזם 423146
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 13:51
המתמטיקאים (לפני דורון דשמי והמהפכה המונדית) נוהגים לחלק את כל הקבוצות בעולם לארבע סוגים:
1. קבוצות ללא איברים (הקבוצה הריקה).
2. קבוצות עם מספר איברים סופי (למשל, כל המספרים בין 1 ל-‏20).
3. קבוצות אם מספר איברים לא סופי אבל ניתן למניה (למשל כל המספרים השלמים)
4. קבוצה עם מספר איברים לא סופי ובלתי ניתן למניה (למשל כל המספרים הממשיים).

נקדים ונאמר שאף מתמטיקאי לא יסכים לתיאור שלמעלה וודאי שלא לזה שלמטה אבל בשבילנו, זה מספיק. עכשיו, אם יש לך שתי קבוצות שונות (למשל, קבוצת המאכלים בסופר, וקבוצת המספרים בין 1 ל-‏1536) ופונקציה שמצמדת כל איבר מהקבוצה הראשונה לאיבר מהקבוצה השניה באופן חד חד ערכי (1 <-> מקופלת, 2 <-> טוויסט, 3 <-> לחם לבן ... וכך הלאה), אז המתמטיקאי לא יתבלבל ויאמר שלשתי הקבוצות יש עצמה זהה, או ששתי הקבוצות איזומורפיות ואולי אפילו שכל קבוצה היא הצגה של השניה. לא משנה למה. עכשיו, אם היה לנו אלגוריתם שבוחר מספר בין 1 ל-‏1536 (בהנחה שזה מספר המאכלים בסופר) אז המתמטיקאי היה אומר שיש לנו אלגוריתם שבוחר מאכל מהסופר, ושהמאכל הוא האיבר שמצומד לאותו מספר. ז"א, למנגנון הבחירה של מאכל מהסופר יקרא המתמטיקאי פשוט אלגוריתם. כל מה שנשאר הוא לקבוע את הפונקציה. וזה קל, פשוט תסדרי את המאכלים בסופר בסדר לקסיקלוגרפי, ותצמידי לכל אחד מספר.
איזומורפיזם 423148
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 14:04
אז זהו, שלפי דעתי המתמטיקאי יגלה שיש בסופר א' מוצרים מסוג המספרים המרוכבים, וגם אם אנחנו מניחים את אקסיומת הבחירה ויודעים שאפשר לסדרם בסדר טוב, זה עדיין לא ניתן הפועל...
איזומורפיזם 423151
שוטה הכפר הגלובלי • בתשובה להאייל האלמוני יום ג', 5/12/2006, 14:09
מרוכבים?
איזומורפיזם 423159
גדי אלכסנדרוביץ' • בתשובה לשוטה הכפר הגלובלי יום ג', 5/12/2006, 14:23
גם לי זה לא ברור. המספרים המרוכבים הם מאותה עוצמה כמו הממשיים... אולי הבעיה היא בכך שלא מוגדר עליהם סדר בצורה טבעית כמו על הממשיים (אבל אין בעיה להגדיר עליהם סדר לקסיקוגרפי, למשל).
איזומורפיזם 423165
האייל האלמוני • בתשובה לגדי אלכסנדרוביץ' יום ג', 5/12/2006, 14:34
נכון, וזה עדיין א'.
איזומורפיזם 423154
גדי אלכסנדרוביץ' • בתשובה להאייל האלמוני יום ג', 5/12/2006, 14:14
זה לא נכון. בסופר הספציפי יש רק מספר סופי של מוצרים.
איזומורפיזם 423163
האייל האלמוני • בתשובה לגדי אלכסנדרוביץ' יום ג', 5/12/2006, 14:33
ובכל הסופרים שבעולם יש מספר אינסופי?
איזומורפיזם 423196
גדי אלכסנדרוביץ' • בתשובה להאייל האלמוני יום ג', 5/12/2006, 16:01
לא. יש מספר סופי. אני לא מבין לאן את חותרת. גם אם יהיה מספר לא בן מניה, זה לא אומר שהאלגוריתם לא יודע איך להתמודד איתו. זה רק אומר שהוא לא יודע להתמודד איתו בצורה נאיבית של להגיד מה לעשות בכל מקרה לגופו.
איזומורפיזם 423197
האייל האלמוני • בתשובה לגדי אלכסנדרוביץ' יום ג', 5/12/2006, 16:03
צר לי, חשבתי שברור שמדובר באירוניה בשתי התגובות שאחרי האלמוני עם המתמטיקאים בסופר - שלמיטב הבנתי, גם הוא היה אירוני.
איזומורפיזם 423200
גדי אלכסנדרוביץ' • בתשובה להאייל האלמוני יום ג', 5/12/2006, 16:09
מכיוון שכולם פה אלמונים וקשה לדעת מי אירוני ומי לא, אני פשוט מניח שכולם לא.
אגדה עורבנית 423202
דורון הגלילי • בתשובה לגדי אלכסנדרוביץ' יום ג', 5/12/2006, 16:10
אני לא אירוני, אני קפרי.
אגדה עורבנית 423212
האייל האלמוני • בתשובה לדורון הגלילי יום ג', 5/12/2006, 16:39
מה, ישר ממערת הנטיפים?
איזומורפיזם 423183
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 15:39
מה?
איזומורפיזם 423190
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 15:53
מה השאלה?
איזומורפיזם 423193
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 15:58
מה זה "מוצרים מסוג המספרים המרוכבים"? מה הקשר לאקסיומת הבחירה? מה אומר המשפט "זה עדיין לא ניתן הפועל" בעברית?
איזומורפיזם 423201
האייל האלמוני • בתשובה להאייל האלמוני יום ג', 5/12/2006, 16:10
"מוצרים מסוג המספרים המרוכבים" - "מסוג" במובן של "אקוויולנטיים" על פי הפונקציה שהכניס לשם האלמוני לו הגבתי. "אקסיומת הבחירה" שקולה ל"משפט הסדר הטוב", המבטיח לנו שכל קבוצה ניתנת לסידור טוב - אפילו כזו מסדרים אינסופיים גבוהים מאוד. "זה עדיין לא ניתן הפועל" - טעות הקלדה. צ"ל "*ב*פועל".
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות