In this work we are concerned with the existence of fixed points for multivalued maps defined on Banach spaces. Using the Banach spaces scale concept, we establish the existence of a fixed point of a multivalued map in a vector subspace where the map is only locally Lipschitz continuous. We apply our results to the existence of mild solutions and asymptotically almost periodic solutions of an abstract Cauchy problem governed by a first-order differential inclusion. Our results are obtained by using fixed point theory for the measure of noncompactness.

Let $f:X\to Y$ be a $\sigma$-perfect $k$-dimensional surjective map of metrizable spaces such that dim $Y\le m$. It is shown that for every positive integer $p$ with $p\le m+k+1$ there exists a dense ${{G}_{\delta }}-\text{subset}\,\mathcal{H}\left( k,m,p \right)$ of $C\left( X,{{\mathbb{I}}^{k+p}} \right)$ with the source limitation topology such that each fiber of $f\Delta g$, $g\in \mathcal{H}\left( k,m,p \right)$, contains at most $\max \left\{ k+m-p+2,1 \right\}$ points. This result provides a proof the following conjectures of S. Bogatyi, V. Fedorchuk and J. van Mill. Let $f:X\to Y$ be a $k$-dimensional map between compact metric spaces with dim $Y\le m$. Then: (1) there exists a map $h:X\to {{\mathbb{I}}^{m+2k}}$ such that $f\Delta h:\,X\to Y\times {{\mathbb{I}}^{m+2k}}$ is 2-to-one provided $k\ge 1$; (2) there exists a map $h:X\to {{\mathbb{I}}^{m+k+1}}$ such that $f\Delta h:X\to Y\times {{\mathbb{I}}^{m+k+1}}$ is $\left( k+1 \right)$-to-one.

The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some form of continuity. We give a topological characterization of bisimularity for preorders, and then use the topology as a route to examining the algebraic semantics for the µ-calculus, developed in recent work of Kwiatkowska et al., and its relation to the standard set-theoretic semantics. In our setting, μ-calculus sentences evaluate as clopen sets of an Alexandroff topology, rather than as clopens of a (compact, Hausdorff) Stone topology, as arises in the Stone space representation of Boolean algebras (with operators). The paper concludes by applying the topological characterization to obtain the decidability of μ-calculus properties for a class of first-order definable hybrid dynamical systems, slightly extending and considerably simplifying the proof of a recent result of Lafferriere et al.