http://dbpedia.org/ontology/abstract
|
집합론에서 정규 함수(正規函數, 영어: normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
, In axiomatic set theory, a function f : Or … 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(β).lt; β, it is the case that f(α) < f(β).
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/notesonlogicsett0000john +
|
http://dbpedia.org/ontology/wikiPageID
|
404306
|
http://dbpedia.org/ontology/wikiPageLength
|
3578
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1100402096
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Beth_number +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Order_topology +
, http://dbpedia.org/resource/Successor_ordinal +
, http://dbpedia.org/resource/Veblen_function +
, http://dbpedia.org/resource/Continuous_function +
, http://dbpedia.org/resource/Fixed-point_lemma_for_normal_functions +
, http://dbpedia.org/resource/Ordinal_arithmetic +
, http://dbpedia.org/resource/Supremum +
, http://dbpedia.org/resource/Cardinal_number +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Limit_ordinal +
, http://dbpedia.org/resource/Category:Ordinal_numbers +
, http://dbpedia.org/resource/Aleph_number +
, http://dbpedia.org/resource/Cambridge_University_Press +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Mset +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Category:Ordinal_numbers +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Iff +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Normal_function?oldid=1100402096&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Normal_function +
|
owl:sameAs |
http://dbpedia.org/resource/Normal_function +
, http://rdf.freebase.com/ns/m.024755 +
, http://yago-knowledge.org/resource/Normal_function +
, http://ko.dbpedia.org/resource/%EC%A0%95%EA%B7%9C_%ED%95%A8%EC%88%98 +
, http://www.wikidata.org/entity/Q7051810 +
, https://global.dbpedia.org/id/4sanU +
|
rdf:type |
http://dbpedia.org/class/yago/OrdinalNumber113597280 +
, http://dbpedia.org/class/yago/WikicatOrdinalNumbers +
, http://dbpedia.org/class/yago/DefiniteQuantity113576101 +
, http://dbpedia.org/class/yago/Measure100033615 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Number113582013 +
|
rdfs:comment |
집합론에서 정규 함수(正規函數, 영어: normal function)는 그 도함수를 취할 수 있는, 정의역과 공역이 순서수의 모임인 연속 증가 함수이다. 이를 사용하여 매우 큰 가산 순서수들을 나타낼 수 있다.
, In axiomatic set theory, a function f : Or … 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(β).lt; β, it is the case that f(α) < f(β).
|
rdfs:label |
정규 함수
, Normal function
|