Multilinear Operator and Its Basic Properties
暂无分享,去创建一个
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.
[1] Adam Grabowski,et al. On algebraic hierarchies in mathematical repository of Mizar , 2016, 2016 Federated Conference on Computer Science and Information Systems (FedCSIS).
[2] L. Schwartz. Théorie des ensembles et topologie , 1991 .
[3] The Sum and Product of Finite Sequences of Real Numbers , 1990 .
[4] Marco Riccardi,et al. Pocklington's Theorem and Bertrand's Postulate , 2006 .