The search for a semantics for higher-order quantum computation leads naturally to the study of categories of normed cones. In the first part of this paper, we develop the theory of continuous normed cones, and prove some of their basic properties, including a Hahn-Banach style theorem. We then describe two different concrete ∗-autonomous categories of normed cones. The first of these categorie...

in this paper the bagley-torvik equation as a prototype fractional differential equation with two derivatives is investigated by means of homotopy perturbation method. the results reveal that the present method is very effective and accurate.

z on the classical Hardy space H. Though there are many aspects of this operator worthy of study [20], we will focus on the description of its invariant subspaces by which we mean the closed linear manifolds E ⊂ H for which BE ⊂ E . When 1 < p < ∞, a seminal paper of Douglas, Shapiro, and Shields [8] describes these invariant subspaces by using the important concept of a pseudocontinuation deve...

We present a complete formalization of the Hahn-Banach theorem in the simply-typed set-theory of Isabelle/HOL, such that both the modeling of the underlying mathematical notions and the full proofs are intelligible to human readers. This is achieved by means of the Isar environment, which provides a framework for high-level reasoning based on natural deduction. The final result is presented as ...

In this paper we study the existence and characterization of spaces which are images of minimal-norm projections that are required to interpolate at given functionals and satisfy additional shape-preserving requirements. We will call such spaces optimal interpolating spaces preserving shape. This investigation leads to concrete solutions in classical settings and, as examples, n will be determi...

In contrast to construction of integrals as limits of Riemann sums, the Gelfand-Pettis characterization is a property no reasonable notion of integral would lack. Since this property is an irreducible minimum, this definition of integral is called a weak integral. Uniqueness of the integral is immediate when the dual V ∗ separates points, meaning that for v 6 v′ in V there is λ ∈ V ∗ with λv 6=...

In this article, we considered bidual spaces and reflexivity of real normed spaces. At first we proved some corollaries applying Hahn-Banach theorem and showed related theorems. In the second section, we proved the norm of dual spaces and defined the natural mapping, from real normed spaces to bidual spaces. We also proved some properties of this mapping. Next, we defined real normed space of R...

We show in this paper that a certain class of normed modules over the algebra of all bounded operators on a Hilbert space possesses a homological property which is a kind of a functional-analytic version of the standard algebraic property of flatness. We mean the preservation, under projective tensor multiplication of modules, of the property of a given morphism to be isometric. As an applicati...

The question whether or not the sum of two maximal monotone operators is maximal monotone under Rockafellar’s constraint qualification— that is, whether or not “the sum theorem” is true— is themost famous open problem inMonotone Operator Theory. In his 2008monograph “From Hahn-Banach to Monotonicity”, Stephen Simons asked whether or not the sum theorem holds for the special case of a maximal mo...

We discuss three major classes of theorems in additive and extremal com-binatorics: decomposition theorems, approximate structure theorems, and transference principles. We also show how the finite-dimensional Hahn-Banach theorem can be used to give short and transparent proofs of many results of these kinds. Amongst the applications of this method is a much shorter proof of one of the major ste...