Inner product at the boundary

87 Views Asked by At

Let $K\subset \mathbb{R}^n$ be a convex set with nonempty interior, i.e. $K^{\circ}\neq \emptyset$. Suppose there exist a nonzero vector $v$ such that

$$\langle x, v\rangle\geq 0$$

for all $x\in K^{\circ}$. I want to show that in this case the property holds for all $x\in K$.

It is supposed to be a continuity argument. Am having trouble because $x\in K\setminus K^{\circ}$ doesn't imply that there exist a sequence in $K^{\circ}$ converging to $x$.

Any help is greatly appreciated.

1

There are 1 best solutions below

2
On BEST ANSWER

But $x \in K \setminus K^\circ$ does imply that there exists a sequence in $K^\circ$ converging to $x$.

Choose any open ball $B \subset K^\circ$ centered at $p$.

Let $\overline{ab}$ be the diameter of $B$ perpendicular to the segment $\overline{xp}$.

The interior of the entire triangle $\triangle xab$ is therefore contained in $K^\circ$, and in particular the half-open segment $[p,x)$ is contained in $K^\circ$.