@MISC{SEQFUNC2.MIZ,
  AUTHOR = {Yamazaki, Hiroshi},
  TITLE = {Functional Sequence in Norm Space},
  SECTION1 = {Preliminaries},
  SECTION2 = {Pointwise convergence},
  SECTION3 = {Uniform convergence and limit of functional sequence},
  DAY = {25},
  MONTH = {October},
  YEAR = {2020},
  ADDRESS1 = {Nagano Prefectural Institute of Technology, Nagano, JAPAN},
  SUMMARY = {In this article, we formalize functional sequences and basic operations 
  on functional sequences in norm space. In the first section, we define functional sequence in 
  norm space. In the second section, we define pointwise convergence and prove some related theorems. 
  In the last section we define uniform convergence and limit of functional sequence.},
  ACKNOWLEDGEMENT = {I would like to thank Yasunari Shidama for useful advice on formalizing theorems.}}
