@MISC{LOPBAN_6.MIZ,
  AUTHOR = {Sakurai, Hideki and Kunimune, Hisayoshi and Shidama, Yasunari},
  TITLE = {Open Mapping Theorem},
  SECTION1 = {Preliminaries for Open Mapping Theorem},
  SECTION2 = {Lemma of Open Mapping},
  SECTION3 = {Open Mapping Theorem},
  DAY = {23},
  MONTH = {September},
  YEAR = {2008},
  ADDRESS1 = {Shinshu University\\4-17-1 Wakasato, Nagano, Japan},
  ADDRESS2 = {Shinshu University\\4-17-1 Wakasato, Nagano, Japan},
  ADDRESS3 = {Shinshu University\\4-17-1 Wakasato, Nagano, Japan},
  SUMMARY = {In this article we formalize one of the most important
             theorems of linear operator theory the Open Mapping Theorem
             commonly used in a standard text book such as \cite{miyadera:1972}
               in chapter 2.4.2.
             It states that a surjective continuous linear
             operator between Banach spaces is an open map.}}

@BOOK{miyadera:1972,
 AUTHOR={Isao Miyadera},
 TITLE={Functional Analysis},
 PUBLISHER={Riko-Gaku-Sya},
 YEAR=1972}

@BOOK{yoshida:1980,
 AUTHOR={Kosaku Yoshida},
 TITLE={Functional Analysis},
 PUBLISHER={Springer},
 YEAR=1980}

@BOOK{Dunford:1958,
 AUTHOR={N.Dunford J and T.Schwartz},
 TITLE={Linear operators I},
 PUBLISHER={Interscience Publ.},
 YEAR=1958}
