خاصیت ارشمیدسی

در جبر مجرد و آنالیز، خاصیت ارشمیدسی (Archimedean Property) که براساس نام ریاضی‌دان یونانی، ارشمیدس از سیراکوز نامگذاری شده، خاصیتی است که برای برخی از ساختارهای جبری چون گروه‌های مرتب یا گروه‌های نرم‌دار و میدان‌ها برقرار است. این خاصیت بیان می‌دارد که برای دو عدد مثبت دلخواه x و y، عدد صحیحی چون n وجود دارد چنان‌که . معنای دیگرش این است که مجموعه اعداد طبیعی از بالا کراندار نیستند. همچنین این خاصیت را به‌طور نادقیق می‌توان این‌گونه توصیف نمود که هیچ عنصر بی‌نهایت بزرگ یا بی‌نهایت کوچکی وجود ندارد. اتو استولز این اصل را به نام ارشمیدس نام‌گذاری نمود، چرا که در اصل پنجم کتاب ارشمیدس با عنوان «در مورد کره و استوانه» پدیدار شده است.

ارجاعات

منابع 

 

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