Let X and Y be two topological spaces such that X and X x Y are homotopy equivalent. Does it imply that Y is contractable?
As I am trying, it seems to be true if X and Y are CW complexes, in that Whitehead theorem can do the job. But I am unable to see if spaces are not CW complexes.