Rectangular neighborhood of a product of compact sets

ID: rectangular-neighborhood-of-a-product-of-compact-sets

If and are compact subsets of two spaces and is an open neighborhood of their product, there are open sets with . First use compactness of to produce a rectangle around each slice , intersecting finitely many first factors and uniting second factors. Then use compactness of , uniting finitely many resulting first factors and intersecting second factors. No Hausdorff assumption is required.

New to topics? Read the docs here!