*定義 [#sae00782]
-Let X and Y be Banach spaces. A linear operator T:X→Y is called compact if T takes bounded sets in X into precompact sets in Y.

*性質 [#m03fec69]

*出典 [#v63583bf]
-どこにでも載ってる。