Axiom 6 Vector Space: Proving ℝ+ is a Vector Space

[Dustinsfl]

{∀ x ϵ ℝ+ : x>0}
Define the operation of scalar multiplication, denoted ∘, by α∘x = x^α, x ϵ ℝ+ and α ϵ ℝ.
Define the operation of addition, denoted ⊕, by x ⊕ y = x·y, x, y ϵ ℝ+.
Thus, for this system, the scalar product of -3 times 1/2 is given by:
-3∘1/2 = (1/2)^-3 = 8 and the sum of 2 and 5 is given by:
2 ⊕ 5 = 2·5 = 10.
Is ℝ+ a vector space with these operations? Prove your answer.

6. (α ⊕ β)∘x = x^(α ⊕ β) = x^(α·β) = x^(β·α)
Am on the right path for this axiom?

 

[LCKurtz]

6. (α ⊕ β)∘x = x^(α ⊕ β) = x^(α·β) = x^(β·α)
Am on the right path for this axiom?

What axiom? Are you trying to prove or disprove:

(α ⊕ β)∘x = (α∘x) ⊕ (β∘x), which would be better written as

(x ⊕ y)∘a = (x∘a) ⊕ (y∘a)

If so, you need to continue until you get the right side to come out or show that it doesn't. I would also suggest you be careful to keep consistent notation. Your vectors are in R⁺ and your scalars are in R. You have already reversed the notation from what is given i.e., x, y in R⁺ and α, β in R. (Why not use a, b instead to save typing)?

 

[Dustinsfl]

Alpha and beta are simply scalars. The problem allows the scalars to be in all real where x only exists in real > 0. This is vector space axiom 6 which as stated says (α ⊕ β)∘x = α·x ⊕ β·x. The issue I was caught up on is how scalar multiplication is defined. It says scalar multiplication becomes the exponent. Am I able to ignore that and just distribute x?

 

[LCKurtz]

Alpha and beta are simply scalars. The problem allows the scalars to be in all real where x only exists in real > 0. This is vector space axiom 6 which as stated says (α ⊕ β)∘x = α·x ⊕ β·x. The issue I was caught up on is how scalar multiplication is defined. It says scalar multiplication becomes the exponent. Am I able to ignore that and just distribute x?

Apparently you didn't understand what I said in my post. You are getting your notation all mixed up. If alpha and beta are scalars in R, then α ⊕ β doesn't make sense because the ⊕ operation is defined on the vectors which are the scalars in R⁺.

 

[Dustinsfl]

So alpha and beta can be taking as normal addition then?

 

[LCKurtz]

So alpha and beta can be taking as normal addition then?

Not sure what that sentence means. Proving something like (x ⊕ y)∘a = (x∘a) ⊕ (y∘a) will not involve the ordinary + operation.

 

[vela]

The axiom you're trying to show holds is:

For a, b \in R and \vec{x} \in R^+,

(a+b)\circ \vec{x} = a\circ \vec{x} \oplus b \circ \vec{x}

where:

+ is the normal addition of real numbers
\oplus is the vector addition defined above
\circ is the scalar multiplication of a vector defined above

It's kind of confusing because the + symbol is typically used to denote both field addition and vector addition, but they are different operations. One of the goals of this problem, I'm guessing, is to get you to realize this distinction.