Editing Schauder fixed-point theorem (section)

==History==
The theorem was conjectured and proven for special cases, such as Banach spaces, by Juliusz Schauder in 1930. His conjecture for the general case was published in the [[Scottish Café|Scottish book]]. In 1934, [[Andrey Nikolayevich Tychonoff|Tychonoff]] proved the theorem for the case when ''K'' is a compact convex subset of a [[Locally convex topological vector space|locally convex]] space. This version is known as the '''Schauder–Tychonoff fixed-point theorem'''. B. V. Singbal proved the theorem for the more general case where ''K'' may be non-compact; the proof can be found in the appendix of Bonsall's book (see references).