12
$\begingroup$

I just started learning "rigorous" calculus, and I noticed that a lot of calculus theorems are rather obvious from the geometrical point of few.

Some examples:

1. Prove that the derivative of an odd (resp. even) function, when exists, is even (resp. odd)

Since the graph is symmetric with respect to the origin, the slopes of the tangent lines at $x=a$ and $x=-a$ must equal, hence the derivative is even. Similarly for the even function.

2. If $f$ is one-one and continuous, then $f^{-1}$ is also continuous.

This can't be more obvious. $f^{-1}$ is just the reflection of $f$ about the line $y=x$.

3. $\displaystyle\int_a^bf(x)dx+\int_b^cf(x)dx=\int_a^cf(x)dx$

The sum of the area from $a$ to $b$ and the area from $b$ to $c$ is, of course, the area from $a$ to $c$.

4. If $f$ is a one-one function one $[a,b]$, then $\displaystyle\int_a^bf(x)dx+\int_{f(a)}^{f(b)}f^{-1}(x)dx=bf(b)-af(a).$

Quite clear if you draw a diagram. The sum of the two integrals is the difference of two rectangles.

5. If $f$ is increasing and $f(0)=0$, then for $a,b>0$ we have $\displaystyle\int_0^af(a)dx+\int_0^bf^{-1}(x)dx\ge ab$.

Also clear from the diagram. There's a "leftover" part outside the rectangle of area $ab$.

Of course, these proofs are not rigorous, and possibly not valid at all. Firstly, I only consider the easy cases. Secondly, I used the intuitive properties of geometric objects without proofs.

So I'm wondering, is there any theory that connects calculus with geometry rigorously? Such a theory would help simplify calculus proofs tremendously, as I roughly outlined above.

  • 0
    In the same spirit as #3: consider the integral of an odd or even function over a symmetric interval...2011-10-15
  • 0
    Thanks, but I'm not interested in more examples. My question is, how can we make those proofs rigorous? Is there any theory that connects calculus with geometry?2011-10-15
  • 0
    In order to make the "geometric" proofs rigorous themselves, you'd have to actually be more explicit and describe the "picture" that runs through your head. This would be the only way to prove things. More often than not, the proofs themselves are derived from a well-drawn picture, so I'm not sure what you're getting at. Also, to address your second question, I am assuming you're not talking about extending calculus to non-Euclidean spaces, such as things that locally look like $\mathbb{R}^n$, i.e. manifolds.2011-10-15
  • 0
    Even if I described the picture explicitly, the proof still lacks rigorousness. For example, I imagine a continuous function as a curved line that can be drawn without lifting pencil. After reflection about $y=x$, my mind is perfectly convinced that the curve is continuous, because it has exactly the same shape. But still, I find this not rigorous enough. I think we need a set of rigorous definitions to derive connections between geometric objects with functions. That's what I'm asking, is there any theory related to it?2011-10-15
  • 0
    Well, we sort of want the fact that a "continuous function is a curved line that can be drawn without lifting pencil". But to order to make this rigorous, we create the $\epsilon-\delta$ definition: it's simply makes what we want in the picture rigorous. So we already have a set of rigorous definitions, often derived from our intuition as you asked. Hence, my confusion.. Also note that a geometric intuition can only get you so far: you're quite limited in picturing certain dimensions.. Unlike your notion of a continuous function, the $\epsilon-\delta$ definition proves far more general.2011-10-15
  • 3
    Because of the fallibility of geometric intuition, It has been standard for at least 150 years to "arithmetize" geometry rather than the other way around. Continuous functions can be a lot weirder than anything any pencil imagined drawing.2011-10-15
  • 0
    I start to understand now. So epsilon-delta is the best that mathematicians can do (i.e. no easier way) to fit the geometric intuition, right? I was hoping that geometry could be a shortcut to prove theorems in calculus. Haha.. Anyway, thanks for taking time to explain.2011-10-15
  • 3
    Geometric intuition is essential to get an idea of what might be true, and how we might try to prove it.2011-10-15
  • 0
    Pay attention that the point #2 is false if $f$ is not defined on an interval. Consider the function $f$ defined on $[0,1)\cup[2,3]$ by $f(x)=x$ if $0\leq x<1$ and $f(x)=x-1$ if $2\leq x\leq 3$. The function $f$ is clearly continuous but $f^{-1}$ is not. (The claim "the graph of a continuous function can be drawn without lifting the pen" is true only when the domain is an interval.)2013-08-29

1 Answers 1