The homotopies of admissible multivalued mappings
Certain properties of homotopies of admissible multivalued mappings shall be presented, along with their applications as the tool for examining the acyclicity of a space.
Certain properties of homotopies of admissible multivalued mappings shall be presented, along with their applications as the tool for examining the acyclicity of a space.
By introducing the intersection convolution of relations, we prove a natural generalization of an extension theorem of B. Rodrí guez-Salinas and L. Bou on linear selections which is already a substantial generalization of the classical Hahn-Banach theorems. In particular, we give a simple neccesary and sufficient condition in terms of the intersection convolution of a homogeneous relation and its partial linear selections in order that every partial linear selection of this relation can have an...
2000 Mathematics Subject Classification: 54C35, 54D20, 54C60.Two Tychonoff spaces X and Y are said to be l-equivalent (u-equivalent) if Cp(X) and Cp(Y) are linearly (uniformly) homeomorphic. N. V. Velichko proved that countable Lindelöf number is preserved by the relation of l-equivalence. A. Bouziad strengthened this result and proved that any Lindelöf number is preserved by the relation of l-equivalence. In this paper it has been proved that the Lindelöf number greater than continuum is preserved...
This paper discusses the notion, the properties and the application of multicores, i.e. some compact sets contained in metric spaces.
We prove that if there is an open mapping from a subspace of onto , then is a countable union of images of closed subspaces of finite powers of under finite-valued upper semicontinuous mappings. This allows, in particular, to prove that if and are -equivalent compact spaces, then and have the same tightness, and that, assuming , if and are -equivalent compact spaces and is sequential, then is sequential.
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...
The probability measure functor P carries open continuous mappings of compact metric spaces into Q-bundles provided Y is countable-dimensional and all fibers are infinite. This answers a question raised by V. Fedorchuk.
We point out two theorems on the Scorza Dragoni property for multifunctions. As an application, in particular, we improve a Carathéodory selection theorem by A. Cellina [4], by removing a compactness assumption.
In the setting of the optimal transportation problem we provide some conditions which ensure the existence and the uniqueness of the optimal map in the case of cost functions satisfying mild regularity hypothesis and no convexity or concavity assumptions.