Proof using Permutation Symbols

Click For Summary
SUMMARY

The discussion focuses on proving the vector identity using permutation symbols, specifically the equation (AxB)x(CxD)=(A.BxD)C-(A.BxC)D=(A.CxD)B-(B.CxD)A. Participants emphasize the application of key rules involving the Levi-Civita symbol (ε) and the Kronecker delta (δ) to manipulate the components of the vectors A, B, C, and D. The solution requires a thorough understanding of tensor notation and the properties of these mathematical symbols.

PREREQUISITES
  • Understanding of vector calculus and tensor notation
  • Familiarity with the Levi-Civita symbol (ε) and its properties
  • Knowledge of the Kronecker delta (δ) and its applications
  • Ability to manipulate vector identities and components
NEXT STEPS
  • Study the properties of the Levi-Civita symbol in depth
  • Learn about the Kronecker delta and its role in tensor calculus
  • Explore advanced vector calculus techniques for proving identities
  • Practice solving similar vector identity problems using permutation symbols
USEFUL FOR

This discussion is beneficial for physics students, mathematicians, and anyone involved in advanced vector calculus or tensor analysis, particularly those working with permutation symbols and vector identities.

BlazNProdigy
Messages
1
Reaction score
0

Homework Statement


Proove that...
(AxB)x(CxD)=(A.BxD)C-(A.BxC)D=(A.CxD)B-(B.CxD)A
using Permutation Symbols

Homework Equations

The Attempt at a Solution


I am confused about what to do after the third line from 'vela's response' (Post #2 from the reference link below).

Reference https://www.physicsforums.com/threa...rmutation-tensor-and-kroenecker-delta.454568/
 
Physics news on Phys.org
The problem is straight-forward, just tedious. You just apply the following rules:

  1. (X \times Y)^c = \epsilon_{abc} X^a Y^b
  2. (X \cdot Y) = \delta_{ab} X^a Y^b
  3. \epsilon_{abc} = \epsilon_{bca} = \epsilon_{cab} = -\epsilon_{bac} = -\epsilon{acb} = - \epsilon_{cba}
  4. \epsilon_{abc} \epsilon_{ade} = \delta_{bd} \delta_{ce} - \delta_{be} \delta_{cd}
  5. \epsilon_{abc} \delta_{ae} = \epsilon_{ebc}
To get the ball rolling, rewrite what you're being asked to prove in terms of components:

((A \times B) \times (C \times D))^c = (A \cdot (B \times D)) C^c - (A \cdot (B \times C)) D^c = (A \cdot (C \times D)) B^c - (B \cdot (C \times D)) A^c
 
Last edited:

Similar threads

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