ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

エルミート形式

索引 エルミート形式

数学の線型代数学におけるエルミート積 (Hermitian product), エルミート半双線型形式 (Hermitian Sesqui­linear form) あるいは単にエルミート形式(エルミートけいしき、Hermitian form)は、シャルル・エルミートに名を因む特別な種類の半双線型形式で、対称双線型形式の複素版にあたる。 複素線型空間 とその上のエルミート形式 との組, あるいは同じことだが対応する「二次形式」 との組 をエルミート空間(あるいはエルミート二次空間)と呼ぶ。.

19 関係: 半双線型形式可換体対合対称双線型形式中心 (代数学)微分形式ヒルベルト空間ニコラ・ブルバキベクトル空間エルミート行列シャルル・エルミートシュプリンガー・サイエンス・アンド・ビジネス・メディア内積線型代数学環上の加群複素共役複素数数学数ベクトル空間

半双線型形式

数学の特に線型代数学における 上の半双線型形式(はんそうせんけいけいしき、sesquilinear form; 準双線型形式。)とは、写像 で一方の引数に関して線型かつ他方の引数に関してとなるようなものを言う。名称は「1 と 1/2」を意味するラテン語の ''sesqui-'' に由来する。これと対照して、双線型形式は両引数に関して線型であることを意味するが、特に専ら複素数体上の空間を扱うような多くの文献において、半双線型形式の意味で「双線型形式」と呼ぶものがある。 動機付けとなる例は複素ベクトル空間上の内積で、これは双線型ではないがその代わり半双線型である。後述の幾何学的動機付けの節も参照。.

新しい!!: エルミート形式と半双線型形式 · 続きを見る »

可換体

抽象代数学において、可換体(かかんたい、corps commutatif)あるいは単に体(たい、field)本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。(ガロワ理論を含む)体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

新しい!!: エルミート形式と可換体 · 続きを見る »

対合

対合(たいごう、ついごう、involution)は、自分自身をその逆として持つ写像である。 これは空間上の変換であって、二回繰り返すと恒等変換となる(元に戻る)という性質 を持つものと言ってもよい。ただし、それ自身が恒等変換となるものは通常は除いて考える。またこれは変換群に属する位数 2 の元 を指すと言っても同じことであり、それを理由に一般の群(抽象群)においても位数 2 の元を対合と呼ぶことがある。.

新しい!!: エルミート形式と対合 · 続きを見る »

対称双線型形式

線型代数学における対称双線型形式(たいしょうそうせんけいけいしき、symmetric bilinear form, symmetric bilinear functional)は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。 文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はの項目を参照。.

新しい!!: エルミート形式と対称双線型形式 · 続きを見る »

中心 (代数学)

数学の分野である代数学において、多元環や群などの中心 (center, Zentrum) は考えている構造の部分集合であって、乗法に関してすべての元と交換する元全体からなる。.

新しい!!: エルミート形式と中心 (代数学) · 続きを見る »

微分形式

数学における微分形式(びぶんけいしき、differential form)とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.

新しい!!: エルミート形式と微分形式 · 続きを見る »

ヒルベルト空間

数学におけるヒルベルト空間(ヒルベルトくうかん、Hilbert space)は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間(内積空間)になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている(極限が十分に存在することが保証されている)ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析(信号処理や熱伝導などへの応用も含む)、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理(の厳密な類似対応物)は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影(例えば、三角形に対してその「高さを潰す」操作の類似対応物)は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標(直交座標)によって特定できるのと同様に、座標軸の集合(正規直交基底)に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる(これはまさに線型作用素のスペクトルを調べるということである)。.

新しい!!: エルミート形式とヒルベルト空間 · 続きを見る »

ニコラ・ブルバキ

ニコラ・ブルバキ(Nicolas Bourbaki, ブールバキとも)は架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ数学原論や、定期的に開催されるで有名。.

新しい!!: エルミート形式とニコラ・ブルバキ · 続きを見る »

ベクトル空間

数学、特に線型代数学におけるベクトル空間(ベクトルくうかん、vector space)、または、線型空間(せんけいくうかん、linear space)は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積(「スケール変換」)を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件(後述)を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である(同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す)。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元(大雑把にいえばその空間の独立な方向の数を決めるもの)によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は(直線や平面あるいはそれらの高次元での対応物といったような)古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.

新しい!!: エルミート形式とベクトル空間 · 続きを見る »

エルミート行列

線型代数学におけるエルミート行列(エルミートぎょうれつ、Hermitian matrix)または自己随伴行列(じこずいはんぎょうれつ、self-adjoint matrix)は、複素数に成分をとる正方行列で自身の随伴行列(共軛転置)と一致するようなものを言う。エルミート行列は、実対称行列の複素数に対する拡張版の概念として理解することができる。 行列 の随伴を と書くとき、複素行列がエルミートであるということは、 が成り立つということであり、これはまた が成り立つことと同値ゆえ、その成分は任意の添字 について -成分は -成分の複素共軛と等しい。 随伴行列 は と書かれるほうが普通だが、 を複素共軛(本項では と書いた)の意味で使う文献も多く紛らわしい。 エルミート行列の名はシャルル・エルミートに因む。エルミートは1855年、この種の行列が固有値が常に実数となるという実対称行列と同じ性質を持つことを示した。 よく知られたパウリ行列、ゲルマン行列および一般化されたそれらはエルミートである。理論物理学においてそれらのエルミート行列には、しばしば虚数の係数が掛かって歪エルミート行列となる。.

新しい!!: エルミート形式とエルミート行列 · 続きを見る »

シャルル・エルミート

ャルル・エルミート(Charles Hermite、1822年12月24日-1901年1月14日)は、フランスの数学者。1869年からエコール・ポリテクニークの教授、1876年からソルボンヌ大学の教授を務めた。 エルミートは、エルミート内積、エルミート行列やエルミート作用素(エルミート演算子)、エルミート多項式などにその名を残している。また、オイラー、ラグランジュ、アーベル、ガロア等、数多くの偉大な数学者が挑んだ五次方程式の解法を見つけるという難問に挑み、1858年に楕円関数を用いて、初めて一般的な五次方程式を解くことに成功した。1873年にネイピア数 が超越数であることを証明したことでも知られる。この結果を引き継いで、1882年にフェルディナント・フォン・リンデマンにより円周率 が超越数であることが証明され、円積問題が否定的に解決された(エルミート.

新しい!!: エルミート形式とシャルル・エルミート · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア(Springer Science+Business Media, Springer)は、科学(Science)、技術(Technology、工学など)、医学(Medicine)、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"(「シュプリンガー・リンク」) 、"SpringerProtocols"(「」) 、"SpringerImages"(「シュプリンガー・イメージ」) 、"SpringerMaterials"(「シュプリンガー・マテリアル」) などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書(Reference works、レ(リ)ファレンス・ワークス)、教科書、モノグラフ(Monograph)、(Proceedings)、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である(第1位はエルゼビア)。 多数のインプリントや、20ヶ国に約55の発行所(パブリッシング・ハウス)、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書(これにはSTM分野だけではなく、B2B分野のものも含まれる)を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー(Springer Nature)」。.

新しい!!: エルミート形式とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »

内積

線型代数学における内積(ないせき、inner product)は、(実または複素)ベクトル空間上で定義される非退化かつ正定値のエルミート半双線型形式(実係数の場合には対称双線型形式)のことである。二つのベクトルに対してある数(スカラー)を定める演算であるためスカラー積(スカラーせき、scalar product)ともいう。内積を備えるベクトル空間は内積空間と呼ばれ、内積の定める計量を持つ幾何学的な空間と見做される。エルミート半双線型形式の意味での内積はしばしば、エルミート内積またはユニタリ内積と呼ばれる。.

新しい!!: エルミート形式と内積 · 続きを見る »

線型代数学

線型代数学(せんけいだいすうがく、linear algebra)とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学(微分積分学)とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.

新しい!!: エルミート形式と線型代数学 · 続きを見る »

環上の加群

抽象代数学における環上の加群(かぐん、module)とは、ベクトル空間を一般化した概念で、係数(スカラー)を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.

新しい!!: エルミート形式と環上の加群 · 続きを見る »

複素共役

数学において、複素数の複素共役、複素共軛(ふくそきょうやく、complex conjugate)は、複素数に対し、その虚部の符号をいれかえたものである。つまり、i を虚数単位として、複素数 z を a, b を実数として と表したとき、 が z の複素共役である。複素共役を表すのには上線がよく使われる。上付きのアスタリスク (z*) なども使われるが、行列での随伴行列などとの混乱を避けるためにあまり使われない。.

新しい!!: エルミート形式と複素共役 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: エルミート形式と複素数 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: エルミート形式と数学 · 続きを見る »

数ベクトル空間

数ベクトル空間(すうべくとるくうかん、space of numerical vectors, numerical vector space)とは、「“数”の組からなる空間」(数空間数空間のことを座標空間と呼ぶこともあるが、「座標系を備えた空間」という意味で座標空間と呼ぶこともあるので紛らわしい(の項も参照)。)を自然にベクトル空間と見たものである。.

新しい!!: エルミート形式と数ベクトル空間 · 続きを見る »

ここにリダイレクトされます:

エルミート半双線型形式

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »