WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

LowerTriangularMatrixQ[m]

m が下三角行列の場合はTrueを，それ以外の場合はFalseを返す．

LowerTriangularMatrixQ[m,k]

m が下の第 k 対角から始まる下三角行列の場合はTrueを，それ以外の場合はFalseを返す．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
基本的な用法  
特殊行列  
オプション  
Tolerance  
アプリケーション  
特性と関係  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

LowerTriangularMatrixQ

LowerTriangularMatrixQ[m]

m が下三角行列の場合はTrueを，それ以外の場合はFalseを返す．

LowerTriangularMatrixQ[m,k]

m が下の第 k 対角から始まる下三角行列の場合はTrueを，それ以外の場合はFalseを返す．

詳細とオプション

  • LowerTriangularMatrixQ[m,k]は m が正方行列ではなくても使うことができる．
  • LowerTriangularMatrixQ[m,k]における正の k は主対角の上を示し，負の k は主対角の下を示す．
  • LowerTriangularMatrixQは，SparseArrayオブジェクトおよび構造配列オブジェクトに使うことができる．
  • 次は，使用可能なオプションである．
  • Tolerance Automatic使用する数値許容範囲
  • 近似行列については，オプションTolerance->t を使ってAbs[mij]≤t であるすべての成分を0とみなすことができる． »

例題

すべて開く すべて閉じる

例  (3)

行列が下三角行列かどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | - | - | - | | a | 0 | 0 | | b | c | 0 | | d | e | f |⁠)]
Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | - | - | - | | 1 | 2 | 3 | | 4 | 5 | 6 | | 7 | 8 | 9 |⁠)]

行列が最初の上対角要素から始まる下三角行列かどうかを調べる：

Wolfram Language code: MatrixForm[{{1, 2, 0}, {3, 4, 5}, {6, 7, 8}}]
Wolfram Language code: LowerTriangularMatrixQ[%, 1]

行列が最初の下対角要素から始まる下三角行列かどうかを調べる：

Wolfram Language code: MatrixForm[{{0, 0, 0}, {1, 0, 0}, {2, 3, 0}}]
Wolfram Language code: LowerTriangularMatrixQ[%, -1]

スコープ  (12)

基本的な用法  (8)

矩形行列について調べる：

Wolfram Language code: (mat23 = {{1, 0, 0}, {2, 3, 0}})//MatrixForm
Wolfram Language code: LowerTriangularMatrixQ[mat23]
Wolfram Language code: (mat32 = {{1, 0}, {2, 3}, {4, 5}})//MatrixForm
Wolfram Language code: LowerTriangularMatrixQ[mat32]

記号行列を調べる：

Wolfram Language code: LowerTriangularMatrixQ[{{a, b}, {c, d}}]

b=0のとき，この行列は下三角行列である：

Wolfram Language code: LowerTriangularMatrixQ[{{a, b}, {c, d}} /. b -> 0]

実数の機械数の行列が下三角行列かどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[{{1.5, 0, 0}, {2.2, 3.1, 0}, {4.7, 5.2, 6.4}}]

複素行列が下三角行列かどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[{{1. + I, 0, 0}, {2 - I, 3 I, 0}, {4, 5I, 6}}]

厳密行列が下三角行列かどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[{{1, Sqrt[2]}, {Pi, 1 / 2}}]

任意精度行列を調べる：

Wolfram Language code: LowerTriangularMatrixQ[N[{{1, 0}, {Pi, 1 / 2}}, 20]]

行列が主対角の下の特定の対角から始めて非零要素を持つかどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | -- | | 1 | 2 | 3 | 0 | | 5 | 6 | 7 | 8 | | 9 | 10 | 11 | 12 | | 13 | 14 | 15 | 16 |⁠), 1]
Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | -- | | 1 | 2 | 3 | 0 | | 5 | 6 | 7 | 8 | | 9 | 10 | 11 | 12 | | 13 | 14 | 15 | 16 |⁠), 2]

この行列は下三角行列ではない点に注意のこと：

Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | -- | | 1 | 2 | 3 | 0 | | 5 | 6 | 7 | 8 | | 9 | 10 | 11 | 12 | | 13 | 14 | 15 | 16 |⁠)]

行列が対角の下の特定の対角から始めて非零要素を持つかどうか調べる：

Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | - | | 0 | 0 | 0 | 0 | | 5 | 0 | 0 | 0 | | 9 | 10 | 0 | 0 | | 13 | 14 | 15 | 0 |⁠), -1]
Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | - | | 0 | 0 | 0 | 0 | | 5 | 0 | 0 | 0 | | 9 | 10 | 0 | 0 | | 13 | 14 | 15 | 0 |⁠), -2]

この行列は下三角行列である点に注意のこと：

Wolfram Language code: LowerTriangularMatrixQ[(⁠| | | | | | -- | -- | -- | - | | 0 | 0 | 0 | 0 | | 5 | 0 | 0 | 0 | | 9 | 10 | 0 | 0 | | 13 | 14 | 15 | 0 |⁠)]

特殊行列  (4)

疎な行列を調べる：

Wolfram Language code: mat = SparseArray[{{1, 1} -> 2, {2, 1} -> 1, {3, 2} -> 5}, {3, 3}]
Wolfram Language code: LowerTriangularMatrixQ[mat]

構造化行列を調べる：

Wolfram Language code: SymmetrizedArray[{{1, 1} -> 2, {2, 1} -> 1}, {2, 2}, Symmetric[All]]
Wolfram Language code: LowerTriangularMatrixQ[%]
Wolfram Language code: QuantityArray[{{0, 0}, {3, 0}, {5, 6}}, {"Meters", "Seconds"}]
Wolfram Language code: LowerTriangularMatrixQ[%]

恒等行列は下三角行列である：

Wolfram Language code: LowerTriangularMatrixQ[IdentityMatrix[5]]

ヒルベルト(Hilbert)行列は下三角行列ではない：

Wolfram Language code: LowerTriangularMatrixQ[HilbertMatrix[3]]

オプション  (1)

Tolerance  (1)

この行列は下三角行列ではない：

Wolfram Language code: m = {{1., 10 ^ -12, 0}, {2., 3., 10 ^ -13}, {4., 5., 6.}}; LowerTriangularMatrixQ[m]

Toleranceオプションを加えて10-12未満の数が0であるとみなす：

Wolfram Language code: LowerTriangularMatrixQ[m, Tolerance -> 10 ^ -12]

アプリケーション  (1)

JordanDecompositionは，相似変換 m=s.j.TemplateBox[{s}, Inverse]を介して，任意の行列を上三角行列に関連付ける：

Wolfram Language code: m = {{1, 0, 0, 0}, {0, 1, 0, 0}, {1, -1, 1, 0}, {1, -1, 1, 1}}; {s, j} = JordanDecomposition[m];

3つの行列を可視化する：

Wolfram Language code: MatrixForm /@ {m, j, s}

ジョルダン行列が上三角行列で，もとの行列の相似行列であることを確かめる：

Wolfram Language code: {UpperTriangularMatrixQ[j], m == s.j.Inverse[s]}

行列 は，そのジョルダン行列 が下三角行列でもあるときかつそのときに限り，対角化可能である：

Wolfram Language code: {LowerTriangularMatrixQ[j], DiagonalizableMatrixQ[m]}

特性と関係  (9)

LowerTriangularMatrixQは，行列ではない入力に対してはFalseを返す：

Wolfram Language code: LowerTriangularMatrixQ[1]
Wolfram Language code: LowerTriangularMatrixQ[{}]

次元{n,0}の行列は下三角行列である：

Wolfram Language code: LowerTriangularMatrixQ[{{}, {}}]

LowerTriangularizeはLowerTriangularMatrixQである行列を返す：

Wolfram Language code: LowerTriangularMatrixQ[LowerTriangularize[{{a, b}, {c, d}}]]

下三角行列の逆行列は下三角行列である：

Wolfram Language code: mat = LowerTriangularize[RandomInteger[{1, 10}, {5, 5}]];
Wolfram Language code: LowerTriangularMatrixQ[Inverse[mat]]

このことは，任意のベキ乗および関数に拡張できる：

Wolfram Language code: LowerTriangularMatrixQ[MatrixPower[mat, n]]
Wolfram Language code: LowerTriangularMatrixQ[MatrixFunction[f, mat]]

2つ（あるいはそれ以上）の下三角行列の積は下三角行列である：

Wolfram Language code: m1 = LowerTriangularize[RandomReal[1., {5, 5}]]; m2 = LowerTriangularize[RandomReal[1., {5, 5}]];
Wolfram Language code: LowerTriangularMatrixQ[m1.m2]

三角行列の行列式は対角成分の積に等しい：

Wolfram Language code: m = LowerTriangularize[RandomReal[1., {5, 5}]];
Wolfram Language code: LowerTriangularMatrixQ[m]
Wolfram Language code: Det[m] == Apply[Times, Diagonal[m]]

三角行列の固有値はその対角成分に等しい：

Wolfram Language code: m = LowerTriangularize[RandomReal[1., {5, 5}]];
Wolfram Language code: LowerTriangularMatrixQ[m]
Wolfram Language code: Eigenvalues[m] == Reverse@Sort@Diagonal[m]

LowerTriangularMatrixQ[m,0]はLowerTriangularMatrixQ[m]に等しい：

Wolfram Language code: {LowerTriangularMatrixQ[{{1, 0}, {0, 2}}], LowerTriangularMatrixQ[{{1, 0}, {0, 2}}, 0]}
Wolfram Language code: {LowerTriangularMatrixQ[{{1, 3}, {4, 2}}], LowerTriangularMatrixQ[{{1, 3}, {4, 2}}, 0]}

行列は，その転置が対角 から始まる上三角行列であるときかつそのときに限り，対角 から始まる下三角行列である：

Wolfram Language code: k = RandomInteger[{-2, 2}]; m = LowerTriangularize[RandomReal[1., {5, 5}], k];
Wolfram Language code: LowerTriangularMatrixQ[m, k] == UpperTriangularMatrixQ[Transpose[m], -k]
Wolfram Research (2019), LowerTriangularMatrixQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html.

テキスト

Wolfram Research (2019), LowerTriangularMatrixQ, Wolfram言語関数， https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html.

CMS

Wolfram Language. 2019. "LowerTriangularMatrixQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html.

APA

Wolfram Language. (2019). LowerTriangularMatrixQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html

BibTeX

@misc{reference.wolfram_2026_lowertriangularmatrixq, author="Wolfram Research", title="{LowerTriangularMatrixQ}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html}", note=[Accessed: 01-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_lowertriangularmatrixq, organization={Wolfram Research}, title={LowerTriangularMatrixQ}, year={2019}, url={https://reference.wolfram.com/language/ref/LowerTriangularMatrixQ.html}, note=[Accessed: 01-September-2026]}