Euclidean embedding by finite cell attachment
ID: euclidean-embedding-by-finite-cell-attachment
Suppose a compact skeleton embeds as . Attach a disk by and extend its boundary coordinate map radially by . Map the disk to and to . The boundary identifications agree; a positive last coordinate recovers each interior point. This defines a continuous injection of the compact quotient into Euclidean space, hence an embedding. Repeating proves Hausdorffness and Euclidean embeddability for every finite CW complex, without assuming triangulability of arbitrary attaching maps.
New to topics? Read the docs here!