Displaying 361 – 380 of 399

Showing per page

The intersection convolution of relations and the Hahn-Banach type theorems

Árpád Száz (1998)

Annales Polonici Mathematici

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...

The Lindelöf number greater than continuum is u-invariant

Arbit, A. V. (2011)

Serdica Mathematical Journal

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...

Tightness of compact spaces is preserved by the t -equivalence relation

Oleg Okunev (2002)

Commentationes Mathematicae Universitatis Carolinae

We prove that if there is an open mapping from a subspace of C p ( X ) onto C p ( Y ) , then Y is a countable union of images of closed subspaces of finite powers of X under finite-valued upper semicontinuous mappings. This allows, in particular, to prove that if X and Y are t -equivalent compact spaces, then X and Y have the same tightness, and that, assuming 2 𝔱 > 𝔠 , if X and Y are t -equivalent compact spaces and X is sequential, then Y is sequential.

Topologies, Continuity and Bisimulations

J. M. Davoren (2010)

RAIRO - Theoretical Informatics and Applications

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...

Two theorems on the Scorza Dragoni property for multifunctions

Gabriele Bonanno (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

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.

Upper quasi continuous maps and quasi continuous selections

Milan Matejdes (2010)

Czechoslovak Mathematical Journal

The paper deals with the existence of a quasi continuous selection of a multifunction for which upper inverse image of any open set with compact complement contains a set of the form ( G I ) J , where G is open and I , J are from a given ideal. The methods are based on the properties of a minimal multifunction which is generated by a cluster process with respect to a system of subsets of the form ( G I ) J .

Currently displaying 361 – 380 of 399