프리드버그 유한차원에서 증명한 명제들 무한차원에서도 정의하는것들 보면 풀이에서 자주 써먹는게 무한차원 벡터여도 유한한 개수 기저의 선형결합으로 표현된다 인것 같은데 이건 그냥 틀린거 아님..?


유리수체에서 실수 벡터공간으로 보고 기저를

(1,pi,pi^2,… ) 이렇게 잡으면 sqrt(2)같은건 유한한 개수의 기저의 선형결합이 안되잖아