線形変換の定義、性質、および演算則