موضوع مقاله: میدان مرتب | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # میدان مرتب | مقدمه: مثال پایه از یک میدان مرتب، میدان اعداد حقیقی است و هر میدان مرتب ددکیند کامل با یک میدان حقیقی یکریخت است. | ## بخش 1: میدان مرتب | همچنین هر زیر میدان یک میدان مرتب، با ارث بردن رابطه ترتیب، خود یک میدان مرتب خواهد بود. مربع‌ها لزوماً در یک میدان مرتب نامنفی هستند؛ یعنی اعداد مختلط را نمی‌توان مرتب کرد زیرا مجذور i یکه موهومی، ۱- است. از لحاظ تاریخی، اصول موضوعهٔ یک میدان مرتب به تدریج توسط ریاضیدانانی از جمله داویت هیلبرت، اتو هولدر و هانس هان از اعداد حقیقی انتزاع شد. این در نهایت به نظریه آرتین-شرایر در میدان‌های مرتب و میدان‌های حقیقی فرمال توسعه داده شد. تعریف ترتیب کلی از نظر تاریخی برای اولین بار ظاهر شد و اصل موضوع مرتبه اول به عنوان یک رابطه دوتایی است. آرتین و شرایر این تعریف را بر حسب مخروط مثبت در سال ۱۹۲۶ ارائه کردند که زیرمجموعه عناصر نامنفی را تشریح می‌دهد. اگرچه مرتبهٔ دومی مرتبه بیشتر است، ولی ملاحظهٔ مخروط‌های مثبت به عنوان مخروط‌های اضافه ماکسیمال زمینهٔ بزرگ‌تری را فراهم می‌کند که در آن ترتیب‌های میدانی، ترتیب‌های اکسترمال جزئی هستند. ترتیب کلی یک میدان همراه با یک ترتیب کلی (اکید) روی یک میدان مرتب است اگر ترتیب برای همهٔ خواص زیر را دارا باشد: اگر آنگاه و اگر و سپس مخروط مثبت یک یا پیش ترتیب یک میدان یک زیر مجموعه است که خواص زیر را دارد: برای و که در ، هم و هم در هستند. یک ترتیب میدان داده شده ≤ مانند خاصیت اول، مجموعه ای از عناصر را به طوری که باشد، تشکیل یک مخروط مثبت از می‌دهد. متقابلاً، یک مخروط مثبت داده شده مثل از به صورتی که در خاصیت دوم است را می‌توان به یک ترتیب کلی با در نظر گرفتن بر مرتبط کرد به معنی . نمونه‌هایی از میدان‌های مرتب نمونه‌هایی از میدان‌های مرتب عبارتند از: اعداد گویا اعداد حقیقی هر زیر میدان از یک میدان مرتب، مانند اعداد جبری حقیقی یا اعداد محاسبه پذیر حوزه توابع گویای حقیقی ، که و چند جمله ای با ضرایب حقیقی هستند، ، می‌تواند به یک میدان مرتب تبدیل شود با تعریف اینکه هرگاه که در آن چند جمله ای برای و از هر چند جمله ای ثابت بزرگتر است. | ## بخش 2: میدان مرتب | میدان سری فرمال لورن با ضرایب حقیقی، که در آن x بی‌نهایت کوچک و مثبت در نظر گرفته می‌شود. ترانس سری میدان‌های بسته حقیقی اعداد فراحقیقی اعداد ابرحقیقی اعداد سورئال به جای یک مجموعه، یک کلاس مناسب را تشکیل می‌دهند، اما در غیر این صورت از اصول موضوعهٔ یک میدان مرتب پیروی می‌کنند. اگر میدان دارای مشخصه باشد، آنگاه −۱ حاصل جمع تایی‌های خواهد بود، اما -۱ مثبت نیست) به ویژه، میدان‌های متناهی را نمی‌توان مرتب کرد. معادلا :: هر زیر میدان از یک میدان مرتب نیز یک میدان مرتب است (ترتیب القایی به ارث می‌برد). کوچکترین زیر میدان نسبت به اعداد گویا یکریخت است (مثل هر میدان دیگری با مشخصه ۰) و ترتیب در این زیر میدان گویا مثل ترتیب خود گویاها است. اگر هر عنصر از یک میدان مرتب بین دو عنصر از زیر میدان گویای آن قرار گیرد، آنگاه میدان ارشمیدسی است. وگرنه چنین میدانی یک میدان مرتب غیر ارشمیدسی است و شامل بی‌نهایت کوچک‌ها می‌باشد؛ مثلاً، اعداد حقیقی یک میدان ارشمیدسی را تشکیل می‌دهند، اما اعداد ابرحقیقی یک میدان غیر ارشمیدسی را تشکیل می‌دهند، زیرا اعداد حقیقی را با عناصر بزرگتر از هر عدد طبیعی استاندارد می‌توان گسترش داد. یک میدان مرتب F با میدان عدد حقیقی R یکریخت است اگر هر زیر مجموعه ناتهی از F با کران بالا در F حداقل کران بالایی در F داشته باشد. فضاهای برداری روی یک میدان مرتب فضاهای برداری (مخصوصاً n-فضاها) روی یک میدان مرتب، نشان دهندهٔ برخی از ویژگی‌های خاص هستند و ساختارهای خاصی دارند، مثلا: جهت‌گیری، تحدب، و فضای ضرب داخلی مثبت-معین. برای بحث در مورد آن ویژگی‌های ، که می‌توانند به فضاهای برداری بیش از سایر میدان‌های مرتب تعمیم یابند. میدان‌های قابل تبدیل به میدان مرتب هر میدان مرتب یک میدان فرمال حقیقی است، برای مثال ۰ را نمی‌توان به صورت مجموع مجذورهای ناصفر نوشت. | ## بخش 3: میدان مرتب | متقابلاً، هر میدان فرمال حقیقی شامل یک ترتیب کلی سازگار است که آن را به یک میدان مرتب تبدیل می‌کند. (این ترتیب نیازی به تعیین منحصر به فرد نیست) برای اثبات از لم زورن استفاده می‌شود. میدانهای متناهی و به‌طور کلی میدان‌های مشخصه مثبت را نمی‌توان به میدان‌های مرتب تبدیل کرد، زیرا در مشخصه p، عنصر -۱ را می‌توان به صورت مجموع مجذورهای نوشت. اعداد مختلط را نیز نمی‌توان به یک میدان مرتب تبدیل کرد، زیرا -۱ مجذوری از یکه موهومی i است. همچنین، اعداد p -adic را نمی‌توان مرتب کرد، زیرا طبق لم هنسل، Q 2 شامل ریشهٔ زوج ۷- است، پس ، و Q p حاوی یک جذر است، بنابراین . توپولوژی ناشی از ترتیب اگر F به توپولوژی ترتیبی شامل مرتبه کلی ≤ باشد، آنگاه اصول موضوع تضمین می‌کنند که عملیات + و × پیوسته هستند، پس F یک میدان توپولوژیکی است. توپولوژی هریسون توپولوژی هریسون، یک توپولوژی در مجموعه‌ای از ترتیبات از یک میدان فرمال حقیقی است. حاصل یک فضای بولین است (فضای فشرده، فضای هاسدورف و کاملاً منقطع) و زیرمجموعه‌ای بسته بوده، لذا مجدداً بولین است. فن‌ها و میدان‌های فوق مرتب یک فَن (fan) روی پیش ترتیبی چون است با این ویژگی که اگر زیرگروهی از شاخص ۲ در شامل بوده و شامل ۱- نباشد، آنگاه یک ترتیب است (یعنی تحت عمل جمع بسته‌است). | ## جمع‌بندی | میدان فوق مرتب میدانی کلاً حقیقی است که در آن مجموع مربعات یک فن را تشکیل می‌دهند.