>>256
なるほど!理解できました

>>255
位相体というより元々の疑問は非自明な位相の有限線型空間の存在でした