>>24
位相空間にしてもベクトル空間にしても、
はたまたベクトル空間の部分空間にしても、
空でないことは、普通は前提にしないか？

ちなみに、コンパクトならば非空だよね？
コンパクト性は位相空間に対して定義される
ので、空集合はコンパクトではない。
と理解してるんだけど、いいよね？