@MISC{MESFUN7C.MIZ,
  AUTHOR = {Narita, Keiko and Endou, Noboru and Shidama, Yasunari},
  TITLE = {The Measurability of Complex-Valued Functional Sequences},
  SECTION1 = {Real-Valued Functional Sequences},
  SECTION2 = {The Measurability of Complex-Valued Functional Sequences},
  SECTION3 = {Selected Properties of Complex-Valued Measurable Functions},
  SECTION4 = {Properties of Complex-Valued Simple Functions},
  DAY = {16},
  MONTH = {December},
  YEAR = {2008},
  ADDRESS1 = {Hirosaki-city\\ Aomori, Japan},
  ADDRESS2 = {Gifu National College of Technology\\ Japan},
  ADDRESS3 = {Shinshu University\\ Nagano, Japan},
  SUMMARY = {In this article, we formalized the measurability of 
  complex-valued functional sequences. First, we proved the 
  measurability of the limits of real-valued functional sequences. 
  Next, we defined complex-valued functional sequences dividing 
  real part into imaginary part. Then using the former 
  theorems, we proved the measurability of each part. Lastly, 
  we proved the measurability of the limits of complex-valued 
  functional sequences. We also showed several properties of 
  complex-valued measurable functions. 
  In addition, we proved properties of complex-valued simple functions.}}

