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

0
votes
0answers
28 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
26 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
33 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
38 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 ...
2
votes
2answers
47 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
29 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
33 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: ...
7
votes
3answers
371 views

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
22 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
41 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
2answers
76 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
44 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
58 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
14 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
21 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
19 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
72 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
18 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
41 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
22 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
31 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
24 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 ...
1
vote
1answer
28 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 ...
2
votes
0answers
59 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
25 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
74 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
63 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
52 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
68 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
166 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
52 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
36 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
33 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
38 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
48 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
40 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
82 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
81 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
110 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
28 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
100 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
52 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
66 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? ...
1
vote
0answers
34 views

How to rigorously show tensor identities using symmetry arguments?

I am wondering how to rigorously show tensor identities such as the following. Let $n$ denote the radial unit vector in $D$ dimensions. Then $\langle n_i n_j \rangle = \frac 1 D \delta_{ij}$ and ...
0
votes
2answers
72 views

Self-studying differential forms and tensors

I am interested in understanding the generalized Stokes' Theorem. From my understanding, this theorem involves differential forms and exterior algebra, and tensors (to some extent). I'm not ...
0
votes
1answer
32 views

Covariant Stared Vector Spaces?

I reading john Lee's book entitled "Introduction to Smooth Manifolds" and on page 311 $$T^{k}\!\!\left(V^{*}\right)=V^{*}\!\!\times\!\!V^{*}...V^{*}\;\;k\text{-times}$$ is defined as the vector ...
1
vote
0answers
20 views

How to compute the inertial tensor ${\bf{J}} _{\Omega}$?

Suppose that $\Omega$ is a body of revolution of the function $y=f(x), a\le x \le b$ around the $x$-axis, where $f(x)>0$ is continuous. How to compute the inertial tensor ${\bf{J}} _{\Omega}$? ...
0
votes
0answers
12 views

Why the sense of orientation in the graphic representation of a 2-form does not cancel each other?

In this article, it is said that the graphic representation of the 2-form ${\bf F}=B_z{\bf d}y\wedge{\bf d}z$ are tube with a sense of a circular orientation. How does this circular orientation show ...
2
votes
0answers
127 views

Geometric meaning of $\nabla_{[i}(x^i \nabla_{j]}x^j)$ and $(\nabla_{[i}x^i )\nabla_{j]}x^j$

While teaching myself tensor calculus I have come up with this proof of the 2-D hairy ball theorem. When trying to generalize this proof to higher dimensions I get the term $$\nabla_{[i}(x^i ...
0
votes
1answer
19 views

Scalar Curvature on a given surface

I have a very basic understanding of how to compute the ricci curvature tensor...I know a considerable amount about it, but don't know how to compute it. Could someone give me an example of how to ...