Connected components of a product space
ID: connected-components-of-a-product-space
The product of connected spaces is connected, so the product of the two connected components lies in the component of . Conversely, continuous projections carry that component to connected sets in the factors, which must lie in and . These two inclusions prove equality in arbitrary topological spaces.
New to topics? Read the docs here!