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

Click For Summary
SUMMARY

The discussion focuses on the conditions for the nontrivial intersection of the subspaces U and W in the vector space C₄[x], which consists of all complex polynomials of degree 4. The subspaces are defined as U = Sp({x³ - 2iαx, x² + 1}) and W = Sp({x³ + ix, (1-i)x² - αx}). The key findings indicate that for W ∩ U to be non-zero, specific values of α must be identified, and it is concluded that C₄[x] cannot be expressed as the direct sum of U and W when α = 0, as C₄[x] includes x⁴, which neither U nor W spans.

PREREQUISITES
  • Understanding of vector spaces and subspaces in linear algebra.
  • Familiarity with the concept of span and linear combinations.
  • Knowledge of polynomial functions and their properties in C₄[x].
  • Ability to solve systems of equations involving polynomials.
NEXT STEPS
  • Investigate the implications of linear independence in polynomial subspaces.
  • Explore the concept of direct sums in vector spaces, particularly in relation to polynomial spaces.
  • Learn about the properties of polynomial rings and their dimensionality.
  • Study the conditions for intersection of subspaces in higher-dimensional vector spaces.
USEFUL FOR

Mathematicians, students of linear algebra, and anyone studying polynomial vector spaces will benefit from this discussion, particularly those interested in the intersection properties of subspaces in C₄[x].

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]
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 16 ·
Replies
16
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
11K