Schauder fixed point theorem definition

Can we define the Schauder fixed point theorem for a nonlinear operator defined on a Banach space into itself? And what will be the definition?

=================

=================

=================