서수,ordinal_number

Difference between r1.1 and the current

@@ -2,38 +2,44 @@
'''서수, 순서수, ordinal number''', (줄여서) '''ordinal'''

표를 그리면 대충 이거? 그냥 느낌으로 적은 게 많으므로 rechk
|| ||[[수,number]] ||ex. ||? (del ok) ||rel? ||
|| ||[[수,number]] ||ex. (0에서 4까지) ||? (del ok) ||rel? ||
||[[순서,order]] ||'''서수,ordinal_number''' ||zeroth, first, second, third, fourth, … ||WtEn:ordinality (????) Ggl:ordinality ||series/serial/sequence, predecessor/successor, ....? [[인덱스,index]]? ||
||개수, 세기/셈/counting, ||[[기수,cardinal_number]] ||zero, one, two, three, four, … ||WtEn:cardinality Ggl:"cardinality -database" ||size/length ?? [[크기,size]] [[길이,length]] ||
||개수, 세기/셈/counting, ||[[기수,cardinal_number]] ||zero, one, two, three, four, … ||WtEn:cardinality Ggl:"cardinality -database"[* DB에서 많이 쓰는 용어라, discrete math, set theory로 한정하기 위해] ||size/length ?? [[크기,size]] [[길이,length]] [[측도,measure]] ...? ||

MKL
[[순서론,order_theory]]
[[자연수,natural_number]]
[[집합론,set_theory]]
[[기수,cardinal_number]]
Cmp [[기수,cardinal_number]]
{
[[counting]]
[[가산성,countability]]
[[cardinality]]
}
----
'''서수,ordinal_number'''의 [[구성,construction]]([[자연수,natural_number]]의 구성도 마찬가지, see also [[집합,set#s-4]])

----
[[WtEn:ordinal_number]] = https://en.wiktionary.org/wiki/ordinal_number
[[수열,sequence]]에서 상대적 [[위치,position]]''(ie [[순서,order]])''
3. (set theory) formally, the [[순서형,order_type]] of some [[정렬집합,well-ordered_set]] of some cardinality a, which represents an [[동치류,equivalence_class]] of [[well-ordered_set]]s (exactly those of cardinality a) under the [[동치관계,equivalence_relation]] "existence of an order-preserving bijection". // [[전단사,bijection]]
----
[[https://terms.naver.com/entry.naver?docId=3405168&cid=47324&categoryId=47324 수학백과: 서수]]
mentions:
유한서수 finite ordinal (number)?
무한서수 infinite ordinal ?
중 가장 작은 것은 $\omega$
// 위 둘 not in kms, via KmsK:한서수
정렬집합 - KmsK:정렬집합 보면 [[well-ordered_set]] WtEn:well-ordered_set 의 번역임. [[정렬집합,well-ordered_set]] { '''well-ordered set''' 정렬집합(KMS) "well-ordered set" Ggl:"well-ordered set" }
다음서수(successor ordinal)
극한서수(limit ordinal)
다음서수(successor ordinal) // KmsE:"successor ordinal" x ... try KmsE:successor and Ggl:"successor ordinal"
극한서수(limit ordinal) // pagename ok, via KmsE:"limit ordinal" [[극한서수,limit_ordinal]] 극한서수limit ordinal WtEn:limit_ordinal
https://ko.wikipedia.org/wiki/순서수

----
wikiadmin
KmsK:서수
KmsE:ordinal
tmp NN:"ordinal number" Bing:"ordinal number"

Up: [[수,number]]



서수, 순서수, ordinal number, (줄여서) ordinal

표를 그리면 대충 이거? 그냥 느낌으로 적은 게 많으므로 rechk
수,number ex. (0에서 4까지) ? (del ok) rel?
순서,order 서수,ordinal_number zeroth, first, second, third, fourth, … WtEn:ordinality (????) Ggl:ordinality series/serial/sequence, predecessor/successor, ....? 인덱스,index?
개수, 세기/셈/counting, 기수,cardinal_number zero, one, two, three, four, … WtEn:cardinality Ggl:cardinality -database[1] size/length ?? 크기,size 길이,length 측도,measure ...?

MKL
순서론,order_theory
자연수,natural_number
집합론,set_theory
Cmp 기수,cardinal_number
{
counting
가산성,countability
cardinality
}

서수,ordinal_number구성,construction(자연수,natural_number의 구성도 마찬가지, see also 집합,set#s-4)


WtEn:ordinal_number = https://en.wiktionary.org/wiki/ordinal_number
수열,sequence에서 상대적 위치,position(ie 순서,order)
3. (set theory) formally, the 순서형,order_type of some 정렬집합,well-ordered_set of some cardinality a, which represents an 동치류,equivalence_class of well-ordered_sets (exactly those of cardinality a) under the 동치관계,equivalence_relation "existence of an order-preserving bijection". // 전단사,bijection

[https]수학백과: 서수
mentions:
유한서수 finite ordinal (number)?
무한서수 infinite ordinal ?
중 가장 작은 것은 $\omega$
// 위 둘 not in kms, via KmsK:한서수
정렬집합 - KmsK:정렬집합보면 well-ordered_set WtEn:well-ordered_set의 번역임. 정렬집합,well-ordered_set { well-ordered set 정렬집합(KMS) "well-ordered set" Ggl:well-ordered set }
다음서수(successor ordinal) // KmsE:successor ordinal x ... try KmsE:successor and Ggl:successor ordinal
극한서수(limit ordinal) // pagename ok, via KmsE:limit ordinal 극한서수,limit_ordinal 극한서수limit ordinal WtEn:limit_ordinal
https://ko.wikipedia.org/wiki/순서수



----
  • [1] DB에서 많이 쓰는 용어라, discrete math, set theory로 한정하기 위해