Weak* sequential compactness and bornological limit derivatives.
Some sufficient conditions are provided that guarantee that the difference of a compact mapping and a proper mapping defined between any two Banach spaces over has at least one zero. When conditions are strengthened, this difference has at most a finite number of zeros throughout the entire space. The proof of the result is constructive and is based upon a continuation method.
The main result of this paper is the following: if the Weierstrass division theorem is valid in a quasianalytic differentiable system, then this system is contained in the system of analytic germs. This result has already been known for particular examples, such as the quasianalytic Denjoy-Carleman classes.