Proving an equivalence relation using inverse functions

The1TL
Messages
23
Reaction score
0

Homework Statement


Let f : A → B be a function and let Γ ⊂ B × B be an equivalence relation on B. Prove that the set (f × f)^-1 (Γ) ⊂ A × A (this can be described as {(a, a′) ∈ A × A|(f(a), f(a′)) ∈ Γ}) is an equivalence relation on A.

Homework Equations


The Attempt at a Solution


Let (f(a),f(a’)) ⊂ Γ. Since f(a) and f(a’) hold an equivalence relation with each other, it follows that a and a’ hold an equivalence relation with each other. Since f(a) and f(a’) are arbitrary elements of Γ, it follows that (fxf)-1Γ ⊂ A x A is an equivalence relation on A.

I'm not sure if thi is the right approach. In particular I am not sure that i can say that f(a) and f(a') holding an equivalence relation means that a and a' hold one too.
 
Last edited:
Physics news on Phys.org
Does anybody know if I am correct? I'm not sure if I'm skipping steps.
 
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