Prove that the third invariant is equal to the determinant

Click For Summary

Homework Help Overview

The discussion revolves around proving a relationship involving the determinant of a 3x3 matrix and its third invariant, expressed in summation notation. Participants are exploring the mathematical properties and definitions related to determinants and tensor notation.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Some participants express uncertainty about how to begin the proof, while others suggest starting with definitions. There is a mention of using the Kronecker delta to simplify the problem, prompting questions about the validity of that approach.

Discussion Status

The discussion is ongoing, with some participants offering insights into potential starting points and methods for manipulating the expressions involved. There is a mix of confusion and clarification as participants navigate the mathematical relationships.

Contextual Notes

Participants are working within the constraints of summation notation and are encouraged to explore definitions and properties of determinants and tensors. The original poster expresses a desire for guidance on initial steps without receiving direct solutions.

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
10K
  • · Replies 5 ·
Replies
5
Views
10K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
9
Views
6K
  • · Replies 4 ·
Replies
4
Views
14K
  • · Replies 12 ·
Replies
12
Views
5K
Replies
3
Views
4K