Use this tag for questions about specific tensors (curvature tensor, stress tensor), or questions regarding tensor computations as they appear in multivariable calculus and differential/Riemannian geometry (specifically, when it is amenable to be treated as objects with multiple indices that ...

learn more… | top users | synonyms

5
votes
0answers
23 views

Determinant of a tensor

Is there such a thing as the determinant of a tensor of rank $\gt 2$? I'm tried to think how it might be defined -- potentially like, the determinant of the tensor $A=a_{ijk}$ is ...
0
votes
0answers
22 views

Difference of two connections is a tensor

I am currently reading through Jost's Riemannian Geometry and Geometric Analysis and am seeking clarification of the statement in the title. Jost abstractly defines a connection on a vector bundle ...
1
vote
0answers
31 views

Why the following is not a tensor?

Say we have an arbitrary coordinate system, in which a position vector is represented by: $$\vec V=Z^i\vec Z_i$$ Where $\vec Z_i$ is a covariant basis. Now $\partial {\vec Z_i}/\partial Z^j$ term has ...
4
votes
2answers
38 views

Proof of a tensor identity involved in the derivation of the Einstein field equations?

On the wikipedia page for the einstein-hilbert action, the section for the derivation of the einstein field equations cites this identity: $$ \sqrt{g} \nabla_\mu A^\mu = \partial_\mu (\sqrt{g} A^\mu) ...
1
vote
0answers
26 views

Showing two tensors are equal

Let $T_{ijkl}$ be a 3-d tensor satisfying $T_{ijkl}=-T_{jikl}=-T_{ijlk}$, and $T_{ijij}=0$. Let $S_{pq}=-T_{rprq}$. I'm trying to show that $$T_{ijkl}=\varepsilon_{ijp}\varepsilon_{klq}S_{pq}$$ Now, ...
0
votes
0answers
21 views

Full time derivative of the function (Frank-Oseen energy). Calculus applied to physics problem

This question is about physical theory, but my question is pure nathematical, so I post it here. I don't think you have to know physics in order to answer it. I am studying liquid crystal theory with ...
2
votes
0answers
21 views

Tensor notation in vectors

I have the following expression $\partial_{x_a}(\partial_{x_b} \rho \partial_{x_b}\rho) - \partial_{x_b}(\partial_{x_a}\rho\partial_{x_b}\rho)$ How do I write this in vector notation? At least the ...
1
vote
1answer
26 views

Symmetries of the space form of riemann curvature tensor

We have $R_{abcd}=(g_{ac}g_{bd}-g_{ad}g_{bc})$ I need to establish the symmetry: $-R_{bacd}=R_{abcd}$ What I thought was just interchange a and b in the expression to get: ...
1
vote
0answers
15 views

Why is the border rank and rank different for order 3 tensors and above?

Recall the definition of border-rank of a tensor T: border-rank(T) = the minimum r such that $\forall \epsilon > 0$ there exists an approximate tensor $T' = \sum^r_{i=1} u_i \otimes v_i \otimes ...
1
vote
2answers
25 views

Action of universal R-matrix of U_q(sl_2)

My question is really simple but requires a few definitions. No special knowledge of quantum groups should be needed, it is more about tensor algebra. Let $q \in \mathbb{C}$ with $q \neq 0, \pm 1$. ...
0
votes
1answer
21 views

Multiplying metric tensors.

Suppose I have the metric $g_{ab}$ in a k-dimensional manifold. Firstly, do metric tensors like this always commute? Is it always necessarily true that $g^{ab}g_{bc}=\delta^a_c$? What happens when I ...
0
votes
0answers
31 views

Why cant we define the Einstein Tensor in an easier way?

The Einstein tensor is defined as: $G_{ab}=R_{ab}-\frac{1}{2}g_{ab}R$ where $R=g^{ab}R_{ab}$. So why cant we just simplify this like: ...
5
votes
1answer
84 views
+250

Why is the Riemann curvature tensor the technical expression of curvature?

According to my textbook on general relativity (Sean Carrol's book) and differential geometry, the Reimann curvature tensor is the technical expression of curvature. What makes the tensor so special? ...
1
vote
1answer
16 views

Tensor equations. Can I change an equation from covariant to contravariant?

Say I have a tensor equation like $G_{ab}=R_{ab}-\frac{1}{2}g_{ab}R$. Does this also imply that $G^{ab}=R^{ab}-\frac{1}{2}g^{ab}R$?
0
votes
1answer
6 views

Need definition of symmetric and antisymmetric tensor representations of a Lie algebra

I couldn't find a definitive answer online. Suppose we have a representation of a Lie algebra $(\pi,V)$. Consider the symmetric and antisymmetric vector subspaces of the $k$-th tensor product of ...
-2
votes
0answers
16 views

Why can't a rank 3 tensor be written as the sum of a symmetric tensor and an antisymmetric tensor?

I understand it has something to do with how the tensor acts on triples of vectors (or covectors), but I can't wrap my head around why.
1
vote
2answers
49 views

Levi-Civita tensor

Show that $\epsilon_{ijk} A_{il} A_{jm} A_{kn} = \det(A) \epsilon_{lmn}$ where $\epsilon$ epsilon is the standard Levi-Civita symbol and A is a three dimensional matrix. I found the above ...
1
vote
0answers
29 views

What is this notation $\odot$ for?

(Note that symmetric algebra and symmetric tensor do not coincide when the characteristic is not $0$.) I'm reading this aricle:http://en.m.wikipedia.org/wiki/Symmetric_tensor And here it defines ...
0
votes
1answer
36 views

Are all 2D tensors in a specified flat metric equal to that same metric conformally scaled?

I have a tensor $T_{mn}$ where its indices coorespond to a flat metric $g_{mn}$. I want $T_{mn}$ to be a new metric $\tilde{g}_{mn}$, such that $T_{mn}(g_{rs}) = \tilde{g}_{mn}$. A theorem says that ...
1
vote
1answer
11 views

Is it okay to define k-th symmetric power of $M$ in this way?

I want to define the tensor algebra and related algebras in a very formal way. I will illustrate how I tried to define algebras below. Let $R$ be a commutative ring and $M$ be an $R$-module. ...
0
votes
0answers
18 views

What's actually $S^k(M)$?

Let $R$ be a commutative ring and $M$ be an $R$-module. Let $T(M)$ be the tensor algebra of $M$. Then, what is $S(M)$ (symmetric algebra and $S^k(M)$? Some articles define $S(M)$ as a quotient of ...
0
votes
0answers
15 views

Under what condition, does this universal property of tensor algebra hold?

Let $R$ be a commutative ring and $M$ be an $R$-module. Note that the tensor algebra $T(M)$ is a unital associative $R$-algebra. Below is the universal property of the tensor algebra. Theorem: ...
5
votes
1answer
48 views

What does shear mean?

As I understand it, the gradient of a vector field can be decomposed into parts that relate to the divergence, curl, and shear of the function. I understand what divergence and curl are (both ...
0
votes
0answers
17 views

What is shear in the context of vector fields? [duplicate]

As I understand it, the gradient of a vector field can be decomposed into parts that relate to the divergence, curl, and shear of the function. I understand what divergence and curl are (both ...
0
votes
0answers
31 views

Matrix into a 4-tensor

I've been trying to figure out a way to add a dimension to a matrix with a certain rule: Let our matrix X have dimensions NxM, L be some positive number, and the desired resulting 4-tensor (3d ...
0
votes
1answer
15 views

Does there exists a proof that any divergentless tensor can be decomposed into the sum of divergentless symmetric and antisymmetric tensors?

A friend and I attempted to work out the proof on the board that any divergentless asymmetric tensor can be written as the sum of divergentless symmetric and antisymmetric tensors. We wrote down the ...
0
votes
1answer
25 views

Checking alternating tensors

How do I check that $$f(x,y)=x_1y_2-x_2y_1+x_1y_1$$ is an alternating tensor? I did check that f is a tensor, but how do I know if it is alternating by direct computation? Thanks in advance!
0
votes
0answers
9 views

Are the Factor Matrices that are obtained after a CP Decomposition of a Tensor in the same Row Space?

Lets say we have to decompose a 3-way Tensor X over Real Numbers that has Dimensions I x J x K. Into R Rank-1 Tensors via CP Decomposition model. As a result we will obtain 3 factor matrices, 1 for ...
0
votes
0answers
20 views

System of equation involving tensor

I have to solve a system of equation involving tensor: \begin{align} \underline{\underline{a_1}}\cdot\underline{x} + \underline{\underline{\underline{\underline{b_1}}}} \therefore ...
1
vote
0answers
38 views

Connections and Ricci identity

Given $\nabla$ a torsionless connection, the Ricci identity for co-vectors is $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = -R^d_{\,\,cab}\lambda_d.$$ Prove $R^a_{[bcd]} = 0$ by ...
0
votes
0answers
18 views

what book do you recommend that covers basic tensor stuff explaining like you did

I came across your explanation of covariant and contravariant tensors. Found it very clear. Im tryiing to learn this stuff from some books but so far none explains it that clearly and definitely not ...
2
votes
1answer
50 views

Deriving Ricci identity for co-vector fields

Let $\nabla$ be the covariant derivative associated with a torsionless connection. Prove the Ricci identity for covectors: $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = ...
1
vote
0answers
29 views

Proof that border rank and the rank of a matrix (order 2 tensors) are equivalent

Recall the definition of border rank for a matrix (order 2 tensor, which can be easily be extended to any order tensor): border-rank(T) is the minimum r such that $\forall \epsilon > 0$ there ...
2
votes
1answer
45 views

Determining the rank of a sparse tensor in $\mathbb{R}^{2 \times 2 \times 2}$

In this question I will only consider order 3 tensors. Consider the following tensor in $\mathbb{R}^{2 \times 2 \times 2}$ (which I want to prove its rank 3): $$ T' = \begin{bmatrix} \begin{bmatrix} ...
0
votes
2answers
45 views

Introducing new indices with tensor/index notation

I understand where the $k$ comes from in $\varepsilon_{klm}$, however why do we need to introduce $l,m$ rather than continuing with $i,j$, i.e $\varepsilon_{kij}b_ic_j$
0
votes
2answers
45 views

Notion of contraction in tensor algebra

Assuming a vector space V and it's basis set $\{\vec{e}_\nu\}$. A vector $\vec{v}$ can be written as: $\vec{v}=x^\nu\vec{e}_\nu$ where $x^\nu$ is the corresponding contravariant coordinate. We can ...
1
vote
0answers
45 views

Topology and Smooth Structure on the Bundle of Covariant $k$-Tensors

(All vector spaces are finite dimensional and real). Given a vector space $V$, let $T^k(V^*)$ denote the vector space of all the covariant $k$ tensors on $V$. Following Lee's Introduction to Smooth ...
0
votes
0answers
28 views

Understanding Euler density

I know the definition of Euler density in terms of antisymetrized contractions of products of the Riemann curvature tensor, ie Euler density is the $\mathcal{R}^n$ in these formulae: And I know ...
0
votes
1answer
30 views

Step in a proof about alternating operators

The theorem is that if $f$ is a $k$-linear function on a vector space $V$, then the $k$-linear function $Af$ is alternating. $\def\sgn{\operatorname{sgn}}Af=\sum (\sgn \sigma)\sigma f$ Proof: ...
0
votes
1answer
35 views

Ortogonal matrix simple identity?

In order to prove the invariance of the trace of a tensor under the transformation $\tilde{T}^{i,j}=\Sigma_{k,l} O^i_kO^j_lT^{k,l}$ where $O\in SO(3)$ I have to prove that $\Sigma_{k,l} ...
2
votes
0answers
38 views

Natural Isomorphism between $V^*\otimes W^*$ and $\mathcal L^2(V,W; F)$.

I am trying to prove the following. Let $V_1, \ldots, V_k$ be finite dimensional vector spaces over a field $F$. There is a natural isomorphism between $V_1^*\otimes\cdots\otimes V_k^*$ and ...
1
vote
3answers
34 views

Basic Question Regarding the Universal Property of the Tensor Product.

(All vector spaces are over a fixed field $F$). Universal Property of Tensor Product. Given two finite dimensional vector spaces $V$ and $W$, the tensor product of $V$ and $W$ is a vector space ...
0
votes
0answers
53 views

Curvature and Pfaffian forms in terms of the Riemann tensor

I am teaching my self differential geometry, but I am mainly familiar with classic tensor notation. In modern Cartan exterior form notation the curvature forn $\Omega$ and the Pfaffian seem to do the ...
2
votes
1answer
72 views

Elementary tensors [duplicate]

I need to determine whether the following function is tensor on $\Bbb R^4$ and express it in terms of elementary tensors. Can someone please help me with it? I do not know what elementary tensor means ...
1
vote
1answer
79 views

Connections and tensor fields

Let $T$ be a $(1, 1)$ tensor field, $\lambda$ a covector field and $X, Y$ vector fields. We may define $\nabla_X T$ by requiring the ‘inner’ Leibniz rule, $$\nabla_X[T(\lambda, Y )] = ...
2
votes
1answer
22 views

contravariant and covariant basis

My text book defines covariant (1) and contravariant (2) basis as follows. $$ \epsilon_i=\frac {\partial x}{\partial q_i} \hat e_x + \frac {\partial y}{\partial q_i} \hat e_y + \frac {\partial ...
5
votes
1answer
84 views

What is the intuition behind tensors?

Can someone please explain the intuition behind tensors? Like an example or something of the similar kind that I should keep in mind reading the theorems about it? I can't visualize it Thanks in ...
1
vote
1answer
41 views

(1,s) tensor fields

I'm having a hard time understanding what's going on with tensor fields. I understand that $A$ is a smooth covariant tensor field of order $s$ (or a $(0,s)$ tensor field) on a smooth manifold $M$ if ...
1
vote
2answers
59 views

Meaning of $(\nabla_x + \nabla_\xi)^n$

what does $(\nabla_x + \nabla_\xi)^n$ mean? (In the context, $x,\xi\in \mathbb{R}^d$). In my notes, the author states this should be a tensor, but what exactly does he mean. Is this clear notation? ...
0
votes
0answers
45 views

Introduction to tensor (for graph analysis)

I am starting a PhD program in social network analysis and I would like to have some suggestions about introductory books and online material to Tensor calculus. I am a complete newbie in algebra. ...