カルトンの部分代数に対する半単純リー代数のルート空間分解