翻訳と辞書
Words near each other
・ 完了行動
・ 完倉泰一
・ 完備
・ 完備した
・ 完備メリディアン円板系
・ 完備メリディアン円盤系
・ 完備化
・ 完備化 (環論)
・ 完備化 (距離空間)
・ 完備半順序
完備半順序集合
・ 完備性
・ 完備情報
・ 完備束
・ 完備測度
・ 完備空間
・ 完備距離空間
・ 完先
・ 完全2部グラフ
・ 完全4度


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

完備半順序集合 : ミニ英和和英辞書
完備半順序集合[ゆうこうかんびはんじゅんじょ]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [かん]
 【名詞】 1. The End (book, film, etc.) 2. Finis
完備 : [かんび]
  1. (n,vs) perfection 2. completion
: [はん]
  1. (n,n-adv,n-suf,n-pref) half 
: [じゅん]
  1. (adj-na,n,n-suf) order 2. turn 
順序 : [じゅんじょ]
 【名詞】 1. order 2. sequence 3. procedure 
: [ついで]
 【名詞】 1. (uk) opportunity 2. occasion 
: [しゅう]
 【名詞】 1. collection 
集合 : [しゅうごう]
  1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set 
: [ごう]
 【名詞】 1. go (approx. 0.18l or 0.33m) 

完備半順序集合 ( リダイレクト:完備半順序 ) : ウィキペディア日本語版
完備半順序[ゆうこうかんびはんじゅんじょ]
数学の特に順序理論関連分野における有向完備半順序(ゆうこうかんびはんじゅんじょ、; dcpo)および ω-完備半順序(オメガかんびはんじゅんじょ、; ωcpo)あるいは単に cpoとは、半順序集合の特別なクラスで、によって特徴づけられる。完備半順序は理論計算機科学表示的意味論領域理論において中心的な役割を果たす。
== 定義 ==
半順序集合が有向完備半順序集合 (dcpo) であるとは、その任意の有向部分集合上限を持つことを言う。半順序集合の部分集合が有向であるとは、それが空でなく、その任意の二元の上界がその部分集合内にとれることを言うのであった。言葉づかいとして、有向完備半順序集合のことを上完備半順序集合 (''up-complete poset'') と言ったり、単に cpo と言ったりする。
ω-完備 (あるいは単に cpo) は任意の ω-鎖 が上限を持つような半順序集合を表すのに用いられる。任意の ω-鎖は有向ゆえ、任意の有向完備半順序は ω-有向完備半順序だが、逆は真でない。
最小元を持つ有向完備半順序集合は重要であり、しばしば点付き有向完備半順序cppo あるいは単に cpo と呼ばれる。
有向上限の存在を要求することは、有向集合および上限を(近似的)計算における近似およびその極限をそれぞれ一般化するものと見做すことを考えれば自然である。この直観は、表示的意味論において、領域理論の発展を背景としてもたらされたものであった。
有効完備順序集合の概念はフィルター付き完備半順序 (''filtered complete partial order'') と呼ばれるが、双対順序を明示的に用いて扱う方がふつうであるから、実利上はこの概念を直接扱うことはそれほど多くない。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「完備半順序」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Complete partial order 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.