6.8 基底延伸与基变换

用基底存在性、替换定理与基变换矩阵，严谨比较不同坐标系统。