タグ

databaseとpartially-ordered-setに関するnabinnoのブックマーク (2)

  • 順序集合 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。(2019年6月) 独自研究が含まれているおそれがあります。(2019年6月) 順序集合(じゅんじょしゅうごう、英: ordered set)は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。 全ての2要素が比較可能(順序が定義されている)ものを特に全順序集合(totally ordered set; toset)という。例えば実数における大小関係は全順序集合である。 また、全順序ではない順序集合の例としては、正の整数全体の集合に整除関係で順序を定めたものや、(2つ以上元を含む)集合の冪集合において、包含関係を順序と見なしたものがある。 後述するように、順序が満たす

    順序集合 - Wikipedia
  • 順序数 - Wikipedia

    この項目では、数学的な観点からの順序数について説明しています。言語学的な観点での順序数については「序数詞」をご覧ください。 数学の特に集合論において、順序数(じゅんじょすう、英: ordinal number)とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。 定義[編集] 整列集合 (A, <) に対して、A を定義域とする写像 GA, < を超限帰納法によって と定義したとき、GA, < の値域 ran(GA, <) を (A, <) の順序数といい、これを ord(A, <) で表す。ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。 例[編集] <ω は自然数の通常の大小関係(を各集合に制限したもの)を表すものとすると、 この例から推測されるように、一般に有限の整列集合 (A, <) に対して ord(A, <) は A の要素の個数に等しい

  • 1