Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Ordnungen und Verbände (http://www.informatikerboard.de/board/thread.php?threadid=3040)


Geschrieben von Mathenoob am 21.05.2016 um 12:33:

  Ordnungen und Verbände

Meine Frage:
Es sei V ein Verband. Beweisen Sie die folgende Aussagen:

a'supremum'b = b'supremum'a für alle a,b element V.

Meine Ideen:
1) erst zeigen wir b'supremum'a kleiner gleich a'supremum'b

a kleiner gleich a'supremum'b
b kleiner gleich a'supremum'b

also auch b'supremum'a kleiner gleich a'supremum'b

2) Zeige a'supremum'b = b'supremum'a

wie geht das?


Forensoftware: Burning Board, entwickelt von WoltLab GmbH