# Komplement (Verbandstheorie)
## Komplementäre Elemente

In einem beschränkten Verband nennt man ein Element $b$ ein Komplement von $a$, wenn
    $a\wedge b=0$ und $a\vee b=1$
gilt.
Ein beschränkter Verband, in dem jedes Element (mindestens) ein Komplement hat, heißt komplementärer Verband.
Im Allgemeinen kann es zu einem Element mehrere komplementäre Elemente geben. Ist das Komplement von $a$ eindeutig, dann werden verschiedene Bezeichnungen verwendet: bei Teilmengenverbänden ist $a^{\complement }$ üblich, bei Anwendungen in der Logik $\neg a$, bei Schaltalgebren ${\bar {a}}$.
Es gilt
    $\neg 0=1,\neg 1=0$.
In einem distributiven beschränkten Verband kann jedes Element höchstens ein Komplement haben
Falls $a$ ein Komplement $\neg a$ hat, dann hat auch $\neg a$ ein Komplement, nämlich
    $\neg \neg a=a$.
Ein distributiver komplementärer Verband heißt boolescher Verband oder boolesche Algebra.

## Relative Komplemente

Sind $a,b$ Elemente eines Verbandes, dann heißt die Menge $\left\{x\in V\mid a\leq x\land x\leq b\right\}$ das durch a und b bestimmte Intervall.
Die Definition stimmt auf geordneten Mengen mit der eines abgeschlossenen Intervalls überein und es wird die gleiche Notation $[a,b]$ verwendet.
Sind $c,d\in [a,b]$, dann heißt $d$ relatives Komplement von $c$ bezüglich $[a,b]$, wenn
    $c\wedge d=a$ und $c\vee d=b$ gilt.
Auch hier gilt, dass es in $[a,b]$ mehrere zu $c$ komplementäre Elemente geben kann und dass aus dem Distributivgesetz die Eindeutigkeit folgt.
Ein Verband heißt relativkomplementär, wenn es in jedem Intervall zu jedem Element ein relatives Komplement gibt.
Ein relativkomplementärer Verband ist ein komplementärer Verband genau dann, wenn er beschränkt ist. Umgekehrt muss ein komplementärer Verband nicht relativkomplementär sein. Jedoch ist ein modularer komplementärer Verband relativkomplementär.
Relative Komplemente können zur Charakterisierung von distributiven Verbänden dienen. Ein Verband ist genau dann distributiv, wenn jedes Element in jedem Intervall höchstens ein relatives Komplement besitzt.

## Pseudokomplemente

Sind $a,b$ zwei Elemente eines Verbandes, dann nennt man ein größtes Element $c$, für das $a\wedge c\leq b$ gilt, ein relatives Pseudokomplement von $a$ bezüglich $b$.
Ein relatives Pseudokomplement von $a$ bezüglich $0$ heißt Pseudokomplement von $a$.
Ein Verband, in dem für jedes Element $a$ ein Pseudokomplement existiert, heißt pseudokomplementärer Verband.
Die Bezeichnung für Pseudokomplemente ist nicht einheitlich.

### Eigenschaften

Wenn (relative) Pseudokomplemente existieren, dann sind sie eindeutig bestimmt.
In einem distributiven Verband bildet $\{x\mid a\wedge x=0\}$ ein Ideal. Daher ist die Existenz von Pseudokomplementen in endlichen distributivenVerbänden gesichert. Die Distributivität ist wesentlich: $M_{3}$ ist nicht pseudokomplementär.
Für Pseudokomplemente muss nicht $\neg \neg a=a$ gelten, auch wenn der Verband distributiv ist. Es ist aber immer
    $a\leq \neg \neg a$ und $\neg \neg \neg a=\neg a$
Für Pseudokomplemente gilt eins der De Morganschen Gesetzen:
    $\neg (a\vee b)=\neg a\wedge \neg b$
Für die duale Form gilt lediglich:
    $\neg a\vee \neg b\leq \neg (a\wedge b)$
Ein distributiver relativ-komplementärer Verband heißt Heyting-Algebra.

## Orthokomplemente

In einem Verband wird eine Funktion $k\colon V\to V$ als Orthogonalisierung bezeichnet, wenn sie folgende Bedingungen erfüllt:
* $a\vee a^{k}=1$ und $a\wedge a^{k}=0$
* $(a^{k})^{k}=a$
* $a\leq b\implies b^{k}\leq a^{k}$,
Der Verband (mit dieser Abbildung) wird als orthokomplementärer Verband bezeichnet. $\textstyle a^{k}$ heißt Orthokomplement von $a$ (zu dieser Orthogonalisierung).
Wenn $V$ ein distributiver komplementärer Verband ist, dann ist das Komplement von $a$ auch sein einzig mögliches Orthokomplement. Im Allgemeinen kann man aber auch in einem distributiven Verband mehrere verschiedene Orthogonalisierungen haben.

### Beispiele zu Orthokomplementen

* Ist $V$ ein euklidischer Vektorraum und $U_{1}$ ein Untervektorraum, dann bilden die zu $U$ orthogonalen Vektoren einen Vektorraum $U_{2}$ . $U_{1}$ und $U_{2}$ sind Orthokomplemente im (modularen) Verband der Unterräume von $V$.
* Das Beispiel der euklidischen Vektorräume kann zu beliebigen Vektorräumen mit einem inneren Produkt verallgemeinert werden. Verschiedene innere Produkte liefern dabei i. A. verschiedene Orthokomplemente im Verband der Unterräume von $V$.
Dies sind typische Beispiele, die auch zur Namensgebung führten.
$T_{30}$
$\textstyle a^{\complement }={\frac {30}{a}}$
$M_{3}$