Hallo miteinander!
Habe folgende Aufgabe:
Sei eine Menge und seien Halbringe. Hierbei ist mit die Potenzmenge von gemeint und eine Mengenfamilien ist nach Definition Halbring genau dann wenn
(1) (2) (3) Für alle gilt: für paarweise disjunkte .
Die Frage lautet nun, ob ebenfalls Halbring ist. Dass die Eigenschaften (1) und (2) für erfüllt sind sieht man leicht. Eigenschaft (3) ist um Einiges schwerer einzuschätzen. Ich bin mir mittlerweile ziemlich sicher, dass im Allgemeinen kein Halbring ist, denn ich kann für die Menge zwar sowohl als disjunkte Vereinigung von Elementen aus als auch als disjunkte Vereinigung von Elementen aus darstellen, aber ich denke im Allgemeinen eben nicht als disjunkte Vereinigung von Mengen aus . Leider will mir auch nach längerem Nachdenken kein Gegenbeispiel einfallen, sodass ich nicht vollkommen sicher sein kann. Weiß eine(r) von euch Rat?
Danke, Florian
|
Die Aussage ist falsch!
Falls es jemanden interessiert, mir ist ein (einfaches) Gegenbeispiel eingefallen:
und sind Halbringe, aber ist es nicht.
|