Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I think they do something unnecessary in my notes in the proof of the following lemma:

enter image description here

The idea of the proof is to partially order the set $\Sigma$ of pairs $(X_i, f_i)$ where $X_i$ is a linear subspace of $X$ containing $Y$ and $f_i : X_i \to \mathbb R$ is a linear map. Then apply Zorn to get a maximal element $(X^\prime, f^\prime)$ and show that $X^\prime = X$. The way to do this is by contradiction. One assumes that there is a point $z$ in $X \setminus X^\prime$ and then defines a $g$ such that $(X^{\prime \prime}, g) $ where $X^{\prime \prime} $ is spanned by $z$ and $X^\prime$ is strictly greater than $(X^\prime, f^\prime)$ in $\Sigma$, contradicting maximality.

In the notes we define $g$ in terms of $f^\prime$: If $z \in X \setminus X^\prime$ and $y \in X^{\prime \prime}$ then $g(y) = f^\prime(x^\prime) + \lambda c$ for some $\lambda$ and some $x^\prime \in X^\prime$. All we need to show is $g \leq p$. And this is the part where I think they are doing something superfluous. They pick $c \in [A,B]$ (see below) where I think it's enough to pick $c \leq B$:

enter image description here

If those pngs aren't readable then you can also find the proof in these notes at the very start of chapter 6. Thanks for your help.

share|improve this question
3  
How do you prove (6.2) and treat the case of $\lambda \lt 0$ in (6.3) if $c \lt A$? –  t.b. Aug 14 '12 at 10:13
    
@t.b. Let me see, I think I ignored the case $\lambda < 0$ in my proof! : ) Thank you! –  Matt N. Aug 14 '12 at 10:14
1  
In your sketch of the Zornication part of the proof you probably wanted "$f$ is a linear function majorized by $p$" instead of "$f$ is a continuous linear functional". –  Martin Sleziak Aug 14 '12 at 10:55
    
@MartinSleziak Yep, that's right! Thank you! –  Matt N. Aug 14 '12 at 10:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.