Stream: Is there code for X?

Topic: Homeomorphisms between [0,1] and [a,b]?

Scott Morrison (Apr 06 2021 at 06:23):

Do we have the homeomorphisms between different (non-trivial) closed intervals in real?

Scott Morrison (Apr 06 2021 at 06:24):

(and by "the" I mean I specifically want the affine homeomorphisms, but I want them bundled as a ≃ₜ)

Scott Morrison (Apr 06 2021 at 07:55):

Failing that, just the fact that a * x + b is a homeomorphism of real to itself when a is nonzero.

Anatole Dedecker (Apr 06 2021 at 08:09):

I can't find it, but composing docs#homeomorph.mul_left' and and docs#homeomorph.add_right should do it

Last updated: May 16 2021 at 05:21 UTC