语言
没有数据
通知
无通知
左順序群の例は、実数直線上の順序を保つ同相として作用する群からたくさん作れる。実際、可算群に対してはこれが左順序性の特徴付けであることが知られている。例えば Ghys (2001) を参照。 巡回順序群(英語版) ハーン埋め込み定理(英語版) ^ ここで + を下付きにしたのは、通常は単位元も含めた正錐を上付きで
f(x2) で X での順序を定めると、X は全順序集合になる。 適当な順序数で添字付けられた全順序集合族のデカルト積は、その上に辞書式順序を入れることにより、それ自身全順序集合になる。例えば、アルファベット順に並べた任意の語の集合が全順序付けられることは、(スペースの記号をどの文字よりも小さいものとして
2-組(あるいは二つ組, couple)は特に対 (pair) または順序対 (ordered pair) という特別な呼称を持つ。 小さい n に対する n-組はしばしば、3-組を「三つ組」(triple)、4-組を「四つ組」(quadruple) などのように呼ぶこともある。
濃な集合全体の成すクラスとして定義する方法論と似て整然としたものである。 モース=ケリー集合論では真のクラスを自由に扱うことができる (Morse 1965)。モースは成分が集合のみならず真のクラスであるような順序対を定義した(クラトフスキーの定義ではそのような
数学における順序体(じゅんじょたい、英: ordered field)とは、全順序をもつ体で、その順序が体の演算と両立するもののことである。 順序体は標数 0 でなければならず、任意の自然数 0, 1, 1 + 1, 1 + 1 + 1, … は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体には順序を定義することができない。
min(A)} は有限集合 } 上の関係 を、 f (をみたす最大の b ∈ B に対して f(b) は整列集合であり、その順序数は (A,
を有理数全体の集合、R を実数全体の集合とし、順序集合である。通常、type(Q, 整列集合の順序型を特に整列順序型と呼ぶ。α
順序集合である。通常、type(Q, 整列集合の順序型を特に整列順序型と呼ぶ。α
整列集合の順序型を特に整列順序型と呼ぶ。α
従順群(じゅうじゅんぐん、英語: amenable group)は、局所コンパクト群の一種。 離散群 G {\displaystyle G} が従順であるとは、空でない有限部分集合の列 { S n } {\displaystyle \{S_{n}\}} が存在して、任意の元 g ∈ G {\displaystyle