Sobolev, BV, 시그마 시간 측정에 대한 콤팩트성 및 추적 이론 | Synapse