In Andrew Gleason's interview for More Mathematical People, there is the following exchange concerning Gleason's work on Hilbert's fifth problem on whether every locally Euclidean topological group is a Lie group (page 92).

MP: Is there some "human" story you can tell us about the breakthrough when it came?

Gleason: Yes, there's a really remarkable story about that. Sometime -- I can't tell you the exact date but let's say around 1949 -- I was doing other things too, and one of the things that I found very interesting and very curious and which I really felt I should try to understand better was a very famous theorem to the effect that a monotonic function is almost everywhere differentiable. It's a rather remarkable and very difficult theorem -- it's not easy to prove. A very very hard theorem of analysis and a really surprising theorem. Well, at the time I was sort of speculating about this theorem, but it wasn't for at least two years that I suddenly realized that that would solve the problem I was dealing with! Knowing that, in connection with some other stuff I had been working on, really put the whole thing together. It was a realization that although this theorem had been on my mind for maybe two years, I had never recognized that it was crucial to the arguments that I was trying to work through in the Hilbert problem. I hadn't realized it. Then suddenly it just came to me.

MP: It just came to you?

Gleason: That's right. It just came to me that I could use this technique, this theorem, in connection with these curves in Hilbert space that I was dealing with -- and get the answer! ...

I've never studied Hilbert's Fifth Problem or its solutions, but I've always been curious what Gleason meant by this connection. Can anyone shed some light on this?

1

Monotone functions are differentiable a.e. and Hilbert's Fifth Problem: what's the connection?

In Andrew Gleason's interview for More Mathematical People, there is the following exchange concerning Gleason's work on Hilbert's fifth problem on whether every locally Euclidean topological group is a Lie group (page 92).

MP: Is there some "human" story you can tell us about the breakthrough when it came?

Gleason: Yes, there's a really remarkable story about that. Sometime -- I can't tell you the exact date but let's say around 1949 -- I was doing other things too, and one of the things that I found very interesting and very curious and which I really felt I should try to understand better was a very famous theorem to the effect that a monotonic function is almost everywhere differentiable. It's a rather remarkable and very difficult theorem -- it's not easy to prove. A very very hard theorem of analysis and a really surprising theorem. Well, at the time I was sort of speculating about this theorem, but it wasn't for at least two years that I suddenly realized that that would solve the problem I was dealing with! Knowing that, in connection with some other stuff I had been working on, really put the whole thing together. It was a realization that although this theorem had been on my mind for maybe two years, I had never recognized that it was crucial to the arguments that I was trying to work through in the Hilbert problem. I hadn't realized it. Then suddenly it just came to me.

MP: It just came to you?

Gleason: That's right. It just came to me that I could use this technique, this theorem, in connection with these curves in Hilbert space that I was dealing with -- and get the answer! ...

I've never studied Hilbert's Fifth Problem or its solutions, but I've always been curious what Gleason meant by this connection. Can anyone shed some light on this?