Solution Existence for Some Non-Linear Equations (60 – 90 min.) J. Dittrich (Nuclear Physics Institute ASCR, CZ-250 68 Rez, Czech Republic) Abstract: A proof of the solution existence applicable to some non-linear equations is based on the Tikhonov theorem (product of the compact topological spaces is compact in the product space topology) and its well known consequence that the unit ball in a reflexive Banach space is weakly compact. The proof and its prerequisities from the topology and functional analysis will be shown. This will be a purely review lecture without original results.