Open Mapping Theorem

Open Mapping Theorem

Bibliographic Details
Main Authors:	Sakurai Hideki, Kunimune Hisayoshi, Shidama Yasunari
Format:	Article
Language:	English
Published:	Sciendo 2008-01-01
Series:	Formalized Mathematics
Online Access:	https://doi.org/10.2478/v10037-008-0048-5

Similar Items

Uniform Boundedness Principle
by: Sakurai Hideki, et al.
Published: (2008-01-01)

Banach’s Continuous Inverse Theorem and Closed Graph Theorem
by: Sakurai Hideki, et al.
Published: (2012-12-01)

Implicit Function Theorem. Part II
by: Nakasho Kazuhisa, et al.
Published: (2019-07-01)

Egoroff's Theorem
by: Endou Noboru, et al.
Published: (2008-01-01)

F. Riesz Theorem
by: Narita Keiko, et al.
Published: (2017-10-01)

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
by: Ishida Kazuhisa, et al.
Published: (2010-01-01)

Isomorphism Theorem on Vector Spaces over a Ring
by: Futa Yuichi, et al.
Published: (2017-10-01)

The Lebesgue Monotone Convergence Theorem
by: Endou Noboru, et al.
Published: (2008-01-01)

Hopf Extension Theorem of Measure
by: Endou Noboru, et al.
Published: (2009-01-01)

The First Mean Value Theorem for Integrals
by: Narita Keiko, et al.
Published: (2008-01-01)

Fatou's Lemma and the Lebesgue's Convergence Theorem
by: Endou Noboru, et al.
Published: (2008-01-01)

Dual Spaces and Hahn-Banach Theorem
by: Narita Keiko, et al.
Published: (2014-03-01)

Implicit Function Theorem. Part I
by: Nakasho Kazuhisa, et al.
Published: (2017-12-01)

The Orthogonal Projection and the Riesz Representation Theorem
by: Narita Keiko, et al.
Published: (2015-09-01)

Lebesgue's Convergence Theorem of Complex-Valued Function
by: Narita Keiko, et al.
Published: (2009-01-01)

The Basic Existence Theorem of Riemann-Stieltjes Integral
by: Nakasho Kazuhisa, et al.
Published: (2016-12-01)

Definition of Flat Poset and Existence Theorems for Recursive Call
by: Ishida Kazuhisa, et al.
Published: (2014-03-01)

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
by: Endou Noboru, et al.
Published: (2006-01-01)

Contracting Mapping on Normed Linear Space
by: Miyajima Keiichi, et al.
Published: (2012-12-01)

The Open Mapping Theorem for Analytic Functions and some applications
by: Ström, David
Published: (2006)

Differentiable Functions on Normed Linear Spaces
by: Shidama Yasunari
Published: (2012-01-01)

The Riemann mapping theorem
by: Smith, Sylvester T.
Published: (1960)

Overcoming Asia's currency and financial crises : a theoretical investigation
by: Kunimune, Kozo
Published: (2011)

GENERALIZATIONS OF KY FAN'S MATCHING　THEOREMS AND KKM-MAP THEOREMS
by: Ping-Jen Chen, et al.
Published: (1993)

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
by: Okazaki Hiroyuki, et al.
Published: (2008-01-01)

Model Checking. Part III
by: Ishida Kazuhisa, et al.
Published: (2008-01-01)

Introduction to Matroids
by: Bancerek Grzegorz, et al.
Published: (2008-01-01)

Integral of Real-Valued Measurable Function1
by: Shidama Yasunari, et al.
Published: (2006-01-01)

Integral of Measurable Function1
by: Endou Noboru, et al.
Published: (2006-01-01)

Riemann Integral of Functions from R into Rn
by: Miyajima Keiichi, et al.
Published: (2009-01-01)

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
by: Okazaki Hiroyuki, et al.
Published: (2010-01-01)

Formalization of the Data Encryption Standard
by: Okazaki Hiroyuki, et al.
Published: (2012-12-01)

Probability on Finite Set and Real-Valued Random Variables
by: Okazaki Hiroyuki, et al.
Published: (2009-01-01)

Continuity of Multilinear Operator on Normed Linear Spaces
by: Nakasho Kazuhisa, et al.
Published: (2019-04-01)

Preface
by: Grabowski Adam, et al.
Published: (2014-06-01)

Differentiation in Normed Spaces
by: Endou Noboru, et al.
Published: (2013-06-01)

Random Variables and Product of Probability Spaces
by: Okazaki Hiroyuki, et al.
Published: (2013-01-01)

Embedded Lattice and Properties of Gram Matrix
by: Futa Yuichi, et al.
Published: (2017-03-01)

Dual Lattice of ℤ-module Lattice
by: Futa Yuichi, et al.
Published: (2017-07-01)

Divisible ℤ-modules
by: Futa Yuichi, et al.
Published: (2016-03-01)