[일반] 측도질문

[익명(118.235)]

rca 보는중인데 사진 윗부분의 Y가 왜 measurable인지 모르겠음 일단 아는건 dimY=n<k일때 Y는 R^n×{0}^k-n이랑 isomorphic한것뿐임

[익명(124.53)]

closed니까

[익명(211.107)]

Rn×0k-n저게 closed니까 그런건가? 근데 내가 얻은건 둘 사이에 linear isomorphism 이 있단것 뿐인데? 뭐 lower dimensional subspace들은 항상 closed라는 정리가 있는건가

[익명(211.107)]

아 알것같다

[coffeemath(coffeemath)]

어느 한 좌표에서 flat하면 걔를 포함하는 box가 없다... 정도로 생각해도 될 듯 한데 엄밀하지 않아서 제대로 답이 될지 모르겠네

[익명(211.107)]

Rn의 linear subspace들은 항상 closed라는 정리가 있더라 ㅋㅋ

[coffeemath(coffeemath)]

그거야 kernel의 교집합이고 kernel은 invL{0}이며 {0}은 한원소집합이라 closed라서(euclidean space를 말하는 게 맞다면) 그런 거 아닌가

[캔디뜯죠(1wq1wq)]

finitie dim이니까 F가 complete만 한다면야 - dc App