数学の特に線型代数学において正規行列(せいきぎょうれつ、英: normal matrix)は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 A が正規であるとは、 が成り立つことを言う。ただし、A の共軛転置を A∗ で表した。 成分が実数の行列 A に対しては A∗ =AT が成り立つから、それが正規であるのは ATA = AAT が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、A∗A = AA∗ を満たす任意の行列 A は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。

Property Value
dbo:abstract
  • 数学の特に線型代数学において正規行列(せいきぎょうれつ、英: normal matrix)は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 A が正規であるとは、 が成り立つことを言う。ただし、A の共軛転置を A∗ で表した。 成分が実数の行列 A に対しては A∗ =AT が成り立つから、それが正規であるのは ATA = AAT が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、A∗A = AA∗ を満たす任意の行列 A は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。 (ja)
  • 数学の特に線型代数学において正規行列(せいきぎょうれつ、英: normal matrix)は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 A が正規であるとは、 が成り立つことを言う。ただし、A の共軛転置を A∗ で表した。 成分が実数の行列 A に対しては A∗ =AT が成り立つから、それが正規であるのは ATA = AAT が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、A∗A = AA∗ を満たす任意の行列 A は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。 (ja)
dbo:wikiPageID
  • 1095254 (xsd:integer)
dbo:wikiPageLength
  • 6517 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 88757870 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:title
  • Normal Matrix (ja)
  • normal matrix (ja)
  • Normal Matrix (ja)
  • normal matrix (ja)
prop-en:urlname
  • NormalMatrix (ja)
  • NormalMatrix (ja)
prop-en:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数学の特に線型代数学において正規行列(せいきぎょうれつ、英: normal matrix)は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 A が正規であるとは、 が成り立つことを言う。ただし、A の共軛転置を A∗ で表した。 成分が実数の行列 A に対しては A∗ =AT が成り立つから、それが正規であるのは ATA = AAT が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、A∗A = AA∗ を満たす任意の行列 A は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。 (ja)
  • 数学の特に線型代数学において正規行列(せいきぎょうれつ、英: normal matrix)は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 A が正規であるとは、 が成り立つことを言う。ただし、A の共軛転置を A∗ で表した。 成分が実数の行列 A に対しては A∗ =AT が成り立つから、それが正規であるのは ATA = AAT が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、A∗A = AA∗ を満たす任意の行列 A は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。 (ja)
rdfs:label
  • 正規行列 (ja)
  • 正規行列 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of