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
1answer
29 views

Components of the metric tensor and its inverse

Let $g$ denote a metric tensor. Then Wald writes (in his book on general relativity): "The inverse of $g_{ab}$...is a tensor of type $(2,0)$ and could be denoted as $(g^{-1})^{ab}$. It is convenient, ...
0
votes
1answer
69 views

Confusion with abstract tensor notation

I am currently going through the abstract tensor notation in Wald's "General Relativity". I understand the purpose of it, but I need help understanding some of the conventions and definitions. So, ...
0
votes
0answers
27 views

Tensor Contraction Indices

I'm pretty confused regarding the components of a tensor once you take its trace (or contraction). I'll use $B\in T_2^1(V)$ to be specific. Let $V$ be an $n$-dimensional vector space with basis ...
4
votes
2answers
49 views

Proving the Ricci identity

I'm trying to prove the Ricci identity Let $Z^a$ be a vector field, $R^a_{\,bcd}$ the Riemann curvature tensor and $\nabla$ a torsion-free connection. Then: ...
0
votes
0answers
17 views

Definition of the derivative of a 2nd-order tensor with respect to a scalar

The derivative of the (positive definite, symmetric, 2nd-order) tensor $\mathbf{C}(t)$ with respect to the scalar $t$ is defined as: $$ \frac{\partial \mathbf{C} }{\partial t} = \lim_{\Delta ...
1
vote
1answer
37 views

Tensor product of dual vectors and vectors

I am reading "General Relativity" by Wald. At first he defines a tensor of type $(k,l)$ to be a multilinear map $T: V^* \times \cdots \times V^* \times V \times \cdots \times V \rightarrow ...
2
votes
1answer
26 views

Tensor product with vectors

I just started reading Wald's "General Relativity" and I am on his section regarding tensors. He defines the outer product as an operation on tensors of type of $(k,l)$ and $(k', l')$ which gives a ...
1
vote
1answer
21 views

Foiling two tensor products

I have this problem in exterior algebra where I have a function B and B is defined in the following ways. $$ B\left( \left( \begin{array}{c} u \\ v \\ w \end{array} \right), \left( \begin{array}{c} ...
0
votes
2answers
1k views

Christoffel Symbols and the change of transformation law.

I have seen it written that the change of co-ordinate form is given by the following: $$ \tilde \Gamma^{i}_{jk} = {\partial \tilde x^i \over \partial x^\alpha} \left [ \Gamma^\alpha_{\beta ...
0
votes
0answers
15 views

CP Decomposition and Spectral Norm of a tensor

Consider a third order tensor $X\in \mathbb{R}^{n_1\times n_2\times n_3}$, whose CP decomposition is $$X = \sum_{i=1}^r \sigma_i u_i \otimes v_i \otimes w_i, $$ where $r$ is sufficiently large so that ...
9
votes
1answer
1k views

How can I derive the back propagation formula in a more elegant way?

When you compute the gradient of the cost function of a neural network with respect to its weights, as I currently understand it, you can only do it by computing the partial derivative of the cost ...
2
votes
1answer
34 views

Basic question about the metric tensor

So I am reading Barrett O'Neil's Elementary Differential Geometry, which defines the metric tensor $g_p$ on a surface $M$ to be a bilinear symmetric positive-definite function on the set of ordered ...
0
votes
2answers
53 views

Equivalent definition of metric compatibility for a connection: what does $\nabla g$ mean?

So the definition I know for metric compatibility is: $$Xg(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ),$$ which make sense, as $g(Y,Z)$ is a smooth function from the manifold to reals and we think of $X$ as ...
1
vote
0answers
26 views

Question about properites of tensor product

For $A$, $B$ and $I$ being 2 by 2 matrices and $I$ being the identity, Is $((A\otimes I\otimes I) + (I\otimes A\otimes I) + (I\otimes I\otimes A))\otimes B$ = $(A\otimes I\otimes I)\otimes B + ...
-1
votes
1answer
28 views

Show $\delta_{KL}$ is a Cartesian tensor [closed]

By using the definition of kronecker delta $\delta_{KL}$, show that $\delta_{KL}$ is a Cartesian tensor, that is $$\delta ' _{MN}=L_{MK}L_{NL} \delta_{KL}$$ under the rotation $X_K=L_{MK}X' _M$. I ...
2
votes
1answer
27 views

Prove the exterior derivative of the following (n-1) form is zero

Let $\omega(x)=\frac{1}{{\parallel x \parallel}^n}\displaystyle\sum_{i=1}^{n}(-1)^{i-1}x_{i} dx_{1} \wedge \dots \wedge \widehat{dx_{i}} \wedge \dots \wedge dx_{n}$ be a differential $(n-1)$ form on ...
21
votes
4answers
11k views

Intuitive way to understand covariance and contravariance in Tensor Algebra

I'm trying to understand basic tensor analysis. I understand the basic concept that the valency of the tensor determines how it is transformed, but I am having trouble visualizing the difference ...
1
vote
2answers
66 views

Sum of low rank tensors

How high can the sum of $k$ low rank $m\times m\times\dots \times m$ tensors of rank $t$ be? Is there a good upper bound?
1
vote
1answer
20 views

When do exterior and tensor algebras commute with dual spaces?

Suppose $V$ is a vector space, and $V^*$ is its dual space. Furthermore, let $\Lambda(V)$ be the exterior algebra of $V$, and let $T(V)$ be the tensor algebra. When do the following two statements ...
1
vote
1answer
24 views

Finding the Gradient of a Vector Function by its Components

In Multivariable Calculus, we can easily find the gradient of a scalar function (producing a scalar field) $f : \mathbb{R^n} \to \mathbb{R}$, and the gradient function would produce a vector field. ...
1
vote
0answers
35 views

symmetric and alternating tensors in differential geometry

The following is an excerpt from Chern's Lectures on Differential Geometry: I don't see how the proof shows the other direction of the set inclusion. Would anybody explain the logic in the ...
0
votes
1answer
25 views

Levi civita and kronecker delta properties?

I'm trying to grasp Levi-civita and Kronecker del notation to use when evaluating geophysical tensors, but I came across a few problems in the book I'm reading that have me stumped. 1) ...
3
votes
2answers
96 views

Geometrical Interpretation of Tensors (intuition)

How would one describe to a non-mathematician (an undergraduate physicist actually- so please do use mathematics-i am not even sure if they can be described without mathematics!) what do tensors ...
0
votes
1answer
11 views

How to rewrite $\frac{\partial \rho u_i u_j}{\partial x_j}$ in vector notation

I want to rewrite this index notation expression to a vector notation /symbolic notation. $$\frac{\partial \rho u_i u_j}{\partial x_j}=\frac{\partial \rho }{\partial x_j}u_i u_j+\rho\frac{\partial ...
1
vote
1answer
23 views

Lie derivative of two differnt size related tensors

Let $\bar{M}=I\times M$ be a pseudo-Riemannian manifold equipped with metric $\bar g=-dt^2\oplus f^2g$ where $(M,g)$ is a Riemannian manifold, $I$ is an open connected interval and $f$ is a positive ...
2
votes
1answer
42 views

Affine manifolds which are *not* locally symmetric

Let $M$ be a manifold equipped with an affine connection $\nabla$. By standard theorems of differential geometry we have convex normal coordinate balls around every point in which geodesics are axis. ...
0
votes
0answers
20 views

Intuition about antisymmetrizing tensor equations

I was looking at the symmetries of the Riemann tensor, and tried to prove a couple of properties, namely If $\nabla$ is torsion-free, then: (i) $R^a_{\,[bcd]}=0$, and (ii) $R^a_{\,b[cd;e]}=0$. ...
0
votes
1answer
26 views

What does this colon in tensor notation mean?

I was reading a paper earlier an found the following: "The tensors satisfy orthogonality $$ <S_{:,j,:,:}|S_{:,j',:,:}> =0 $$ if $j \neq j' $. Here $<S_{:,j,:,:}|S_{:,j',:,:}>$ is the ...
0
votes
1answer
22 views

Is this tensor contraction correct?

If I start off with the $\left(p,q\right)$-tensor given by $$T_{i_1,\dots,i_p}^{j_1,\dots,j_q}e_{i_1}\otimes\dots\otimes e_{i_p}\otimes\varepsilon^{j_1}\otimes\dots\otimes\varepsilon^{j_q}$$ and I ...
2
votes
1answer
44 views

Finding the Gradient of a Tensor Field

Finding the Gradient of a Scalar Field I understand that you can find the gradient of a scalar field, in an arbitrary number of dimensions like so : $$grad(f) = \vec{\nabla}f = ...
2
votes
1answer
74 views

What is the most general/abstract way to think about Tensors

In their most general and abstract definitions as Mathematical Objects : A Scalar is an element of a field used to define Vector Spaces A Vector is an element of a Vector Space. Since a Scalar ...
0
votes
0answers
15 views

How to show that a tensorial field,$t$, $k$-times covariant over a differential variety $M$ is differentiable by its components

How can i show that a tensorial field,$t$, $k$-times covariant over a differential variety $M$ is differentiable if and only if the following functions (The components of t) are differentiable.: ...
0
votes
0answers
24 views

Is it possible to construct a pseudo-inverse of a 4-order tensor?

I am new here, and a physicist, so excuse me in case I do not use the right jargon but I think this is a question for the math community: In 1-D, I have a signal, represented by a vector v of ...
2
votes
1answer
41 views

What is the skew-symmetric part of the covariant derivative of a one-form?

This is a followup question to here. Let $E \to M$ be a vector bundle with connection $D := \nabla$. Extend $D$ to $E^*$ and $\text{Hom}(E, E)$. Let $E = TM$ here, and suppose that the torsion is ...
1
vote
0answers
28 views

Quadratic dual help

I'm trying to figure out the whether the quadratic dual of the following algebra is anti-commutative. My algebra is $A=T(V)/J$ where $J=\langle I\rangle$ and $I\subseteq\bigwedge^2(V)$. Firstly I ...
0
votes
0answers
21 views

Commutation of Tensor Products as operators

Suppose I have unitary operators $$A: \mathbb{C}^{2^k} \rightarrow \mathbb{C}^{2^k}$$ $$B: \mathbb{C}^{2^j} \rightarrow \mathbb{C}^{2^j}$$ For some $k,j \in \mathbb{Z}, j,k \ge 0$. How do show that ...
0
votes
1answer
20 views

On a proof that the metric volume form is parallel wrt to the Levi-Civita connection

In the context of (semi-)Riemannian geometry, the following fact is well-known: if a (semi-)Riemannian manifold $(M,g)$ is oriented, then the unique volume form $\epsilon = \mathrm{vol}_g$, induced by ...
0
votes
0answers
18 views

Quadratic dual of an algebra

Hi I'm trying to figure out the whether the quadratic dual of the following algebra is anti-commutative. My algebra is $A = T (V)/J $ where $J=<I> $ and $I \subseteq \wedge ^2 (V) $. Firstly I ...
80
votes
5answers
11k views

An Introduction to Tensors

As a physics student, I've come across mathematical objects called tensors in several different contexts. Perhaps confusingly, I've also been given both the mathematician's and physicist's definition, ...
0
votes
0answers
13 views

How to write clebsch gordan decomposition using tensor notation

Let be $G$ a Lie Group and $\textbf{N}$ its complex representation. It is well know that any state $|\ ab\ \rangle\in \textbf{N}\otimes\textbf{N} = \oplus_I\textbf{r}_I$ can be decomposed through the ...
1
vote
1answer
24 views

Tensor field acting on vector fields and covector fields gives a function?

If I have a $(p,q)$ tensor field that acts on $p$ covector fields and $q$ vector fields then does $T\left(X_1,\dots,X_p,Y_1,\dots,Y_q\right)$ return a function $f$ defined on the manifold by ...
1
vote
2answers
127 views

A Pure Maths Approach to Thinking About Vectors

Introduction Generally most students are introduced to the concept of Vector as something that has both a "magnitude and direction" and Scalars as something that only has a "magnitude and no ...
3
votes
1answer
65 views

Vector as a tensor

If we define a $(p, q)$-tensor $T$ to the vector space $V$ as a multi-linear map: $$ T : \underbrace{V^* \times \dots \times V^*}_{p} \times \underbrace{V \times \dots \times V}_{q} \to \mathbb{R} $$ ...
1
vote
0answers
12 views

Ordering of basis elements of a Lie-group representations tensor product

Let's consider a Lie Group $G$ and its complex representation $\textbf{N}$. Let's consider the decomposition $$ \textbf{N}\otimes\bar{\textbf{N}} = \bigoplus_J \textbf{r}_J $$ where $\textbf{r}_J$ ...
4
votes
1answer
2k views

How many independent components does a rank three totally symmetric tensor have in $n$ dimensions?

How many independent components does a rank three totally symmetric tensor have in $n$ dimensions? Needed for the irrep decompositon of $3\otimes 3\otimes 3$ in here. No idea where to start to ...
1
vote
0answers
24 views

Why the trace norm of a tensor is a good approximation to its rank?

In many literature, they use the trace norm of a tensor to approximate its rank, which is defined as follows: $$\|\mathcal{X}\|_{\ast}:=\sum_{i=1}^{n}\alpha_i\|X_{(i)}\|_{\ast}$$ where ${\alpha_i}'s$ ...
0
votes
0answers
34 views

Levi-Civita property on non-Euclidean space

I saw there are similar questions but it seems that no one of them gives an answer to my problem. I want to prove the following equality: \begin{equation} \frac{1}{(n-p)!p!}\varepsilon_{i_1\ldots ...
0
votes
1answer
29 views

Does the contraction of the tensor with the Kronecker delta always yield the same tensor?

Let us consider the $a^{ij}$ tensor, so that $a^{11}=1$; $a^{12}=2$; $a^{21}=3$; $a^{22}=4$. Let us consider $b^{jl}=a^{ij}\delta_{i}^{~l}$. I think that coordinates of $b_{jl}$ will be: $b^{11}=1$; ...
1
vote
1answer
887 views

How to prove that the Kronecker delta is the unique isotropic tensor of order 2?

Is there a way to prove that the Kronecker delta $\delta_{ij}$ is indeed the only isotropic second order tensor (i.e. invariant under rotation), i.e. so we can write $T_{ij} = \lambda \delta_{ij}$ ...
1
vote
0answers
43 views

How to interpret $a_i^k g_{kj}g^{jl}$? (Tensor index notation)

I have the equation $$a_i^k g_{kj}=-b_{ij},$$ where $a_i^k$ are given by: $a_i^k \cdot\vec r_k=\vec n_i$. Here, $g_{ij}$ and $b_{ij}$ are the matrices that determine the first and second fundamental ...