تبلیغات
گروه ریاضیات دانشگاه علوم پایه دامغان - اصل موضوع اقلیدس
 
گروه ریاضیات دانشگاه علوم پایه دامغان
چهارشنبه 14 اسفند 1387 :: نویسنده : محمد پاک نژاد


اصل موضوع اقلیدس: هر کل از هر جزء خود اکیدا بزرگ‌تر است.

این اصل یک حقیقت بدیهی به نظر می‌رسد و در فلسفه نیز از آن استفاده می‌شود. این اصل ادعا می‌کند که اگر قسمتی از یک شئ را حذف کنیم، آن‌چه باقی می‌ماند از شئ اولیه اکیدا کوچک‌تر است.


به ادامه ی مطلب برو    نظرم بده

اگرچه در دنیای طبیعی این اصل درست است، اما پس از ظهور مفهوم مجموعه مثال‌های نقضی برای آن پیدا شد. مثلاً واضح است که تعداد اعداد طبیعی با تعداد اعداد زوج طبیعی برابر است (کافی است هر عدد طبیعی را با دو برابرش متناظر کنیم)، در حالی که اعداد زوج طبیعی، جزءی از همه اعداد طبیعی هستند

بینهایت از نگاه ددکیند: 

اشتباه بودن اصل موضوع اقلیدس در زمینه ریاضیات مورد بحث بود، تا این که ریچارد ددکیند تعریفی از مفهوم بینهایت ارائه داد. ددکیند هر چیزی را که اصل موضوع اقلیدس برای آن صادق نباشد، بینهایت نامید. پس طبق تعریف ددکیند، بینهایت هر چیزی است که با جزئی از خود هم‌اندازه باشد.

این، شاید اولین تعریف از بینهایت در زمینه نظریه مجموعه باشد. ددکیند مجموعه‌ای را که بینهایت عضو داشته باشد، نامتناهی نامید. پس طبق این تعریف، یک مجموعه را نامتناهی گوییم هرگاه با یک زیرمجموعه سره از خودش هم‌اندازه باشد. مجموعه متناهی، مجموعه‌ایست که نامتناهی نباشد

بینهایت از نگاه کانتور:

در اواخر قرن نوزده، جرج کانتور به‌طور رسمی نظریه مجموعه را ارائه داد. براساس نظریه کانتور، مجموعه A را k عضوی گوییم (k\in \mathbb{N}) هرگاه یک تناظر یک به یک بین A و مجموعه \{1,2,\cdots, k\} وجود داشته باشد. مجموعه متناهی مجموعه‌ایست که یا تهی باشد و یا (به ازای یک k\in \mathbb{N}،) k عضوی باشد. و بالاخره مجموعه نامتناهی مجموعه‌ایست که متناهی نباشد.

به عبارت دیگر، طبق تعریف کانتور، بینهایت هر چیزی است که نتوان آن را شمرد.

نکته قابل توجه این است که تعریف‌های ددکیند و کانتور از مفهوم بینهایت با هم معادل‌اند؛ به عبارت دیگر، می‌توان نشان داد که یک مجموعه نامتناهی است اگر و تنها اگر با یک زیرمجمموعه سره از خودش هم‌اندازه باشد.





نوع مطلب : ریاضیات، 
برچسب ها :
لینک های مرتبط :
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر


آمار وبلاگ
  • کل بازدید :
  • بازدید امروز :
  • بازدید دیروز :
  • بازدید این ماه :
  • بازدید ماه قبل :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :