이거 증명하려고 하다보니까 수반연산자가 존재한다는 의미를 먼저 알아야될것같은데

선형연산자가 존재한다는게 모든 정의역에서 함숫값이 있다는건가요? 선형을 유지하면서??