Countable set (original) (raw)
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
| Property | Value | ||
|---|---|---|---|
| dbo:abstract | في الرياضيات، مجموعة قابلة للعد (بالإنجليزية: Countable Set) أو عدودة هي مجموعة يمكن نسب كل عنصر من عناصرها لأحد أعداد مجموعة الأعداد الطبيعية. يمثل هذا العدد الطبيعي ترتيب ذلك العنصر في المجموعة. أول من استعمل هذا المصطلح هو جورج كانتور. تعدّ المجموعة معدودة إذا كان عدد عناصرها منتهيا أو إذا كانت تحوي نفس عدد العناصر التي تحويها مجموعة الأعداد الطبيعية. قام جورج كانتور بتقديم تعريف آخر للمصطلح وهو أن المجموعة تكون معدودة إذا أمكن مقابلة عناصرها واحدا لواحد مع مجموعة جزئية من الأعداد الطبيعية.فبما أن الأعداد الطبيعية هي المستعملة دوما بغرض العد فإن أي مجموعة تفوق هذه المجموعة بالحجم تعدّ مجموعة غير قابلة للعد. الأحجام المختلفة للمجموعات غير المنتهية من اختصاص نظرية . (ar) En matemàtiques, un conjunt és numerable quan els seus elements poden posar-se en correspondència un a un amb un subconjunt del conjunt dels nombres naturals. Concretament, s'anomena conjunt infinit numerable (o denumerable) a aquell tal que els seus elements poden posar-se en correspondència un a un conjunt dels nombres naturals. Per exemple, el conjunt de tots els nombres parells, és infinit numerable perquè la correspondència següent: és una bijecció: cada nombre natural correspon a un únic nombre parell i viceversa. Alguns autors prenen una definició alternativa de conjunt numerable que no inclou els conjunts finits. Georg Cantor fou el primer que feu ús d'aquest concepte en un article publicat el 1874 que marcaria el naixement de la teoria de conjunts. Tanmateix, la seva importància es manifesta en nombrosos camps de les matemàtiques, en particular a l'anàlisi, en teoria de la mesura i en topologia. (ca) Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel. (cs) In der Mengenlehre wird eine Menge als abzählbar unendlich bezeichnet, wenn sie die gleiche Mächtigkeit hat wie die Menge der natürlichen Zahlen . Dies bedeutet, dass es eine Bijektion zwischen und der Menge der natürlichen Zahlen gibt, die Elemente der Menge also „durchnummeriert“ werden können. Zu den höchstens abzählbaren Mengen zählen neben den abzählbar unendlichen Mengen auch die endlichen Mengen. Die Verwendung des Begriffes abzählbar ist nicht einheitlich. Er kann je nach Definition sowohl abzählbar unendlich als auch höchstens abzählbar bedeuten. Eine nichtleere Menge, die weder endlich noch abzählbar unendlich ist, wird als überabzählbar bezeichnet. Die Mächtigkeit einer abzählbar unendlichen Menge wird – als Kardinalzahl – mit (gesprochen: alef null) bezeichnet, etwa gilt . Zu dieser Bezeichnung siehe auch Aleph-Funktion. (de) Ένα σύνολο Α που είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται αριθμήσιμο. Ένα σύνολο Α που είναι είτε πεπερασμένο είτε αριθμήσιμο ονομάζεται το πολύ αριθμήσιμο. Ένα σύνολο Α που δεν είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται υπεραριθμήσιμο. Κάθε υποσύνολο ενός αριθμήσιμου συνόλου είναι το πολύ αριθμήσιμο. (el) En matematiko, kalkulebla aro estas aro kun la sama kardinala nombro (povo de aro aŭ kvanto de elementoj) kiel iu subaro de la aro de ĉiuj naturaj nombroj. Aro, kiu ne estas kalkulebla estas nomata nekalkulebla. La termino devenas de Georg Cantor. La elementoj de kalkulebla aro povas esti kalkulitaj po unu: kvankam la kalkulado povas neniam finiĝi, tamen ĉiu elemento de la aro estos asociita kun natura nombro. Iuj aŭtoroj uzas la terminon kalkulebla aro por aro kun la sama kardinalo kiel la aro de ĉiuj naturaj nombroj. La diferenco inter la du difinoj estas ke sub la unua, finiaj aroj estas ankaŭ konsiderataj kiel kalkuleblaj, dum sub la lasta difino, ili estas ne konsiderataj kiel kalkuleblaj. Por forigi ĉi tiun multvalorecon, la termino maksimume kalkulebla estas iam uzita por la unua komprenaĵo, kaj kalkuleble malfinia por la lasta. La kardinala nombro de kalkuleble malfinia aro estas skribata kiel (la komenca alef-nombro) aŭ (la komenca ). (eo) In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is countable if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is countable if its cardinality (its number of elements) is not greater than that of the natural numbers. A countable set that is not finite is said countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. (en) Matematikan, multzo bat zenbakigarria edo zenbakarria da zenbaki arrunten multzoaren azpimultzoren batekin bijekzioa egitea onartzen duenean, hau da, zenbaki arrunten multzoarekin ekipotentea bada, haren kardinal bera duelako. Beste modu batera esanda, S multzo bat zenbakigarria da bere kardinala |S | zenbaki arrunten multzoaren kardinala, aleph-zero, baino txikiagoa edo berdina bada. Multzo zenbakigarri baten elementuak banan-banan kontatu daitezke, hau da, kontagarriak dira, multzoko elementu bakoitzari esleitu diezaiokegulako zenbaki arrunt bat zenbaki arrunt bat ere errepikatu gabe. (eu) En matemáticas, un conjunto numerable es un conjunto finito o si existe una correspondencia con los números naturales. Más concretamente, un conjunto se dice que es numerable (o contable) cuando es finito o cuando existe una biyección entre este conjunto y el conjunto de los números naturales. En 1874 Georg Cantor introdujo el término conjunto numerable, contrastando conjuntos que son contables con los que son incontables. Hoy en día, los conjuntos numerables forman la base de una rama de las matemáticas llamada matemática discreta. (es) En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ». Il existe deux usages du mot « dénombrable » en mathématiques, suivant que l'on comprend ou non parmi les ensembles dénombrables les ensembles finis, dont les éléments peuvent être numérotés par les entiers positifs inférieurs à une valeur donnée. C'est seulement quand on comprend les ensembles finis parmi les ensembles dénombrables qu'il est utile de préciser infini dénombrable. Georg Cantor est le premier à faire usage de cette notion, dans un article publié en 1874, qui marque la naissance de la théorie des ensembles. Mais l'importance du dénombrable se manifeste dans de nombreux domaines des mathématiques, notamment en analyse, en théorie de la mesure et en topologie. (fr) Dalam teori himpunan, suatu himpunan dikatakan terhitung (atau tercacah) apabila himpunan tersebut mempunyai kardinalitas yang sama dengan himpunan bilangan bulat . Artinya ada pemetaan bijektif dari himpunan ke himpunan . (in) In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali. Se un insieme numerabile possiede un numero infinito di elementi, viene detto infinito numerabile, e dato che può essere messo in corrispondenza biunivoca con i numeri naturali, si può dire che un insieme è infinito numerabile se ha la cardinalità di . La cardinalità degli insiemi infiniti numerabili viene usualmente denotata con il simbolo . Si può dimostrare che ogni sottoinsieme infinito di un insieme numerabile è anch'esso numerabile, e che ogni insieme infinito contiene un sottoinsieme numerabile. Esempi di insiemi numerabili sono l'insieme dei numeri interi e quello dei numeri razionali. Il più semplice esempio di insieme non numerabile è dato dall'insieme dei numeri reali la cui non numerabilità è stata dimostrata per la prima volta da Cantor tramite il suo argomento diagonale. (it) 가산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말한다. 가령 짝수의 집합은 무한집합이지만 각 짝수는 자연수에 순서대로 1:1 대응이 가능하므로 가산(셀 수있다)집합이다. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이라 한다. 자연수, 정수, 유리수의 집합은 가산집합이고, 실수의 집합은 비가산집합이다. 칸토어 집합은 비가산 무한집합이다. 어떤 집합이 가산 집합인 경우, 그 집합(의 원소의 개수)을 셀 수 있다 혹은 가산 개의 원소가 있다고 정의한다. 일반적으로 가산 집합에는 유한 집합이 포함되지만, 유한 집합을 제외하고 셀 수 있는 무한 집합만을 가리키는 경우도 있다. 앞의 경우는 가산 이하(at most countable)라는 표현을, 뒤의 의미에 대해 가산 무한(countable infinite)이나 가부번 집합(可附番集合, denumerable set)이라고 표현한다. 엄밀히는 유한 집합(가산 이하)은 자연수 집합으로 단사 함수가 존재하나 원소의 개수가 유한한 집합을 말하며, 가부번 집합은 자연수 집합으로 전단사 함수가 존재하는 집합을 말한다. (ko) Een aftelbare verzameling is in de wiskunde een verzameling waarvan de elementen afgeteld kunnen worden. Dat houdt in dat de elementen op een rij gezet kunnen worden met een eerste element, een tweede element, enzovoort, waarbij alle elementen aan de beurt komen. De eenvoudigste aftelbare verzamelingen zijn de eindige verzamelingen. Een aftelbare verzameling is niet noodzakelijk eindig. Zo zijn ook de gehele getallen aftelbaar. We zetten ze als volgt in een rij om geteld te worden: 0, 1, -1, 2, -2, 3, -3, enz. Het tellen van de elementen stopt weliswaar nooit, maar elk element komt aan de beurt. Er zijn ook verzamelingen die overaftelbaar zijn, dat wil zeggen niet aftelbaar. Een verzameling is dus eindig, aftelbaar oneindig, of overaftelbaar. (nl) 可算集合（かさんしゅうごう、英語: countable set または denumerable set）または可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合 (countably infinite set) と呼び、可算無限集合と有限集合を合わせて高々可算 (at most countable) の集合と呼ぶ。可算でない無限集合を非可算集合 (uncountable set) という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。 (ja) Счётное множество — бесконечное множество, элементы которого возможно пронумеровать натуральными числами.Более формально: множество является счётным, если существует биекция со множеством натуральных чисел: , другими словами, счётное множество — это множество, равномощное множеству натуральных чисел. В иерархии алефов мощность счётного множества обозначается («алеф-нуль»). (ru) Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais. Um conjunto é dito incontável quando ele não é contável. O termo foi criado por Georg Cantor. Os elementos de um conjunto contável podem ser contados um por vez—mesmo que a contagem nunca termine, cada elemento do conjunto será eventualmente associado com um número natural. Alguns autores usam conjunto contável para representar um conjunto com a mesma cardinalidade do conjunto dos números naturais. A diferença entre as duas definições é que, considerando a primeira definição, conjuntos finitos também são considerados contáveis. A segunda definição, no entanto, estabelece que conjuntos infinitos não são contáveis. Para resolver essa ambiguidade, o termo máximo contável é usado para a primeira definição, e infinito contável para a segunda definição. O termo enumerável também pode ser usado para representar infinito contável, ou contável, em contraste com o termo não enumerável. (pt) En uppräknelig mängd är en mängd för vilken man kan införa någon metod för att numrera alla element så att varje element tas upp minst en gång. Mer formellt har en uppräknelig mängd samma kardinaltal som någon delmängd till de naturliga talen, det vill säga ett ändligt tal eller ℵ₀. Exempel: Mängderna {1, 2, 3, 4, 5, 6, 7} och {A, B, C, D, E, F, G} är båda uppräkneliga med kardinaltalet 7 i båda fallen. Alla naturliga tal är var för sig uppräkneliga. Ett tal n vilket som helst har ju kardinaliteten n eftersom | n |
| dbo:thumbnail | wiki-commons:Special:FilePath/Aplicación_2_inyectiva_sobreyectiva02.svg?width=300 | ||
| dbo:wikiPageExternalLink | https://archive.org/details/calculus00apos https://link.springer.com/chapter/10.1007/978-981-10-1789-6_8 http://www.digizeitschriften.de/dms/img/%3FPID=GDZPPN002156806 | ||
| dbo:wikiPageID | 6026 (xsd:integer) | ||
| dbo:wikiPageLength | 28272 (xsd:nonNegativeInteger) | ||
| dbo:wikiPageRevisionID | 1124940318 (xsd:integer) | ||
| dbo:wikiPageWikiLink | dbr:Cantor's_first_uncountability_proof dbr:Cantor's_theorem dbr:Cartesian_product dbr:Power_set dbr:Denominator dbr:Aleph-null dbr:Infinite_set dbr:Inner_model dbr:Constructible_universe dbr:Mathematical_induction dbr:Mathematical_logic dbr:Mathematics dbr:Function_(mathematics) dbr:Georg_Cantor dbr:Georg_Cantor's_first_set_theory_article dbr:Concision dbr:Löwenheim–Skolem_theorem dbr:Bijective dbr:Ordered_pair dbr:Total_order dbr:Transcendental_number dbr:Tuple dbr:Vulgar_fraction dbr:Well-order dbr:Disjoint_sets dbr:Aleph_number dbr:Algebraic_number dbr:Finite_intersection_property dbr:Finite_set dbr:Numerator dbr:Cardinality dbc:Basic_concepts_in_infinite_set_theory dbr:Hilbert's_paradox_of_the_Grand_Hotel dbr:Recursion dbr:Counting dbr:Prime_number dbc:Infinity dbc:Cardinal_numbers dbr:Bijection dbr:Surjective_function dbr:Axiom_of_countable_choice dbr:Injective_function dbr:Integer dbr:Natural_number dbr:Natural_numbers dbr:Ordinal_number dbr:Cantor's_diagonal_argument dbr:Rational_number dbr:Real_number dbr:Recursively_enumerable_set dbr:Sequence dbr:Set_(mathematics) dbr:Map_(mathematics) dbr:Union_(set_theory) dbr:ISO_31-11 dbr:Subset dbr:Uncountable dbr:Skolem's_paradox dbr:Uncountable_set dbr:One-one_correspondence dbr:One_to_one_correspondence dbr:File:Countablepath.svg dbr:File:Pairing_natural.svg dbr:File:Aplicación_2_inyectiva_sobreyectiva02.svg | ||
| dbp:em | 1.500000 (xsd:double) | ||
| dbp:mathStatement | The set is not countable; i.e. it is uncountable. (en) | ||
| dbp:name | Proposition (en) | ||
| dbp:text | 0 (xsd:integer) a ↔ 1, b ↔ 2, c ↔ 3 (en) | ||
| dbp:wikiPageUsesTemplate | dbt:Hatnote_group dbt:Set_theory dbt:Block_indent dbt:Citation dbt:Cite_book dbt:Cn dbt:Distinguish dbt:Efn dbt:ISBN dbt:Mvar dbt:Notelist dbt:Portal_bar dbt:Redirect dbt:Reflist dbt:Short_description dbt:Wiktionary dbt:Math_theorem dbt:Mathematical_logic dbt:Number_systems | ||
| dct:subject | dbc:Basic_concepts_in_infinite_set_theory dbc:Infinity dbc:Cardinal_numbers | ||
| rdf:type | owl:Thing yago:WikicatBasicConceptsInInfiniteSetTheory yago:WikicatCardinalNumbers yago:Abstraction100002137 yago:CardinalNumber113597585 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:DefiniteQuantity113576101 yago:Idea105833840 yago:Measure100033615 yago:Number113582013 yago:PsychologicalFeature100023100 | ||
| rdfs:comment | Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel. (cs) Ένα σύνολο Α που είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται αριθμήσιμο. Ένα σύνολο Α που είναι είτε πεπερασμένο είτε αριθμήσιμο ονομάζεται το πολύ αριθμήσιμο. Ένα σύνολο Α που δεν είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται υπεραριθμήσιμο. Κάθε υποσύνολο ενός αριθμήσιμου συνόλου είναι το πολύ αριθμήσιμο. (el) Matematikan, multzo bat zenbakigarria edo zenbakarria da zenbaki arrunten multzoaren azpimultzoren batekin bijekzioa egitea onartzen duenean, hau da, zenbaki arrunten multzoarekin ekipotentea bada, haren kardinal bera duelako. Beste modu batera esanda, S multzo bat zenbakigarria da bere kardinala |S | zenbaki arrunten multzoaren kardinala, aleph-zero, baino txikiagoa edo berdina bada. Multzo zenbakigarri baten elementuak banan-banan kontatu daitezke, hau da, kontagarriak dira, multzoko elementu bakoitzari esleitu diezaiokegulako zenbaki arrunt bat zenbaki arrunt bat ere errepikatu gabe. (eu) En matemáticas, un conjunto numerable es un conjunto finito o si existe una correspondencia con los números naturales. Más concretamente, un conjunto se dice que es numerable (o contable) cuando es finito o cuando existe una biyección entre este conjunto y el conjunto de los números naturales. En 1874 Georg Cantor introdujo el término conjunto numerable, contrastando conjuntos que son contables con los que son incontables. Hoy en día, los conjuntos numerables forman la base de una rama de las matemáticas llamada matemática discreta. (es) Dalam teori himpunan, suatu himpunan dikatakan terhitung (atau tercacah) apabila himpunan tersebut mempunyai kardinalitas yang sama dengan himpunan bilangan bulat . Artinya ada pemetaan bijektif dari himpunan ke himpunan . (in) 가산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말한다. 가령 짝수의 집합은 무한집합이지만 각 짝수는 자연수에 순서대로 1:1 대응이 가능하므로 가산(셀 수있다)집합이다. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이라 한다. 자연수, 정수, 유리수의 집합은 가산집합이고, 실수의 집합은 비가산집합이다. 칸토어 집합은 비가산 무한집합이다. 어떤 집합이 가산 집합인 경우, 그 집합(의 원소의 개수)을 셀 수 있다 혹은 가산 개의 원소가 있다고 정의한다. 일반적으로 가산 집합에는 유한 집합이 포함되지만, 유한 집합을 제외하고 셀 수 있는 무한 집합만을 가리키는 경우도 있다. 앞의 경우는 가산 이하(at most countable)라는 표현을, 뒤의 의미에 대해 가산 무한(countable infinite)이나 가부번 집합(可附番集合, denumerable set)이라고 표현한다. 엄밀히는 유한 집합(가산 이하)은 자연수 집합으로 단사 함수가 존재하나 원소의 개수가 유한한 집합을 말하며, 가부번 집합은 자연수 집합으로 전단사 함수가 존재하는 집합을 말한다. (ko) 可算集合（かさんしゅうごう、英語: countable set または denumerable set）または可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合 (countably infinite set) と呼び、可算無限集合と有限集合を合わせて高々可算 (at most countable) の集合と呼ぶ。可算でない無限集合を非可算集合 (uncountable set) という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。 (ja) Счётное множество — бесконечное множество, элементы которого возможно пронумеровать натуральными числами.Более формально: множество является счётным, если существует биекция со множеством натуральных чисел: , другими словами, счётное множество — это множество, равномощное множеству натуральных чисел. В иерархии алефов мощность счётного множества обозначается («алеф-нуль»). (ru) 在数学上，可数集，或称可列集，是与自然数集的某个子集具有相同基數（等势）的集合。在这个意义下，可数集由有限可数集和無限可數集组成。不是可数集的无穷集称为不可数集。这个术语是康托尔创造的。可数集的元素，正如其名，是「可以计数」的：尽管计数有可能永远无法终止，集合中每一个特定的元素都将对应一个自然数。 「可数集」这个术语有时也指代可数无穷集，即仅代表能和自然数集本身一一对应的集合。两个定义的差别在于有限集合在前者中算作可数集，而在后者中不算作可数集。 为了避免歧义，前一种意义上的可数有时称为至多可数，后一种可数集则称为无限可数集。 (zh) Зліченна множина — в теорії множин така нескінченна множина, елементи якої можна занумерувати натуральними числами. Множина, яка не є зліченною, називається незліченною. Таким чином, будь-яка множина є або скінченною, або зліченною, або незліченною. Формально: множина Y є зліченною, якщо існує бієкція f: Y → N, де N — множина натуральних чисел. Тобто зліченна множина — це множина, рівнопотужна множині натуральних чисел. Зліченна множина є найменшою нескінченною множиною в тому розумінні, що в будь-якій нескінченній множини знайдеться зліченна підмножина. (uk) في الرياضيات، مجموعة قابلة للعد (بالإنجليزية: Countable Set) أو عدودة هي مجموعة يمكن نسب كل عنصر من عناصرها لأحد أعداد مجموعة الأعداد الطبيعية. يمثل هذا العدد الطبيعي ترتيب ذلك العنصر في المجموعة. أول من استعمل هذا المصطلح هو جورج كانتور. الأحجام المختلفة للمجموعات غير المنتهية من اختصاص نظرية . (ar) En matemàtiques, un conjunt és numerable quan els seus elements poden posar-se en correspondència un a un amb un subconjunt del conjunt dels nombres naturals. Concretament, s'anomena conjunt infinit numerable (o denumerable) a aquell tal que els seus elements poden posar-se en correspondència un a un conjunt dels nombres naturals. Per exemple, el conjunt de tots els nombres parells, és infinit numerable perquè la correspondència següent: és una bijecció: cada nombre natural correspon a un únic nombre parell i viceversa. (ca) En matematiko, kalkulebla aro estas aro kun la sama kardinala nombro (povo de aro aŭ kvanto de elementoj) kiel iu subaro de la aro de ĉiuj naturaj nombroj. Aro, kiu ne estas kalkulebla estas nomata nekalkulebla. La termino devenas de Georg Cantor. La elementoj de kalkulebla aro povas esti kalkulitaj po unu: kvankam la kalkulado povas neniam finiĝi, tamen ĉiu elemento de la aro estos asociita kun natura nombro. La kardinala nombro de kalkuleble malfinia aro estas skribata kiel (la komenca alef-nombro) aŭ (la komenca ). (eo) In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is countable if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. (en) In der Mengenlehre wird eine Menge als abzählbar unendlich bezeichnet, wenn sie die gleiche Mächtigkeit hat wie die Menge der natürlichen Zahlen . Dies bedeutet, dass es eine Bijektion zwischen und der Menge der natürlichen Zahlen gibt, die Elemente der Menge also „durchnummeriert“ werden können. Zu den höchstens abzählbaren Mengen zählen neben den abzählbar unendlichen Mengen auch die endlichen Mengen. Die Verwendung des Begriffes abzählbar ist nicht einheitlich. Er kann je nach Definition sowohl abzählbar unendlich als auch höchstens abzählbar bedeuten. (de) En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ». (fr) In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali. Se un insieme numerabile possiede un numero infinito di elementi, viene detto infinito numerabile, e dato che può essere messo in corrispondenza biunivoca con i numeri naturali, si può dire che un insieme è infinito numerabile se ha la cardinalità di . La cardinalità degli insiemi infiniti numerabili viene usualmente denotata con il simbolo . (it) Zbiór przeliczalny – zbiór, którego elementy można ustawić w ciąg (skończony bądź nie), tzn. "wypisać je po kolei", "ponumerować". Istnieją dwie nierównoważne konwencje użycia terminu zbiór przeliczalny w matematyce: Liczbę kardynalną zbioru liczb naturalnych – a więc i każdego nieskończonego zbioru przeliczalnego – oznacza się symbolem (czyt.: alef zero). Niektórzy matematycy oznaczają tę liczbę kardynalną symbolem (ponieważ formalnie jest najmniejszą nieskończoną liczbą porządkową). (pl) Een aftelbare verzameling is in de wiskunde een verzameling waarvan de elementen afgeteld kunnen worden. Dat houdt in dat de elementen op een rij gezet kunnen worden met een eerste element, een tweede element, enzovoort, waarbij alle elementen aan de beurt komen. De eenvoudigste aftelbare verzamelingen zijn de eindige verzamelingen. Er zijn ook verzamelingen die overaftelbaar zijn, dat wil zeggen niet aftelbaar. Een verzameling is dus eindig, aftelbaar oneindig, of overaftelbaar. (nl) Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais. Um conjunto é dito incontável quando ele não é contável. O termo foi criado por Georg Cantor. Os elementos de um conjunto contável podem ser contados um por vez—mesmo que a contagem nunca termine, cada elemento do conjunto será eventualmente associado com um número natural. (pt) En uppräknelig mängd är en mängd för vilken man kan införa någon metod för att numrera alla element så att varje element tas upp minst en gång. Mer formellt har en uppräknelig mängd samma kardinaltal som någon delmängd till de naturliga talen, det vill säga ett ändligt tal eller ℵ₀. Exempel: Mängderna {1, 2, 3, 4, 5, 6, 7} och {A, B, C, D, E, F, G} är båda uppräkneliga med kardinaltalet 7 i båda fallen. På liknande sätt som man kan visa att | ℚ |
| rdfs:label | مجموعة قابلة للعد (ar) Conjunt numerable (ca) Spočetná množina (cs) Abzählbare Menge (de) Αριθμήσιμο (el) Kalkulebla aro (eo) Countable set (en) Multzo zenbakigarri (eu) Conjunto numerable (es) Ensemble dénombrable (fr) Himpunan terhitung (in) Insieme numerabile (it) 가산 집합 (ko) 可算集合 (ja) Aftelbare verzameling (nl) Zbiór przeliczalny (pl) Conjunto contável (pt) Uppräknelig mängd (sv) Счётное множество (ru) Зліченна множина (uk) 可數集 (zh) | ||
| owl:sameAs | freebase:Countable set yago-res:Countable set wikidata:Countable set dbpedia-ar:Countable set dbpedia-be:Countable set dbpedia-bg:Countable set http://bn.dbpedia.org/resource/গণনাযোগ্য_সেট dbpedia-ca:Countable set dbpedia-cs:Countable set http://cv.dbpedia.org/resource/Сăвăнакан_йыш dbpedia-da:Countable set dbpedia-de:Countable set dbpedia-el:Countable set dbpedia-eo:Countable set dbpedia-es:Countable set dbpedia-eu:Countable set dbpedia-fa:Countable set dbpedia-fi:Countable set dbpedia-fr:Countable set dbpedia-gl:Countable set dbpedia-he:Countable set http://hi.dbpedia.org/resource/गणनीय_समुच्चय dbpedia-hr:Countable set dbpedia-id:Countable set dbpedia-is:Countable set dbpedia-it:Countable set dbpedia-ja:Countable set dbpedia-ka:Countable set dbpedia-kk:Countable set dbpedia-ko:Countable set dbpedia-lmo:Countable set http://lt.dbpedia.org/resource/Skaiti_aibė dbpedia-ms:Countable set dbpedia-nl:Countable set dbpedia-nn:Countable set dbpedia-no:Countable set dbpedia-pl:Countable set dbpedia-pt:Countable set dbpedia-ro:Countable set dbpedia-ru:Countable set dbpedia-sh:Countable set dbpedia-simple:Countable set dbpedia-sk:Countable set dbpedia-sl:Countable set dbpedia-sr:Countable set dbpedia-sv:Countable set http://ta.dbpedia.org/resource/எண்ணுறுமையும்_எண்ணுறாமையும் dbpedia-th:Countable set dbpedia-uk:Countable set dbpedia-vi:Countable set dbpedia-zh:Countable set https://global.dbpedia.org/id/nX9n | ||
| prov:wasDerivedFrom | wikipedia-en:Countable_set?oldid=1124940318&ns=0 | ||
| foaf:depiction | wiki-commons:Special:FilePath/Aplicación_2_inyectiva_sobreyectiva02.svg wiki-commons:Special:FilePath/Countablepath.svg wiki-commons:Special:FilePath/Pairing_natural.svg | ||
| foaf:isPrimaryTopicOf | wikipedia-en:Countable_set | ||
| is dbo:wikiPageRedirects of | dbr:Countably_infinite dbr:Countably_infinite_set dbr:Countable dbr:Countable_Set dbr:Countable_sets dbr:Denumerability dbr:Denumerable dbr:Denumerable_Set dbr:Denumerable_set dbr:Countability dbr:Countable_infinite dbr:Countable_infinity dbr:Countable_space dbr:Countably dbr:Countably_many dbr:Infinitely_countable dbr:Infinitely_countable_set dbr:Denumerably_Infinite dbr:Listable_infinity | ||
| is dbo:wikiPageWikiLink of | dbr:Calderón–Zygmund_lemma dbr:Cantor's_first_set_theory_article dbr:Cardinality_of_the_continuum dbr:Caryn_Navy dbr:Beckman–Quarles_theorem dbr:Power_set dbr:Probability_space dbr:Prüfer_group dbr:Quadratic_irrational_number dbr:List_of_first-order_theories dbr:Minkowski–Bouligand_dimension dbr:Moore_space_(topology) dbr:Lévy_hierarchy dbr:Mac_Lane_coherence_theorem dbr:Metacompact_space dbr:Omega-categorical_theory dbr:Von_Neumann_cardinal_assignment dbr:Bounded_set_(topological_vector_space) dbr:Bounded_variation dbr:Hooke's_atom dbr:John_von_Neumann dbr:List_of_set_identities_and_relations dbr:Pathological_(mathematics) dbr:Reverse_mathematics dbr:Riemann_integral dbr:Rise_time dbr:Ultrafilter_(set_theory) dbr:Universe_(mathematics) dbr:Debreu_theorems dbr:Dedekind-infinite_set dbr:Definable_real_number dbr:Descriptive_set_theory dbr:Dushnik–Miller_theorem dbr:Index_of_a_subgroup dbr:Indicator_vector dbr:Infinite_set dbr:Infinity-Borel_set dbr:Interval_order dbr:Jacobson_radical dbr:List_of_fractals_by_Hausdorff_dimension dbr:Sigma dbr:Lie_group dbr:Lindelöf's_lemma dbr:List_of_mathematical_logic_topics dbr:List_of_set_theory_topics dbr:Transfinite_induction dbr:Number_line dbr:Pre-measure dbr:Truth_predicate dbr:Strong_measure_zero_set dbr:11_(number) dbr:Complex_plane dbr:Computability_theory dbr:Convex_curve dbr:Countably_infinite dbr:Countably_infinite_set dbr:Anderson–Kadec_theorem dbr:Mathematical_optimization dbr:Mathematics dbr:Mean-field_particle_methods dbr:Measurable_cardinal dbr:Gaussian_rational dbr:Lower_limit_topology dbr:Order_type dbr:Self-organization dbr:Negligible_set dbr:Roth's_theorem dbr:Separable_space dbr:Prüfer_theorems dbr:Pure_inductive_logic dbr:Rado_graph dbr:Closed-subgroup_theorem dbr:Eisenstein_integer dbr:Enumeration dbr:Equicontinuity dbr:Fraïssé_limit dbr:Fréchet_space dbr:Georg_Cantor dbr:Glossary_of_areas_of_mathematics dbr:Branch_point dbr:Continuum_hypothesis dbr:Corona_set dbr:Correlated_equilibrium dbr:Cosmic_space dbr:Thomae's_function dbr:Equidistributed_sequence dbr:Erdős–Dushnik–Miller_theorem dbr:Sard's_theorem dbr:State_space dbr:Anne_C._Morel dbr:Apeirogon dbr:Arithmetical_set dbr:Choice_function dbr:Closed_set dbr:Combinatorial_class dbr:Combinatorics dbr:Compact_operator dbr:Compact_operator_on_Hilbert_space dbr:Complete_metric_space dbr:Complete_theory dbr:Computable_ordinal dbr:Dense_order dbr:Dense_set dbr:Feller_process dbr:Fundamental_group dbr:Helmut_Ulm dbr:Kripke_semantics dbr:Perfect_set dbr:Period_(algebraic_geometry) dbr:Petri_net dbr:Squaring_the_circle dbr:Sunflower_(mathematics) dbr:Mathematics_and_the_Imagination dbr:Maximising_measure dbr:Meagre_set dbr:Totally_bounded_space dbr:1_−_2_+_3_−_4_+_⋯ dbr:Banach_space dbr:Banach–Tarski_paradox dbr:Admissible_ordinal dbr:Admissible_rule dbr:Total_order dbr:Transcendental_number dbr:Tree_(graph_theory) dbr:Countable dbr:Countable_Set dbr:Countable_sets dbr:Hausdorff_dimension dbr:Hausdorff_paradox dbr:Hawaiian_earring dbr:Hedgehog_space dbr:Heine–Borel_theorem dbr:Irrational_number dbr:Large_countable_ordinal dbr:Laver's_theorem dbr:Law_of_total_expectation dbr:Law_of_total_probability dbr:Locally_discrete_collection dbr:Tennenbaum's_theorem dbr:Point_process_operation dbr:Trémaux_tree dbr:Algebraic_number dbr:Almost_all dbr:Anatoly_Samoilenko dbr:Cyclic_group dbr:Cyclic_order dbr:Datalog dbr:Eulerian_path dbr:Expected_value dbr:Fallibilism dbr:Felix_Hausdorff dbr:Field_of_sets dbr:First-order_logic dbr:Fixed_point_(mathematics) dbr:Fourier_optics dbr:Fractal_string dbr:Banach_game dbr:Null_set dbr:Cardinal_number dbr:Cardinality dbr:Differentiation_of_integrals dbr:Digital_sum_in_base_b dbr:Directed_algebraic_topology dbr:Discontinuities_of_monotone_functions dbr:Discrete-time_Markov_chain dbr:Discrete_mathematics dbr:Discrete_measure dbr:Discrete_spectrum dbr:Discrete_symmetry dbr:Discrete_time_and_continuous_time dbr:Formal_language dbr:Glossary_of_topology dbr:Denumerability dbr:Denumerable dbr:Denumerable_Set dbr:Denumerable_set dbr:Hilbert's_paradox_of_the_Grand_Hotel dbr:Kolmogorov_equations_(continuous-time_Markov_chains) dbr:Legendre_transformation dbr:Packing_dimension dbr:Probability_theory dbr:Projective_module dbr:Quantization_(signal_processing) dbr:Random_variable dbr:Regular_cardinal dbr:Hebrew_alphabet dbr:Hilbert_space dbr:Atom_(measure_theory) dbr:Ivar_Otto_Bendixson dbr:Baire_set dbr:Baire_space_(set_theory) dbr:Countryman_line dbr:Hyperfinite_equivalence_relation dbr:Set_theory_of_the_real_line dbr:Paranormal_space dbr:Sample_space dbr:Łukasiewicz_logic dbr:Cocountability dbr:Cocountable_topology dbr:Hereditarily_countable_set dbr:Hereditarily_finite_set dbr:Hereditary_property dbr:Modal_companion dbr:Supertask dbr:Zero-dimensional_space dbr:Real_data_type dbr:Dirac_measure dbr:Discrete_space dbr:Axiom_of_dependent_choice dbr:Manifold dbr:Mapping_class_group_of_a_surface dbr:Boolean-valued_model dbr:Bornology dbr:Solomonoff's_theory_of_inductive_inference dbr:Free_Boolean_algebra dbr:Free_group dbr:Indexed_family dbr:Infinity dbr:Integer dbr:Integral_test_for_convergence dbr:Metrizable_topological_vector_space dbr:Natural_number dbr:Net_(mathematics) dbr:Optimization_problem dbr:Origin_of_language dbr:Cantor's_diagonal_argument dbr:Cantor's_isomorphism_theorem dbr:Cantor–Bernstein_theorem dbr:Ramsey's_theorem dbr:Rational_number dbr:Real_number dbr:Receiver_operating_characteristic dbr:Chang's_model dbr:Second-order_logic dbr:Sequence_covering_map dbr:Set_(mathematics) dbr:Set_function dbr:Markov_chain dbr:Topological_manifold dbr:Scale_(descriptive_set_theory) dbr:Slender_group dbr:Set_of_uniqueness dbr:List_of_types_of_sets dbr:List_of_unsolved_problems_in_mathematics dbr:List_of_unsolved_problems_in_philosophy dbr:Lists_of_mathematics_topics dbr:Point_groups_in_two_dimensions dbr:Point_process dbr:Exact_division dbr:Existentially_closed_model dbr:Finite_topological_space dbr:Finitely_generated_group dbr:Perfect_set_property dbr:Unfriendly_partition dbr:Ross–Littlewood_paradox dbr:Σ-finite_measure dbr:Moy–Prasad_filtration dbr:Unary_language dbr:Transcendental_number_theory dbr:Self-organization_in_cybernetics dbr:Ω-bounded_space dbr:Residue-class-wise_affine_group dbr:Porous_set dbr:Outline_of_combinatorics dbr:Outline_of_logic dbr:Overtaking_criterion dbr:Suslin_tree dbr:Turing_degree dbr:Skolem's_paradox dbr:Stanley_Tennenbaum dbr:Uncountable_set dbr:Serre's_property_FA dbr:Wetzel's_problem dbr:Σ-compact_space dbr:Countability dbr:Countable_infinite dbr:Countable_infinity dbr:Countable_space dbr:Countably dbr:Countably_many dbr:Infinitely_countable dbr:Infinitely_countable_set dbr:Denumerably_Infinite dbr:Listable_infinity | ||
| is rdfs:seeAlso of | dbr:Baire_space_(set_theory) dbr:Counting | ||
| is foaf:primaryTopic of | wikipedia-en:Countable_set |
