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.

In Rudin's proof of the Riesz Representation Theorem (step ten), he proves that

$$\Lambda h_i \leq \mu(V_i) < \mu(E_i) + \epsilon/n , \quad \mu(K) \leq \sum\limits_{1 \leq i \leq n} \Lambda h_i.$$

Writing $A = \sum\limits_{1 \leq i \leq n} \Lambda h_i$, he then asserts that

$$\sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)\Lambda h_i - |a| A \leq \sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)(\mu(E_i) + \epsilon/n) - |a|\mu(K).$$

My question is, how does he avoid strict inequality? As $\Lambda h_i < \mu(E_i) + \epsilon/n$, it seems to follow that

$$ \begin{align*} \sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)\Lambda h_i - |a| A &< \sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)(\mu(E_i) + \epsilon/n) - |a|A\\ &\leq \sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)(\mu(E_i) + \epsilon/n) - |a|\mu(K) \end{align*} $$ and therefore that

$$\sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)\Lambda h_i - |a| A < \sum\limits_{1 \leq i \leq n} (|a|+y_i+\epsilon)(\mu(E_i) + \epsilon/n) - |a|A.$$

share|improve this question
4  
Well, even if. When the strict inequality holds, the weak one holds too. Since at the end one does a limiting operation $\varepsilon \to 0$, the end result would be a (the desired) weak inequality, whether he wrote a strict or weak one before. (Yes, the strict inequality does hold there, but one can always write something weaker than actually holds if convenient.) –  Daniel Fischer Jun 29 '13 at 20:56
    
Thank you, I was not sure if this was merely for convenience or not; its my first time studying analysis and I want to make sure I don't miss any subtleties. –  Cameron Jun 29 '13 at 21:37
    
Oh, you're doing fine detecting subtleties, it seems. Very promising. –  Daniel Fischer Jun 29 '13 at 21:39
    
@DanielFischer Maybe your first comment could be an answer. –  Davide Giraudo Jun 30 '13 at 19:22
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

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.