A U B abgeschlossen
Annahme A und B sind abgeschlossene Intervalle.
So kann man sie schreiben als A =[a,b] und B=[c,d]. nach Voraussetzung a≤b und c≤d
Nun sind folgende Fälle möglich.
b<c oder a > d.
Die Intervalle sind elementfremd. A U B = [a,b] U [c,d]
Fall a>c und b < d
A U B = [c,d]
Fall a<c und b>d
A U B = [a,b]
Fall a<c und b<d
A U B = [a,d]
Fall c<a und d<b
A U B = [c,b]
Das sollten eigentlich alle möglichen Fälle sein. Sonst einfach noch ergänzen.
Der Beweis besteht darin, dass bei allen Fällen abgeschlossene Mengen in IR rauskommen.
Falls A und B schon abgeschlossene Mengen in IR sein sollen, wird's etwas mühsam mit einer Lösung, die alle Fälle aufnotiert. Am ehesten käme da ein Induktionsbeweis in Frage.