当然有.举个简单的例子,所有复系数多项式的全体构成一个无限维线性空间（如果它是n维的,可以找出{1,x,...,x^n}这样n+1个线性无关的元素,矛盾）.