What proof techniques are specific to real analysis?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 2K views
SrVishi
Messages
75
Reaction score
15
Every math major eventually learns logic and standard proof techniques. For example, to show that a rigorous statement [itex]P[/itex] implies statement [itex]Q[/itex], we suppose the statement [itex]P[/itex] is true and use that to show [itex]Q[/itex] is true. This, along with the other general proof techniques are very broad. A math major would soon come to realize that there are some nuances of proofs that vary among the different subjects. For example, in real analysis, a possible way to show that two real-valued objects are equal is to show that neither can be less than or greater than the other. What proof tips (could be as specific as you'd like) could you provide?
 
Physics news on Phys.org
There may be lots of different ways, and in special cases, may be more. Generally we all know we can prove ##~Q\Rightarrow ~P## to show ##P\Rightarrow Q.##
In analysis, there are many tricky(?) estimations...which I always can appreciate...
 
tommyxu3 said:
There may be lots of different ways, and in special cases, may be more. Generally we all know we can prove ##~Q\Rightarrow ~P## to show ##P\Rightarrow Q.##
At first I thought you had written something that wasn't true in general, but after seeing the LaTeX you wrote, I understand what you meant.
Here's the corrected version:
prove ## \neg Q\Rightarrow \neg P## to show ##P\Rightarrow Q.##

I used \neg for the logical negation symbol. You can also use \sim, which renders as a ~ character.
tommyxu3 said:
In analysis, there are many tricky(?) estimations...which I always can appreciate...
 
Yes, I didn't mind that until your remind haha. Thanks a lot!