拓扑线性空间的矩阵基本定理及应用

把赋范线性空间的矩阵基本定理推广到了拓扑线性空间，利用它证明了泛函分析的两个重要结果。