تسرملو ارنست

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