looks good to me
I worked this out myself and I was wondering if somebody could help me and see if I have made any mistakes. It's a bit of a tautology since an open disc is called an open disc but I wanted to prove this from my definition
Definition: is open
1. E is empty or
2. such that
where (open disc).
So let's prove that D(a,r) itself is open!
We want to prove the statement
such that
Proof:
Let . Then .
Choose since .
Let . Then .
Hence and we conclude that .
The idea of your proof should be clear graphically. Draw a disc without its boundary, call it with center and radius . Let be arbitrary. Then, really all you're claiming is that the open disc with radius is completely contained within . But, this disc is merely tangent to the outer disc and since it doesn't include its boundary it follows that its contained entirely within .
This was not meant to be rigorous, but a geometric reason why this is true.
P.S. Just because the adjective open is applied to open ball doesn't imply that it's open. Be careful of what you call a tautology.
In my limited experience, it is often not taken that an open ball is an open set. You call an open set just any set such that for each point in the set there exists an open ball around it entirely contained in the set. Nothing in there made it neccessary that the open ball was open. But, as Slevvio showed it is not hard to prove that giving an open ball its name is justified.