تسرملو، ارنست (۱۸۷۱ـ۱۹۵۳)

از ویکیجو | دانشنامه آزاد پارسی

تِسِرْمِلو، اِرْنِسْت (۱۸۷۱ـ۱۹۵۳)(Zermelo, Ernst)
ریاضی‌دان آلمانی. سهم مهمی در پیشبرد نظریۀ مجموعه‌ها[۱] داشت و به‌خصوص، نظریه‌ای اصلِ موضوعی[۲] درباب مجموعه‌ها عرضه کرد که امروز نام او را بر خود دارد. در برلین زاده شد و در هاله[۳] و فرایبورگ[۴] درس خواند. در ۱۹۰۵، استاد گوتینگن شد و بعداً به فرایبورگ رفت. در ۱۹۳۵، در اعتراض به رژیم نازی، از کار دانشگاهی خود استعفا کرد و در ۱۹۴۶، دوباره به‌کار بازگشت. در ۱۹۰۴، اثبات مبتکرانه‌ای برای قضیۀ خوش‌ترتیبی[۵] عرضه کرد. بنابه این قضیه، هر مجموعه‌ای را می‌توان خوش‌ترتیب کرد، یعنی برای هر مجموعۀ S می‌توان رابطه‌ای چون a < b، به‌معنی a مقدم است برb، بین اعضای S معرفی کرد به‌طوری که (الف) به‌ازای هر دو عضو a و b از این مجموعه یا a < b یا a = b یا b < a؛ (ب) اگر a < b و b < c، آن‌گاه a < c؛ و (ج) هر زیرمجموعۀ S دارای اولین عضو باشد، یعنی عنصری که بر همۀ اعضای دیگر مقدم است. تسرملو این قضیه را با پذیرش اصل موضوع انتخاب[۶] ثابت کرد، یعنی این فرض را پذیرفت که انتخاب یا مشخص‌کردن عضوی از هر زیرمجموعۀ S ممکن است. بیان اصل موضوع انتخاب به‌شکل صریح از کارهای مهم تسرملو است (۱۹۰۴). قبل از آن، این اصل به‌صورت ضمنی و ناآگاهانه در بعضی از استدلال‌های ریاضی به‌کار می‌رفت. بعدها مشخص شد که این اصل در واقع معادل با قضیۀ خوش‌ترتیبی است. نخستین صورت‌بندی اصول موضوع برای نظریۀ مجموعه‌ها، یعنی ایجاد دستگاهی اصل موضوعی برای نظریۀ گئورگ کانتور[۷]، ریاضی‌دان آلمانی، در ۱۹۰۸ به‌دست تسرملو صورت گرفت.

 


  1. set theory
  2. axiomatic theory
  3. Halle
  4. Freiburg
  5. well-ordering theorem
  6. axiome of choice
  7. George Cantor