Paper Info
Title
Bilinear Operators on Normed Linear Spaces.
Abstract
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.
Year
DOI
Venue
2019
10.2478/forma-2019-0002
FORMALIZED MATHEMATICS
Keywords
Field
DocType
Lipschitz continuity,bounded linear operator,bilinear operator,algebraic structure,Banach space
Discrete mathematics,Bounded operator,Algebraic structure,Banach space,Pure mathematics,Lipschitz continuity,Operator (computer programming),Mathematics,Bilinear interpolation
Journal
Volume
Issue
ISSN
27
1
1898-9934
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Kazuhisa Nakasho178.59