عدد جبری
یک عدد جبری (طبق اصطلاحی که کرونکر ریاضی‌دان آلمانی بکار برد )، یک عدد مختلط است که پاسخ معادله‌ای به شکل زیر باشد:
anx + an−۱x + ··· + a۱x + a۰ = ۰
که ضریب‌های a۰ تا an در این معادله چندجمله‌ای، عددهایی گویا باشند.
اگر an = ۱، به ریشه‌های معادلهٔ بالا عدد جبری صحیح گویند.
در حالت کلی اگر ضریب‌های معادلهٔ چندجمله‌ای‌مان از یک میدان دیگری به غیر از اعداد گویا آمده باشند، فرض کنید میدان
به عدد مختلطی که جبری نباشد، یعنی هیچ معادلهٔ چندجمله‌ای با ضریب‌های گویا که ریشه‌اش شود نتوان یافت، یک عدد متعالی گوئیم. از عددهای متعالی مشهور می‌توان عدد نپر و عدد پی را نام برد. اولین عدد متعالی را ریاضی‌دان فرانسوی جوزف لیوویل در سال ۱۸۴۴ میلادی با اثبات معرفی کرد که گسترش آن اثبات خانوادهٔ بزرگی از اعداد متعالی را آشکار ساخت و به احترام او آن‌ها را اعداد لیوویل می‌گویند.
به روش مشابه اعدادی را که جبری روی میدان
نمونه‌ها
- تمامی اعداد گویا جبری هم هستند، چرا که، خارج قسمت دو عدد صحیح وکهناصفر باشد، یعنی،ریشهٔ معادلهٔاست.
- ریشهٔ اُم یک عدد گویا عددی جبری است. یک عدد گویا مانندبردارید و ریشهٔآن یعنیرا در نظر بگیرید. ممکن است در عددهای حقیقی موجود نباشد ولی در عددهای مختلط برای اعداد منفی نیز ریشهٔ زوج تعریف می‌شود و اعداد جبری عددهای مختلط هستند پس اگر برای نمونه با جذر منهای یک روبرو هستیم مشکلی وجود ندارد. این عدد یک ریشه از چندجملهایاست.
ویژگی‌ها
- اعداد جبری شمارش پذیر هستند.
- عددهای جبری نسبت به جمع و ضرب و قرینه و واورن (وارون عدد جبری ناصفر) بسته هستند بنابراین با دو عمل جمع و ضرب معمولی اعداد تشکیل یک میدان می‌دهند.
منابع
- ↑ لگاریتم، نوشتهٔ گ. ک. استاپو، ترجمهٔ پرویز شهریاری، انتشارات خوارزمی، چاپ اول، ص 83.
- ↑ David Angell, Irrationality and Transcendence, page 34
- ↑ David Angell, Irrationality and Transcendence, page 35
- ↑ david Angell, Irrationality and Transcendence, Theorem at page 32 and Corollary at page 33
- David Angell, (Pure Mathematics IV) Irrationality and Transcendence, revised version of 2007
- Algebraic Number from Mathworld (بازبینی ۲ ژوئیه ۲۰۰۶)