تعريف

تكون المجموعة S قابلة للعد إذا وجدت دالة رياضية دالة دالة متباينة متباينة مجموعة انطلاقها هي S ومجموعة وصولها هي ... ,N 0, 1, 2, 3.

fcolon S o mathbb N

إذا كانت بالإضافة إلى ذلك f دالة شمولية (أي أنها دالة تقابلية بما أن كل دالة تباينية وشمولية هي دالة تقابلية), فإن المجموعة تدعى لامنتهية عديا. مع هذا فإن بعض المؤلفين يستخدم مصطلح معدود countable ليدل على ما هو غير منته عديا. إذا كانت S مجموعة غير فارغة عندئذ تكون العبارات التالية متكافئة

1. S مجموعة معدودة
2. هناك دالة متباينة تحقق ما يلي

fcolon S o mathbb N

توجد دالة شمولية g حيث

gcolon mathbb N o S

أمثلة

وضح ان المجموعة الأعداد الغير قياسية مجموعة غير قابلة للعد

نظريات

حقائق ونتائج

حقيقة (1)

المجموعة غير المنتهية A قابلة للعد إذا وفقط إذا وجدت دالة تقابل (أحادية وشاملة) بين A وبين مجموعة قابلة للعد B. البرهان إذا كانت A قابلة للعد فهناك تقابل fcolon A o mathbb Z^+ وبالتالي B هي مجموعة الأعداد الصحيحة الموجبة. عكسيا افرض أن B قابلة للعد وأن gcolon A o mathbb B تقابل. من قابلية B للعد يوجد تقابل fcolon B o mathbb Z^+ وعليه فإن التركيب f circ gcolon A o mathbb Z^+ يمثل تقابلا من A إلى مجموعة الأعداد الصحيحة الموجبة وهذا يثبت قابلية A للعد.

النتيجة الأولى

المجموعة غير المنتهية A قابلة للعد إذا وفقط إذا وجد دالة أحادية من A إلى mathbb Z^+ . البرهان افرض أن fcolon A o mathbb Z^+ أحادية. إذًا f(A) جزئية من مجموعة الأعداد الصحيحة الموجبة وبالتالي قابلة للعد حسب نظرية1. إذا fcolon A o f(A) دالة تقابل وعليه فإن A قابلة للعد حسب حقيقة 1. في الرياضيات ، مجموعة قابلة للعد إنج Countable Set هي مجموعة (رياضيات) مجموعة يمكن نسب كل عنصر من عناصرها لأحد أعداد مجموعة الأعداد الطبيعية . يمثل هذا العدد الطبيعي ترتيب ذلك العنصر في المجموعة. أول من استعمل هذا المصطلح هو جورج كانتور . تعتبر المجموعة معدودة إذا كان عدد عناصرها منتهيا أو إذا كانت تحوي نفس عدد العناصر التي تحويها مجموعة الأعداد الطبيعية. قام جورج كانتور كانتور بتقديم تعريف آخر للمصطلح وهو أن المجموعة تكون معدودة إذا أمكن مقابلة عناصرها واحدا لواحد مع مجموعة جزئية من الأعداد الطبيعية. فبما أن الأعداد الطبيعية هي المستعملة دوما بغرض العد فإن أي مجموعة تفوق هذه المجموعة بالحجم تعتبر مجموعة غير قابلة للعد . الأحجام المختلفة للمجموعات غير المنتهية من اختصاص نظرية الأعداد الترتيبية .