Prove that the third invariant is equal to the determinant

Click For Summary
SUMMARY

The discussion focuses on proving that the third invariant of a 3x3 matrix A, represented by the determinant, is equal to the expression det[A]=1/6(A_{ii}A_{jj}A_{kk}+2A_{ij}A_{jk}A_{ki}-3A_{ij}A_{ji}A_{kk}). The initial approach involves using the Levi-Civita symbol and Kronecker delta, specifically starting with det[A]=1/6\epsilon_{ijk}\epsilon_{pqr}A_{ip}A_{jq}A_{kr}. The key insight is to manipulate the epsilon symbols in terms of the deltas, leading to a determinant representation through index manipulation.

PREREQUISITES
  • Understanding of 3x3 matrix properties
  • Familiarity with determinant calculations
  • Knowledge of Levi-Civita symbol and Kronecker delta
  • Proficiency in summation notation and index manipulation
NEXT STEPS
  • Study the properties of the Levi-Civita symbol in tensor calculus
  • Learn about Kronecker delta and its applications in linear algebra
  • Explore advanced determinant techniques for higher-dimensional matrices
  • Investigate the relationship between invariants and matrix transformations
USEFUL FOR

Students and professionals in mathematics, particularly those studying linear algebra, tensor calculus, or anyone involved in theoretical physics requiring a deep understanding of matrix invariants.

blalien
Messages
31
Reaction score
0

Homework Statement


This is all in summation notation.
Given a 3x3 matrix A_{ij}, show that det[A]=1/6(A_{ii}A_{jj}A_{kk}+2A_{ij}A_{jk}A_{ki}-3A_{ij}A_{ji}A_{kk})

Homework Equations


I've been told that we're supposed to begin with
det[A]=1/6\epsilon_{ijk}\epsilon_{pqr}A_{ip}A_{jq}A_{kr}

The Attempt at a Solution


I hate to say this, but I have no idea where to start. I would really appreciate if somebody could just give me the first step and push me in the right direction.
 
Physics news on Phys.org
Definitions are often a good place to start.
 
Never mind, I got it. You set A_{ij} = \delta_{ij} and get the epsilons in terms of the deltas.
 
blalien said:
A_{ij} = \delta_{ij}
:confused: Why can you do that?
 
Well, that's not exactly right. But you can work a little index magic and come up with
\epsilon_{ijk}\epsilon_{pqr}=\left| \begin{matrix} \delta_{ip} & \delta_{iq} & \delta_{ir} \\ \delta_{jp} & \delta_{jq} & \delta_{jr} \\ \delta_{kp} & \delta_{kq} & \delta_{kr} \end{matrix} \right|
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
9K
  • · Replies 5 ·
Replies
5
Views
9K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
9
Views
6K
  • · Replies 4 ·
Replies
4
Views
14K
  • · Replies 12 ·
Replies
12
Views
4K
Replies
3
Views
4K