リー代数表現、線形表現、行列表現の定義