Closed range theorem
In the mathematical theory of Banach spaces, the closed range theorem gives necessary and sufficient conditions for a closed densely defined operator to have closed range.
History
The theorem was proved by Stefan Banach in his 1932 Théorie des opérations linéaires.
Statement
Let and be Banach spaces, a closed linear operator whose domain is dense in , and the transpose of . The theorem asserts that the following conditions are equivalent:
- , the range of , is closed in ,
- , the range of , is closed in , the dual of ,
- ,
- .
Where and are the null space of and , respectively.
Corollaries
Several corollaries are immediate from the theorem. For instance, a densely defined closed operator as above has if and only if the transpose has a continuous inverse. Similarly, if and only if has a continuous inverse.
gollark: When have I ever explained things except when I have?
gollark: I could donate some of the amazing* computing power of osmarks.tk™CLOUD™ to this project, if you wanted.
gollark: So, one turn per hour, then.
gollark: Emu War v2 will be a real-time MMO, apparently.
gollark: Make emus in large groups able to do computation somehow? But you'd need infinite emuram.
References
- Banach, Stefan (1932). Théorie des Opérations Linéaires [Theory of Linear Operations] (PDF). Monografie Matematyczne (in French). 1. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Archived from the original (PDF) on 2014-01-11. Retrieved 2020-07-11.CS1 maint: ref=harv (link)
- Yosida, K. (1980), Functional Analysis, Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences), vol. 123 (6th ed.), Berlin, New York: Springer-Verlag.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.