שיחה:חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/נספח

אפשר להוכיח כי Q היא בת מניה גם ללא מציאת הסידור:

ידוע כי Z היא בת מניה.
לפיכך, כל קבוצה המכילה את Z היא גם בת מניה.
בפרט, הקבוצה Z ללא אפס (לצורך פשוט נקרא לה Y) היא בת מניה.
ידוע כי מכפלה סקלרית ("קרוס") בין שתי קבוצות בנות מניה היא בת מניה.
לכן, Z x Y היא בת מניה.
ניתן להגדיר איזומורפיזם בין Q לבין Z x Y בקלות: Q הם כל המספרים m/n כאשר m שלם ו- n שלם ואינו אפס, וזה בדיוק Z x Y.

דפי שיחה הם המקום שבו אנשים דנים איך לגרום לתוכן באתר ויקיספר להיות הכי טוב שהוא יכול. אתה יכול להשתמש בדף השיחה הזה כדי להתחיל דיון עם אחרים על איך לשפר את הדף חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/נספח.