Solving Einstein Notation: Summing Subscripts and Superscripts

Click For Summary
SUMMARY

The discussion focuses on the application of Einstein notation in vector summation, specifically addressing the challenge of summing subscripts and superscripts correctly. The participants highlight the necessity of using the summation symbol (Ʃ) when the indices do not match, as seen in the equation g(\vec{v},\vec{e}_i)\vec{e}_i=g_{ab}v^ae^{b}_{i} \vec{e}_i. They suggest utilizing the dual basis defined by e^i (e_j) = δ^i{}_j to facilitate proper notation without resorting to explicit summation. The conversation concludes with a confirmation that the dual basis approach effectively resolves the issue.

PREREQUISITES
  • Understanding of Einstein summation convention
  • Familiarity with vector notation and dual bases
  • Knowledge of metric tensors in linear algebra
  • Proficiency in mathematical notation and symbols
NEXT STEPS
  • Study the properties of dual bases in linear algebra
  • Learn about metric tensors and their applications in physics
  • Explore advanced topics in tensor calculus
  • Review examples of Einstein notation in theoretical physics
USEFUL FOR

Mathematicians, physicists, and students studying tensor calculus or general relativity who seek to deepen their understanding of Einstein notation and its applications in vector summation.

andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
Messages
4,140
Reaction score
1,741
\vec{v} = v^i\vec{e}_i = g(\vec{v},\vec{e}_i)\vec{e}_i

The last bit is a sum over i but will need a Ʃ because the Einstein rule only applies to matched superscripts and subscripts and here bot the i are subscripts.

Even if I write out the metric in the basis it doesn't work:

g(\vec{v},\vec{e}_i)\vec{e}_i=g_{ab}v^ae^{b}_{i} \vec{e}_i

In everything else I've ever done the indices have always been where they needed to be for Einstein summation but for some reason in this one they're not. It's no hardship to write the \Sigma^{n}_{i=1} before it but it just feels as though there should be a way to avoid that.

Any suggestions or comments? Thanks very much.
 
Physics news on Phys.org
You can use the dual basis, defined by

e^i (e_j) = \delta^i{}_j
Then you have

v = v^i e_i = e^i (v) \, e_i
 
Thanks very much. I thought there had to be a way.

\vec{v}=v^i\vec{e}_i=\tilde{e}^i(\vec{v})\vec{e}_i

Beautiful!
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 58 ·
2
Replies
58
Views
6K
  • · Replies 14 ·
Replies
14
Views
24K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K