Very nice. I wonder whether this fixed point theorem also implies the various generalization of Kakutani’s fixed point theorem in the literature, such as Lassonde’s theorem about compositions of Kakutani functions. It sounds like it should because the composition of hypercontinuous functions is hypercontinuous, but I don’t see the formal argument immediately since if we have x∈∗X,y∈∗Y with standard parts xω,yω s.t. f(x)=y, and and y′∈∗Y,z∈∗Z with standard parts y′ω=yω,zω s.t.g(y′)=z then it’s not clear why there should be x′∈X,z′∈Z s.t. with standard parts x′ω=xω,z′ω=zω s.t. g(f(x′))=z′.
Very nice. I wonder whether this fixed point theorem also implies the various generalization of Kakutani’s fixed point theorem in the literature, such as Lassonde’s theorem about compositions of Kakutani functions. It sounds like it should because the composition of hypercontinuous functions is hypercontinuous, but I don’t see the formal argument immediately since if we have x∈∗X, y∈∗Y with standard parts xω, yω s.t. f(x)=y, and and y′∈∗Y, z∈∗Z with standard parts y′ω=yω, zω s.t.g(y′)=z then it’s not clear why there should be x′∈X, z′∈Z s.t. with standard parts x′ω=xω, z′ω=zω s.t. g(f(x′))=z′.