In particular,  im ( i d X − T ) {\displaystyle \operatorname {im} \,(id_{X}-T)}   is closed.
特别地， im ( i d X − T ) {\displaystyle \operatorname {im} \,(id_{X}-T)} 是闭的。