Subspace as a Direct Sum of Intersections with Basis Partition?

Click For Summary
SUMMARY

The discussion centers on the question of whether a subspace S of a vector space V can be expressed as a direct sum of its intersections with a partition of the basis of V. Specifically, the problem states that if S intersects non-trivially with each span of the basis subsets, then S equals the direct sum of these intersections. A counterexample is provided using the subspace defined by y=x in ℝ², demonstrating that without the non-trivial intersection condition, the assertion does not hold.

PREREQUISITES
  • Understanding of vector spaces and subspaces
  • Familiarity with basis and spanning sets
  • Knowledge of direct sums in linear algebra
  • Ability to work with counterexamples in mathematical proofs
NEXT STEPS
  • Study the properties of direct sums in vector spaces
  • Explore the concept of basis partitions in linear algebra
  • Learn about the implications of non-trivial intersections in vector spaces
  • Investigate counterexamples in linear algebra to strengthen proof techniques
USEFUL FOR

Students and educators in mathematics, particularly those focused on linear algebra concepts, as well as researchers exploring the properties of vector spaces and subspaces.

imurme8
Messages
45
Reaction score
0
I've been working on this Linear Algebra problem for a while: Let [itex]F[/itex] be a field, [itex]V[/itex] a vector space over [itex]F[/itex] with basis [itex]\mathcal{B}=\{b_i\mid i\in I\}[/itex]. Let [itex]S[/itex] be a subspace of [itex]V[/itex], and let [itex]\{B_1, \dotsc, B_k\}[/itex] be a partition of [itex]\mathcal{B}[/itex]. Suppose that [itex]S\cap \langle B_i\rangle\neq \{0\}[/itex] for all [itex]i[/itex]. Is it true that [itex]S=\bigoplus\limits_{i=1}^{k}(S\cap \langle B_i \rangle)[/itex]?

Haven't been able to get this one, thanks for your help.
 
Physics news on Phys.org


Notice that [itex]V = \bigoplus_{i=1}^k \langle B_i \rangle[/itex], so [itex]S = S \cap V = \bigoplus_{i=1}^k S \cap \langle B_i \rangle[/itex].
 


jgens said:
Notice that [itex]V = \bigoplus_{i=1}^k \langle B_i \rangle[/itex], so [itex]S = S \cap V = \bigoplus_{i=1}^k S \cap \langle B_i \rangle[/itex].
Where have you used that [itex]S\cap \langle B_i\rangle \neq \{0\}[/itex] for all [itex]i[/itex]? I can come up with the following counterexample if we do not assume this hypothesis:

In [itex]\mathbb{R}^2[/itex], the subspace [itex]y=x[/itex] is certainly not the direct sum of its intersections with [itex]\langle e_1 \rangle[/itex] and [itex]\langle e_2 \rangle[/itex] (both zero).
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K