[Math] Proving the boundary of a disc is a circle

examples-counterexamplesgeneral-topologyproof-writing

As the title suggests, I already know that the boundary of a disk is the circle with the same radius, but what I'm interested in is actually proving that fact.

I recently got around to the section of my topology book that deals with closure, interior, and boundaries of a subset and I've been having a great deal of trouble actually finding any of these for a given subset. I know what they are, but actually finding these things for a given subset is fairly difficult for me.

I want to emphasize that when I say it's difficult, I don't mean that I have no idea what they are in reference to that subset, but that I don't know how to rigorously find them or prove one set is the closure/boundary/interior of the other.

I used the disk with circular boundary mostly as a springboard example, if you know of another example which may elucidate this a little more, feel free to use that one.

I'm aware there is no one process that will definitely find it every time, but if there is some way of thinking about the question that can help make it a little easier or some useful theorems to aid in finding these things then I'd be immensely grateful.

Best Answer

I find the following characterizations extremely helpful for both intuition and also computations:

  1. The interior of a set $A$ is the largest open set that is contained in $A$.

  2. The closure of a set $A$ is the smallest closed set containing $A$.

So for instance, when you try to argue that the disk $$D=\{x \in \mathbb{R}^n \mid \Vert x \Vert \leq1 \}$$ is the closure of the set $$U=\{x \in \mathbb{R}^n \mid \Vert x \Vert < 1 \},$$ you can ask yourself the following questions: "Is $D$ closed? And if yes, are there any other intermediate sets $U \subseteq B \subsetneq D$ that are closed?" If you can check that the answer of the latter is no, then you are done by 2.

In order to conclude that the boundary is $$S=\{x \in \mathbb{R}^n \mid \Vert x \Vert=1\}$$ you just need to observe that the interior of $U$ is $U$, because $U$ is already open (see 1.).