体K上の線形空間って自明な物を除けば元の数は無限だと思ってたけど
Kを有限体にすれば元が有限個の線形空間もあり得るんですかね?