# Homework Help: Axiom 6 Vector Space

1. Feb 15, 2010

### 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.

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

2. Feb 15, 2010

### LCKurtz

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)?

3. Feb 15, 2010

### 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?

4. Feb 15, 2010

### LCKurtz

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+.

5. Feb 15, 2010

### Dustinsfl

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

6. Feb 15, 2010

### LCKurtz

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

7. Feb 16, 2010

### vela

Staff Emeritus
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.