G-delta compactification invariance
ID: g-delta-compactification-invariance
For the comparison map , the fibers of compactification comparison maps identity pulls a G-delta set presentation of back from . Conversely if with closed compact, then . Each image is closed and misses . Thus is a G-delta set in one Hausdorff compactification exactly when it is in every one.
New to topics? Read the docs here!