可補束

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "可補束" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年12月)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Complemented lattice|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

可補束（英: Complemented lattice）とは、束論において、0 を最小元、1 を最大元とし、各元 x に補元 y が定義され、以下が成り立つ有界束をいう。

${\displaystyle x\wedge y=0}$    and    ${\displaystyle \quad x\vee y=1.}$

一般に元 x は1つ以上の補元を持つ。しかし、全ての x、y、z について以下の分配法則が成り立つ「分配束」については、

${\displaystyle x\wedge (y\vee z)=(x\wedge y)\vee (x\wedge z),}$

各元 x は最大でも1つしか補元を持たない。

この時、各元に対しその逆元を返す関数は順序を反転する対合になる。すなわち分配的な可補束は直交相補束でもある。

ブール代数は可補束であり、分配束であるため、逆元は必ず1つだけ存在する。

有界束L上に各元a をその 直交補元 a^⊥ に写す写像が与えられ

補元

a^⊥ ∨ a = 1 かつ a^⊥ ∧ a = 0。

対合

a^⊥⊥ = a。

順序保存

a ≤ b ならば b^⊥ ≤ a^⊥。

をみたす時、Lと ^⊥ の組みを直交相補束という。

一つの束に入る直交相補束としての構造は一つとは限らないことに注意(実際、有限線形空間の部分空間から成る束には内積に対応する複数の直交相補束としての構造が入る)。

直交相補束はブール代数と同様に以下のド・モルガンの法則をみたす。

• (a ∨ b)^⊥ = a^⊥ ∧ b^⊥
• (a ∧ b)^⊥ = a^⊥ ∨ b^⊥.