拓扑向量空间上非零连续线性泛函存在性的一个注记

• A Note on Existence of Non-trivial Continuous Linear Functional on TVS