About: Order type     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatOrdinalNumbers, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FOrder_type

In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element matches exactly one in the other set) such that both f and its inverse are monotonic (preserving orders of elements). In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse. Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.

AttributesValues
rdf:type
rdfs:label
  • Order type
  • Type d'ordre
  • 順序型
  • 序类型
rdfs:comment
  • 数学でいう順序型(じゅんじょがた、order type)とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。
  • 在数学中,特别是集合论中,序数可以用来标记(label)任何给定良序集合的元素(最小元素标记为 0,次小标记为 1,再次是 2,以此类推),并通过未用来标记这个集合的元素的最小的序数来测量整个集合的“长度”。这个集合的“长度”叫做序类型。 序数表示良序集合的等价类,这里的等价关系是序同构。这样的序数是在等价类中任何集合的序类型。 更加形式的说,良序集合的序类型是唯一的序数,对于它有在序数和良序集合之间的一个序保持双射。 例如,考虑小于 ω·2+7 的偶序数的集合: {0, 2, 4, 6, ...; ω, ω+2, ω+4, ...; ω·2, ω·2+2, ω·2+4, ω·2+6}. 它的序类型是 ω·2+4,也就是: {0, 1, 2, 3, ...; ω, ω+1, ω+2, ...; ω·2, ω·2+1, ω·2+2, ω·2+3}.
  • In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element matches exactly one in the other set) such that both f and its inverse are monotonic (preserving orders of elements). In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse. Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.
  • En mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse sont strictement croissantes (c'est-à-dire préservent l'ordre). Dans le cas particulier où X est totalement ordonnée, la monotonie de f implique la monotonie de son inverse. Comme la relation 'avoir le même type d'ordre' est une relation d'équivalence, elle partitionne la classe de tous les ensembles ordonnés dans des classes d'équivalence.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
title
  • Order Type
urlname
  • OrderType
has abstract
  • In mathematics, especially in set theory, two ordered sets X and Y are said to have the same order type if they are order isomorphic, that is, if there exists a bijection (each element matches exactly one in the other set) such that both f and its inverse are monotonic (preserving orders of elements). 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 is a bijection that preserves the order. But the set of integers and the set of rational numbers (with the standard ordering) do not have the same order type, 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, for example, is a strictly increasing bijection from the former to the latter); the rationals contained in 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.
  • En mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse sont strictement croissantes (c'est-à-dire préservent l'ordre). Dans le cas particulier où X est totalement ordonnée, la monotonie de f implique la monotonie de son inverse. Par exemple, l'ensemble des entiers et l'ensemble des nombres entiers pairs ont le même type d'ordre, parce que la correspondance et sa réciproque préservent toutes deux l'ordre. Mais l'ensemble des entiers et l'ensemble des nombres rationnels (muni de l'ordre usuel) ne sont pas isomorphes pour l'ordre, parce que, même si les ensembles ont le même cardinal (ils sont tous les deux infinis dénombrables), il n'existe pas de bijection préservant l'ordre. À ces deux types d'ordre on peut en ajouter d'autres, comme celui de l'ensemble des nombres entiers positifs (qui a un plus petit élément), et celui des nombres entiers négatifs (qui a un plus grand élément). Les demi-intervalles fermés [0,1) et (0,1] et l'intervalle fermé [0,1] sont trois autres exemples de types d'ordre, différents des premiers cités. Au contraire, l'intervalle ouvert ]0,1[ des rationnels a le même type d'ordre que les rationnels (puisque, par exemple, fournit une bijection strictement croissante). Comme la relation 'avoir le même type d'ordre' est une relation d'équivalence, elle partitionne la classe de tous les ensembles ordonnés dans des classes d'équivalence.
  • 数学でいう順序型(じゅんじょがた、order type)とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。
  • 在数学中,特别是集合论中,序数可以用来标记(label)任何给定良序集合的元素(最小元素标记为 0,次小标记为 1,再次是 2,以此类推),并通过未用来标记这个集合的元素的最小的序数来测量整个集合的“长度”。这个集合的“长度”叫做序类型。 序数表示良序集合的等价类,这里的等价关系是序同构。这样的序数是在等价类中任何集合的序类型。 更加形式的说,良序集合的序类型是唯一的序数,对于它有在序数和良序集合之间的一个序保持双射。 例如,考虑小于 ω·2+7 的偶序数的集合: {0, 2, 4, 6, ...; ω, ω+2, ω+4, ...; ω·2, ω·2+2, ω·2+4, ω·2+6}. 它的序类型是 ω·2+4,也就是: {0, 1, 2, 3, ...; ω, ω+1, ω+2, ...; ω·2, ω·2+1, ω·2+2, ω·2+3}.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3321 as of Jun 2 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software