מספר טבעי

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

במתמטיקה, המספרים הטבעיים הם המספרים 0, 1, 2, 3, וכו' עד אינסוף, לעיתים ללא המספר אפס. יש המגדירים את הטבעיים בתור המספרים השלמים האי-שליליים, 0,1,2,3..., בעוד שאחרים מתחילים מ־1, ומגדירים אותם בתור המספרים השלמים החיוביים 1,2,3... . יש מחברים שמתייחסים לשתי ההגדרות, לפי הצורך. מקובל לסמן את קבוצת המספרים הטבעיים באות $\mathbb {N}$.

המספרים הטבעיים הם הקלים ביותר להבנה, והראשונים שנלמדים על ידי ילדים. למספרים טבעיים שתי מטרות:

• מנייה, למשל: יש שלושה תפוחים על השולחן.
• סדר, למשל: זו העיר השלישית בגודלה במדינה.

תכונותיהם של המספרים הטבעיים נחקרות במסגרת תורת המספרים.

מספרים טבעיים יכולים להיות זוגיים (כלומר מתחלקים ב-2 ללא שארית) או אי-זוגיים (אינם מתחלקים ב-2).

קבוצת המספרים הטבעיים היא אינסופית ובת מנייה, כלומר עוצמתה היא$\!\,\aleph _{0}$ (אָלֶף אֶפֶס).

הגדרה ובנייה

המספרים הטבעיים הם הראשונים שהופיעו כמושגים נבדלים: מספר טבעי מונה את האיברים בקבוצה. אפשר לראות את ההבחנה שיש משהו משותף בקבוצה של שלושה אנשים, שלושה תפוחים או שלושה נמרים כהכללה המתמטית הראשונה שעשו בני האנוש (ישנם מחקרים המראים שגם לבעלי חיים מסוימים יש יכולת הכללה זו). לאופולד קרונקר אמר ש"האל יצר את המספרים הטבעיים – כל השאר הוא יציר האדם".

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

הבניה של מערכת פאנו מאפשרת לקבוע שמספר טבעי הוא איבר של מערכת פאנו (כל המודלים של אקסיומות פאנו הם איזומורפיים).

פון נוימן הציע בנייה מפורשת, המקובלת היום כייצוג סטנדרטי של המספרים הטבעיים בתוך תורת הקבוצות האקסיומטית: המספר 0 מוגדר כקבוצה הריקה, וכל מספר $\ n$ מוגדר כקבוצה $\ n=\{0,1,\dots ,n-1\}$. כך למשל, $\ 4=\{0,1,2,3\}=\{\phi ,\{\phi \},\{\phi ,\{\phi \}\},\{\phi ,\{\phi \},\{\phi ,\{\phi \}\}\}\}$.

סדר על המספרים הטבעיים

ניתן להגדיר על המספרים הטבעיים יחס סדר אשר מגדיר באופן חד-ערכי את היחסים "גדול מ-" ו"קטן מ-". בהינתן שני מספרים טבעיים $n,m\in \mathbb {N}$ אומרים כי $n$ גדול מ-$m$ ומסמנים $n>m$ אם ורק אם קיים מספר טבעי $k\in \mathbb {N}$ שונה מ-0 כך ש-$n=m+k$. באופן דומה אומרים כי $n$ קטן מ-$m$ ומסמנים $n<m$ אם ורק אם $m>n$.

היחס $>$ על המספרים הטבעיים הוא יחס סדר מלא. כלומר, עבור כל שני מספרים טבעיים כלשהם $n,m\in \mathbb {N}$ מתקיים בדיוק אחד משלושת התנאים הבאים:

1. $n>m$
2. $m>n$
3. $n=m$

יתרה מכך, היחס $>$ הוא יחס סדר טוב. כלומר, לכל תת-קבוצה לא ריקה של המספרים הטבעיים $\emptyset \neq B\subseteq \mathbb {N}$ בהכרח קיים מינימום.

הוכחה ש-$>$ הוא יחס סדר טוב:

בהינתן ש-$B$ אינה ריקה, בהכרח קיים $n\in B$ כלשהו. מגדירים קבוצה $B_{<n}:=\left\{m\in B\mid m<n\right\}$. אם $B_{<n}$ ריקה, בהכרח $n$ הוא האיבר הקטן ביותר ב-$B$. אחרת $B_{<n}$ היא בהכרח קבוצה סופית, זאת מכיוון שבקבוצת המספרים הטבעיים, קבוצת המספרים הקטנה ממספר כלשהו היא בהכרח סופית. אם כך, $B_{<n}$ היא קבוצה סופית סדורה בסדר מלא $>$, ולכן יש לה איבר קטן ביותר, נסמנו ב-$n'$. $n'$ זה הוא האיבר המינימלי ב-$B$.

מספרים טבעיים ראשוניים ופריקים

מספרים ראשוניים ופריקים

בתורת המספרים, מספר ראשוני הוא מספר טבעי גדול מ-1, שלא ניתן להציגו כמכפלה של בדיוק שני מספרים טבעיים קטנים ממנו. הראשוניים הם אבני הבניין של תורת המספרים, משום שאפשר להרכיב מהם, באמצעות פעולת הכפל, כל מספר טבעי.

מספר טבעי גדול מ-1 שאינו ראשוני נקרא מספר פריק.

המספר 1 אינו נחשב ראשוני, וגם לא פריק.

לפי "המשפט היסודי של האריתמטיקה", שהוצג לראשונה עם הוכחה, על ידי אוקלידס, כל מספר טבעי גדול מ-1 אפשר להציג באופן יחיד כמכפלה של מספרים ראשוניים (למשל: $\ 28=7\times 2\times 2$).

ראו גם

• היסטוריה של האריתמטיקה – על ייצוגם של מספרים טבעיים בתרבויות שונות

קישורים חיצוניים

• מידע על מספרים טבעיים
• מספר טבעי, באתר MathWorld (באנגלית)
• סדרת המספרים הטבעיים באתר OEIS – האנציקלופדיה המקוונת לסדרות של מספרים שלמים

תרשים מערכות מספרים ואובייקטים קשורים

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים $K$). ללא העתקות אלה וללא האיזומורפיזמים הלא קאנוניים, הדיאגרמה היא קומוטטיבית.             אלגברות קיילי-דיקסון אלגברות קיילי-דיקסון           מבנים ארכימדיים   $\mathbb {O}$ $\mathbb {O}$               $\mathbb {H}$ $\mathbb {H}$ מבנים אדליים ו - p-אדיים הסגור האלגברי של שדה המספרים הסוריאליסטיים הסגור האלגברי של שדה המספרים הסוריאליסטיים                                                                                                                                              ${\overline {\mathbb {C} (t)}}$ ${\overline {\mathbb {C} (t)}}$   $(t)$$\mathbb {C}$ $(t)$$\mathbb {C}$   $[t]$$\mathbb {C}$ $[t]$$\mathbb {C}$   $\mathbb {C}$ $\mathbb {C}$       $\mathbb {C} _{p}$ $\mathbb {C} _{p}$              מבנים ממאפיין חיובי              ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$ ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$                                                                         ${\overline {\mathbb {Q} (t)}}$ ${\overline {\mathbb {Q} (t)}}$   $(t)$${\bar {\mathbb {Q} }}$ $(t)$${\bar {\mathbb {Q} }}$     $[t]$${\bar {\mathbb {Q} }}$ $[t]$${\bar {\mathbb {Q} }}$     ${\bar {\mathbb {Q} }}$ ${\bar {\mathbb {Q} }}$             ${\overline {\mathbb {Q} _{p}}}$ ${\overline {\mathbb {Q} _{p}}}$                               ${\overline {\mathbb {F} _{p}(t)}}$ ${\overline {\mathbb {F} _{p}(t)}}$     ${\overline {\mathbb {F} _{p}((t))}}$ ${\overline {\mathbb {F} _{p}((t))}}$                                                       ${\bar {\mathbb {Z} }}$ ${\bar {\mathbb {Z} }}$                 ${\bar {\mathbb {F} }}_{p}$ ${\bar {\mathbb {F} }}_{p}$       $(t)$${\bar {\mathbb {F} }}_{p}$ $(t)$${\bar {\mathbb {F} }}_{p}$   $((t))$${\bar {\mathbb {F} }}_{p}$ $((t))$${\bar {\mathbb {F} }}_{p}$                                                               $K$ $K$     $_{K}$$\mathbb {A}$ $_{K}$$\mathbb {A}$   $_{\nu }$$K$$:=$$F$ $_{\nu }$$K$$:=$$F$   $L$ $L$                                               שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$ שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$                   ${\mathcal {O}}_{K}$ ${\mathcal {O}}_{K}$       ${\widehat {{\mathcal {O}}_{K}}}$ ${\widehat {{\mathcal {O}}_{K}}}$   ${{\mathcal {O}}_{F}}$ ${{\mathcal {O}}_{F}}$   ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$ ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$     $(t)$$\mathbb {F} _{q}$ $(t)$$\mathbb {F} _{q}$   שדה המספרים הסוריאליסטיים שדה המספרים הסוריאליסטיים                                       ${}_{real}$${\overline {\mathbb {R} (t)}}$ ${}_{real}$${\overline {\mathbb {R} (t)}}$   $(t)$$\mathbb {R}$ $(t)$$\mathbb {R}$   $[t]$$\mathbb {R}$ $[t]$$\mathbb {R}$   $\mathbb {R}$ $\mathbb {R}$                                                                                                                 $(t)$$\mathbb {Q}$ $(t)$$\mathbb {Q}$   $[t]$$\mathbb {Q}$ $[t]$$\mathbb {Q}$     $\mathbb {Q}$ $\mathbb {Q}$     $_{\mathbb {Q} }$$\mathbb {A}$ $_{\mathbb {Q} }$$\mathbb {A}$   $\mathbb {Q} _{p}$ $\mathbb {Q} _{p}$       $(t)$$\mathbb {F} _{p}$ $(t)$$\mathbb {F} _{p}$     $((t))$$\mathbb {F} _{p}$ $((t))$$\mathbb {F} _{p}$                                                                               $[t]$$\mathbb {Z}$ $[t]$$\mathbb {Z}$     $\mathbb {Z}$ $\mathbb {Z}$     ${\hat {\mathbb {Z} }}$ ${\hat {\mathbb {Z} }}$   $\mathbb {Z} _{p}$ $\mathbb {Z} _{p}$     $\mathbb {F} _{p}$ $\mathbb {F} _{p}$   $[t]$$\mathbb {F} _{p}$ $[t]$$\mathbb {F} _{p}$     $[[t]]$$\mathbb {F} _{p}$ $[[t]]$$\mathbb {F} _{p}$                           מספרים סודרים מספרים סודרים             $[t]$$\mathbb {N}$ $[t]$$\mathbb {N}$     $\mathbb {N}$ $\mathbb {N}$             $\mathbb {Z} |_{n}$ $\mathbb {Z} |_{n}$