实紧化

realcompactification