What Conditions Allow Nontrivial Intersection of Subspaces U and W in C4[x]?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 3K views
daniel_i_l
Gold Member
Messages
864
Reaction score
0

Homework Statement


Let:
[tex]\alpha \in C_{4}[x][/tex] (the space of all 4-deg complex ploymonials)
We'll define:
[tex] U = Sp( \{\ x^3 - 2i \alpha x, x^2 +1 \} ) \\<br /> W = Sp( \{\ x^3 + ix, (1-i)x^2 - \alpha x \})[/tex]
as subspaces of [tex]C_{4}[x][/tex]
a) find all values of alpha so that:
[tex]W \cap U \neq \{ 0 \}[/tex]
b) does:
[tex]C_{4}[x] = W \oplus U[/tex]
when alpha = 0?

Homework Equations


If [tex]C_{4}[x] = W+U[/tex] and [tex]W \cap U = {0}[/tex]
then [tex]C_{4}[x] = W \oplus U[/tex]


The Attempt at a Solution


I'm not sure how to approch this question. Do I find all the cases where
[tex]W \cap U = {0}[/tex] and then write the answer as all the other cases? To do that do I first find all the alphas where u = w for some u in U and for some w in W and then check which one of those forces both u and w to be 0?
And for b, if the answer in a isn't 0 then the answer is no right?
Thanks.
EDIT: Where did all the curly brackets go?
 
Last edited by a moderator:
Physics news on Phys.org
daniel_i_l said:

Homework Statement


Let:
[tex]\alpha \in C_{4}[x][/tex] (the space of all 4-deg complex ploymonials)
We'll define:
[tex] U = Sp( \{\ x^3 - 2i \alpha x, x^2 +1 \} ) \\<br /> W = Sp( \{\ x^3 + ix, (1-i)x^2 - \alpha x \})[/tex]
as subspaces of [tex]C_{4}[x][/tex]
a) find all values of alpha so that:
[tex]W \cap U \neq \{ 0 \}[/tex]
b) does:
[tex]C_{4}[x] = W \oplus U[/tex]
when alpha = 0?

Homework Equations


If [tex]C_{4}[x] = W+U[/tex] and [tex]W \cap U = {0}[/tex]
then [tex]C_{4}[x] = W \oplus U[/tex]


The Attempt at a Solution


I'm not sure how to approch this question. Do I find all the cases where
[tex]W \cap U = {0}[/tex] and then write the answer as all the other cases? To do that do I first find all the alphas where u = w for some u in U and for some w in W and then check which one of those forces both u and w to be 0?
And for b, if the answer in a isn't 0 then the answer is no right?
Thanks.
EDIT: Where did all the curly brackets go?
For a, I see no reason not to do it directly: any vector in U can be written [itex]m(x^3- 2i\alpha x)+ n(x<sup>2</sup>+1) and any vector in V can be written [tex]a(x<sup>3</sup>+ ix)+ b((1+i)x<sup>2</sup>- \alpha x). Set those equal to each other. For what values of [itex]\alpha[/itex] can you NOT find m,n,a, and b that will work?<br /> <br /> As for b, C<sub>4</sub>[x] includes x<sup>4</sup> but neither U nor V does.[/tex][/itex]