有界逆写像定理
数学の分野における有界逆写像定理（ゆうかいぎゃくしゃぞうていり、）は、バナッハ空間上の有界線形作用素の理論における一つの結果で、あるバナッハ空間から別のバナッハ空間への全単射な有界線形作用素 "T" には有界な逆 "T"−1 が存在する、ということを述べた定理である。開写像定理や閉グラフ定理と同値である。
ここで考える空間はバナッハ空間でなければならない。反例として、ゼロでない成分が有限個であるような数列 "x" : N → R からなる空間 "X" を考える（そのノルムは上限ノルムで与えられるものとする）。作用素 "T" : "X" → "X" を
で定義すると、これは有界、線形、可逆であるが "T"−1 は非有界となる。しかしこれは有界逆写像定理とは矛盾しない。なぜならば "X" は完備でなく、したがってバナッハ空間ではないからである。実際に完備でないことを確かめるために、
によって与えられる数列 "x"("n") ∈ "X" からなる列を考える。それは "n" → ∞ に対して数列
へと収束するが、この（無限個の）全ての成分がゼロでないため、これは "X" には含まれない。したがって "X" は完備ではない。
"X" の完備化は、ゼロに収束するような全ての数列からなる空間 formula_4 である（この空間は、全ての有界数列からなるようなℓ"p"空間 ℓ∞(N) の（閉）部分空間である）。この場合、作用素 "T" が全射でなく、したがって全単射ではない。このことを確かめるための簡単な例を挙げる。数列
は formula_4 の元であるが、formula_7 の値域には含まれない。したがって "T" は全射ではない。