Proof that there exist such an element in Q

  • Thread starter Thread starter fluidistic
  • Start date Start date
  • Tags Tags
    Element Proof
fluidistic
Gold Member
Messages
3,928
Reaction score
272

Homework Statement


I'm asked to say whether the set Q,+,. is a field.
To be a field it must respect 8 conditions. And one of them is that there exists a unique element -x in Q such that x+(-x)=0 for all x in Q. I realize I have to prove the existence of -x but also its uniqueness. For the existence I don't know how could I approach it. For the uniqueness I'm sure that I could do it by absurd. That is by suposing that there exist more than one element -x that satisfies the same property and fall into a contradiction.
Can you get me started or help to get started for showing the existence?
Thank you!
 
Physics news on Phys.org
fluidistic said:
I'm asked to say whether the set Q,+,. is a field.

I realize I have to prove the existence of -x but also its uniqueness. For the existence I don't know how could I approach it.

Hi fluidistic! :smile:

(good sig! :biggrin:)

If Q is the rationals, then define the inverse of p/q as -p/q. :wink:
 
assume there is an element -x such that x + (-x) = 0

now assume there is an element y such that x + y =0
This implies y=-x therefore we conclude that

-x is the unique element
 
Ok thank you both, I think I got it. Wasn't that hard it seems!
 
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