http://dbpedia.org/ontology/abstract
|
In set theory, a prewellordering on a set … In set theory, a prewellordering on a set is a preorder on (a transitive and strongly connected relation on ) that is wellfounded in the sense that the relation is wellfounded. If is a prewellordering on then the relation defined by is an equivalence relation on and induces a wellordering on the quotient The order-type of this induced wellordering is an ordinal, referred to as the length of the prewellordering. A norm on a set is a map from into the ordinals. Every norm induces a prewellordering; if is a norm, the associated prewellordering is given by Conversely, every prewellordering is induced by a unique regular norm (a norm is regular if, for any and any there is such that ). if, for any and any there is such that ).
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/descriptivesetth0000mosc +
|
http://dbpedia.org/ontology/wikiPageID
|
2137523
|
http://dbpedia.org/ontology/wikiPageLength
|
5465
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1111854791
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Order_theory +
, http://dbpedia.org/resource/Large_cardinal +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Polish_space +
, http://dbpedia.org/resource/Cartesian_product +
, http://dbpedia.org/resource/Borel_set +
, http://dbpedia.org/resource/Category:Binary_relations +
, http://dbpedia.org/resource/Analytic_set +
, http://dbpedia.org/resource/Well-founded_relation +
, http://dbpedia.org/resource/Transitive_relation +
, http://dbpedia.org/resource/Category:Wellfoundedness +
, http://dbpedia.org/resource/Order-type +
, http://dbpedia.org/resource/Scale_property +
, http://dbpedia.org/resource/Wellordering +
, http://dbpedia.org/resource/Strongly_connected_relation +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Dual_pointclass +
, http://dbpedia.org/resource/Adequate_pointclass +
, http://dbpedia.org/resource/Category:Descriptive_set_theory +
, http://dbpedia.org/resource/Pointclass +
, http://dbpedia.org/resource/Complement_%28set_theory%29 +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Preorder +
, http://dbpedia.org/resource/Quotient_set +
, http://dbpedia.org/resource/Equivalence_relation +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Stack +
, http://dbpedia.org/resource/Template:Binary_relations +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Annotated_link +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Binary_relations +
, http://dbpedia.org/resource/Category:Descriptive_set_theory +
, http://dbpedia.org/resource/Category:Order_theory +
, http://dbpedia.org/resource/Category:Wellfoundedness +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Prewellordering?oldid=1111854791&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Prewellordering +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.06pkdg +
, https://global.dbpedia.org/id/4tt96 +
, http://dbpedia.org/resource/Prewellordering +
, http://www.wikidata.org/entity/Q7242444 +
|
rdfs:comment |
In set theory, a prewellordering on a set … In set theory, a prewellordering on a set is a preorder on (a transitive and strongly connected relation on ) that is wellfounded in the sense that the relation is wellfounded. If is a prewellordering on then the relation defined by is an equivalence relation on and induces a wellordering on the quotient The order-type of this induced wellordering is an ordinal, referred to as the length of the prewellordering. A norm on a set is a map from into the ordinals. Every norm induces a prewellordering; if is a norm, the associated prewellordering is given bythe associated prewellordering is given by
|
rdfs:label |
Prewellordering
|