I’ve been thinking about the sandwich theorem and tried to research a variation on it but saw no reference to what I’m am dubbing crossover theorem. My question is is this a known theorem or would I have to prove it?
Given
f(x) <= g(x) <= h(x) for all x < c
f(x) >= g(x) >= h(x) for all x < c
lim x-> c of f(x) = lim x-> c of h(x) = L
Conclusion: lim x-> c of g(x) = L
It seems to me that using the sandwich theorem from the left then the right and showing the two limits are the same would prove the conclusion.
I assume that one of those was supposed to say “for all x > c”?
Also, if f and h are continuous, then you don’t need the third line in your givens, as it follows from the Intermediate Value Theorem.
It looks pretty straightforward to me: You use the Sandwich Theorem twice, first on the left to prove that the left limit of g(x) = L, and then on the right to prove that the right limit is also L, and since the left and right limits both exist and are equal, that’s the limit.
For those who are unfamiliar with the term (as I was before googling), I assume the “sandwich theorem” mentioned here is the same thing I know as the Squeeze Theorem.
That just looks like the common Sandwich theorem, or Policemen theorem, or whatever you feel like calling it, except you have renamed the functions on one side, so there is really nothing left to prove here. By the way no extra continuity assumptions are necessary.
ETA ok, you need to prove that the renamed functions satisfy the condition in the original theorem, but that is clear after examining each side, as Chronos explained.
Perhaps the term “Sandwich theorem” more often refers to the fact that if you have two pieces of bread and a piece of ham in three-dimensional space, you can always bisect all three with a single planar cut.
And now that you mention it, I think I learned this theorem as the Squeeze Theorem, but once you get into the body of the OP, it’s clear what he’s asking about, anyway.
I thought it was a pretty basic application of the squeeze theorem but I was worried that I never saw any reference to the crossover theorem online or in a book. It seems to me to be a lot more practical as functions crossover much more often than are tangent to each other.
If I understand correctly, your version would be useful for a situation like the limit as x -> 0 of x sin x, where g(x) = x sin x is between f(x) = -x and h(x) = x.
You could use the “real” Squeeze/Sandwich Theorem with |x| and -|x|, which would be equivalent though perhaps slightly more contrived. And I believe that in any situation where your “crossover theorem” applies, you could translate it via absolute values to a situation where the squeeze theorem directly applies.