존스렘마는 집합론이나 선대에서 벡터공간이 기저를 갖는다 이거 증명할때 나왔던거같고 First category는 baire category theorem 여기서 나온거 말한거면 munkres 같은 위상수학책에 나옴
존스렘마는 집합론이나 선대에서 벡터공간이 기저를 갖는다 이거 증명할때 나왔던거같고 First category는 baire category theorem 여기서 나온거 말한거면 munkres 같은 위상수학책에 나옴