In this paper, we consider action-labelled systems with non-deterministic and probabilistic choice. Using the concept of norm functions GV98], we introduce two types of bisimulations that allow for delays when simulating a transition. The so obtained equivalences (called (strict) normed bisimulation equivalence) are strictly between strong and weak bisimulation equivalence a la LS89, SL94, SL95...

Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists a projection P : Y → X such that P (B(Y)) ⊂ A (by B we denote the unit ball). The main purpose of the present paper is to continue investigation of sufficien...

We study the Davis-Wielandt shell and radius of an operator on a normed linear space $$\mathcal {X}$$ . show that after suitable modification, modified defines norm {L}(\mathcal {X})$$ which is equivalent to usual introduce index compute its value explicitly in case some particular polyhedral Banach spaces. also present general method estimate any finite-dimensional space.

motivated by an arens regularity problem, we introduce the concepts of matrix banach space and matrix banach algebra. the notion of matrix normed space in the sense of ruan is a special case of our matrix normed system. a matrix banach algebra is a matrix banach space with a completely contractive multiplication. we study the structure of matrix banach spaces and matrix banach algebras. then we...

In this paper we introduce and investigate I2-convergence, I∗ 2 -convergence, I2-limit points, and I2-cluster points of a double sequence in a fuzzy 2-normed linear space. We prove a decomposition theorem for I2-convergence of double sequences. The notions of I2-double Cauchy and I∗ 2 -double Cauchy sequence are defined, and some of their properties are studied.