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
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=114.49.6.58&feedformat=atom 2024-05-07T03:45:30Z 利用者の投稿記録 MediaWiki 1.31.0 2017-12-30T09:29:38Z

<p>114.49.6.58: 210.139.108.159 (会話) による ID:66790852 の版を取り消し</p> <hr /> <div>[[線型代数学]]における&#039;&#039;&#039;エルミート行列&#039;&#039;&#039;（エルミートぎょうれつ、{{lang-en-short|&#039;&#039;Hermitian matrix&#039;&#039;}}）または&#039;&#039;&#039;自己随伴行列&#039;&#039;&#039;（じこずいはんぎょうれつ、{{lang-en-short|&#039;&#039;self-adjoint matrix&#039;&#039;}}）は、[[複素数]]に成分をとる[[正方行列]]で自身の[[随伴行列]]（共軛転置）と一致するようなものを言う。エルミート行列は、実[[対称行列]]の複素数に対する拡張版の概念として理解することができる。<br /> <br /> 行列 {{Mvar|A}} の随伴を {{Math|&#039;&#039;A&#039;&#039;&lt;sup&gt;&amp;dagger;&lt;/sup&gt;}} と書くとき、複素行列がエルミートであるということは、<br /> :&lt;math&gt; A = A^\dagger&lt;/math&gt;<br /> が成り立つということであり、これはまた<br /> : &lt;math&gt;A^{\top} = (a_{ji}) = (\bar{a}_{ij}) =\bar{A}&lt;/math&gt;<br /> が成り立つことと同値ゆえ、その成分は任意の添字 {{Math|&#039;&#039;i&#039;&#039;, &#039;&#039;j&#039;&#039;}} について {{Math|(&#039;&#039;i&#039;&#039;, &#039;&#039;j&#039;&#039;)}}-成分は {{Math|(&#039;&#039;j&#039;&#039;,&#039;&#039;i&#039;&#039;)}}-成分の[[複素共軛]]と等しい。<br /> <br /> 随伴行列 {{Math|&#039;&#039;A&#039;&#039;&lt;sup&gt;&amp;dagger;&lt;/sup&gt;}} は {{Math|&#039;&#039;A&#039;&#039;&lt;sup&gt;&amp;lowast;&lt;/sup&gt;}} と書かれるほうが普通だが、{{Math|&#039;&#039;A&#039;&#039;&lt;sup&gt;&amp;lowast;&lt;/sup&gt;}} を複素共軛（本項では {{Math|{{overline|&#039;&#039;A&#039;&#039;}}}} と書いた）の意味で使う文献も多く紛らわしい。<br /> <br /> エルミート行列の名は[[シャルル・エルミート]]に因む。エルミートは[[1855年]]、この種の行列が[[固有値]]が常に実数となるという実対称行列と同じ性質を持つことを示した。<br /> <br /> よく知られた[[パウリ行列]]、[[ゲルマン行列]]および一般化されたそれらはエルミートである。[[理論物理学]]においてそれらのエルミート行列には、しばしば虚数の係数が掛かって&lt;ref&gt;<br /> {{cite book |title=The geometry of physics: an introduction |last=Frankel |first=Theodore |authorlink=Theodore Frankel |year=2004 |publisher=[[ケンブリッジ大学出版局|Cambridge University Press]] |isbn=0-521-53927-7 |page=652 |url=http://books.google.ru/books?id=DUnjs6nEn8wC&amp;lpg=PA652&amp;dq=%22Lie%20algebra%22%20physics%20%22skew-Hermitian%22&amp;pg=PA652#v=onepage&amp;q&amp;f=false }}<br /> &lt;/ref&gt;[[歪エルミート行列]]となる。<br /> <br /> == 性質 ==<br /> * 任意のエルミート行列の[[主対角線|主対角]]成分は、それが自身の複素共軛と一致することから、実数でなければならない。全ての成分が実数であるような行列がエルミートであるのは、それが[[対称行列]]（主対角線に関して全ての成分が対称）となるときであり、かつそのときに限る。実対称行列はエルミート行列の特別の場合である。<br /> * 任意のエルミート行列は[[正規行列]]である。<br /> * 有限次元の[[スペクトル定理]]によれば、任意のエルミート行列は[[ユニタリ行列]]で[[対角化]]して、得られた対角行列の成分がすべて実数となるようにすることができる。これにより、エルミート行列 {{Mvar|A}} の全ての[[固有値]]が実数であり、{{Mvar|A}} が {{mvar|n}} 個の線型独立な[[固有ベクトル]]を持つことがわかる。さらには {{Mvar|A}} の {{Mvar|n}} 個の固有ベクトルからなる {{math|&#039;&#039;&#039;C&#039;&#039;&#039;&lt;sup&gt;&#039;&#039;n&#039;&#039;&lt;/sup&gt;}} の[[正規直交基底]]をとることができる。<br /> * 二つのエルミート行列の和はふたたびエルミートであり、エルミート行列の[[逆行列]]も存在すれば同様にエルミートになる。しかし、二つのエルミート行列 {{math|&#039;&#039;A&#039;&#039;, &#039;&#039;B&#039;&#039;}} に対してそれらの[[行列の積|積]] {{math|&#039;&#039;AB&#039;&#039;}} がエルミートとなるための必要十分条件は {{math|1=&#039;&#039;AB&#039;&#039; = &#039;&#039;BA&#039;&#039;}} となることである。従って、任意の整数 {{Mvar|n}} に対して冪 {{math|&#039;&#039;A&#039;&#039;&lt;sup&gt;&#039;&#039;n&#039;&#039;&lt;/sup&gt;}} は {{math|&#039;&#039;A&#039;&#039;}} がエルミートならばエルミートである。<br /> * {{math|&#039;&#039;n&#039;&#039;&amp;times;&#039;&#039;n&#039;&#039;}} 複素エルミート行列の全体は、[[複素数]]体 {{math|&#039;&#039;&#039;C&#039;&#039;&#039;}} 上の[[ベクトル空間]]を成さない（例えば単位行列 {{math|&#039;&#039;I&#039;&#039;&lt;sub&gt;&#039;&#039;n&#039;&#039;&lt;/sub&gt;}} はエルミートだがそのスカラー {{Mvar|i}}-倍である {{math|&#039;&#039;i&#039;&#039; &#039;&#039;I&#039;&#039;&lt;sub&gt;&#039;&#039;n&#039;&#039;&lt;/sub&gt;}} はエルミートでない）。しかし複素エルミート行列の全体は[[実数]]体 {{Math|&#039;&#039;&#039;R&#039;&#039;&#039;}} 上のベクトル空間には&#039;&#039;&#039;なる&#039;&#039;&#039;。{{math|&#039;&#039;n&#039;&#039;&amp;times;&#039;&#039;n&#039;&#039;}} 複素行列の全体は {{math|&#039;&#039;&#039;R&#039;&#039;&#039;}} 上で {{math|2&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt;}}-[[次元 (線型代数学)|次元]]のベクトル空間であり、その中で複素エルミート行列の全体は {{math|&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt;}}-次元の部分空間を成す。その基底は、[[行列単位]] {{math|&#039;&#039;E&#039;&#039;&lt;sub&gt;&#039;&#039;jk&#039;&#039;&lt;/sub&gt;}}（{{math|(&#039;&#039;j&#039;&#039;,&#039;&#039;k&#039;&#039;)}}-成分が {{math|1}} でそれ以外の成分は全て {{math|0}} であるような {{math|&#039;&#039;n&#039;&#039;&amp;times;&#039;&#039;n&#039;&#039;}}-行列）を用いれば、&lt;div style=&quot;margin: 1ex 2em;&quot;&gt;&lt;math&gt;\begin{cases} E_{jj} &amp; (1\le j\le n) \\ E_{jk}+E_{kj},\,i(E_{jk}-E_{kj}) &amp; (1\le j &lt; k \le n)\end{cases}&lt;/math&gt;&lt;/div&gt; で与えられ、これらの形の基底ベクトルはそれぞれ {{Math|&#039;&#039;n&#039;&#039;, (&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; &amp;minus; &#039;&#039;n&#039;&#039;)/2, (&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; &amp;minus; &#039;&#039;n&#039;&#039;)/2}} 個ずつ存在するから、次元は {{math|&#039;&#039;n&#039;&#039; + (&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; &amp;minus; &#039;&#039;n&#039;&#039;)/2 + (&#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; &amp;minus; &#039;&#039;n&#039;&#039;)/2 {{=}} &#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt;}} であることがわかる。ただし、{{Mvar|i}} は[[虚数単位]]である。<br /> * エルミート行列 {{Mvar|A}} の {{Mvar|n}} 個の正規直交固有ベクトル &lt;math&gt;u_1,\ldots,u_n&lt;/math&gt; を選び、それを列ベクトルとする行列を {{Mvar|U}} と書けば、{{Mvar|A}} の{{仮リンク|行列の固有分解|en|Eigendecomposition of a matrix|label=固有分解}} &lt;div style=&quot;margin: 1ex 2em&quot;&gt;&lt;math&gt;<br /> A = U \Lambda U^\dagger\qquad (UU^\dagger = I = U^\dagger U)<br /> &lt;/math&gt;&lt;/div&gt; が成り立って、対角行列 {{Math|&amp;Lambda;}} の主対角線上に並ぶ固有値を {{Math|&#039;&#039;&amp;lambda;&#039;&#039;&lt;sub&gt;&#039;&#039;j&#039;&#039;&lt;/sub&gt;}} として&lt;div style=&quot;margin: 1ex 2em;&quot;&gt;&lt;math&gt;<br /> A = \sum_{j} \lambda_{j} u_j u_{j}^{\dagger}<br /> &lt;/math&gt;&lt;/div&gt;と書くことができる。<br /> * 任意の正方行列とその共軛転置との和 &lt;math&gt;(C + C^{\dagger})&lt;/math&gt; はエルミートである。<br /> * 任意の正方行列とその共軛転置との差 &lt;math&gt;(C - C^{\dagger})&lt;/math&gt; は[[歪エルミート行列|歪エルミート]]である。したがってまた、二つのエルミート共軛の[[交換子|交換子積]]は歪エルミートになる。<br /> * 任意の正方行列 {{Mvar|C}} はエルミート行列 {{Mvar|A}} と歪エルミート行列 {{Mvar|B}} との和&lt;div style=&quot;margin: 1ex 2em;&quot;&gt;&lt;math&gt;C = A+B \quad\mbox{with}\quad A = \frac{1}{2}(C + C^{\dagger}) \quad\mbox{and}\quad B = \frac{1}{2}(C - C^{\dagger})&lt;/math&gt;&lt;/div&gt; に一意的に分解される。<br /> * エルミート行列の行列式は実数である。これは行列式は固有値の積であり、エルミート行列の固有値が実数であることから従う。あるいは直接計算で確かめるならば、転置行列の行列式がもとの行列のそれと等しいこと、および複素共軛行列の行列式がもとの行列の行列式の複素共軛であること&lt;div style=&quot;margin: 1ex 2em;&quot;&gt;&lt;math&gt;<br /> \det(A) = \det(A^{\top}),\quad \det(\bar{A}) = \overline{\det(A)}<br /> &lt;/math&gt;&lt;/div&gt;から&lt;div style=&quot;margin: 1ex 2em&quot;&gt;&lt;math&gt;<br /> A=A^\dagger \implies \det(A) = \overline{\det(A)}<br /> &lt;/math&gt;&lt;/div&gt;を得る。<br /> <br /> == 関連項目 ==<br /> * [[歪エルミート行列]]（反エルミート行列）<br /> * {{仮リンク|ヘインズワースの慣性加法公式|en|Haynsworth inertia additivity formula}}<br /> * [[エルミート形式]]<br /> * [[自己随伴作用素]]<br /> * [[ユニタリ行列]]<br /> <br /> == 参考文献 ==<br /> {{reflist}}<br /> <br /> == 外部リンク ==<br /> * {{MathWorld|urlname=HermitianMatrix|title=Hermitian Matrix}}<br /> * {{PlanetMath|urlname=HermitianMatrix|title=Hermitian matrix}}<br /> *{{springer|title=Hermitian matrix|id=p/h047070}}<br /> *[http://people.ofset.org/~ckhung/b/la/hermitian.en.php Visualizing Hermitian Matrix as An Ellipse with Dr. Geo], by Chao-Kuei Hung from Shu-Te University, gives a more geometric explanation.<br /> *{{MathPages|id=home/kmath306/kmath306|title=Hermitian Matrices}}<br /> <br /> {{DEFAULTSORT:えるみいときようれつ}}<br /> [[Category:行列]]<br /> [[Category:数学に関する記事]]</div>

114.49.6.58
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