Reference for showing two closed and convex sets are equal Suppose I have two sets $P, Q \subseteq R^d$ such that $P\subseteq Q$. $P$ and $Q$ are both convex and closed. I wish to show that $P=Q$. 
A straightfoward way to show this is showing $\forall y \in R^d$, $y \notin P \Rightarrow y \notin Q$. However, I follow a slightly different technique which utilizes the closedness and convexity of both the sets which I believe is known as the continuity method in topology (although I may be wrong.)
I can show in my problem that for any $x \in P$, $\exists \epsilon$ such that $\forall y \in B(x,\epsilon)$ (closed ball of radius $\epsilon$ around a point $x \in R^d$) I have, $y \notin P \Rightarrow y \notin Q$ i.e. all points immediately outside the boundary of $P$ don't belong to $Q$ as well.
I believe this is sufficient to show $P=Q$. Is this fine? If yes, does anyone have a reference I can cite for this (this is probably not very deep but the publication is applied and hence a reference is needed.) Reference at the level of appropriate theorems would be most appreciated.
 A: It seems sufficient if $P$ is nonempty and closed and $Q$ is convex.
Suppose there is $a \in Q \setminus P$, and let $b \in P$.
Let $m = \max \{ t \in [ 0, 1 ] \mid b + t(a - b) \in P \}$.
This maximum exists and is less than 1 because $P$ is closed.
Now $b + m(a-b) \in P$ and for every $\epsilon \in (0, 1-m)$ 
we have by convexity $b + (m+\epsilon)(a - b) \in Q \setminus P$.
Of course this can easily be generalized from convex to path-connected,
and merely connected should still work. If you want a reference, you will
probably only find more general results, so you might as well try to fit the
above in a footnote, if necessary.
A: The method of continuity probably should be stated slightly differently (not because you stated it wrong; just that a slightly different statement may make it more evident that you are using the method of continuity, so you don't have to find a reference book). 
Continuity method says that if $Q$ is a connected topological space, and $P\subseteq Q$ is nonempty. If $P$ is both open and closed in $Q$ then $P= Q$. 
That $Q$ is connected follows from convexity. $P$ is nonempty by assumption. That $P$ is closed follows from the fact that you are using the topology on $Q$ that is induced by the topology on $\mathbb{R}^d$. So you just need to check that $P$ is open. Using the induced topology, we can state it as: it suffices the check that for all $p\in P$ there is an open neighborhood $N_p$ in $\mathbb{R}^d$ of $p$ such that $N_p\cap Q \subseteq P$. 
What you've been able to show (in your question statement) is precisely that for every open ball $B(p,\epsilon)$ around a point $p\in P$, you have that $B(p,\epsilon) \setminus P \subseteq B(p,\epsilon)\setminus Q$. Which by taking the relative complement is precisely $B(p,\epsilon)\cap Q \subseteq B(p,\epsilon)\cap P\subseteq P$ as you desired. So yes, deep down, what you did is the method of continuity. 
A: This is a more-or-less straightforward point-set topology problem in $\mathbb{R}^d$, so you probably won't find a literature reference.  You might try looking in Munkres' Topology, or the point-set introduction to an analysis book such as Rudin's Principles of Mathematical Analysis.
To the heart of the matter.  Your claim does not even require convexity.  Rephrased, 

Suppose $Q$ is a closed subset of $\mathbb{R}^d$ and $P$ is a closed subset of $Q$.  Suppose further that for all $\epsilon>0$ and any $x\in P$, if $y\notin B(x,\epsilon)$ then $y\notin Q$.  Then we may conclude that $P=Q$.

Proof: It suffices to show that $Q\subseteq P$.  Let $y\notin P$; we show that $y\notin Q$.  Because $y\notin P$ and $P$ is closed, hence $P'$ is open, there exists some positive $\eta$ such that $\inf_{x\in P}d(x,y)>\eta$.  But now by hypothesis we have $y\notin Q$. Therefore $Q\subseteq P$ (by contrapositive); since also $P\subseteq Q$, we may conclude that $Q=P$.
