0
$\begingroup$

Suppose $Y$ is a subspace of a normed linear space $X$ and let $y\in S_Y, y^*\in S_{Y^*}$ such that $y^*(y)=1$, where $S_Y$ denotes the closed unit sphere in $Y$. My question is the following:

Is it possible to find an extension $x^*$ of $y^*$ to $X$ such that $$\{x\in X:x^*(x)=1\}\subset Y.$$ Any suggestion will be thankfully appreciated.

$\endgroup$
1
  • 1
    $\begingroup$ What if $X=\mathbb{R}^2$, $Y=(y=0)=\{(x,0)\}$, $y=(1,0)$? Any extension $x^*$ looks like $(1,t)$ for some $t$, and then $\{x \in X \colon x^*(x)=1\} = \{(a,b) \colon a+bt=1\}$, not contained in $Y$. $\endgroup$ Commented Jun 10, 2019 at 19:46

1 Answer 1

3
$\begingroup$

The answer is "No, unless $X=Y$".

In fact, if there is $u\in X\backslash Y$, then the vector $v=u-x^*(u)y$ is not in $Y$ and satisfies $x^*(v)=0$. Therefore all vectors $y+tv, t\ne 0$ satisfy $x^*(y+tv)=1$, but $y+tv$ are not in $Y$ for $t\ne 0$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .