can be rearranged to get:Show that is open in .
The definition of an open ball is where .
The fact that it is halved means that any point in any ball around a point will be greater than 0 and will therefore be in . This ball is open.
Since this is valid , is expressed as a union of open balls ie.
Hence is open.
Is this right? I'm wondering if I have made any syntax errors!