数学における全順序(ぜんじゅんじょ、英: total order)とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序(たんじゅんじゅんじょ、英: simple order)、線型順序(せんけいじゅんじょ、英: linear order)とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである: 反対称律:a ≤ b かつ b ≤ a ならば a = b推移律:a ≤ b かつ b ≤ c ならば a ≤ c完全律(比較可能):a ≤ b または b ≤ a の何れかが必ず成り立つ

Property Value
dbo:abstract
  • 数学における全順序(ぜんじゅんじょ、英: total order)とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序(たんじゅんじゅんじょ、英: simple order)、線型順序(せんけいじゅんじょ、英: linear order)とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである: 反対称律:a ≤ b かつ b ≤ a ならば a = b推移律:a ≤ b かつ b ≤ c ならば a ≤ c完全律(比較可能):a ≤ b または b ≤ a の何れかが必ず成り立つ 反対称性によって a < b かつ b < a であるという不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は(完全性の代わりに反射性のみが課されるという意味で)全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。 (ja)
  • 数学における全順序(ぜんじゅんじょ、英: total order)とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序(たんじゅんじゅんじょ、英: simple order)、線型順序(せんけいじゅんじょ、英: linear order)とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである: 反対称律:a ≤ b かつ b ≤ a ならば a = b推移律:a ≤ b かつ b ≤ c ならば a ≤ c完全律(比較可能):a ≤ b または b ≤ a の何れかが必ず成り立つ 反対称性によって a < b かつ b < a であるという不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は(完全性の代わりに反射性のみが課されるという意味で)全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。 (ja)
dbo:wikiPageID
  • 41166 (xsd:integer)
dbo:wikiPageLength
  • 9658 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 84166616 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:date
  • 0001-06-07 (xsd:gMonthDay)
prop-ja:section
  • 1 (xsd:integer)
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数学における全順序(ぜんじゅんじょ、英: total order)とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序(たんじゅんじゅんじょ、英: simple order)、線型順序(せんけいじゅんじょ、英: linear order)とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである: 反対称律:a ≤ b かつ b ≤ a ならば a = b推移律:a ≤ b かつ b ≤ c ならば a ≤ c完全律(比較可能):a ≤ b または b ≤ a の何れかが必ず成り立つ (ja)
  • 数学における全順序(ぜんじゅんじょ、英: total order)とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序(たんじゅんじゅんじょ、英: simple order)、線型順序(せんけいじゅんじょ、英: linear order)とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである: 反対称律:a ≤ b かつ b ≤ a ならば a = b推移律:a ≤ b かつ b ≤ c ならば a ≤ c完全律(比較可能):a ≤ b または b ≤ a の何れかが必ず成り立つ (ja)
rdfs:label
  • 全順序 (ja)
  • 全順序 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of