Difference between r1.13 and the current

@@ -1,7 +1,15 @@

#noindex

##====가산집합,countable_set =,countable_set 가산집합 countable_set

'''가산집합, 셀 수 있는 집합''' (KMS)

원소의 개수가 유한이거나, 자연수 집합과 원소의 개수가 같은 집합? chk

[[유한집합,finite_set]] 혹은 [[가부번집합,denumerable_set]].

ex.

[[유리수,rational_number]] 집합은 '''가산집합'''이다..

[[실수,real_number]] 집합은 가산집합이 아니다, [[Georg_Cantor]]가 diagnonalization 뭐뭐 - rel diagonal argument ?로 증명.

= Excerpts =
A set $X$ is said to be denumerable provided that $X\sim N.$
A '''countable set''' is a set which is either finite or denumerable.

@@ -23,6 +31,21 @@

----
[[가산성,countability]] [[집합,set]]
=,countability . countability {

via https://planetmath.org/sorgenfreyline

{

first countable

https://planetmath.org/firstcountable

second countable

https://planetmath.org/secondcountable

}

Ndict:가산성
Ggl:가산성
}

----

[[https://terms.naver.com/entry.naver?docId=1054744&cid=40942&categoryId=32206 두산백과: 가산집합 countable set]]

[[https://terms.naver.com/entry.naver?docId=3338047&cid=47324&categoryId=47324 수학백과: 가산집합]]

http://www.gabormelli.com/RKB/Countable_Set

가산집합, 셀 수 있는 집합 (KMS)

원소의 개수가 유한이거나, 자연수 집합과 원소의 개수가 같은 집합? chk

유한집합,finite_set 혹은 가부번집합,denumerable_set.

ex.
유리수,rational_number 집합은 가산집합이다..
실수,real_number 집합은 가산집합이 아니다, Georg_Cantor가 diagnonalization 뭐뭐 - rel diagonal argument ?로 증명.

[edit]

Excerpts ¶

A set $\displaystyle X$ is said to be denumerable provided that $\displaystyle X\sim N.$
A countable set is a set which is either finite or denumerable.
(Lin p122 Definition 3)

[edit]

추가에참고 ¶

http://www.gabormelli.com/RKB/Countable_Set

https://ko.wikipedia.org/wiki/가산_집합

가산집합은, 자연수잡합으로의 단사함수,injective_function가 존재하는 집합.
가산집합이 아닌 집합은 비가산집합,uncountable_set.
가산집합은 유한집합일 수도 있고 무한집합일 수도 있는데, 가산이면서 무한이면 가부번집합,denumerable_set.