Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 https:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=111.188.3.176miniwiki - 利用者の投稿記録 [ja]2024-06-05T13:34:40Z利用者の投稿記録MediaWiki 1.31.0三角行列2017-08-25T03:21:17Z<p>111.188.3.176: /* 冪零三角行列 */</p>
<hr />
<div>{{出典の明記|date=2017年8月}}<br />
[[File:Cyclic group Z4; Cayley table; powers of Gray code permutation (small).svg|thumb|[[Logical matrix|Binary]] lower unitriangular [[Toeplitz matrix|Toeplitz]] matrices, multiplied using [[Finite field|'''F'''<sub>2</sub>]] operations<br>They form the [[Cayley table]] of [[cyclic group|Z<sub>4</sub>]] and correspond to [[v:Gray code permutation powers#4 bit|powers of the 4-bit Gray code permutation]].]]<br />
<br />
[[数学]]の一分野[[線型代数学]]における'''三角行列'''（さんかくぎょうれつ、{{lang-en-short|''triangular matrix''}}）は特別な種類の[[正方行列]]である。正方行列が '''{{vanc|下半三角}}'''または'''{{vanc|下三角}}'''であるとは[[主対角線]]より「上」の成分がすべて零となるときに言い、同様に'''{{vanc|上半三角}}'''または'''{{vanc|上三角}}'''とは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は[[対角行列]]と呼ぶ。<br />
<br />
三角行列に関する行列方程式は解くことが容易であるから、それは[[数値解析]]において非常に重要である。[[LU分解]]アルゴリズムにより、[[正則行列]]が下半三角行列 {{mvar|L}} と上半三角行列 {{mvar|U}} との積 {{mvar|LU}} に書くことができるための[[必要十分条件]]は、その行列の首座[[小行列式]] (leading principal minor) がすべて非零となることである。<br />
<br />
== 定義と簡単な性質 ==<br />
'''下三角行列'''または'''左三角行列'''は <math display="block"> L=\begin{pmatrix}<br />
\ell_{1,1} & & & & 0 \\<br />
\ell_{2,1} & \ell_{2,2} & & & \\<br />
\ell_{3,1} & \ell_{3,2} & \ddots & & \\<br />
\vdots & \vdots & \ddots & \ddots & \\<br />
\ell_{n,1} & \ell_{n,2} & \dotsb & \ell_{n,n-1} & \ell_{n,n}<br />
\end{pmatrix}</math> なる形に書ける行列を言い、同様に'''上三角行列'''または'''右三角行列'''は <math display="block"> U =\begin{pmatrix}<br />
u_{1,1} & u_{1,2} & u_{1,3} & \ldots & u_{1,n}\\<br />
& u_{2,2} & u_{2,3} & \ldots & u_{2,n}\\<br />
& & \ddots & \ddots & \vdots \\<br />
& & & \ddots & u_{n-1,n}\\<br />
0 & & & & u_{n,n}<br />
\end{pmatrix}</math> の形に書けるものをいう。ここで用いたような、下三角行列を変数 {{mvar|L}}（'''l'''eft or '''l'''ower の略）や上三角行列を変数 {{mvar|U}}（'''u'''pper の略）または {{mvar|R}}（'''r'''ight の略）で表す用法が一般的にしばしば用いられる。<br />
<br />
上半かつ下半三角な行列は[[対角行列]]といい、また三角行列に[[行列の相似|相似]]な行列は'''三角化可能'''であると言う。<br />
<br />
上三角（resp. 下三角）であるという性質は様々な行列演算に関して保たれる: <br />
* 二つの上（resp. 下）三角[[行列の和]]は上（resp. 下）三角行列である;<br />
* 二つの上（resp. 下）三角[[行列の積]]は上（resp. 下）三角行列である; <br />
* 正則上（resp. 下）三角行列の[[逆行列]]は上（resp. 下）三角である;<br />
* 上（resp. 下）三角のスカラー倍は上（resp. 下）三角である。<br />
<br />
これらの事実により、与えられたサイズの上（resp. 下）三角行列の全体は、同じサイズの[[正方行列]]の成す[[結合多元環]]（[[行列環]]）の[[部分多元環]]を成すことがわかる。さらに加えて、[[リー括弧積]]を[[交換子]] {{math|{{bracket|''A'', ''B''}} {{coloneqq}} ''AB'' &minus; ''BA''}} を与えれば、同じサイズの正方行列全体の成す[[リー環]]の部分リー環としても見ることもできる。この上（resp. 下）三角行列全体の成すリー環は[[可解リー環]]であり、またしばしば全行列リー環の{{ill2|ボレル部分リー環|en|Borel subalgebra}}とも呼ばれる。<br />
<br />
上記の記述においては下半と上半を混ぜた演算を行ってはならない（その場合、一般には三角行列にならない）。例えば上三角行列と下三角行列の和は任意の行列となり得るし、下三角行列と上三角行列との積も三角行列でないものになり得る。<br />
{{see also|アフィン群}}<br />
<br />
== 特別なクラス ==<br />
=== 冪単三角行列 ===<br />
主対角成分が全て {{math|1}} の三角行列は'''単三角行列''' (''uni&shy;triangular'') という{{efn|'''単位三角行列''' (''unit triangular'') とか正規化された (''normed triangular'') などともいうが、単位三角行列は単位行列ではないし、正規化された三角行列は[[行列ノルム|ノルム化された]]わけでもない}}。単位行列は上半単三角かつ下半単三角なる唯一の行列である。<br />
<br />
任意の単三角行列は[[冪単]]である。上（resp. 下）単三角行列全体の成す集合は[[リー群]]を成す。<br />
<br />
=== 冪零三角行列 ===<br />
主対角成分が全て零の三角行列は'''狭義'''三角行列であるという。任意の狭義三角行列は[[冪零行列]]であり、上（resp. 下）三角行列全体の成す集合は[[冪零リー環]] <math display="inline">\mathfrak{n}</math> を成す。このリー環はすべての上（resp. 下）三角行列全体の成すリー環 <math display="inline">\mathfrak{b}</math> の[[導来リー環]]: <math display="inline">\mathfrak{n} = [\mathfrak{b},\mathfrak{b}]</math> であり、かつこのリー環 <math display="inline">\mathfrak{n}</math> は上（resp. 下）単三角行列全体の成すリー群のリー環である。<br />
<br />
実は[[エンゲルの定理]]により、任意の有限次元冪零リー環は狭義上三角行列からなる部分リー環に共軛、すなわち任意の有限次元冪零リー環は狭義上三角行列に同時三角化可能である。<br />
<br />
=== フロベニウス行列 ===<br />
{{main|{{ill2|フロベニウス行列|en|Frobenius matrix}}}}<br />
単三角行列が'''原子的''' (''atomic''; アトミック) とは、ただ一つの列を除いて非対角成分が全て零であるときに言う。そのような行列を'''フロベニウス行列'''や'''ガウス行列'''（ガウス変換行列）などとも呼ぶ。つまり、下半フロベニウス行列は <math display="block"> \mathbf{L}_{i} =<br />
\begin{pmatrix}<br />
1 & & & & & & & 0 \\<br />
0 & \ddots & & & & & & \\<br />
& \ddots & 1 & & & & & \\<br />
& & 0 & 1 & & & & \\<br />
\vdots & & &\ell_{i+1,i}& 1 & & & \\<br />
& & \vdots & \vdots & 0 & \ddots & & \\<br />
& & & \vdots & \vdots & \ddots & 1 & \\<br />
0 & \dotsb & 0 &\ell_{n,i} & 0 & \dotsb & 0 & 1<br />
\end{pmatrix}<br />
</math> という形をしている。フロベニウス行列の逆行列はふたたびフロベニウスで、もとのフロベニウス行列の非対角成分をすべて符号反転したものによって与えられる。<br />
<br />
== 特徴的な性質 ==<br />
[[正規行列|正規]]三角行列は[[対角行列]]である。これは正規三角行列 {{mvar|A}} に対して {{mvar|A*A}} および {{mvar|AA*}} の対角成分を見ればわかる。<br />
<br />
上三角行列の[[転置行列]]は下三角であり、下三角の転置は上三角である。<br />
<br />
三角行列の[[行列式]]は対角成分の積である。任意の三角行列 {{mvar|A}} に対して {{math|''λI'' &minus; ''A''}} もまた三角行列で、その行列式は {{mvar|A}} の[[固有多項式]]であるから、実は {{mvar|A}} の対角成分の全体は {{mvar|A}} の[[固有値]]全体の成す[[多重集合]]を与える（重複度 {{mvar|m}} の固有値はちょうど {{mvar|m}} 個が対角成分に現れる）{{sfn|Axler|1996|pages=86&ndash;87, 169}}。<br />
<br />
== 一般化 ==<br />
上三角行列全体の成す集合は[[結合多元環]]を成すのであった。これは[[函数解析学]]において[[ヒルベルト空間]]上の{{ill2|nest algebra|en|nest algebra}}に一般化される。<br />
<br />
主対角線の上（resp. 下）の成分が全て零の非正方行列は、その非零成分が[[台形]]に並ぶから、下（resp. 上）台形行列と呼ばれる。<br />
<br />
=== ボレル部分群とボレル部分環 ===<br />
{{main|{{ill2|ボレル部分群|en|Borel subgroup}}|{{ill2|ボレル部分環|en|Borel subalgebra}}}}<br />
上（resp. 下）正則三角行列全体の成す集合は[[群 (数学)|群]]、実際には[[リー群]]を成し、正則行列全体の成す[[一般線型群]]の部分群となる。三角行列が可逆となるのはちょうどすべての対角成分が可逆つまり非零となるときであることに注意する。<br />
<br />
実係数で考えれば、この群は非連結で、各対角成分が正または負となることに応じて {{math|2{{exp|''n''}}}} 個の連結成分を持つ。単位成分は対角成分が全て正の正則三角行列全体に等しく、また正則三角行列全体の成す群はこの単位成分の群と対角線上に {{math|±1}} が（各連結成分に対応して）並ぶ対角成分との[[半直積]]になる。<br />
<br />
正則上三角行列全体の成すリー群に付随する[[リー環]]は、必ずしも正則でない上三角行列全体の成す集合であり、それは[[可解リー環]]である。これらはそれぞれ、一般線型リー群 {{mvar|GL{{sub|n}}}} の標準[[ボレル部分群]] {{mvar|B}} および、一般線型リー環 <math display="inline">\mathfrak{gl}_n</math> の標準[[ボレル部分リー環]]と呼ばれる。<br />
<br />
上三角行列はちょうど{{ill2|旗 (線型代数学)|en|Flag (linear algebra)|label=標準旗}}を固定する行列である。そのなかで正則三角行列の全体は一般線型群の部分群として、その共軛部分群が適当な完全旗 (complete frag) の固定群として定義されるような群である。これらの部分群は[[ボレル部分群]]<ref>{{nlab|id=Borel+subgroup|title=Borel subgroup}}</ref>と総称される。正則下三角行列全体の成す群がそのような群であることは、それが標準基底を逆順にしたものに対応する標準旗の固定部分群となることからわかる。<br />
<br />
標準旗の適当な部分を忘れて得られる部分旗の固定部分群は、区分行列として上三角な（つまり各区分は上三角であるとは限らない）行列の成す集合として記述することができる。そのような部分群の共軛は適当な部分旗の固定部分群として定義される。これらの部分群を{{ill2|放物型部分群|en|parabolic subgroup}}<ref>{{nlab|id=parabolic+subgroup|title=parabolic subgroup}}</ref>と総称する。<br />
<br />
例えば、二次の上単三角行列全体の成す群は係数体の[[加法群]]に[[同型]]である。複素係数の場合にはその群は放物型[[メビウス変換]]からなる群に対応する。三次の上単三角行列の全体は[[ハイゼンベルク群]]を成す<ref>{{nlab|id=Heisenberg+group|title=Heisenberg group}}</ref>。<br />
<br />
== 関連項目 ==<br />
* [[ガウス消去]]<br />
* [[QR分解]]<br />
* [[コレスキー分解]]<br />
* {{ill2|ヘッセンベルク行列|en|Hessenberg matrix}}<br />
* {{ill2|三重対角行列|en|Tridiagonal matrix}}<br />
* [[不変部分空間]]<br />
* {{ill2|三角配列|en|triangular array}}: よく似た概念<br />
* {{ill2|三角行列環|en|triangular matrix ring}}: 二つの環とそれらの上の両側加群の三つ組に対応する要素を持つ三角行列の成す行列環<br />
== 注 ==<br />
=== 注釈 ===<br />
{{notelist}}<br />
=== 出典 ===<br />
{{reflist}}<br />
== 参考文献 ==<br />
{{refbegin}} <br />
* {{Citation | first = Sheldon | last = Axler | title = Linear Algebra Done Right | publisher = Springer-Verlag | year = 1996 | isbn=0-387-98258-2}}<br />
* {{Citation | first1 = M. P. | last1 = Drazin | first2 = J. W. | last2 = Dungey | first3 = K. W. | last3 = Gruenberg | title = Some theorems on commutative matrices | journal = J. London Math. Soc. | volume = 26 | pages = 221–228 | year = 1951 | url = http://jlms.oxfordjournals.org/cgi/pdf_extract/s1-26/3/221 |doi=10.1112/jlms/s1-26.3.221 | issue = 3}}<br />
* {{Citation | first = I. N. | last = Herstein | title=Topics in Algebra | edition=2nd | publisher=John Wiley and Sons | year = 1975 | isbn = 0-471-01090-1}}<br />
* {{Citation | title = Problems and theorems in linear algebra | first = Viktor | last = Prasolov | year = 1994 | url = https://books.google.com/books?id=fuONq1od6nsC&lpg=PP1&dq=victor%20prasolov%20Problems%20and%20theorems%20in%20linear%20algebra&pg=PP1#v=onepage&q&f=false | isbn = 9780821802366 }}<br />
{{refend}}<br />
<br />
{{Numerical linear algebra}}<br />
{{linear algebra}}<br />
== 外部リンク ==<br />
* {{MathWorld|urlname=TriangularMatrix|title=Trianglular Matrix}}<br />
* {{nlab|urlname=triangular+matrix|title=trianglular matrix}}<br />
* {{PlanetMath|urlname=TriangularMatrix|title=trianglular matrix}}<br />
* {{ProofWiki|urlname=Definition:Triangular_Matrix|title=Definition:Trianglular Matrix}}<br />
* {{SpringerEOM|urlname=Triangular_matrix|title=Trianglular matrix|author= Ivanova, O.A.}}<br />
<br />
{{DEFAULTSORT:さんかくきようれつ}}<br />
[[Category:数値線形代数]]<br />
[[Category:行列]]<br />
[[Category:数学に関する記事]]</div>111.188.3.176 Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46