wedge product of pointed contractible spaces as contractible space

1. Proposition

Let 20240119-wedge_product_of_locally_contractible_spaces_b9f47fab9effe297800da1fc0ba6571be8c226a0.svg be based spaces which are pointed contractible. Then the wedge product

20240119-wedge_product_of_locally_contractible_spaces_0af2e466b17933e73f6de4d8a9104963e2559d23.svg

is also pointed contractible

2. Proof

Choose pointed homotopies

20240119-wedge_product_of_locally_contractible_spaces_dbeefba28f0ba53d6cfa1deccde9f2a8794378d9.svg

Then it follows by product of locally compact spaces preserves colimits

20240119-wedge_product_of_locally_contractible_spaces_07cbacef3767f64ebd727d2cc62798930ddea0d1.svg

Hence

20240119-wedge_product_of_locally_contractible_spaces_6f40f8f3d44fd42661a9c59a7622dba7ce45b3ea.svg

defines a homotopy

Date: nil

Author: Anton Zakrewski

Created: 2024-10-20 So 05:31