Under Cone Conditions
Definition1
Let be an open set. If there exists some finite cone such that for each , there exists a finite cone having as its vertex, then satisfies the cone condition.
Explanation
For all , if there exists as shown in the figure above, then satisfies the cone condition. If includes a pointed part as shown in the next figure, it can’t satisfy the cone condition.
, as shaped like a diamond pattern above, fails to meet the condition at least at 4 vertices. Regardless of the size of the cone, it’s clear that can never be included in .
Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p82 ↩︎