WEB順序集合(じゅんじょしゅうごう、英: ordered set )は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。
WEB集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。
WEB整列集合(せいれつしゅうごう、英: wellordered set )、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序を備えた集合のことをいう。
WEB数学の特に集合論において、順序数(じゅんじょすう、英: ordinal number )とは、整列集合同士の“長さ”を比較するために、自然数 を拡張させた概念である。
WEB順序集合とは何か. 順序集合や整列集合、ツォルンの補題などについて解説します。. 目次. 前提知識. 発展知識.
WEBAug 16, 2023 · 半順序集合・全順序集合といった「順序集合」とは, 集合内に順序(いわゆる大小関係)が定まった集合 といえます。これらについて,その定義と具体例4つを紹介し,「順序を保つ写像」など,それに関連した知識も紹介します。
WEB順序集合 は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。
WEB数学の順序集合論において隣接代数 (りんせつだいすう、英: incidence algebra )または接合環 (せつごうかん)とは、任意の局所有限な半順序集合と単位元を持つ可換環に対して定義される結合多元環である。
WEB半順序集合の部分集合が有向であるとは、それが空でなく、その任意の二元の上界がその部分集合内にとれることを言うのであった。言葉づかいとして、有向完備半順序集合のことを上完備半順序集合 (up-complete poset) と言ったり、単に cpo と言ったりする。
WEB全順序集合 が整列集合であることとは、 の任意の非空な部分集合が最小元を持つこと、すなわち、 が成り立つこととして定義されます。. すべての自然数からなる集合 上に大小関係 を定義すれば全順序集合 が得られますが、これは整列集合です。. つまり ...