Proving the Existence of b: B-->A for Tricky Algebra Proof

  • Thread starter Thread starter Pearce_09
  • Start date Start date
  • Tags Tags
    Algebra Proof
Pearce_09
Messages
71
Reaction score
0
tricky algebra proof...

hello,

consider the mappings: (R: A-->B)

Suppose T: C-->A and S: C-->A satisfy RT = RS then T = S
prove that there exists a; b: B-->A such that bR = idA (identity of A)

well, I am not sure if I can say that b (inverse) = R
since b maps B to A .. and R maps A to B... and if i can say that...
how do i approach the proof?

I know that RT = RS then T = S.. should i work with this.? using b (inverse)...
or should i try to see if R or b is injective?...

ie. b(inverse)T = b(inverse)S ... ??
 
Physics news on Phys.org
The idea of left cancellable (RS=RT => S=T) is exactly the same as R being injective.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
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