![](/img/cornr_br.png) |
אולי זה ברור לכולם, אבל לצורך הפרוטוקול: אם מרשים "שינוי שם" באופן כללי, נשארים בדיוק עם ההגדרה הרגילה של 'עוצמה'.
מצד שני אפשר לדמיין הגדרות יותר מגבילות; למשל - מותר לשנות שם רק למספר סופי של מספרים (לך תארגן החלפת תעודות זהות אינסופית).
הערה שלישית: הנימוק על התפצלות של מספרים נשמע משכנע, עד שמפעילים אותו על העתקה מהקטע (0,1) לקטע (0,2) או לישר כולו (שהיא הומיאומורפיזם, למשל). הרי יש מובן מסודר (תורת המידה) לטענה שהקטע הראשון קטן יותר. אולי צריך "יעקוביאן" גם להעתקות מסוג אחר?
הערה אחרונה: נראה לי יותר אפקטיבי להתמקד בהשוואת תת-קבוצות של קבוצות מיוחדות (כמו הטבעיים או הממשיים), אחרת באמת אין שום סיכוי לייצר אינטואיציה מעבר לעוצמות.
|
![](/img/cornr_bl.png) |