Normal function
http://dbpedia.org/resource/Normal_function an entity of type: WikicatOrdinalNumbers
In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) if and only if it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions: 1.
* For every limit ordinal γ (i.e. γ is neither zero nor a successor), it is the case that f(γ) = sup {f(ν) : ν < γ}. 2.
* For all ordinals α < β, it is the case that f(α) < f(β).
rdf:langString
집합론에서 정규 함수(正規函數, 영어: normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
rdf:langString
rdf:langString
정규 함수
rdf:langString
Normal function
xsd:integer
404306
xsd:integer
1100402096
rdf:langString
In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) if and only if it is continuous (with respect to the order topology) and strictly monotonically increasing. This is equivalent to the following two conditions: 1.
* For every limit ordinal γ (i.e. γ is neither zero nor a successor), it is the case that f(γ) = sup {f(ν) : ν < γ}. 2.
* For all ordinals α < β, it is the case that f(α) < f(β).
rdf:langString
집합론에서 정규 함수(正規函數, 영어: normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
xsd:nonNegativeInteger
3578