在说明具体问题之前,先约定一下标记的方法：“^”表示抗变指标；“_”表示协变指标；∂Q/∂x^μ=Q,μ；“：”表示求协变导数；希腊字母表示该指标可以取“0,1,2,3”；英文字母表示该指标可以取“1,2,3”；一个指标在一项里出现两次表示使用Einstein求和约定. 　　构造四维电磁张量首先是从真空中的Maxwell的电磁方程组出发,即： 　　▽·E=ρ/ε0 　　▽·B=0 　　▽×E=-∂B/∂t 　　▽×B=-1/c^2*∂E/∂t+μ0*j；c是真空中的光速,c=1/√(ε0*μ0)；ε0,μ0分别表示真空中的介电和介磁常数. 　　引入辅助量电磁矢势A和标势φ： 　　B=▽×A；E=-▽φ-∂A/∂t 　　并按照Lorentz规范条件： 　　▽·A+1/c^2*∂φ/∂t=0 　　这样Maxwell方程组就可以写成关于矢势和标势的形式（“△”表示Laplace算符）,即： 　　(△-1/c^2*∂/∂t)A=-μ0*j 　　(△-1/c^2*∂/∂t)φ=-ρμ0*c^2；ρ代表电荷密度,j表示三维电流密度矢量. 　　这样,三维电流密度矢量,和电荷密度可以构成四维电流密度矢量J^μ,即： 　　J^μ=(ρc,ij);J^0=ρc,J^1=i*j1;J^2=i*j2;J^3=i*j3 　　电磁矢势和表示构成四维电磁矢势A^μ,即： 　　A^μ=(φ/c,iA),其中i是虚实算符,即i^2=-1； 　　A^0=φ/c；A^1=i*A1；A^2=i*A2；A^3=i*A3 　　利用D'Alembert算符四维电磁矢势满足的Maxwell方程可以简记为： 　　□A^μ=-μ0*J^μ；□=△-1/c^2*∂^2/∂t^2 　　因此引入反称张量F_μν=A_μ,ν-A_ν,μ 　　再由A_μ=g_μν*A_ν,可知： 　　E^1=-A^1,0-A^0,1=A_1,0-A_0,1=F_10=-F^10 　　B^1=A^3,2-A^2,3=-A_3,2+A_2,3=F_23=F^23 　　于是由Maxwell方程组的第一,第四式可知： 　　F^μν,ν=μ0*J^μ.(1) 　　由Maxwell方程组的第二,第三式可知: 　　F^μν,σ+F^νσ,μ+F^σμ,ν=0.(2) 　　现在只要将(1),(2)过度到协变方程即可. 　　对于（1）式,由协变微分的法： 　　A_μ:ν-A_ν:μ=A_μ,ν-Γ^ρ_μν*A_ρ-(A_ν,μ-Γ^ρ_μν*A_ρ)=A_μ,ν-A_ν,μ 　　由于:F^μν=A_μ,ν-A_ν,μ,因此(1)可以直接过渡到协变方程,即: 　　F^μν=A_μ:ν-A_ν:μ 　　F^μν：ν=μ0*J^μ 　　对于(2)式,由协变微分法: 　　F_μν:σ=F_μν,σ-Γ^α_μσ*F_αν-Γ^α_νσ*F_μα 　　F_νσ:μ=F_νσ,μ-Γ^α_νμ*F_ασ-Γ^α_σμ*F_να 　　F_σμ:ν=F_σμ,ν-Γ^α_σν*F_αμ-Γ^α_σν*F_σα 　　将上面三式相加,并注意到反称张量F_μν=-F_νμ,所以有: 　　F_μν:σ+F_νσ:μ+F_σμ:ν=F^μν,σ+F^νσ,μ+F^σμ,ν=0 　　这样便将Maxwell方程组过渡到了四维协变方程组,即： 　　F^μν=A_μ:ν-A_ν:μ 　　F^μν：ν=μ0*J^μ 　　F_μν:σ+F_νσ:μ+F_σμ:ν=0 　　另外,张量的定义就是： 　　T^μ'ν'_α'β'γ'=x^μ'_μ*x^ν'_ν*x^α_α'*x^β_β'*x^γ_γ'*T^μν_αβγ 　　对于一个有n个抗变指标和m个协变指标的量,凡是满足上面的变换方式的就都是张量,矢量是只有一个指标的张量.