به مجموعهی اعداد زیر ، اعداد صحیح یا اعداد درست گویند و آن را با Zنمایش میدهند:
::{ … , 3 , 2 , 1 , 0 , 1- , 2- , 3- , …} = Z
درواقع اعداد صحیح شامل اعداد طبیعی مثبت و اعداد طبیعی منفی و عدد صفر است.
این اعداد همانند اعداد طبیعی جزء مجموعه های شمارش پذیر نامتناهی است.
شاخه ای از ریاضیات که به مطالعه در مورد ویژگیهای اعداد صحیح می پردازدنظریه اعداد نام دارد.
ویژگیهای جبری
اعداد صحیح همانند اعداد طبیعی نسبت به اعمال جمع و ضرب بسته است،یعنی جمع و ضرب هر دو عدد صحیح، یک عدد صحیح است.
و چون اعداد صحیح شامل اعداد منفی و صفر می باشند بنابراین بر خلاف اعداد طبیعی نسبت به عمل تفریق نیز بسته اند.ولی چون حاصل تقسیم دو عدد صحیح بر هم ممکن است عددی صحیح نباشد،پس نمیتواند نسبت به عمل تقسیم بسته باشد.
|
با توجه به خواص ذکر شده در جدول فوق مجموعه Z با عمل جمع تشکیل یک گروه آبلی را میدهد.ولی مجموعه Z با عمل ضرب تشکیل گروه نمیدهد،چون تمام اعداد صحیح دارای عضو معکوس در Z نیستند.
اگر چه عمل تقسیم روی مجموعه Z تعریف نشده است .ولی یکی از مهمترین خواص تقسیم به نام الگوریتم تقسیم در این مجموعه تعریف شده است.این الگوریتم به ما میگوید : دو عدد صحیح مانند a وb که b ≠ 0 در نظر میگیریم.در این صورت اعداد صحیح یکتا مانند q وr وجود دارند به طوریکه:
عدد صحیح q راخارج قسمت وr را باقیمانده مینامند. این روش ،اساس محاسبه بزرگترین مقسوم علیه مشترک میباشد.
تعریف اعداد صحیح از روی اعداد طبیعی
میخواهیم از روی اعداد طبیعی مجموعهی اعداد صحیح را به کمک منطق کلاسیک و اصول ZFتولید کنیم.
رابطهی ~ را روی __Nتعریف میکنیم:
(‘a , b) ~ (a’ , b) اگر و تنها اگرa+b’ = a’+b
رابطهی فوق یک رابطهی همارزی است.
به مجموعهی کلاس های هم ارزی رابطهی همارزی ~ ، اعداد صحیح میگویند. |