Các lý thuyết phổ, III, p. 123
Cho E và F là các không gian Banach và cho u là một phần tử của QM(E;F) (tương ứng của QE(E;F)). Cho h là một phần tử của L(E;F). Giả sử tồn tại các số thực dương a và b sao cho a+b((u))−1<1 sao cho
∥h(x)∥⩽a∥u(x)∥+b∥x∥(2)
với mọi x∈E.
Chứng minh rằng u+h∈QM(E;F) (tương ứng u+h∈QE(E;F)) và
dim Ker(u+h)⩽ dim Ker(u),
dim Coker(u+h)⩽ dim Coker(u),
ind(u+h) = ind(u).
(Rút gọn về trường hợp a và b là >0 và cho c>0 sao cho a+b/c<1; xét chuẩn p trên E được xác định bởi
p(x)=a∥u(x)∥+b∥x∥ với x∈E,
và E1 là không gian Banach E được trang bị chuẩn p; ta có QM(E1;F)=QM(E;F), QE(E1;F)=QE(E;F) và L(E1;F)=L(E;F). Áp dụng khi đó bổ đề 2 của III, p. 62.)
Không có.
Không có.