Linear algebra proof with annihilator

Click For Summary
SUMMARY

The discussion centers on proving the relationship between two subspaces W1 and W2 of a finite-dimensional vector space V over a field F, specifically demonstrating that W1 = W2 if and only if their annihilators W1^0 and W2^0 are equal. The dual space V* is defined as the set of all linear functionals on V. The proof requires establishing that if W1 = W2, then W1^0 = W2^0, and conversely, if W1^0 = W2^0, then W1 must equal W2. The participants emphasize the need to utilize basic properties of annihilators and subspaces in vector spaces.

PREREQUISITES
  • Understanding of finite-dimensional vector spaces over a field F
  • Knowledge of dual spaces and linear functionals
  • Familiarity with the concept of annihilators in linear algebra
  • Basic proof techniques in mathematics
NEXT STEPS
  • Study the properties of dual spaces in linear algebra
  • Learn about the concept of annihilators and their applications
  • Explore theorems related to subspaces and their relationships
  • Practice proving equivalences in vector spaces
USEFUL FOR

Students studying linear algebra, mathematicians focusing on vector spaces, and educators teaching concepts related to dual spaces and annihilators.

ptolema
Messages
82
Reaction score
0

Homework Statement



V is a finite-dimensional vector space over F.
For subspaces W1 and W2 of V, prove that
prove.jpg


Homework Equations



V* is dual space of V, defined V*=the set of all linear functionals

For every subset S of V, define annihilator
annihilator.jpg


w1.jpg

w2.jpg


The Attempt at a Solution


I'm not really sure where to start. I proved in a previous part of the problem that the annihilator is a subspace of V*. I tried to argue that for two subspaces of a vector space, one of the subspaces is a subset of the other, but I don't know if that's even a valid theorem. Could someone shed some light on this?
 
Physics news on Phys.org
Just use the basics. You have to show W_1=W_2 \Leftrightarrow W_1^0=W_2^0

So start by showing W_1=W_2 \Rightarrow W_1^0=W_2^0 which looks to be trivial. So what about the other way: W_1^0=W_2^0\Rightarrow W_1=W_2

If W1 ≠ W2 then ...
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
34
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K