Jump to content

User talk:Cretu

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Sandbox

[edit]

Let be two (Pseudo-)Riemannian charts in . Let be an isommetry. Let be the Jacobian.

We have the formula (by definition of an isommetry):



A tensor of rank (for simplicity) (on the charts is a collection of smooth functions that satisfy the transformation property (using a pullback :



We now define tensor densities. A tensor density of weight is a collection of smooth function that satisfy the transformation property:



Consequently, every tensor density of weight W can be written as:



with an ordinary tensor .

The collection of Tensor densities are thus tensors (But not over the same manifold M as g, instead it is a tensor over the section of T2M defined by g. There is no (a priori) connection defined on that manifold. TR 09:24, 28 October 2011 (UTC)).[reply]

A tensor is a collection of multilinear maps depending only on the position x. As the dependence on is by position only, this does define a tensor as it is multilinear. Anything that looks like a tensor is a tensor. Cretu (talk) 13:17, 28 October 2011 (UTC)[reply]

Using the covariant derivative, we obtain:



In the next step, we will show that the definition in the article proves non well defined in connection with the Levi-Civita connection.

If we had instead:



we can derive a paradox. Thus this definition can not be true. Recall the property of the Levi-Civita connection:



We consider the special case (i.e. one dimension):


Question: How do you define ei?
If these are coordinate frame fields, then they are not proper vector fields and the covariant derivative is not defined for them, and the above statement is false.
If they are proper vector fields then (det g)1/2 != g(e1,e1) (The RHS is a scalar, while the LHS is not.) The are only numerically equal if e1 coincides with the coordinate frame vector.TR 09:11, 28 October 2011 (UTC)[reply]
The ei are the basis vectors of tangential space. (We are in euclidean charts). ist a matrix with entries . The determinant is . The determinant is a smooth function. Such is the right hand side. Their values are equal on the whole chart. Your mistake is that the determinant is in fact a scalar as it satisfies . Any arbitrary function satisfies for suitable choices, yet it doesn't make anything else than a smooth function. Cretu (talk) 13:17, 28 October 2011 (UTC)[reply]


according to the definition of the Christoffel symbols. In 1 dimension, however:



Thus:



However, as we are in one dimension, we have:



Thus:



as is an arbitrary non zero smooth function. Which is an immediate contradiction to the definition in the article.


Covariant derivative

[edit]