Vector Space, dimensions and kernal rank

Click For Summary

Discussion Overview

The discussion revolves around finding the dimension of the kernel of the operator defined by the matrix D^2 - D, where D is a differential operator acting on polynomials in the space P_3(F_3). Participants explore methods for calculating this dimension, including row reduction and the application of the dimension theorem.

Discussion Character

  • Homework-related
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant seeks help in finding dim[Ker(D^2 - D: P_3(F_3) ==> P_3(F_3))] and expresses confusion about the next steps after calculating D^2 - D.
  • Another participant suggests that the dimension of the image space of the operator T = D^2 - D can be determined by the number of independent columns in its matrix representation, indicating that dim(im T) = 2.
  • A different participant questions the correctness of the matrix representation of D^2 - D and encourages rechecking the calculations.
  • One participant proposes two methods for finding dim(ker T): using the dimension theorem or solving the homogeneous system Tv = 0 to find a basis for the nullspace.
  • There is a brief exchange where one participant acknowledges a mistake regarding the calculations, while another insists on the correctness of their previous assertion about the finite field F_3.

Areas of Agreement / Disagreement

Participants express disagreement about the correctness of the matrix representation of D^2 - D, with some asserting it is correct while others challenge it. The discussion remains unresolved regarding the exact calculations and the implications for finding the kernel's dimension.

Contextual Notes

Participants have not reached a consensus on the correctness of the matrix representation or the subsequent calculations. There are also limitations regarding the assumptions made about the properties of the finite field F_3 and the implications for the dimension calculations.

zcomputer5
Messages
1
Reaction score
0
Please could someone help me with this question, thank you.

Find dim[Ker(D^2 -D: P_3(F_3) ==>P_3(F_3))]

Where dim is dimension, Ker is kernal

D is the matrix
0100
0020
0003
0000

D^2 is the derivative of D is it equals

0020
0006
0000
0000

And F_3 is the field subscript3

so D^2 -D

Should equal

0220
0010
0000
0000

But where do I go from here? I have tried reducing this matrix to row echelon form however this doesn't seem logical, do you have any ideas on finding the dimension of the kernal?

THANK YOU
 
Physics news on Phys.org
I will write T = D2 - D.

Well, the dimension of the image space of T is the number of independent columns in a matrix of T (indeed, the image space is spanned by the columns of the matrix); from what you have found, clearly dim(im T) = 2 (you can be sure of this by reducing the matrix to column echelon form). But since the domain of T, P3(F3), has dimension 4, we have 4 = dim(im T) + dim(ker T).

Equivalently, dim(ker T) is the number of zero columns in a column echelon form of a matrix of T.
 
Last edited:
zcomputer5 said:
so D^2 -D

Should equal

0220
0010
0000
0000
Don't think this is right. Recheck your working again.

But where do I go from here? I have tried reducing this matrix to row echelon form however this doesn't seem logical, do you have any ideas on finding the dimension of the kernal?

THANK YOU
One way to do it, as adrian suggested, would be to find dim(R(T)) and then use the dimension theorem to find dim(ker(T)) or nullity. The other way would be to let a vector v = (w x y z)^T. Then solve the homogenous system of linear equations Tv = 0, to find a basis for nullspace(T). Then simply count the number of vectors in that basis for the answer.
 
Defennder said:
Don't think this is right. Recheck your working again.

It is correct. Remember that we're working in the finite field F3.
 
Yeah, you're right. Silly me.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K