中央値代数

中央値代数とは

中央値代数（ちゅうおうちだいすう）とは、数理的な構造において、特定の公理を満たす三項演算によって定義される数学的概念です。これは、三元組の実数の中央値やブール多数決関数を一般化する方法として重要です。この体系は、特にブール代数や分配束との関連性も持ち、多くの数学的な議論の基礎を形成します。

中央値代数の定義

中央値代数は、次のような三元演算を備えた集合によって成り立っています。この三元演算は通常、次のように表現されます：

\[ \langle x, y, z \rangle \]

ここで、以下の公理に従います：

1. \( \langle x, y, y \rangle = y \)
2. \( \langle x, y, z \rangle = \langle z, x, y \rangle \)
3. \( \langle x, y, z \rangle = \langle x, z, y \rangle \)
4. \( \langle \langle x, w, y \rangle, w, z \rangle = \langle x, w, \langle y, w, z \rangle \rangle \)

これらの公理から、可換性や結合性といった性質が導かれます。特に、第2および第3の公理は、可換性の特性を導き、第4の公理は結合性を示しています。第3の公理は他の公理によっても示すことができますが、その証明はやや難解です。

代替公理系

中央値代数には、複数の公理体系が存在します。たとえば、以下の二つの公理だけでも中央値代数を構成できます：

• - \( \langle x, y, y \rangle = y \)
• - \( \langle u, v, \langle u, w, x \rangle \rangle = \langle u, x, \langle w, u, v \rangle \rangle \)

このように、異なる公理から同じ構造を導くことが可能であり、数学における多様性と柔軟性が示されています。

中央値関数の用途

ブール代数や分配束の文脈においては、中央値関数が次のように定義されます：

\[ \langle x,y,z \rangle = (x \vee y) \wedge (y \vee z) \wedge (z \vee x) \]

これはブール代数や分配束のすべての元に当てはまり、中央値代数を成すものです。さらに、バーコフ（Birkhoff）とキス（Kiss）は、元0と1を持ち、\( \langle 0, x, 1 \rangle = x \) を満たす中央値代数が分配束であることを示しました。

中央値グラフとの関係

中央値代数と関連する概念が、中央値グラフです。中央値グラフは、任意の三つの頂点 \( x, y, z \) に対して、これらの頂点のうちの任意の二つの最短経路に属する頂点 \( \langle x, y, z \rangle \) が存在します。この特性により、グラフの構造を用いて中央値代数も表現することができます。

逆に、任意の中央値代数において、特定の区間に基づいて頂点や辺を定義することで、グラフを構成する方法もあり、代数の特性を可視化する手段として利用されます。特に、有限な性質を持つ代数の場合、生成されたグラフは中央値グラフという特性を持つことが確認されています。

参考文献

• - Birkhoff, Garrett; Kiss, S.A. (1947). “A ternary operation in distributive lattices”. Bull. Amer. Math. Soc. 53 (8): 749–752. doi:10.1090/S0002-9904-1947-08864-9.
• - Isbell, John R. (August 1980). “Median algebra”. Trans. Amer. Math. Soc. (American Mathematical Society) 260 (2): 319–362. doi:10.2307/1998007. JSTOR 1998007.
• - Knuth, Donald E. (2008). Introduction to combinatorial algorithms and Boolean functions. The Art of Computer Programming. 4. Upper Saddle River, NJ: Addison-Wesley. pp. 64–74. ISBN 978-0-321-53496-5.

もう一度検索