선형 변환의 정의, 성질 및 연산 규칙