1 概念基础：从向量到张量
张量代数研究的核心对象是“多线性结构”：把若干向量空间的分量按指定规则组合起来，得到能在坐标变换下保持确定变换规律的代数量。相较于标量、向量与线性映射，张量允许同时携带多个“输入方向”和“输出方向”的信息，因此能够系统描述多重作用、对称性与约束。
1.1 向量空间与对偶空间
1.1.1 本征基与坐标分量
给定有限维向量空间 \(V\)，选择一组基 \(\{e_i\}\) 后，任意向量 \(v\in V\) 可写为 \(v=v^i e_i\)。其中系数 \(v^i\) 依赖于所选基，被称为向量的坐标分量。若更换基，系数的变化由基变换矩阵的逆或伴随形式决定，从而为后续“协变/逆变”指标规则埋下依据。
1.1.2 自然配对与评估映射
对偶空间 \(V^*\) 是由线性泛函组成的向量空间。存在自然的配对 \[ \langle \cdot,\cdot\rangle:V^*\times V\to \mathbb{F}, \] 对偶元 \(\alpha\in V^*\) 与向量 \(v\in V\) 产生标量 \(\alpha(v)\)。在基 \(\{e_i\}\) 下可引入对偶基 \(\{e^i\}\subset V^*\)，满足 \(\langle e^i,e_j\rangle=\delta^i_j\)。这种“评估映射”是张量收缩（指标配对消去）的基本来源。
1.2 张量的类型与记号
张量可以通过若干个向量空间及其对偶空间的张量积来定义。最常用的记号用 \((p,q)\) 表示：其中 \(p\) 个指标对应于 \(V^*\)（常见为下标指标），\(q\) 个指标对应于 \(V\)（常见为上标指标）。在坐标表达中，一个 \((p,q)\) 张量可写为分量 \(T^{i_1\cdots i_q}{}_{j_1\cdots j_p}\)。
1.2.1 协变/逆变指标的含义
在坐标变换下，向量分量通常以“协变”方式变换：若基改变为 \(e'_i=A^j_i e_j\)，则分量满足 \(v'^i=(A^{-1})^i_j v^j\)。而对偶空间的分量由于是线性泛函，其变换与向量相反，表现为“逆变”规则。对张量而言，上下指标分别承担相应的变换规律：这使得全体张量表达在不同坐标系下保持几何意义。
1.2.2 取阶与张量阶数（(p,q)类型）
张量的阶数可理解为“指标的总数”，即 \(p+q\)。其中 \((p,q)\) 类型精确标记了每个指标所处的位置属于 \(V\) 还是 \(V^*\)。类型不仅影响坐标变换公式，也直接决定了哪些指标可以在收缩中配对、哪些对称化操作能自然进行。
1.3 多线性映射视角
1.3.1 张量与多线性映射的同构
任意 \((p,q)\) 张量都可等价地看作多线性映射：把 \(p\) 个对偶输入与 \(q\) 个向量输入代入，输出标量。更形式化地，存在自然同构把张量空间 \[ (T^q_p V)=V^{\otimes q}\otimes (V^*)^{\otimes p} \] 与多线性映射集合联系起来。该同构说明张量并非“只是坐标符号”，而是对多组输入的协同作用的抽象刻画。
1.3.2 张量作为“多把尺子”的组合
把向量视为“方向”，把对偶元视为“测量方向的标尺”，那么张量可被直观理解为多个测量与组合规则的并置：每个上标对应取向量分量参与，多余的下标对应对偶分量进行约束。多线性结构使得张量运算（如乘积、收缩、对称化）能够按“测量与合成”的逻辑组织，而不是随意拼接符号。
2 张量空间的构造方法
构造张量空间的关键在于：从基本的向量空间与对偶空间出发，利用张量积组织出多指标对象，再通过对称性或等价关系形成特定类型的张量空间。
2.1 张量积与自由组合
2.1.1 张量积的定义与普遍性质
张量积 \(V\otimes W\) 是刻画“双线性”组合的标准工具：任意从 \(V\times W\) 到某个线性空间 \(U\) 的双线性映射，都可唯一分解为线性映射经过张量积的方式。该普遍性质保证了张量积的定义与操作具有良好的一致性。
2.1.2 代数张量空间的分解思想
张量代数常将“多重合成”拆成逐层生成的结构：例如从 \(V\) 出发，通过张量积得到 \(V^{\otimes 2},V^{\otimes 3},\dots\)。同时也可按对称/反对称方式分解出不同的子空间，形成更适合几何与物理应用的“可分类型”。
2.2 张量幂与多重线性结构
2.2.1 分块式张量空间
为了处理不同“输入数量”的对象，常引入分块（graded）思想：把所有阶数相同的张量放在同一层，把不同阶数的张量组织成直和。这样做便于定义统一的代数运算（例如逐阶乘积、逐阶投影），也便于追踪某个操作对指标数的影响。
2.2.2 张量代数的逐级生成
张量代数可定义为若干层的组合，例如形式上将 \(V\) 的各次张量积并成一个整体。逐级生成意味着：任何在该代数中出现的复杂对象都可以由基础向量通过有限次张量积或相关操作构建出来，并通过代数规则加以计算。
2.3 商空间与等价关系
在需要“只保留对称性信息而忽略交换顺序”等情形时，可以通过商空间将等价关系编码到张量结构中。
2.3.1 由对称/反对称得到的商
若对张量施加对称性条件（交换某些指标不改变），则对应到对称群作用下的不变子空间或商结构；反对称性则对应符号变化。对称化与反对称化的结果可视为在张量空间中筛选出满足特定交换规律的元素。
2.3.2 指标重标与不变量意识
在商空间或对称化语境中，“指标重标”并不是随意重写：若交换发生在对称群作用允许的范围内，那么重命名只是同一等价类的不同代表。由此形成一种计算习惯：先判断指标是否可对称/反对称处理，再决定是否能够将某些表达视作同一个不变量。
3 基本运算
张量代数的基本运算主要包括张量积、收缩（指标匹配）、置换重排以及把映射与张量之间建立对应。
3.1 张量积
3.1.1 指标拼接规则
若 \(S\) 为 \((p,q)\) 张量，\(T\) 为 \((r,s)\) 张量，则它们的张量积通常会得到 \((p+r,q+s)\) 类型的新张量。坐标分量上表现为指标的拼接：上标集合与下标集合分别并到一起，形成更长的指标序列。需要注意的是：张量积本身并不自动交换或对称，只是按顺序组合。
3.1.2 张量积的结合性与交换注意事项
张量积在代数意义上具有结合性（可在不改变结果的前提下调整括号）。但在一般情况下，张量积并不满足“可交换就当同一个”的简单规则：不同顺序会对应到指标位置的变化，除非再引入置换同构并说明其对应用中的张量类型是否等价。
3.2 收缩（指标收缩）
3.2.1 收缩与指标匹配
收缩的核心要求是“指标匹配”：把一个对偶指标与一个向量指标配对，利用自然评估映射将其消去，得到新的张量。典型做法是在表达式中选取一对一上一下的同编号指标：例如 \(T^{i}{}_{j}\) 中的 \(i\) 与 \(j\) 若相同并按约定配对收缩，则该对贡献一个标量并减少指标数。收缩把“多线性输入输出”的数量同时降低。
3.2.2 收缩次数与新张量类型
进行一次收缩会减少一个上指标与一个下指标，因此类型 \((p,q)\) 会变为 \((p-1,q-1)\)（以存在可配对指标为前提）。多次收缩则依此类推。收缩后的结果仍遵循坐标变换规则，因为收缩中使用的是与坐标选择无关的自然配对。
3.3 换位、重排与对称群作用
3.3.1 基本置换与张量重排
对张量的指标进行重排可被理解为对相应位置的向量因子与对偶因子重新编号。置换同构把“同一代数结构的不同指标排列”联系起来。实际计算时，关键在于保持指标位置与其协变/逆变角色一致，否则会破坏变换规律。
3.3.2 对称群表示在张量中的体现
当张量在交换指标后满足特定等式时，本质上对应到对称群（或其子群）的表示理论。对称化与反对称化可看作投影到某些表示成分上。通过这一视角，许多“看似代数的化简”都能被系统解释为在群作用下的投影。
3.4 复合与映射的对应关系
3.4.1 张量视为线性算子的方式
某些张量可直接解释为线性映射的核。例如把一个 \((p,q)\) 张量固定部分指标后，可将余下指标视作从某些张量空间到另一张量空间的线性映射。此类观点常用于把“张量运算”改写为“算子复合”，从而利用更直观的线性代数工具。
3.4.2 从映射到张量的构造
反向地，给定一个多线性映射，可借助选择基把映射的输出分量按指标整理成张量表达。由于普遍性质与同构关系，映射与张量之间的对应通常是自然且可逆的；不同坐标系统下两者的变换相容，保证了表达的几何/代数一致性。
4 特殊张量：对称与反对称结构
对称与反对称是张量代数中最常见的约束类型，它们会将一般张量空间投影到更具结构的子空间，并使计算显著简化。
4.1 对称化算子
4.1.1 对称张量的定义
对称张量满足在交换某些指标位置后保持不变。例如在若干个指标属于同一“槽位类型”时，交换任意两者不改变张量分量。这种条件使得张量对某些排列不敏感，因此常用于描述“无序的组合”。
4.1.2 对称化的分解与投影
对一般张量可以定义对称化算子：把该张量对相关指标的所有置换进行平均（并按需要处理权重）。对称化结果是对称张量子空间中的元素，并可被视作从原空间投影到对称分量上。由此可把复杂表达分解成“对称部分 + 余下部分”的结构。
4.2 反对称化算子
4.2.1 外代数与反对称张量
反对称化要求在交换两个对应指标时，张量分量乘以符号因子（通常为负号）。与此相关的结构常在外代数中出现：外积在本质上就是对张量积进行反对称化的结果。该框架使得反对称张量天然与“2-形式、3-形式”等对象联系起来。
4.2.2 反对称化与符号约定
反对称化涉及符号约定：不同文献对指标位置与乘号的排列规则可能存在差异。计算时应明确采用的约定，例如对置换的奇偶性如何映射到符号。只要符号规则一致，反对称张量的性质与由此产生的恒等式就能得到稳定应用。
4.3 最高/最低权与Young图（概览）
4.3.1 分解的一般思想
更一般地，张量在对称群与一般线性群的联合作用下可分解为若干不可约成分。Young图是一种图形化装置，用于组织这些分解的可能形状与对应规则。它提供了从“对称/反对称的组合模式”到“表示类型”的通路。
4.3.2 典型例子与记号习惯
在实际计算中，常见的分解类型包括全对称、全反对称以及介于两者之间的混合对称。Young图的行列长度与指标对称/反对称的限制对应。尽管具体公式依赖所选规范，但记号习惯总体目标一致：用图形指示哪些指标要对称、哪些要反对称、以及是否允许混合交换。
5 与内积/度量相关的结构（可选增强）
引入内积或度量后，张量代数不仅能做纯代数运算，还能通过“升降指标”把不同类型的张量互相联系，从而得到更多标量不变量与谱式分解思路。
5.1 内积与度量张量
5.1.1 指标升降的代数实现
度量张量 \(g\) 允许把向量与对偶向量之间建立同构。于是可以把张量的下指标通过与度量的收缩转换为上指标，或反之。此过程被称为“指标升降”。其代数本质是利用度量提供的自然配对来替换对偶/向量角色。
5.1.2 伴随与度量兼容
当存在内积时，可以定义伴随算子：对线性映射 \(A\)，其伴随 \(A^\dagger\) 由 \(\langle Au,v\rangle=\langle u,A^\dagger v\rangle\) 决定。若张量结构与度量相容，那么用同一套收缩与升降规则即可保证伴随关系在坐标变化下保持形式正确。
5.2 迹、范数与不变量
5.2.1 迹运算的张量化
迹可以视为一种特定的收缩：对一个合适类型的张量（通常为可视作线性映射的对象）将一对对偶指标与向量指标配对并求和，得到标量。用张量语言表述迹时，重点在于指标类型匹配与收缩位置的选择。
5.2.2 标量不变量的来源
许多几何量或物理量最终表现为标量不变量：它们由多次收缩得到，且在坐标变换下保持不变。标量不变量的构造通常遵循：先选取合适的张量类型，再用度量与自然配对完成必要的升降与收缩，使所有自由指标消失。
5.3 正交分解的张量版本（概览）
5.3.1 特征分解与张量语言
在特定度量下，许多对象可分解为互相正交的成分。用张量语言描述时，这意味着对某类张量（例如对称结构相关的对象）可以构造投影到不同特征子空间的分量，从而把复杂表达转化为若干简化子问题。
5.3.2 在特定度量下的简化
当度量满足额外条件或采用合适坐标时，某些收缩结果会显著简化：例如某些分量选择后出现稀疏性或符号结构可控。此类简化并不改变本质，仅是利用了度量给出的额外结构。
6 张量代数的坐标变换与协变性
张量代数的一致性体现在：在坐标变换下，张量的分量按规定方式改变，但整体对象所表达的几何/代数含义不变。
6.1 坐标变换下的指标规则
6.1.1 基变换与分量变换
考虑基从 \(e_i\) 到 \(e'_i\) 的变换，分量的变换遵循矩阵与其逆的关系。向量分量的变化对应基向量的线性组合系数；而对偶分量由于是对偶关系的保持，会引入相反的逆矩阵。将这套规则逐项应用到张量分量的各个指标，就得到整体的变换公式。
6.1.2 协变与逆变的一致性
协变/逆变的含义可以归结为：一个指标对应“属于 \(V\) 的输入”还是“属于 \(V^*\) 的输入”。只要在每个指标上使用正确的变换类型，张量整体的变换就会与收缩与张量积的代数结构相容，从而保证计算结果的坐标独立表达。
6.2 张量方程的坐标独立表达
6.2.1 等式两边类型匹配
当写出张量方程 \(A=B\) 时，首先要确保两边具有相同的 \((p,q)\) 类型。否则它们在坐标变换下将以不同方式变换，不存在“在所有坐标系都保持相等”的可能性。类型匹配是张量计算的第一道检验。
6.2.2 收缩与不变性的直观判断
一条常用判断是：如果一个表达式经由收缩把所有自由指标消去并留下标量，那么通常会对坐标选择保持不变。若仍有未配对的指标，自由度意味着其对象仍在变换下“按张量方式传播”，因此不应把分量值当作不变量。
6.3 常见易错点（“别把指标搞丢”）
6.3.1 上下标错位
把一个该上标的指标写成下标，或相反，往往会导致变换规律错误。此错误不会一定立刻在代数上显现，但会在与收缩、升降或变换验证联动时暴露。
6.3.2 收缩配对失误
收缩要求的不是“同样的字母名”，而是“一个对偶指标与一个向量指标在同一收缩规则下配对”。误配会改变指标数量与类型，从而导致所得对象类型不正确。实践中常通过先标注指标类型，再执行收缩来避免错误。
7 与微分几何/物理的常见连接（轻量概览）
张量代数在几何与场论中的作用，主要在于把局部坐标表达整理成坐标独立的对象，同时允许用统一规则计算复杂的多指标结构。
7.1 张量场与局部表达
7.1.1 局部坐标系下的张量
在微分几何中，张量可随空间点变化而形成“张量场”。选择局部坐标后，场在该局部区域可用一组分量函数表示，这些分量满足与前述张量变换规律相容的变换公式。
7.1.2 指标随点变化的含义
当点改变时，分量函数的数值也随之变化；但指标本身的“上下位置含义”保持不变，仍对应协变/逆变角色。因而在推导中，常把“分量随点变”与“变换规则由指标类型决定”区分开。
7.2 微分形式与外代数（简述）
7.2.1 wedge乘积与反对称性
微分形式可用外代数描述，其中 wedge（楔乘）是反对称张量积的自然推广。它自动实现反对称性：交换因子顺序会带来符号变化。因而对反对称结构的表达，外代数提供了更贴近直觉的运算方式。
7.2.2 希尔伯特式的“反对称乘法”
在一些教材或表述中，可将反对称结构类比为“带有置换符号规则的乘法”。这类描述强调运算规则的一致性：只要遵循置换符号约定，计算过程就能保持与反对称张量代数一致。
7.3 应用场景：从弹性到电磁（概览）
7.3.1 本构关系的张量化直觉
弹性材料或介质的“响应”常由多指标对象刻画：例如应力与应变之间的关系会用到具有对称结构的张量，以体现材料的内在对称性。张量代数提供了把这些多线性关系写得紧凑且便于变换的方法。
7.3.2 对称性与简化策略
在物理模型中，若系统具有某种对称性，张量分解会减少独立分量数，使方程更容易求解。对称化与投影思想正是这种简化策略的代数表达。
8 参考的经典例题类型（目录化）
本节列出常见练习题的类型，用于帮助学习者形成计算与验证的基本肌肉记忆。
8.1 给定张量类型的运算练习
8.1.1 张量积与收缩计算
典型任务包括：给定两张量的 \((p,q)\) 类型，要求写出张量积的结果类型；再指定收缩对并计算所得新张量的指标数与类型。重点训练“指标拼接—再配对消去”的流程。
8.1.2 对称/反对称分解
练习可能要求把一般张量分解成对称部分与反对称部分，或对若干指标执行投影。通过比较原表达与投影后的分量，理解对称化与反对称化的代数意义。
8.2 变换验证题
8.2.1 检查协变性
给出一个张量表达式，要求验证其在变换下满足张量规则。解题通常从指标类型出发，逐一应用变换矩阵的规则，检查最终自由指标的变换是否一致。
8.2.2 指标重写的等价性
有些题会把同一几何对象用不同的指标安排写出，要求证明它们等价。这类题的关键在于合法重标、正确利用收缩与置换同构，并确保最终类型匹配。
8.3 小心“梗”：维度不一致的灾难预警
8.3.1 维数/类型检查清单
常见做法是：先写下每个张量的 \((p,q)\) 类型，再列出收缩会减少哪些上、哪些下指标。若最后出现类型不匹配或出现无处可配对的指标，通常就能快速定位错误来源。
8.3.2 常见错误归因与纠正方法
错误归因通常集中在两类：其一是上/下标错位导致变换不对；其二是收缩配对失误导致自由指标数不对。纠正方法是回到指标类型与收缩规则，必要时用“先类型后计算”的顺序重写表达式。