Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Order_type> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Order_type abstract "In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection (each element matches exactly one in the other set) f: X → Y such that both f and its inverse are strictly increasing (order preserving) (the matching elements are also in the correct order). (In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse.)For example, the set of integers and the set of even integers have the same order type, because the mapping preserves the order. But the set of integers and the set of rational numbers (with the standard ordering) are not order isomorphic, because, even though the sets are of the same size (they are both countably infinite), there is no order-preserving bijective mapping between them. To these two order types we may add two more: the set of positive integers (which has a least element), and that of negative integers (which has a greatest element). The open interval (0,1) of rationals is order isomorphic to the rationals (since provides a strictly increasing bijection from the former to the latter); the half-closed intervals [0,1) and (0,1], and the closed interval [0,1], are three additional order type examples.Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.".
- Order_type wikiPageID "4499021".
- Order_type wikiPageRevisionID "591241436".
- Order_type hasPhotoCollection Order_type.
- Order_type title "Order Type".
- Order_type urlname "OrderType".
- Order_type subject Category:Ordinal_numbers.
- Order_type type Abstraction100002137.
- Order_type type DefiniteQuantity113576101.
- Order_type type Measure100033615.
- Order_type type Number113582013.
- Order_type type OrdinalNumber113597280.
- Order_type type OrdinalNumbers.
- Order_type comment "In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection (each element matches exactly one in the other set) f: X → Y such that both f and its inverse are strictly increasing (order preserving) (the matching elements are also in the correct order).".
- Order_type label "Order type".
- Order_type label "序类型".
- Order_type label "順序型".
- Order_type sameAs 順序型.
- Order_type sameAs m.0c5p2n.
- Order_type sameAs Q620006.
- Order_type sameAs Q620006.
- Order_type sameAs Order_type.
- Order_type wasDerivedFrom Order_type?oldid=591241436.
- Order_type isPrimaryTopicOf Order_type.