From Wikipedia, the free encyclopedia
Изброимо множество е всяко крайно множество, както и всяко множество (безкрайно), от което съществува биекция в множеството на естествените числа.
За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |
Казано по друг начин – всяко множество, от което съществува инекция в множеството на естествените числа е изброимо. Ако съществува биекция (т.е. такава инекция, която е и сюрекция), то множеството е безкрайно изброимо, а ако няма биекция (а само инекция) — крайно (изброимо) множество. Казано с други думи: едно множество е изброимо тогава и само тогава, когато има мощност (кардиналност) ненадминаваща мощността на множеството на естествените числа .
Горното определение включва както крайни, така и безкрайни множества, т.е. множества равномощни на някое подмножество на естествените числа. Съществуват проблеми с терминологията за „изброимостта“. Някои автори наричат изброими само безкрайните множества от горния вид. За избягване на колизии обикновено безкрайните се наричат изброимо безкрайни, а общото название за горните множества (крайни и безкрайни) е най-много изброими. Безкрайни множества с кардиналност надминаваща тази на естествените числа се наричат неизброими или неизброимо безкрайни.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.