0
$\begingroup$

I'm looking for a stringent definition of the mean value theorem i.e. stated with mathematical symbols. I think it should be something like "there exists..." and then the mean value if there is an integral between the surrounding values which to my knowledge is the mean value theorem, stating that the mean has to be somewhere between two points. So could we define it in mathematical notation?

" there exists a point c in $(a, b)$ such that $f'(c)= \frac{f(b)-f(a)}{b-a}$ "

Can we rephrase the above into a "pure" mathematical notation i.e. using ∃ instead of plain words? Is it trivial what I want to do and just replace the "there exists" with ∃ so that it is more like a logical statement?

  • 0
    IMO the only thing lacking in your statement in terms of a stringent definition is your assumptions. As mentioned below words are great, if the meaning is clear and there are no ambiguities, so phrases like "there exists" are fine.2012-08-06

1 Answers 1

11

You could write that as

$$\exists c \in (a,b)\, :\, f'(c) = \frac{f(b)-f(a)}{b-a}$$

Some people might prefer to use other conventions, such as $$\exists c.\ c \in (a,b) \wedge f'(c) = \frac{f(b)-f(a)}{b-a}$$

Frankly, though, there's nothing wrong with words, especially in something like analysis. It doesn't make it any less rigorous as long as the language used isn't ambiguous.


Edit:

Amused by one of the comments, I thought I'd write out in full the statement of the mean value theorem using only symbols.

$(\forall a,b \in \mathbb{R})(\forall f \in \mathbb{R}^{[a,b]})(((\forall x \in [a,b])(\forall \epsilon > 0)(\exists \delta > 0)$ $(\left|x-y\right|<\delta \Rightarrow \left|f(x)-f(y)\right|<\varepsilon)) \wedge ((\forall x \in (a,b))(\exists f'(x) \in \mathbb{R})$ $(\forall \varepsilon > 0)(\exists \delta > 0)(\forall h>0)((h<\delta) \Rightarrow \left| \frac{f(x+h)-f(x)}{h} - f'(x)\right| < \varepsilon))$ $\Rightarrow (\exists c \in (a,b))(f'(c) = \frac{f(b)-f(a)}{b-a}))$

  • 4
    "Frankly, though, there's nothing wrong with words, especially in something like analysis." - I upvoted for this.2012-08-06
  • 3
    However, you're missing some incredibly important hypotheses (which first year students of Calculus or even Analysis will often forget). "If $f$ is continuous on $[a, b]$ and differentiable on $(a, b)$". Frankly, I don't believe using symbols to express these hypotheses is advisable.2012-08-06
  • 0
    You don't want to avoid using words, just avoid using them excessively. The same applies for symbols. Writing $\exists$ instead of "there is a..." might be okay when quickly jotting down things for your own use, but otherwise interchanging symbols and words too frequently only makes the text harder to read. Writing using only symbols in a streamlined form can be aesthetically pleasing, but even then some more wordy comments are advisable, as some things are not easily expressible like Shaun mentioned above, and a wall of symbols can easily turn unreadable.2012-08-06
  • 1
    Words are also symbols, in fact. So the only intention to avoid the use of words is to make the thoughts more smooth. Indeed, if the number of symbols is great enough, it is possible to write an article completely devoid of words, with only the symbols reamaining(I have done something like this.) But imagine what others say, when viewing this... Are you to explain one by one what each symbol means? It takes even more time to do so. As Bourbaki said, the price of the paper is still cheap enough to write things clearly; besides, we are actually typing...2012-08-06
  • 0
    Thank you for the answer. An advantage with a formula instead of words is that a formula will look the same in different languages e.g. Swedish, French...I'd like an international version of the theorem to think of.2012-08-06
  • 1
    I'd be surprised if $\exists$ foreign students of mathematics at this level who can't understand the English used to state the mean value theorem.2012-08-06
  • 0
    Is this a both ways relation? If no f(c)=0 exists then f(a)!=f(b) ?2017-05-03