6.8 基底延伸與基變換

用基底存在性、替換定理與基變換矩陣，嚴謹比較不同坐標系統。