関数解析学
数学の関数解析学の分野において、あるヒルベルト空間からある部分空間 "K" への線型作用素 "T" の圧縮（あっしゅく、）とは、次の作用素のことを言う。