# Tag Info

### Let $f\colon (a,b)\to \mathbb{R}$ be nondecreasing and continuous. If $E=\{x\in (a,b)\mid f'(x)\text{ exists and } f'(x)=0\}$, then $\lambda(f(E))=0$

The following proof is a more explicit version of the one already mentioned above. If anything remains unclear, I’ll be happy to provide clarification. Let $f:\mathbb{R}\rightarrow\mathbb{R}$ be an ...
• 432
Accepted

### Proof of $V_F(-\infty,b]=\lim_{a\to-\infty}V_F[a,b]$ where $F$ is of finite variation.

The squeeze theorem is not needed here, just the definition of $\lim_{a \to -\infty}$. To simplify the notation, set $f(t) = V_F([t, b])$ and $L = V_F(-\infty,b]$. In the quoted proof it has been ...
• 117k
1 vote

1 vote

### Surreal numbers by Knuth, the "bad numbers" proof.

The key here is that $x\leq z$ means, by definition, that there does not exist $z_R$ or $x_L$ with certain properties. So if you have a statement like "$x\le y$ and $y\le z$ and $x\le z$", ...
• 24.3k
1 vote
Accepted

### Applying the linearity of $f$ in the proof of Proposition 1.5 in Brezis

What you have shown in your work is correct. The choice of $t_{0} := \frac{f(x_{1})-\alpha }{f(x_{1})-f(x_{0}) }$ does not imply that $f(x_{t_{0}}) = \alpha$ and there are counterexamples under the ...
• 2,086

Only top scored, non community-wiki answers of a minimum length are eligible