迹定理

trace theorem