灰拓扑线性空间的构造

给出灰拓扑线性空间的定义，证明它具有与普通拓扑线性空间相类似的性质，如平移不主 ，均衡性，吸收性等。