שדה סדור – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ בוט: החלפת טקסט אוטומטית (-([א-תֲֳִֵֶַָֹּּ])(?:‎|‏)+ +\1)
BDaniel (שיחה | תרומות)
אין תקציר עריכה
שורה 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> בשדה מתקיים <math>\ a\in P</math> או <math>\ -a\in P</math>. כל קבוצה כזו מגדירה יחס סדר.
ה[[מאפיין של שדה]] סדור חייב להיות 0. מכך, מספר האיברים בשדה שכזה חייב להיות אינסופי.