Geordnete Menge/Atome/Einfache Eigenschaften/Fakt

Es sei ${}(M,\preccurlyeq )$ eine geordnete Menge mit einem kleinsten Element ${}0$ und mit der Eigenschaft, dass zu je zwei Elementen das Infimum ${}x\sqcap y$ existiert. Dann gelten folgende Eigenschaften.

Wenn ${}a\in M$ ein Atom ist, so ist ${}a\sqcap x=0$ oder ${}a\sqcap x=a$ für alle ${}x$ .

Wenn ${}a$ und ${}b$ verschiedene Atome sind, so ist ${}a\sqcap b=0$ .

Es sei ${}M$ endlich. Dann gibt es zu jedem ${}x\in M\setminus \{0\}$ ein Atom ${}a$ mit ${}a\preccurlyeq x$ .

Einen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.