order-typeとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > order-typeの意味・解説 

順序型

(order-type から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/11 09:27 UTC 版)

ナビゲーションに移動 検索に移動

数学でいう順序型(じゅんじょがた、order type)とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。

非公式な定義

二つの全順序集合 (A, <A), (B, <B) が同型のとき、(A, <A) と (B, <B) は全く同じ "形" をしていると言える。そこで、全順序集合 (A, <A) の "形" を type(A, <A) で表すことにすれば、任意の全順序集合 (A, <A), (B, <B) に対して

    ・・・・・・(※)

が成り立つ。type(A, <A) を (A, <A) の順序型と呼ぶ。

正式な定義

上の説明では type(A, <A) をきちんと定義したことにはならない。なぜなら、全順序集合の "形" とは何かが定義されていないからである。(※) をみたすようにすべての全順序集合 (A, <A) に対して type(A, <A) を定義する方法として、まず次のようなものが考えられる。それは、(A, <A) と同型な順序集合全体の集合を type(A, <A) と定義する方法である。実際、このように定義すれば (※) が成り立つことが示せるので何の問題もないように思えるかもしれない。だが、この方法には一つ大きな欠点がある。それは、A が空集合でない限り (A, <A) と同型な順序集合全体の集合というものは存在しないことが(集合論の公理から)示されるということである。つまり、そのような集まりはあまりに大きすぎるため集合になることができないのである。したがって上のような仕方で type(A, <A) を定義することはできない。そこで、この方法を少し修正して次のように順序型を定義する:

全順序集合 (A, <A) に対して type(A, <A) とは、(A, <A) と同型な順序集合のうちで階数が最小のもの全体の集合である。type(A, <A) を (A, <A) の順序型と呼び、ある全順序集合の順序型であるものを単に順序型と呼ぶ[1]

全順序集合 (A, <A) と同型な順序集合で階数が最小であるものの階数を α とすれば、type(A, <A) の要素はすべて Vα + 1 [2]に属するので、type(A, <A) はきちんと集合として定義されている。このようにして定義された順序型が (※) の性質をみたしていることは次のようにして示すことができる:

(⇒)  type(A, <A) = type(B, <B) と仮定する。定義から type(A, <A) は空でないので、その要素の一つ (C, <C) を取ると、仮定より (C, <C) は type(B, <B) にも属する。(C, <C) ∈ type(A, <A) より (A, <A) と (C, <C) は同型で、(C, <C) ∈ type(B, <B) より (B, <B) と (C, <C) は同型なので、(A, <A) と (B, <B) は同型である。
(⇐)  (A, <A) と (B, <B) が同型であると仮定する。すると任意の順序集合 (C, <C) に対して、(A, <A) と (C, <C) が同型であることと、(B, <B) と (C, <C) が同型であることは同値であるから、「(A, <A) と同型な順序集合のうちで階数が最小のもの全体」と「(B, <B) と同型な順序集合のうちで階数が最小のもの全体」は一致する。よって type(A, <A) = type(B, <B) 。

特別な順序型

Q を有理数全体の集合、R を実数全体の集合とし、<Q と <R をそれぞれ Q 上と R 上の通常の大小関係とすると、(Q, <Q) と (R, <R) はともに全順序集合である。通常、type(Q, <Q) は η 、type(R, <R) は λ で表される。

整列順序型と順序数

整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。以下では type(α, ∈α) を α で表す。

順序型の演算

順序型には和と積の演算を定義することができる。

ρ, σ を順序型とする。 全順序集合 (A, <A), (B, <B) を type(A, <A) = ρ, type(B, <B) = σ, AB = ∅ をみたすように取り、AB 上の関係 <A ⊕ <B を、

x (<A ⊕ <B) y  ⇔  x <A y または x <B y または <x, y> ∈ A × B

によって定義すれば、(AB, <A ⊕ <B) は全順序集合であり、その順序型は (A, <A), (B, <B) の特定の取り方によらず一定である。そこで type(AB, <A ⊕ <B) を ρ と σ のといい、これを ρ + σ で表す。直観的には、ρ + σ というのは (A, <A) の後ろに (B, <B) を並べてできる全順序集合の順序型である。

ρ, σ を順序型とする。 全順序集合 (A, <A), (B, <B) を type(A, <A) = ρ, type(B, <B) = σ をみたすように取り、A × B 上の関係 <A ⊗ <B を、

<x1, y1> (<A ⊗ <B) <x2, y2>  ⇔  y1 <B y2 または (y1 = y2 かつ x1 <A x2

によって定義すれば、(A × B, <A ⊗ <B) は全順序集合であり、その順序型は (A, <A), (B, <B) の特定の取り方によらず一定である。そこで type(A × B, <A ⊗ <B) を ρ と σ のといい、これを ρ · σ で表す。

順序型の和と積について次が成り立つ:

  1. (ρ + σ) + τ = ρ + (σ + τ) 。
  2. (ρ · σ) · τ = ρ · (σ · τ) 。
  3. ρ + 0 = 0 + ρ = ρ 。
  4. ρ · 1 = 1 · ρ = ρ 。
  5. ρ · 0 = 0 · ρ = 0
  6. ρ · (σ + τ) = (ρ · σ) + (ρ · τ) 。
  7. 任意の順序数 α , β に対して、α + β = α + β かつ α · β = α · β 。 したがって整列順序型同士の和、積は整列順序型である。

  1. ^ 実はこの定義において <A が全順序である必要は無い。一般に、集合 AA 上の二項関係 R に対して type(A, R) を同様に定義することができる。
  2. ^ 階数と Vα については「整礎的集合」を参照。

参考文献

Enderton, Herbert, B (1977). Elements of Set Theory. Academic Press 

関連項目


「order type」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「order-type」の関連用語

order-typeのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



order-typeのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの順序型 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS