Heb ik dan gebruik gemaakt van de supremumeigenschap die Q niet bezit? Want we moeten daarvan gebruik maken...
Julie
12-1-2016
Ja, als $S$ niet gelijk was aan heel $[0,\infty)$ dan zou je $x=\sup S$ kunnen nemen; voor die $x$ geldt $I_x\cap S\neq\emptyset$ dus $I_x\subseteq S$.
kphart
12-1-2016
#77397 - Bewijzen - Student universiteit België