scholarly journals Continuity of Multilinear Operator on Normed Linear Spaces

2019 ◽  
Vol 27 (1) ◽  
pp. 61-65
Author(s):  
Kazuhisa Nakasho ◽  
Yasunari Shidama

Summary In this article, various definitions of contuity of multilinear operators on normed linear spaces are discussed in the Mizar formalism [4], [1] and [2]. In the first chapter, several basic theorems are prepared to handle the norm of the multilinear operator, and then it is formalized that the linear space of bounded multilinear operators is a complete Banach space. In the last chapter, the continuity of the multilinear operator on finite normed spaces is addressed. Especially, it is formalized that the continuity at the origin can be extended to the continuity at every point in its whole domain. We referred to [5], [11], [8], [9] in this formalization.

2019 ◽  
Vol 27 (1) ◽  
pp. 35-45
Author(s):  
Kazuhisa Nakasho

Summary In the first chapter, the notion of multilinear operator on real linear spaces is discussed. The algebraic structure [2] of multilinear operators is introduced here. In the second chapter, the results of the first chapter are extended to the case of the normed spaces. This chapter shows that bounded multilinear operators on normed linear spaces constitute the algebraic structure. We referred to [3], [7], [5], [6] in this formalization.


1964 ◽  
Vol 60 (4) ◽  
pp. 817-819 ◽  
Author(s):  
D. J. H. Garling

It follows from the Krein-Milman theorem that (c0) is not isomorphic to the dual of a Banach space. Using a technique due to Banach ((4), page 194) we shall extend this result to show that if a subspace of (c0) is isomorphic to the dual of a normed linear space, then it is finite dimensional (Proposition 1). Using this result, we shall show that if E is a normed linear space, the unit ball of which is contained in the closed absolutely convex cover of a weak Cauchy sequence, then Eis finite dimensional (Proposition 2). This result has applications to the Banach-Dieudonné theorem, and to the theory of two-norm spaces.


2018 ◽  
Vol 11 (3) ◽  
pp. 740-750
Author(s):  
Benedict Barnes ◽  
I. A. Adjei ◽  
S. K. Amponsah ◽  
E. Harris

In this paper, both the product-normed linear space $P-NLS$ (product-Banach space) and product-semi-normed linear space (product-semi-Banch space) are introduced. These normed linear spaces are endowed with the first and second product inequalities, which have a lot of applications in linear algebra and differential equations. In addition, we showed that $P-NLS$ admits functional properties such as completeness, continuity and the fixed point.


2018 ◽  
Vol 15 (01) ◽  
pp. 65-83
Author(s):  
Nabanita Konwar ◽  
Ayhan Esi ◽  
Pradip Debnath

Contraction mappings provide us with one of the major sources of fixed point theorems. In many mathematical models, the existence of a solution may often be described by the existence of a fixed point for a suitable map. Therefore, study of such mappings and fixed point results becomes well motivated in the setting of intuitionistic fuzzy normed linear spaces (IFNLSs) as well. In this paper, we define some new contraction mappings and establish fixed point theorems in a complete IFNLS. Our results unify and generalize several classical results existing in the literature.


1980 ◽  
Vol 23 (3) ◽  
pp. 347-354 ◽  
Author(s):  
Robert H. Lohman

AbstractThe geometric notions of a gap and gap points between “concentric” spheres in a normed linear space are introduced and studied. The existence of gap points characterizes finitedimensional spaces. General conditions are given under which an infinite-dimensional normed linear space admits concentric spheres such that both these spheres and their dual spheres fail to have gap points.


2013 ◽  
Vol 11 (7) ◽  
Author(s):  
Hiroyasu Mizuguchi ◽  
Kichi-Suke Saito ◽  
Ryotaro Tanaka

AbstractRecently, Jiménez-Melado et al. [Jiménez-Melado A., Llorens-Fuster E., Mazcuñán-Navarro E.M., The Dunkl-Williams constant, convexity, smoothness and normal structure, J. Math. Anal. Appl., 2008, 342(1), 298–310] defined the Dunkl-Williams constant DW(X) of a normed linear space X. In this paper we present some characterizations of this constant. As an application, we calculate DW(ℓ2-ℓ∞) in the Day-James space ℓ2-ℓ∞.


1971 ◽  
Vol 12 (3) ◽  
pp. 301-308 ◽  
Author(s):  
M. Edelstein ◽  
J. E. Lewis

Let S be a nonempty subset of a normed linear space E. A point s0 of S is called a farthest point if for some x ∈ E, . The set of all farthest points of S will be denoted far (S). If S is compact, the continuity of distance from a point x of E implies that far (S) is nonempty.


Author(s):  
Sahil Gupta ◽  
T. D. Narang

The paper deals with strong proximinality in normed linear spaces. It is proved that in  a compactly locally uniformly rotund Banach space, proximinality, strong proximinality, weak approximative compactness and  approximative compactness are all equivalent for closed convex sets. How strong proximinality can be transmitted to and from quotient spaces has also been discussed.


2020 ◽  
Vol 55 (3) ◽  
Author(s):  
Maiada Nazar Mohammedali ◽  
Raghad Ibraham Sabri ◽  
Mohammed Rasheed ◽  
Suha Shihab

In the present work, our goal is to define the Cartesian product of two generalized normed spaces depending on the notion of generalized normed space. It is a background to state and prove that the Cartesian product of two complete generalized normed spaces is also a complete generalized normed space. Furthermore, the definition of the pseudo-generalized normed space is introduced and essential concepts related to this space are discussed and proved.


2019 ◽  
Vol 27 (1) ◽  
pp. 15-23
Author(s):  
Kazuhisa Nakasho

Summary The main aim of this article is proving properties of bilinear operators on normed linear spaces formalized by means of Mizar [1]. In the first two chapters, algebraic structures [3] of bilinear operators on linear spaces are discussed. Especially, the space of bounded bilinear operators on normed linear spaces is developed here. In the third chapter, it is remarked that the algebraic structure of bounded bilinear operators to a certain Banach space also constitutes a Banach space. In the last chapter, the correspondence between the space of bilinear operators and the space of composition of linear opearators is shown. We referred to [4], [11], [2], [7] and [8] in this formalization.


Sign in / Sign up

Export Citation Format

Share Document