currying of mapping spaces of locally compact spaces as homeomorphism

1. Proposition

Let 20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_3e3122d320f7bffebdc8b0f35f367104b8445b3e.svg, 20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_c369ec44162417e211640a8ba58bff3935984253.svg and 20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_af38f926f7f15df7115d86b1debf0d15907543ab.svg be topological spaces, such that 20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_73eed9b29d43fbfeded6554d9fef135ba7ec0f7b.svg is locally compact hausdorff (?) Then for the mapping spaces equipped with the compact open topology, Currying

20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_3814e0e6f44912002b5a701739e26c041c9f49be.svg

is a homeomorphism

2. Proof

2.1. continuous

Since

20231107-currying_of_mapping_spaces_of_locally_compact_spaces_as_homeomorphism_d2eecc0867ecac7b4719cd2d65d62bc55be15d9f.svg

2.2. inverse continuous

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:04