מספר טבעי
מתוך ויקיפדיה, האנציקלופדיה החופשית
מספר טבעי הוא מספר שלם חיובי, המתאר מספר אברים בקבוצה סופית, כמו 1,2,3 או 17. מקובל לסמן את קבוצת המספרים הטבעיים באות
. המספר אפס נחשב טבעי לפי הגדרות אחדות, ואינו טבעי לפי הגדרות אחרות.
המספרים הטבעיים הם הקלים ביותר להבנה, והראשונים שנלמדים על ידי ילדים. למספרים טבעיים שתי מטרות:
תכונותיהם של המספרים הטבעיים נחקרות במסגרת תורת המספרים.
קבוצת המספרים הטבעיים היא בת מנייה, כלומר עוצמתה היא
(אלף אפס).
[עריכה] היסטוריה
המספרים הטבעיים הם הראשונים שהופיעו כמושגים נבדלים: מספר טבעי סופר את האיברים בקבוצה. אפשר לראות את ההבחנה שיש משהו משותף בקבוצה של שלושה אנשים, שלושה תפוחים או שלושה נמרים כהכללה המתמטית הראשונה שעשו בני האנוש. לאופולד קרונקר העיר כי "האל יצר את המספרים הטבעיים - כל השאר הוא יציר האדם".
במסגרת היציקה המודרנית של המתמטיקה לשפת תורת הקבוצות, הציע הלוגיקאי גוטלוב פרגה שהמספר שלוש הוא, בפשטות, קבוצת כל הקבוצות שיש בהן שלושה איברים (היינו, שהאברים שלהן נמצאים בהתאמה לקבוצה מסוימת בת שלושה איברים). בגישה זו יש פרדוקסים, הנובעים מכך שאוסף כל הקבוצות גדול מכדי להוות קבוצה בפני עצמו.
הבניה של מערכת פאנו מאפשרת לקבוע שמספר טבעי הוא איבר של מערכת פאנו (כל המודלים של אקסיומות פאנו הם איזומורפיים).
פון נוימן הציע בנייה מפורשת, המקובלת היום כייצוג סטנדרטי של המספרים הטבעיים בתוך תורת הקבוצות האקסיומטית: המספר 0 מוגדר כקבוצה הריקה, וכל מספר
מוגדר כקבוצה
. כך למשל,
.
| מערכות מספרים | ||
|---|---|---|
| מספרים | המספרים הטבעיים • מערכת פאנו • חוג המספרים השלמים (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים (מספר רציונלי, מספר אי רציונלי) • שדה המספרים הממשיים (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים (המישור המרוכב, מספר מרוכב , מספר מדומה) |
|
| הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס • חוג השלמים האלגבריים ![]() |
|
| הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים האלגבריים (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים (מספר p-אדי) • שדה ציקלוטומי |
|
| מעבר למרוכבים | אלגברת הקווטרניונים של המילטון • אוקטוניונים • אלגברות קיילי-דיקסון |
|
(
(
(
(
• 
(
(
•
•