语言
没有数据
通知
无通知
は、可換代数の場合の積分を変数に取る指数函数に相応する、非可換代数上で定義される演算である(経路順序積 (path-ordered product) や時間順序積とも)。実用上は、行列環あるいは作用素の代数において順序指数函数を考える。 K は実または複素数体、A は K 上の代数とする。写像 a: K →
集合論および順序論における順序数の後者 (successor) あるいは後続順序数(こうぞくじゅんじょすう、英: successor ordinal)とは、与えられた順序数 α に対し、α より大きい最小の順序数を言う。 0 を除く任意の順序数は後続順序数か極限順序数の何れかである。
集合論および順序論(英語版)における極限順序数(きょくげんじゅんじょすう、英: limit ordinal)は 0 でも後続順序数でもない順序数を言う。あるいは、順序数 λ が極限順序数であるための必要十分条件は「λ より小さい順序数が存在して、順序数 β が λ より小さい限り別の順序数 γ が存在して
「順序(ジユンジヨ)数」に同じ。
f(x2) で X での順序を定めると、X は全順序集合になる。 適当な順序数で添字付けられた全順序集合族のデカルト積は、その上に辞書式順序を入れることにより、それ自身全順序集合になる。例えば、アルファベット順に並べた任意の語の集合が全順序付けられることは、(スペースの記号をどの文字よりも小さいものとして
2-組(あるいは二つ組, couple)は特に対 (pair) または順序対 (ordered pair) という特別な呼称を持つ。 小さい n に対する n-組はしばしば、3-組を「三つ組」(triple)、4-組を「四つ組」(quadruple) などのように呼ぶこともある。
がないことを意味する。 順序群の順序が全順序ならば全順序群(または線型順序群)といい、順序が束(つまり任意の二元集合が上限を持つ) ならば束群 (lattice-ordered group; ℓ-group) と呼ぶ。 リース群は束群より少し弱い性質を満たす無孔順序群である。つまり、リース群は リースの補間条件:
濃な集合全体の成すクラスとして定義する方法論と似て整然としたものである。 モース=ケリー集合論では真のクラスを自由に扱うことができる (Morse 1965)。モースは成分が集合のみならず真のクラスであるような順序対を定義した(クラトフスキーの定義ではそのような