Theorem 6.20 rudin Integration How does he do the algebra? (page 134 Rudin, chapter 6 ,theorem 6.20)
$\left| \frac {F(t)- F(s)}{t-s} -f(x_o) \right| = \left| \frac{1}{t-s} \int_s^t[f(u) - f(x_o)]du \right|< \epsilon $
also, how does he conclude that $F'(x_o) = f(x_0)$
: here is the theorem(and the proof by rudin)
Let $f \in \Re$ on $[a,b]$. For $  a \leq x \leq b$, put: $F(x)  = \int_a^x f(t)dt$, Then $F$ is continuous on $[a,b]$; furthermore, if $f$ is continuous at a point $x_0$  of $[a,b]$, then $F$ is differentiable at $x_o$ and $F'(x_0) = f(x_0)$. 
(i will omit the proof of continuity of $F$ on $[a,b]$)
Suppose $f$ is continuous at $x_0$. Given $\epsilon > 0 $ choose $\delta > 0$ such that:
$\vert f(t)- f(x_o) \vert < \epsilon $
if $\vert t- x_0 \vert < \delta$, and  $a \leq t \leq b $.Hence, if 
$x_0 - \delta < s \leq x_0 \leq t < x_0 + \delta$ $\enspace$ with:  $a\ \leq s < t \leq b$
we have by theorem 6.12(d)
$\left| \frac{F(t) - F(s)}{t-s} - f(x_0) \right| = \left| \frac{1}{t-s} \int_s^t [f(u) - f(x_0)]du \right| < \epsilon$
it follows that $F'(x_0) = f(x_0)$
 A: You forgot to subtract $f(x_0)$ in the absolute value. First, note that $$F(t)-F(s)=\int_a^tf(u)du-\int_a^sf(u)du=\int_s^tf(u)du. $$ Also, note that since $f(x_0)$ is a constant  $$f(x_0)=\frac{1}{t-s} \int_s^t f(x_0)du .$$
Combining the two we find $$\left| \frac{F(t)-F(s)}{t-s}-f(x_0) \right|=\left|\frac{1}{t-s} \int_s^t [f(u)-f(x_0)]du \right|=\frac{1}{|t-s|} \left| \int_s^t [f(u)-f(x_0)]du \right|. $$ The final step is using the "triangle inequality for integrals" (Theorem 6.12(d)); you need to remember that $\left|f(u)-f(x_0)\right| < \varepsilon$ .
A: about the last step , you mean that:
$\left| \frac{1}{t-s} \int_s^t f(u)-f(x_o)du \right| \leq \frac{1}{t-s} \int_s^t \left| f(u)-f(x_o)du \right| < \frac{1}{t-s} \int_s^t \epsilon = \frac{1}{t-s} \epsilon(t-s)= \epsilon$
A: I'm not exactly sure of the context, but I can provide some information that I believe is relevant. There appears to be an error in what you have written. 
Let $f\in L^{1}(-\infty, \infty)$. Define the function $F(t)=\int_{-\infty}^{t}f(y)dy$. Now let $x_{0}\in [s,t]$
\begin{eqnarray*}
\left| \frac{F(t)-F(s)}{t-s}-f(x_{0})\right| &=& \left| \frac{1}{t-s} \int_{s}^{t}f(y)dy-f(x_{0})\right|
\\
&=& \left| \frac{1}{t-s}\int_{s}^{t}\left(f(y)-f(x_{0})\right)dy\right|
\\
&\leq & \frac{1}{t-s}\int_{s}^{t}\left|f(y)-f(x_{0})\right|dy
\end{eqnarray*}
Now if $x_{0}$ is a Lebesgue point, the right hand side converges to $0$ as the length of the interval goes to $0$. More explicitly, for every $\epsilon>0$, there is $\delta$ such that if $t-s<\delta$, the right hand side is $<\epsilon$. Now, by Lebesgue's theorem, almost every point in $(-\infty,\infty)$ is a Lebesgue point. Therefore, the limit on the left hand side converges to $f(x_{0})$ for almost all $x_{0}\in(-\infty,\infty)$. By definition, this limit is $F^{\prime}(x_{0})$. 
This is really a proof that the Radon-Nikodym derivative with respect to the Lebesgue measure agrees with the usual definition of derivative as the limit of the difference quotient.
