Is $K$ is convex?

44 Views Asked by At

Consider the sup-normed Banach space $C(S)$, which designates the space of continuous functions over a compact Hausdorff Space $S$.

Let $K=\{\mu\in A^{\perp}:||\mu||\leqslant 1\}$.

I tried to prove $K$ is convex.

If $0<\alpha<1$ and $\mu_1,\mu_2\in K$

Defining:

$\beta=\alpha\mu_1+(1-\alpha)\mu_2$

Then it needs to be proven $\beta\in K$ for $K$ to be convex.

$\int f d\beta=\int f d\alpha\mu_1+\int fd(1-\alpha)\mu_2=0$

$||\beta||=||\alpha\mu_1+(1-\alpha)\mu_2||\leqslant\alpha||\mu_1||+(1-\alpha)||\mu_2||\leqslant \alpha\times 1+ (1-\alpha)\times 1=1 $

Then $\beta\in K$ which implies that $K$ is convex.

Question:

Is my proof right? If not, how should I prove $K$ to be convex?

Thanks in advance!