嘿，熟人，你问的那些关于张量的背锅事，我那些在哭腔里说的废话，你听进去吗？好吧，既然你拿起了这本该是教科书但被你搞砸的错题集，那我就用那种连我自己都嫌尴尬的碎碎念，跟你聊聊二阶各向同性张量到底是个啥鬼。 起初，别指望我跟你讲啥$mathcal{T}$在基底下如何分解，那是纯形式主义的操作。咱们直接看物理结局。在二阶各向同性张量里，最核心的事儿就是：甭管你的坐标系转到哪，只要保持长度和角度的关系不变（也就是保持各向同性），这个张量的矩阵表示就务必长得一模一样。
这就像是把一个东西放在不同角度的视角下拍照，照片里的像素值一辈子排列成同一个形状。
要是它不一样，那就不是真正的各向同性张量。 这就引出了那个著名的反例，并且是个真事儿。大量人画错矩阵，当作只要对角线元素相等，各向同性就成立了。错！大错特错！
你看这个三阶张量，$T_{ijk}$。
要是它是各向同性的，那么它的放大（或缩小）因子务必对所有方向都是固定的。
这意味着，不管你是沿着 $z$ 轴伸那个力臂，还是沿着 $x$ 轴，它被拉伸的倍数都得一样。 举个例子，看这个 $2 times 2$ 矩阵。
要是它的非对角线元素不为零，比如 $a_{12} = a_{21} = 1$，这就意味着你在 $x$ 方向上拉长了 $y$ 轴的投影。但要是你换个角度，要么换个张量本身，比如旋转一下坐标系，这个 $a_{12}$ 会变吗？要是不变，说明它就是各向同性的。
可是，要是 $a_{12} = 1$ 而 $a_{21} = -1$（这就变成了抵制称局部了），要么它是非对称的，那它就打破了这种“不管如何转都长一样”的魔咒。
实际上，一个二阶各向同性张量，它的非对角线元素务必全体为零。它只能是对角形的，并且对角线上的数值还得一样。你画出来是个 $3 times 3$ 的对角阵，比如主值为 $100$，而 $101$ 和 $100$ 旁边那些全是 $0$。
要是 $101$ 那个位置有个 $1$，那它就不是各向同性的张量了。 再深入点说，这种张量实际上就是标量乘以单位张量（identity tensor）。
这就好比你手里拿着一把尺子，不管尺子如何放，它量出来的长度一辈子是标量乘以长度。
故此，$T = lambda mathbf{I}$。
这里的 $lambda$ 就是一个常数，要么叫标量因子。
要是你试图构造一个非零的非对角元素，要么让对角线上的非对角元不为零，那你就是在制造不对称性，要么制造了额外的形变模式，这就违反了“各向同性”的定义。 这就涉及到一个挺尴尬但挺现实的难题：在数学上，要是一个张量既是对称又是各向同性的，那它只能是对角且对角元相等的。但要是非对角元不为零，它既不是纯对称也不是纯抵制称，它是一个混合态。
可是，对于二阶张量来说，存有一个残酷的事实：非对称的、非零的、非对角的局部，甭管你如何动坐标系，它在空间中的分布特性都是破坏各向同性的。
也就是说，各向同性张量务必退化成最好办的形式：对角且常数。 这听起来仿佛挺多废话，但实际做题时，要是你画错了，比如把 $101$ 这个位置填了个 $1$，要么把 $a_{12}$ 填了个 $1$，然后你当作它还在各向同性张量族里，那你就要预备好面对一堆怪的题目了。
比方说，问一个“各向同性张量”在某个特定坐标系下的分量是啥。
这时候你得先判断它是不是确实各向同性。
要是不是，那它就没有啥固定的分量形式，它只是依赖于坐标系的选择。它可能是一个标量，$S$。
那它就只是一个数。它没有矩阵结构，出于它本身就是标量。 这就打破了初学者那种“所有张量都有固定形式”的思维惯性。你习惯了写出 $begin{pmatrix} 1 & 0 \ 0 & 1 end{pmatrix}$，当作这就是唯一答案。但实际物理世界里，大量标量张量就是一个好办的数。
比如压强，要么某种均匀分布的力，它们没有“矩阵”，出于它们在空间各处的功能效果是均匀的，不需求坐标系来描述形状。 故此，回到你的原题。
要是你纠结于某个矩阵看起来像对角阵，但又有点不对劲，别急。先问自己两个难题：第一，它的主值（eigenvalues）是不是全一样？第二，它的迹（trace）是不是那个标量乘以维度？要是这两个条件知足，那它就是个合法的各向同性张量，它的矩阵就是那个对角阵。
要是主值不一样，要么非对角元有值，那它就是个病态张量，不是标准各向同性张量。 最终，总结一下，二阶各向同性张量这个概念，实际上就是在说：不管你的眼如何转，不管你的坐标系如何转，这个张量对你造成的形变效果一辈子是一致的。它要么是个纯数（标量），要么是个完美的对角阵。
只要略微在 $101$ 和 $100$ 之间塞个杂音，要么在 $x$ 和 $y$ 之间建起一座桥，这个“各向同性”的魔法瞬间就碎了。别再画错矩阵了，这玩意儿比你的背锅本事还要坑。