矩陣分解引理