Is the Contracted Metric Equal to the Dimension of the Manifold?

  • Thread starter Thread starter Decimal
  • Start date Start date
  • Tags Tags
    Metric
Click For Summary
SUMMARY

The discussion centers on proving that the contraction of the metric tensor \( g_{ab} \) with its inverse \( g^{ab} \) results in the dimension \( N \) of the manifold. The user demonstrates the calculation by substituting the definitions of the metric tensors, arriving at a scalar value of 1. However, they express confusion regarding how this scalar relates to the manifold's dimension. The resolution involves recognizing the implications of Einstein notation and the properties of the metric tensors.

PREREQUISITES
  • Understanding of tensor notation and operations, specifically Einstein summation convention.
  • Familiarity with the concepts of covariant and contravariant tensors.
  • Knowledge of differential geometry and manifold theory.
  • Basic proficiency in mathematical proofs and manipulations involving metrics.
NEXT STEPS
  • Study the properties of covariant and contravariant tensors in detail.
  • Learn about the implications of Einstein notation in tensor calculus.
  • Explore the relationship between metric tensors and manifold dimensions in differential geometry.
  • Review examples of tensor contractions and their geometric interpretations.
USEFUL FOR

Students and researchers in mathematics and physics, particularly those focusing on differential geometry, tensor analysis, and manifold theory.

Decimal
Messages
73
Reaction score
7

Homework Statement


[/B]
For any metric ##g_{ab}## show that ##g_{ab} g^{ab} = N## where ##N## is the dimension of the manifold.

Homework Equations



$$ g_{ab} = \mathbf {e_a} \cdot \mathbf {e_b} $$
$$ g^{ab} = \mathbf {e^a} \cdot \mathbf {e^b} $$

The Attempt at a Solution



When I substitute the above equations I get the following: $$ g_{ab} g^{ab} = (\mathbf {e_a} \cdot \mathbf {e_b}) \cdot (\mathbf {e^a} \cdot \mathbf {e^b})$$ $$ g_{ab} g^{ab} =(\mathbf {e_a} \cdot \mathbf {e^a}) \cdot (\mathbf {e_b} \cdot \mathbf {e^b}) = 1 $$

So I arrive at a scalar 1 when contracting the tensor, which I think is to be expected, since the covariant and contravariant metric are each others inverses. However I don't see how this is then supposed to equal the dimension of the manifold. Any help would be greatly appreciated!
 
Last edited:
Physics news on Phys.org
Oh wow, I completely forgot that that applies at the end as well. Thanks a lot!
 

Similar threads

  • · Replies 71 ·
3
Replies
71
Views
4K
Replies
5
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
973
Replies
2
Views
4K