میدان مرتب

در ریاضیات، میدان مرتب (ordered field)، میدانی است مجهز به ترتیب کلی عناصر آن که با عملیات میدانی سازگار باشد. مثال پایه از یک میدان مرتب، میدان اعداد حقیقی است و هر میدان مرتب ددکیند کامل با یک میدان حقیقی یکریخت است.

همچنین هر زیر میدان یک میدان مرتب، با ارث بردن رابطه ترتیب، خود یک میدان مرتب خواهد بود. هر میدان مرتب شامل یک زیر میدان مرتب یکریخت با اعداد گویا است. مربع‌ها لزوماً در یک میدان مرتب نامنفی هستند؛ یعنی اعداد مختلط را نمی‌توان مرتب کرد زیرا مجذور i یکه موهومی، ۱- است. میدان‌های منتاهی را نمی‌توان مرتب کرد.

از لحاظ تاریخی، اصول موضوعهٔ یک میدان مرتب به تدریج توسط ریاضیدانانی از جمله دیوید هیلبرت، اتو هولدر و هانس هان از اعداد حقیقی انتزاع شد. این در نهایت به نظریه آرتین-شرایر در میدان‌های مرتب و میدان‌های حقیقی فرمال توسعه داده شد.

تعاریف 
دو تعریف مشترک معادل از یک میدان مرتب وجود دارد. تعریف ترتیب کلی از نظر تاریخی برای اولین بار ظاهر شد و اصل موضوع مرتبه اول  به عنوان یک رابطه دوتایی است. آرتین و شرایر این تعریف را بر حسب مخروط مثبت در سال ۱۹۲۶ ارائه کردند که زیرمجموعه عناصر نامنفی را تشریح می‌دهد. اگرچه مرتبهٔ دومی مرتبه بیشتر است، ولی ملاحظهٔ مخروط‌های مثبت به عنوان مخروط‌های اضافه ماکسیمال زمینهٔ بزرگ‌تری را فراهم می‌کند که در آن ترتیب‌های میدانی، ترتیب‌های اکسترمال جزئی هستند.

ترتیب کلی 
یک میدان  همراه با یک ترتیب کلی (اکید)  روی  یک میدان مرتب است اگر ترتیب برای همهٔ  خواص زیر را دارا باشد:
 اگر  آنگاه   و
 اگر  و  سپس

مخروط مثبت 
یک  یا پیش ترتیب یک میدان  یک زیر مجموعه است  که خواص زیر را دارد:
 برای  و  که در  ، هم  و هم  در  هستند.
 اگر  باشد آنگاه  به‌طور خاص، 
 عنصر  در  نیست.

یک  میدانی است که شامل پیش ترتیب  می‌باشد. عناصر ناصفر آن  زیر گروهی از گروه ضربی   را تشکیل می‌دهند.

اگر همچنین، مجموعه  اجتماع  و  باشد، به  مخروط مثبت از  می‌گوییم. عناصر ناصفر  عناصر مثبت   نامیده می‌شوند.

یک میدان مرتب یک میدان   به همراه یک مخروط مثبت  است.

پیش ترتیب‌ها روی  دقیقاً محل تلاقی خانواده‌های مخروط‌های مثبت روی  هستند. مخروط‌های مثبت پیش ترتیب‌های ماکسیمال هستند.

هم‌ارزی این دو تعریف 
فرض کنید  یک میدان باشد. یک تناظر دوسویه بین بین ترتیبات میدانی  و مخروط‌های مثبت از  وجود دارد.

یک ترتیب میدان داده شده ≤ مانند خاصیت اول، مجموعه ای از عناصر را به طوری که  باشد، تشکیل یک مخروط مثبت از  می‌دهد. متقابلاً، یک مخروط مثبت داده شده مثل  از  به صورتی که در خاصیت دوم است را می‌توان به یک ترتیب کلی  با در نظر گرفتن  بر   مرتبط کرد به معنی . این ترتیب کلی  خواص تعریف اول را برآورده می‌کند.

نمونه‌هایی از میدان‌های مرتب 
نمونه‌هایی از میدان‌های مرتب عبارتند از:
 اعداد گویا
 اعداد حقیقی
 هر زیر میدان از یک میدان مرتب، مانند اعداد جبری حقیقی یا اعداد محاسبه پذیر
 حوزه توابع گویای حقیقی  ، که  و  چند جمله ای با ضرایب حقیقی هستند،  ، می‌تواند به یک میدان مرتب تبدیل شود با تعریف اینکه  هرگاه  که در آن چند جمله ای  برای  و  از هر چند جمله ای ثابت بزرگتر است. این میدان مرتب ارشمیدسی نیست.
 میدان  سری فرمال لورن با ضرایب حقیقی، که در آن x بی‌نهایت کوچک و مثبت در نظر گرفته می‌شود.
 ترانس سری
 میدان‌های بسته حقیقی
 اعداد فراحقیقی
 اعداد ابرحقیقی

اعداد سورئال به جای یک مجموعه، یک کلاس مناسب را تشکیل می‌دهند، اما در غیر این صورت از اصول موضوعهٔ یک میدان مرتب پیروی می‌کنند. هر میدان مرتب را می‌توان در اعداد سورئال نشاند.

خواص میدان مرتب 

برای هر a, b, c, d در F:
 یا   یا .
 می‌توان «نابرابری‌ها» را اضافه کرد: اگر  و ، آنگاه  .
 می‌توان «نابرابری‌ها را در عناصر مثبت ضرب کرد»: اگر  و , آنگاه  .
 ترایایی نابرابری: اگر  و  ، آنگاه  .
 اگر  و ، آنگاه  .
 یک میدان مرتب دارای مشخصه ۰ است. (از آنجا که ، سپس ، و ، و الی آخر. اگر میدان دارای مشخصه  باشد، آنگاه −۱ حاصل جمع  تایی‌های خواهد بود، اما -۱ مثبت نیست) به ویژه، میدان‌های متناهی را نمی‌توان مرتب کرد.
 مجذورها نامنفی هستند: برای همهٔ aهای در F  .
 هر مجموع نابدیهی از مجذورها ناصفر است. معادلا :: 

هر زیر میدان از یک میدان مرتب نیز یک میدان مرتب است (ترتیب القایی به ارث می‌برد). کوچکترین زیر میدان نسبت به اعداد گویا یکریخت است (مثل هر میدان دیگری با مشخصه ۰) و ترتیب در این زیر میدان گویا مثل ترتیب خود گویاها است. اگر هر عنصر از یک میدان مرتب بین دو عنصر از زیر میدان گویای آن قرار گیرد، آنگاه میدان ارشمیدسی است. وگرنه چنین میدانی یک میدان مرتب غیر ارشمیدسی است و شامل بی‌نهایت کوچک‌ها می‌باشد؛ مثلاً، اعداد حقیقی یک میدان ارشمیدسی را تشکیل می‌دهند، اما اعداد ابرحقیقی یک میدان غیر ارشمیدسی را تشکیل می‌دهند، زیرا اعداد حقیقی را با عناصر بزرگتر از هر عدد طبیعی استاندارد می‌توان گسترش داد.

یک میدان مرتب F با میدان عدد حقیقی R یکریخت است اگر هر زیر مجموعه ناتهی از F با کران بالا در F حداقل کران بالایی در F داشته باشد. این خاصیت نشان می‌دهد که میدان ارشمیدسی است.

فضاهای برداری روی یک میدان مرتب 
فضاهای برداری (مخصوصاً n-فضاها) روی یک میدان مرتب، نشان دهندهٔ برخی از ویژگی‌های خاص هستند و ساختارهای خاصی دارند، مثلا: جهت‌گیری، تحدب، و فضای ضرب داخلی مثبت-معین. برای بحث در مورد آن ویژگی‌های  ، که می‌توانند به فضاهای برداری بیش از سایر میدان‌های مرتب تعمیم یابند.

میدان‌های قابل تبدیل به میدان مرتب 
هر میدان مرتب یک میدان فرمال حقیقی است، برای مثال ۰ را نمی‌توان به صورت مجموع مجذورهای ناصفر نوشت.

متقابلاً، هر میدان فرمال حقیقی شامل یک ترتیب کلی سازگار است که آن را به یک میدان مرتب تبدیل می‌کند. (این ترتیب نیازی به تعیین منحصر به فرد نیست) برای اثبات از لم زورن استفاده می‌شود.

میدانهای متناهی و به‌طور کلی میدان‌های مشخصه مثبت را نمی‌توان به میدان‌های مرتب تبدیل کرد، زیرا در مشخصه p، عنصر -۱ را می‌توان به صورت مجموع () مجذورهای  نوشت. اعداد مختلط را نیز نمی‌توان به یک میدان مرتب تبدیل کرد، زیرا -۱ مجذوری از یکه موهومی i است. همچنین، اعداد p -adic را نمی‌توان مرتب کرد، زیرا طبق لم هنسل، Q 2 شامل ریشهٔ زوج ۷- است، پس  ، و Q p () حاوی یک جذر  است، بنابراین .

توپولوژی ناشی از ترتیب 
اگر F به توپولوژی ترتیبی شامل مرتبه کلی ≤ باشد، آنگاه اصول موضوع تضمین می‌کنند که عملیات + و × پیوسته هستند، پس F یک میدان توپولوژیکی است.

توپولوژی هریسون 
توپولوژی هریسون، یک توپولوژی در مجموعه‌ای از ترتیبات  از یک میدان فرمال حقیقی  است. هر مرتبه را می‌توان به عنوان یک همومورفیسم گروهی ضربی از *F بروی  در نظر گرفت. با قرار دادن  توپولوژی گسسته و  توپولوژی ضربی، توپولوژی زیرفضای  را القا می‌کند. مجموعه هریسون  زیرپایه ی توپولوژی هریسون را تشکیل می‌دهد. حاصل یک فضای بولین است (فضای فشرده، فضای هاسدورف و کاملاً منقطع) و  زیرمجموعه‌ای بسته بوده، لذا مجدداً بولین است.

فن‌ها و میدان‌های فوق مرتب 
یک فَن (fan) روی  پیش ترتیبی چون  است با این ویژگی که اگر  زیرگروهی از شاخص ۲ در  شامل  بوده و شامل ۱- نباشد، آنگاه  یک ترتیب است (یعنی  تحت عمل جمع بسته‌است). میدان فوق مرتب میدانی کلاً حقیقی است که در آن مجموع مربعات یک فن را تشکیل می‌دهند.

یادداشت‌ها

ارجاعات

منابع 

 
 
 

 

ساختارهای جبری مرتب
گروه‌های مرتب
هندسه جبری حقیقی