Linear Algebra: Subspace proof (1 Viewer)

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

1. The problem statement, all variables and given/known data:

Prove: A set U [tex]\subset[/tex] V = (V, [tex]\oplus[/tex], [tex]\odot[/tex]) is a vector subspace of V if and only if ([tex]\forall[/tex]u1, u2 [tex]\in[/tex] U) (1/2 [tex]\odot[/tex] (u1 [tex]\oplus[/tex] u2) [tex]\in[/tex] U) and ([tex]\forall[/tex]u [tex]\in[/tex] U) ([tex]\forall[/tex]t [tex]\in \mathbb{R}[/tex]) (t [tex]\odot[/tex] u [tex]\in[/tex] U).

3. The attempt at a solution:

I don't have the first clue. To me, it seems that there is missing information. I know that for a subspace, it is sufficient to prove only closure under addition and scalar multiplication. Maybe he's defining a different sort of addition? Ugh, the whole proof thing is actually pretty new to me. I only started doing simple proofs last semester in Discrete Mathematics...
Last edited:
Maybe he's defining a different sort of addition?
He's using [tex]\oplus[/tex] and [tex]\odot[/tex] as representatives of addition and multiplication, respectively, just with other symbols. In this proof, you're working with an arbitrary vector space, so that addition and multiplication may not be defined in the sense that you're used to. In fact, they're both defined arbitrarily, and we can define addition and multiplication however we want to, as long as they satisfy the axioms of a vector space. However, even though the vector space operations are unknown, we do know how multiplication works in R.

In any case, here is what you must prove: for each t in R and for each u in U, [tex]t \odot u \in U[/tex] and for all [tex]u_1, u_2 \in U, \, u_1 \oplus u_2 \in U[/tex]. The first thing you need to prove has already been given to you. All you need to prove is closure under addition. I'll give you a hint, and then you're going to have to think a little bit about what to do. The hint is: [tex]2\in \mathbb{R}[/tex]. Now you're going to have to use the vector space axioms and the first given to figure out why closure under addition holds.
Last edited:
Thank you. Yeah, the next problem defines u [tex]\oplus[/tex] v (u, v in R3) as v X u. This one is simple in that v X u is not commutative and therefore R3 with this definition is not a vector space.

The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving