• Support PF! Buy your school textbooks, materials and every day products Here!

If a is an element of R can you assume -a is an element of R?

  • #1

Homework Statement


Simply like the title says, "If a is an element of R can you assume -a is an element of R?"

R={All Real Numbers}

Homework Equations


N/A


The Attempt at a Solution


I concluded that if a is a real number so must -a. Can that be assumed in a proof? Should a simple "If a [tex]\epsilon[/tex] R, then -a [tex]\epsilon[/tex] R" be sufficient?

EDIT: It has to do with a proof on groups in Abstract Algebra.
 
Last edited:

Answers and Replies

  • #2
201
0
I may be wrong, but if we are talking about Vector Spaces, And if we know that 'a' is in the vector space R, then any scalar multiplication keeps it in the same vector space.

if a is in R,
(-1)*a is also in R
 
  • #3
144
0
If this is an abstract algebra question, use the fact R is an ordered field, and R is closed under addition and multiplication.
 
  • #4
If this is an abstract algebra question, use the fact R is an ordered field, and R is closed under addition and multiplication.
Yes it is for Abstract Algebra. I apologize. I should have noted that.
 
  • #5
144
0
the existence of the identity guarantees the inverse of a.I mean what are the assumptions you are allowed to make?
I find it funny that things like " a+(-a)=0" , which are so intuitively obvious, are so conceptually difficult to prove without making assumptions.
 
  • #6
236
0
If this is for abstract algebra, then "R is a field (or ring)" is all that's needed. It's one of the axioms.
 
  • #7
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
14,632
1,268
Your question isn't so much about abstract algebra but rather what you can assume you know about the real numbers in writing down proofs. It does depend on the context. If a problem asks you to prove that (R,+) is an abelian group, for example, I don't think it's necessary to explicitly prove that x+y=y+x, but you can simply state that it is based on your previous knowledge of how the real numbers work. For your class, you need to assume certain properties about the real numbers, otherwise you're going to be spending all your time reconstructing the set of real numbers and deriving its properties, which isn't really the point of the course.
 

Related Threads on If a is an element of R can you assume -a is an element of R?

Replies
2
Views
686
Replies
8
Views
2K
  • Last Post
Replies
6
Views
905
Replies
3
Views
371
Replies
9
Views
5K
Replies
11
Views
707
  • Last Post
Replies
8
Views
2K
Top