بوابة:رياضيات متقطعة/مقالة مختارة/2

من ويكيبيديا، الموسوعة الحرة
في الرياضيات، مجموعة قابلة للعد (بالإنجليزية: Countable Set)‏ هي مجموعة يمكن نسب كل عنصر من عناصرها لأحد أعداد مجموعة الأعداد الطبيعية. يمثل هذا العدد الطبيعي ترتيب ذلك العنصر في المجموعة. أول من استعمل هذا المصطلح هو جورج كانتور. تعتبر المجموعة معدودة إذا كان عدد عناصرها منتهيا أو إذا كانت تحوي نفس عدد العناصر التي تحويها مجموعة الأعداد الطبيعية. قام كانتور بتقديم تعريف آخر للمصطلح وهو أن المجموعة تكون معدودة إذا أمكن مقابلة عناصرها واحدا لواحد مع مجموعة جزئية من الأعداد الطبيعية. فبما أن الأعداد الطبيعية هي المستعملة دوما بغرض العد فإن أي مجموعة تفوق هذه المجموعة بالحجم تعتبر مجموعة غير قابلة للعد. الأحجام المختلفة للمجموعات غير المنتهية من اختصاص نظرية الأعداد الترتيبية.