mula_1的一组基。第二个条件中，将一个向量formula_22表示成formula_28的形式，称为向量formula_29在基底formula_3下的分解。formula_31称为向量formula_29在基底formula_3下的分量表示。有有限基的向量空间叫做有限维的空间。要处理无限维的空间，必须把上述基的定义推广为包括无限的基集合。如果向量空间formula_1的一个子集 (有限或无限)formula_3满足：就称formula_3是无限维空间formula_1的一组基。没有装备拓扑结