Degrees of freedom of a metric up to coordinate changes (precise formulation)

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
5
down vote

favorite












Let $M$ be a smooth $n$-dimensional manifold. I have heard that a Riemannian metric on $M$, depends locally on $ n(n+1) / 2 - n = n(n-1) /2$ "independent" functions up to coordinate changes.



I can roughly see the intuition for that: The symmetric matrix $g_ij
$ depends on $n(n+1) / 2$ functions, but you can "change the coordinates" which loses $n$ degrees of freedom.




Is there a precise formulation of this statement? Given an arbitrary metric, can you really specify $n$ out of the $ n(n+1)/2$ $g_ij$ functions as you wish? How can we see it's impossible specify more than $n$?




I heard that Cartan proved something like this, using the language of jets.
(Something about the dimension of the space of $k$-jets of metrics modulu diffeomorphisms).



Maybe there are other references; any pointer in the right direction is welcomed.



This question was supposedly answered here, but I find the answer there to be too vague. I am looking for a precise statement.







share|cite|improve this question






















  • This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
    – mr_e_man
    Aug 22 at 3:04














up vote
5
down vote

favorite












Let $M$ be a smooth $n$-dimensional manifold. I have heard that a Riemannian metric on $M$, depends locally on $ n(n+1) / 2 - n = n(n-1) /2$ "independent" functions up to coordinate changes.



I can roughly see the intuition for that: The symmetric matrix $g_ij
$ depends on $n(n+1) / 2$ functions, but you can "change the coordinates" which loses $n$ degrees of freedom.




Is there a precise formulation of this statement? Given an arbitrary metric, can you really specify $n$ out of the $ n(n+1)/2$ $g_ij$ functions as you wish? How can we see it's impossible specify more than $n$?




I heard that Cartan proved something like this, using the language of jets.
(Something about the dimension of the space of $k$-jets of metrics modulu diffeomorphisms).



Maybe there are other references; any pointer in the right direction is welcomed.



This question was supposedly answered here, but I find the answer there to be too vague. I am looking for a precise statement.







share|cite|improve this question






















  • This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
    – mr_e_man
    Aug 22 at 3:04












up vote
5
down vote

favorite









up vote
5
down vote

favorite











Let $M$ be a smooth $n$-dimensional manifold. I have heard that a Riemannian metric on $M$, depends locally on $ n(n+1) / 2 - n = n(n-1) /2$ "independent" functions up to coordinate changes.



I can roughly see the intuition for that: The symmetric matrix $g_ij
$ depends on $n(n+1) / 2$ functions, but you can "change the coordinates" which loses $n$ degrees of freedom.




Is there a precise formulation of this statement? Given an arbitrary metric, can you really specify $n$ out of the $ n(n+1)/2$ $g_ij$ functions as you wish? How can we see it's impossible specify more than $n$?




I heard that Cartan proved something like this, using the language of jets.
(Something about the dimension of the space of $k$-jets of metrics modulu diffeomorphisms).



Maybe there are other references; any pointer in the right direction is welcomed.



This question was supposedly answered here, but I find the answer there to be too vague. I am looking for a precise statement.







share|cite|improve this question














Let $M$ be a smooth $n$-dimensional manifold. I have heard that a Riemannian metric on $M$, depends locally on $ n(n+1) / 2 - n = n(n-1) /2$ "independent" functions up to coordinate changes.



I can roughly see the intuition for that: The symmetric matrix $g_ij
$ depends on $n(n+1) / 2$ functions, but you can "change the coordinates" which loses $n$ degrees of freedom.




Is there a precise formulation of this statement? Given an arbitrary metric, can you really specify $n$ out of the $ n(n+1)/2$ $g_ij$ functions as you wish? How can we see it's impossible specify more than $n$?




I heard that Cartan proved something like this, using the language of jets.
(Something about the dimension of the space of $k$-jets of metrics modulu diffeomorphisms).



Maybe there are other references; any pointer in the right direction is welcomed.



This question was supposedly answered here, but I find the answer there to be too vague. I am looking for a precise statement.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 21 at 14:09

























asked Jun 6 at 6:51









Asaf Shachar

4,7043835




4,7043835











  • This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
    – mr_e_man
    Aug 22 at 3:04
















  • This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
    – mr_e_man
    Aug 22 at 3:04















This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
– mr_e_man
Aug 22 at 3:04




This might be related to the fact that the sectional curvature completely determines the Riemann curvature, and the sectional planes (bivectors) have $n(n-1)/2$ degrees of freedom. But the curvature does not determine the metric... math.stackexchange.com/questions/1973957/…
– mr_e_man
Aug 22 at 3:04















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2809802%2fdegrees-of-freedom-of-a-metric-up-to-coordinate-changes-precise-formulation%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2809802%2fdegrees-of-freedom-of-a-metric-up-to-coordinate-changes-precise-formulation%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?