Proving Equivalence Statements in Real Analysis 1

  • Thread starter Thread starter phillyolly
  • Start date Start date
  • Tags Tags
    Analysis Proof
phillyolly
Messages
157
Reaction score
0

Homework Statement



See attachment

Homework Equations





The Attempt at a Solution



It is not a homework. I am just reviewing for myself.
This is the very first, basic problem of the first chapter of Real Analysis 1 by Bartle and Sherbert. Proofs of Real Analysis don't make any sense to me.
 

Attachments

  • pic.jpg
    pic.jpg
    3.8 KB · Views: 373
Physics news on Phys.org
The "if and only if" denotes an equivalence relation between the two statements, i.e., we have (A \subseteq B) \longleftrightarrow (A \cap B = A). There are two steps necessary to proving an equivalence statement:

1. Show (A \subseteq B) \rightarrow (A \cap B = A).
2. Show (A \cap B = A) \rightarrow (A \subseteq B).

For both parts, we begin by assuming the respective premise.
For 1, we need to show that x \in (A \cap B) \rightarrow x \in A and that x \in A \rightarrow x \in (A \cap B).
For 2, we just need to show that x \in A \rightarrow x \in B.
Do all this, and you have yourself a proof!
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top