שדה סדור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: החלפת טקסט אוטומטית (-([א-תֲֳִֵֶַָֹּּ])(?:|)+ +\1) |
אין תקציר עריכה |
||
שורה 10:
(מהאקסיומות נובע למשל שכל מספר <math>a^2</math> הוא חיובי, ובפרט <math>0 \le 1</math>).
לחלופין, אפשר לדרוש שאוסף המספרים החיוביים (אלו הגדולים מאיבר האפס) יהיה סגור לחיבור ולכפל, ושאוסף זה יגדיר את הסדר במובן הבא: <math>\ x<y</math> אם ורק אם <math>\ y-x</math> חיובי. במקום להתמקד בסדר עצמו, אפשר לבחון את קבוצת האיברים החיוביים: תת-קבוצה P של שדה נקראת '''סדר''' (ordering), אם היא סגורה לחיבור ולכפל, ולכל איבר <math>\ a\neq 0</math>
ה[[מאפיין של שדה]] סדור חייב להיות 0. מכך, מספר האיברים בשדה שכזה חייב להיות אינסופי.
|