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

特異値分解

索引 特異値分解

特異値分解(とくいちぶんかい、singular value decomposition; SVD)とは、線形代数学における、複素数あるいは実数を成分とする行列に対する行列分解の一手法である。信号処理や統計学の分野で用いられる。特異値分解は、行列に対するスペクトル定理の一般化とも考えられ、正方行列に限らず任意の形の行列を分解できる。.

45 関係: 単位ベクトル実数対角化対角行列平方根任意体 (数学)信号処理ユニタリ行列パターン認識エルミート行列エルハルト・シュミットケンブリッジ大学出版局コンパクトスペクトル定理元 (数学)固有値値域線型代数学線型写像線型独立線型性統計学特異値随伴行列行列行列の定値性行列の分解行列の階数行列ノルム複素共役複素数誤差転置行列零空間零行列逆問題GNU Scientific LibraryLAPACK正規直交基底正方行列潜在意味解析最小二乗法擬似逆行列数値予報

単位ベクトル

単位ベクトル(たんい-ベクトル、unit vector)とは、長さ(ノルム)が 1 のベクトルの事である。 二つのベクトル, があって、 が単位ベクトル( |\mathbf|.

新しい!!: 特異値分解と単位ベクトル · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: 特異値分解と実数 · 続きを見る »

対角化

対角化(たいかくか、diagonalization)とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向(固有空間)へのスカラー倍(固有値)として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。.

新しい!!: 特異値分解と対角化 · 続きを見る »

対角行列

数学、特に線型代数学において、対角行列(たいかくぎょうれつ、diagonal matrix)とは、正方行列であって、その対角成分(-要素)以外が零であるような行列のことである。 \end この対角行列は、クロネッカーのデルタを用いて (ci δij) と表現できる。また、しばしば のようにも書かれる。 単位行列やスカラー行列は対角行列の特殊例である。.

新しい!!: 特異値分解と対角行列 · 続きを見る »

平方根

平方根(へいほうこん、square root)とは、数に対して、平方すると元の値に等しくなる数のことである。与えられた数を面積とする正方形を考えるとき、その数の平方根の絶対値がその一辺の長さであり、一つの幾何学的意味付けができる。また、単位長さと任意の長さ x が与えられたとき、長さ x の平方根を定規とコンパスを用いて作図することができる。二乗根(にじょうこん)、自乗根(じじょうこん)とも言う。.

新しい!!: 特異値分解と平方根 · 続きを見る »

任意

任意(にんい、arbitrary)とは、思うままに任せること、という意味で、当人の自由意思に任せる、ということである広辞苑 第五版 p.2048【任意】。その抽象概念、名詞形は任意性(にんいせい、arbitrariness)である。.

新しい!!: 特異値分解と任意 · 続きを見る »

体 (数学)

数学において、体(たい)という用語は、四則演算が(零で割ることを除いて)自由に行える代数系に用いる。日本語の語法として、体の定義においてはその積が可換か非可換かについて必ずしも注視しないが、積が可換かそうでないかで目的意識や手法は大きく異なる。前者については可換体の項を(初学者にはこちらが取りつきやすいであろう)、後者については斜体(これは「必ずしも可換ではない」体の意味で用いられる)の項を参照されたい。 定義をきちんと述べれば、 あるいは などと書くことができる。 この代数的構造はリヒャルト・デーデキントとレオポルト・クロネッカーがそれぞれ独立に(そして極めて異なる方法で)導入したが、体という呼称は実数または複素数からなる四則演算に関して閉じている部分集合を表すものとしてドイツ語で体を意味する Körper を用いたのが由来である(それがゆえに、任意の体を表すのにしばしば をプレースホルダとして用いる)。 Category:数学に関する記事.

新しい!!: 特異値分解と体 (数学) · 続きを見る »

信号処理

信号処理(しんごうしょり、signal processing)とは、光学信号、音声信号、電磁気信号などの様々な信号を数学的に加工するための学問・技術である。 アナログ信号処理とデジタル信号処理に分けられる。 基本的には、信号から信号に変換するものであり、信号とは別の形式の情報を得るもの(例えば、カテゴリ分けや関連づけ、推論的な情報を得る認識や理解など)は含まれない。圧縮も含まれないことが多い。但し、認識や理解、圧縮の前段階としての信号の変換は信号処理と呼ばれる。そのため、信号処理はそれらの技術に対して非常に重要であるとともに関連が強い。なお、また入力と出力が同じ種類(物理量)の信号である場合(例えば入力と出力ともに同じ音圧である場合)には、フィルタリングとも呼ばれる。 信号処理の例としては、ノイズの載った信号から元の信号を推定するノイズ除去や、時間的な先の値を推定する予測、時間周波数解析などを行う直交変換、信号の特徴を得る特徴抽出、特定の周波数成分のみを得るフィルタなどがある。 高速フーリエ変換、ウェーブレット変換、畳み込み等のアルゴリズムがあり、以前はそれぞれ専用のハードウェアで処理していたが、近年ではDSPや汎用のハードウェアでソフトウェアで処理したり、FPGAによる再構成可能コンピューティングによって処理する方法が開発されつつある。 さまざまな応.

新しい!!: 特異値分解と信号処理 · 続きを見る »

ユニタリ行列

ユニタリ行列(~ぎょうれつ、英:Unitary matrix)は、次を満たす複素正方行列 として定義される。 ここで、 は単位行列、 は行列 の随伴行列。 なお、実数で構成される行列の随伴は単に転置であるため実ユニタリ行列は直交行列に等しく、直交行列を複素数体へ拡張したものがユニタリ行列とも言える。.

新しい!!: 特異値分解とユニタリ行列 · 続きを見る »

パターン認識

パターン認識(パターンにんしき、Pattern recognition)は自然情報処理のひとつ。画像・音声などの雑多な情報を含むデータの中から、一定の規則や意味を持つ対象を選別して取り出す処理である。.

新しい!!: 特異値分解とパターン認識 · 続きを見る »

エルミート行列

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

新しい!!: 特異値分解とエルミート行列 · 続きを見る »

エルハルト・シュミット

ルハルト・シュミット(Erhard Schmidt, 1876年1月13日 - 1959年12月6日)は、20世紀の数学の方向性に多大な影響を与えたドイツの数学者。 リヴォニア(現在のエストニア)のタルトゥに生まれた。指導教員のダフィット・ヒルベルトの下で、1905年にゲッティンゲン大学において博士号を取得した。博士論文の題目は、Entwickelung willkürlicher Funktionen nach Systemen vorgeschriebener であり、積分方程式に関する研究を行った。 ヒルベルトと共に、関数解析学の分野において多大な貢献を遺した。 第二次世界大戦の間、ベルリン大学の要職にあり、立場上ユダヤ人に対するナチスの様々な決議を執行しなければならなかった。ユダヤ人の問題 (Jewish question) を理解していないと非難されていたシュミットにとって、その職務は明らかに手に余るものであった。1951年のシュミットの75歳の誕生祝いの際には、ナチの時代を生き抜いた優れたユダヤ人の数学者であるハンス・フロイデンタールが、シュミットがナチス時代に直面した困難について、シュミット個人への批判を交えることなく語った。.

新しい!!: 特異値分解とエルハルト・シュミット · 続きを見る »

ケンブリッジ大学出版局

ンブリッジ大学出版局(Cambridge University Press)は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.

新しい!!: 特異値分解とケンブリッジ大学出版局 · 続きを見る »

コンパクト

ンパクト.

新しい!!: 特異値分解とコンパクト · 続きを見る »

スペクトル定理

数学の、特に線型代数学や函数解析学の分野において、スペクトル定理(スペクトルていり、)とは、線型作用素あるいは行列に関する多くの結果である。大雑把に言うと、スペクトル定理は、作用素あるいは行列が対角化可能(すなわち、ある基底において対角行列として表現可能)となる条件を与えるものである。この対角化の概念は、有限次元空間上の作用素については比較的直ちに従うものであるが、無限次元空間上の作用素についてはいくつかの修正が必要となる。一般にスペクトル定理は、乗算作用素によって出来る限り簡単にモデル化される線型作用素のクラスを明らかにするものである。より抽象的に、スペクトル定理は可換なC*-環に関して述べたものである。その歴史的観点については、スペクトル理論を参照されたい。 スペクトル定理が適用できる作用素の例として、自己共役作用素や、より一般のヒルベルト空間上の正規作用素などがある。 スペクトル定理はまた、スペクトル分解(spectral decomposition)や固有値分解(eigenvalue decomposition)、(eigendecomposition)と呼ばれるような、作用素の定義されるベクトル空間のを与えるものである。 オーギュスタン=ルイ・コーシーは、自己随伴行列に関するスペクトル定理を証明した。すなわち、すべての実対称行列は対角化可能であることを証明した。その定理のジョン・フォン・ノイマンによる一般化は、今日の作用素論におけるもっとも重要な結果となっている。またコーシーは、行列式に関する系統的な理論を構築した第一人者である。 この記事では主に、ヒルベルト空間上の自己共役作用素に関する、最も簡単な種類のスペクトル定理について述べる。しかし、上記のように、スペクトル定理はヒルベルト空間上の正規作用素についても成立するものである。.

新しい!!: 特異値分解とスペクトル定理 · 続きを見る »

元 (数学)

数学において元(げん、element)とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する(ぞくする、membership)、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合(あるいは一般にクラス)との間に定まる非対称な関係(帰属関係)である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない(帰属関係は反対称関係である)。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.

新しい!!: 特異値分解と元 (数学) · 続きを見る »

固有値

線型代数学において、線型変換の特徴を表す指標として固有値 (eigenvalue) や固有ベクトル (eigenvector) がある。この2つの用語を合わせて、固有対 (eigenpair) という。与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。.

新しい!!: 特異値分解と固有値 · 続きを見る »

値域

数学、特に素朴集合論における写像の値域(ちいき、range)は、その写像の終域または像の何れかの意味で用いられる。現代的な用法ではほとんど全ての場合において「像」の意味である。.

新しい!!: 特異値分解と値域 · 続きを見る »

線型代数学

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

新しい!!: 特異値分解と線型代数学 · 続きを見る »

線型写像

数学の特に線型代数学における線型変換(せんけいへんかん、linear transformation、一次変換)あるいは線型写像(せんけいしゃぞう、linear mapping)は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の(零写像でない)線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは(体上の加群としての)ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像(自己準同型)の意味で用いていることも少なくない。また函数解析学の分野では、(特に無限次元空間上の)線型写像のことを「線型作用素」(せんけいさようそ、linear operator)と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」(いちじけいしき、linear form, one-form; 線型形式; 1-形式)とも呼ばれる一次の微分形式(一次微分形式もしくは微分一次形式; differential one-form)を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.

新しい!!: 特異値分解と線型写像 · 続きを見る »

線型独立

線型代数学において、ベクトルの集合が線型独立 (せんけいどくりつ、linearly independent) または一次独立であるとは、線型従属(一次従属)でないこと、つまり集合のベクトルの線型結合によるゼロベクトルの表示が自明なものに限ることをいう(#定義)。.

新しい!!: 特異値分解と線型独立 · 続きを見る »

線型性

線型性(せんけいせい、英語: linearity)あるいは線型、線形、線状、リニア(せんけい、英語: linear、ラテン語: linearis)とは、直線そのもの、または直線のようにまっすぐな図形やそれに似た性質をもつ対象および、そのような性質を保つ変換などを指して用いられている術語である。対義語は非線型性(英語:Non-Linearity)である。 英語の数学用語のlinear にあてる日本語訳としては、線型が本来の表記であると指摘されることもあるが、他にも線形、線状などといった表記もしばしば用いられている。また一次という表記・表現もしばしば用いられている。というのはlinearは、(多変数の)斉一次函数を指していると考えて間違っていない場合も多いためである。.

新しい!!: 特異値分解と線型性 · 続きを見る »

統計学

統計学(とうけいがく、statistics、Statistik)とは、統計に関する研究を行う学問である。 統計学は、経験的に得られたバラツキのあるデータから、応用数学の手法を用いて数値上の性質や規則性あるいは不規則性を見いだす。統計的手法は、実験計画、データの要約や解釈を行う上での根拠を提供する学問であり、幅広い分野で応用されている。 現在では、医学(疫学、EBM)、薬学、経済学、社会学、心理学、言語学など、自然科学・社会科学・人文科学の実証分析を伴う分野について、必須の学問となっている。また、統計学は哲学の一分科である科学哲学においても重要な一つのトピックになっている。.

新しい!!: 特異値分解と統計学 · 続きを見る »

特異値

行列 の特異値(とくいち、Singular values)とは、 の随伴行列 との積 の固有値の非負の平方根のことである。.

新しい!!: 特異値分解と特異値 · 続きを見る »

随伴行列

数学の特に線型代数学における行列の, エルミート転置 (Hermitian transpose), エルミート共軛 (Hermitian conjugate), エルミート随伴 (Hermitian adjoint) あるいは随伴行列(ずいはんぎょうれつ、adjoint matrix)とは、複素数に成分をとる 行列 に対して、 の転置およびその成分の複素共軛(実部はそのままで虚部の符号を反転する)をとって得られる 行列 を言う。 \end.

新しい!!: 特異値分解と随伴行列 · 続きを見る »

行列

数学の線型代数学周辺分野における行列(ぎょうれつ、matrix)は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル(1 列しかない行列)のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.

新しい!!: 特異値分解と行列 · 続きを見る »

行列の定値性

線型代数学における行列の定値性(ていちせい、definiteness)は、その行列に付随する二次形式が一定の符号を持つか否か (二次形式の定値性) と密接な関係を持つ概念だが、付随する二次形式を経ることなくその行列自身の持つ性質によって特徴づけることもできる。 この概念は対称行列およびエルミート行列に対して定義するのが通例であるが、そうではない行列を含むように「定値性」の概念を一般化して適用する文献もある。.

新しい!!: 特異値分解と行列の定値性 · 続きを見る »

行列の分解

線型代数学という数学の分野において,行列の分解(ぎょうれつのぶんかい,matrix decomposition, matrix factorization)とは,行列の行列の積への分解である.多くの異なった行列の分解があり,それぞれがある問題のために利用される..

新しい!!: 特異値分解と行列の分解 · 続きを見る »

行列の階数

線型代数学における行列の階数(かいすう、rank; ランク)は、行列の最も基本的な特性数 (characteristic) の一つで、その行列が表す線型方程式系および線型変換がどのくらい「非退化」であるかを示すものである。行列の階数を定義する方法は同値なものがいくつもある。 例えば、行列 の階数 (あるいは または丸括弧を落として )は、 の列空間(列ベクトルの張るベクトル空間)の次元に等しく、また の行空間の次元とも等しい。行列の階数は、対応する線型写像の階数である。.

新しい!!: 特異値分解と行列の階数 · 続きを見る »

行列ノルム

線型代数学における行列ノルム(ぎょうれつノルム、matrix norm)は、ベクトルのノルムを行列に対し自然に一般化したものである。.

新しい!!: 特異値分解と行列ノルム · 続きを見る »

複素共役

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

新しい!!: 特異値分解と複素共役 · 続きを見る »

複素数

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

新しい!!: 特異値分解と複素数 · 続きを見る »

誤差

誤差(ごさ、error)は、測定や計算などで得られた値 M と、指定値あるいは理論的に正しい値あるいは真値 T の差 ε であり、 で表される。.

新しい!!: 特異値分解と誤差 · 続きを見る »

転置行列

転置行列(てんちぎょうれつ、transpose, transposed matrix)とは 行 列の行列 に対して の 要素と 要素を入れ替えた 行 列の行列、つまり対角線で成分を折り返した行列のことである。転置行列は などと示される。行列の転置行列を与える操作のことを転置(てんち、transpose)といい、「 を転置する」などと表現する。.

新しい!!: 特異値分解と転置行列 · 続きを見る »

零空間

数学、とくに関数解析学において、線型作用素 A: V → W の零空間(ぜろくうかん、れいくうかん、null space)あるいは核空間(かくくうかん、kernel space)とは、 のことである。Nul(A) は N(A) や Ker(A) などとも書かれる。とくに Ker は零空間が線型写像としての A の核 (kernel) にあたることを意味するのであるが、零空間という語を用いる文脈においては、核ということばを熱核 などの積分核に対して用いていることがほとんどであろうから注意されたい。 また、零空間という語をもちいる文脈においては、線型写像の像 は値域 と呼ばれ、線型作用素 A の値域は Ran(A) や R(A) と綴るのが通例のようである。 零空間は、ベクトル空間 V の部分空間である。さらに、 商空間 V/(Ker A) は、 A の像 Ran(A) に同型である; 特に次元について が成り立つ。 Nul A.

新しい!!: 特異値分解と零空間 · 続きを見る »

零行列

数学において、零行列(ぜろぎょうれつ、れいぎょうれつ、zero matrix, null matrix)とは、その成分(要素)が全て 0 の行列。O あるいは 0 と記述されることが多い。 \end また、下付き添字によって行列の型を明記することもある。 O_.

新しい!!: 特異値分解と零行列 · 続きを見る »

逆問題

逆問題(ぎゃくもんだい、Inverse problem)とは、数学・物理学の一分野であり、入力(原因)から出力(結果、観測)を求める問題を順問題(じゅんもんだい、Direct problem)と呼び、その逆に出力から入力を推定する問題や入出力の関係性を推定する問題を逆問題と呼ぶ。.

新しい!!: 特異値分解と逆問題 · 続きを見る »

GNU Scientific Library

GNU Scientific Library (GSL) は、C言語で記述された科学技術計算関数のライブラリである。オープンソースであり、GNU General Public Licenseのもとで配布されている。 このプロジェクトは1996年にロスアラモス国立研究所のDr.

新しい!!: 特異値分解とGNU Scientific Library · 続きを見る »

LAPACK

LAPACK (Linear Algebra PACKage) は線型計算のための数値解析ソフトウェアライブラリで、線型方程式や線型最小二乗問題、固有値問題、特異値問題等を数値的に解くために利用される。本ライブラリは複素数または実数を成分とする行列を扱うことが可能であり、LU分解やコレスキー分解、QR分解、シュア分解等の行列の分解を行うためのサブルーチンを含む。サブルーチンは単精度版と倍精度版が提供される。のLAPACKの初版はFORTRAN 77 で実装されていたが、現在はFortran 90が用いられている。LAPACK 3.4.0からはC言語インターフェースであるLAPACKEが統合され、C言語やC++からの利用が容易になった。 LAPACKはLINPACKおよびEISPACKの後継と見做されている。ただし、LINPACKの設計が開発当時近代的であった共有メモリ型ベクトルコンピュータを意識したものであるのに対して、本ライブラリの設計はキャッシュを用いたアーキテクチャを有する、より近代的なコンピュータを意識したものである。LAPACKはLINPACK同様にBLAS(Basic Linear Algebra Subprograms、基本線型代数サブプログラム群)ライブラリ上に構築されている。LAPACKは後に分散メモリ型のコンピュータ向けにやへと拡張された。 LAPACKはBSDライセンスで提供されるオープンソースソフトウェアである。.

新しい!!: 特異値分解とLAPACK · 続きを見る »

正規直交基底

数学において、特に線型代数学において、有限次元内積空間 V の正規直交基底(せいきちょっこうきてい、orthonormal basis)とは、正規直交系を成すような V の基底をいう。例えば、ユークリッド空間 Rn の標準基底は、ベクトルの点乗積を内積としての正規直交基底である。また、標準基底の回転や鏡映(一般に任意の直交変換)による像もまた正規直交基底であり、なおかつ Rn の任意の正規直交基底はこの方法で得られる。 一般の内積空間 V に対して、その正規直交基底は V 上の正規化された直交座標系を定めるのに利用できる。そのような座標系のもとでは内積をベクトルの点乗積と同一視することができるから、正規直交基底の存在については(一般の有限次元内積空間を調べるのではなくて)点乗積を伴う Rn の場合を調べれば十分である。従って任意の有限次元内積空間は正規直交基底を持つが、実際にこれを得るには任意の基底にグラム・シュミットの正規直交化法を用いればよい。 函数解析学では、正規直交基底の概念を一般の(必ずしも有限次元でない)内積空間(前ヒルベルト空間)に対しても定義することができる。前ヒルベルト空間 H が与えられたとき、H の正規直交基底とは、H の正規直交系であって、H を位相的に生成するものをいう。即ち、H の各ベクトルが、基底に属するベクトルの''無限''線型結合として一意に表される。この場合の正規直交基底を、H のヒルベルト基底と呼ぶこともある。この意味での正規直交基底は、無限線型結合を用いることから、一般にはベクトル空間としての基底(ハメル基底)でないことに注意すべきである。よりはっきり述べれば、正規直交基底によって張られる部分空間(正規直交基底に属するベクトルの有限線型結合全体)は全空間 H において稠密ではあるが、全空間 H に一致するとは限らない。.

新しい!!: 特異値分解と正規直交基底 · 続きを見る »

正方行列

正方行列(せいほうぎょうれつ、square matrix)とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.

新しい!!: 特異値分解と正方行列 · 続きを見る »

潜在意味解析

潜在意味解析(Latent Semantic Analysis, LSA)は、ベクトル空間モデルを利用した自然言語処理の技法の1つで、文書群とそこに含まれる用語群について、それらに関連した概念の集合を生成することで、その関係を分析する技術である。潜在的意味解析とも。 1988年、アメリカ合衆国でLSAの特許が取得されている。情報検索の分野では、潜在的意味索引または潜在意味インデックス(Latent Semantic Indexing, LSI)とも呼ばれている。.

新しい!!: 特異値分解と潜在意味解析 · 続きを見る »

最小二乗法

データセットを4次関数で最小二乗近似した例 最小二乗法(さいしょうにじょうほう、さいしょうじじょうほう;最小自乗法とも書く、)は、測定で得られた数値の組を、適当なモデルから想定される1次関数、対数曲線など特定の関数を用いて近似するときに、想定する関数が測定値に対してよい近似となるように、残差の二乗和を最小とするような係数を決定する方法、あるいはそのような方法によって近似を行うことである。.

新しい!!: 特異値分解と最小二乗法 · 続きを見る »

擬似逆行列

ムーア-ペンローズの擬似逆行列(ぎじぎゃくぎょうれつ、pseudo-inverse matrix)は線型代数学における逆行列の概念の一般化である。擬逆行列、一般化逆行列、一般逆行列(generalized inverse)ともいう。また擬は疑とも書かれる。 連立一次方程式の解を簡潔に表現するものとして逆行列の概念は重要であり、逆行列を持つ行列は、可逆あるいは正則であると言われる。正則でない行列の場合にも逆行列のような都合のよい行列として擬逆の概念を導入する。ロボット工学に関していうならば、動特性の同定や冗長ロボットの制御などで良く用いられている。.

新しい!!: 特異値分解と擬似逆行列 · 続きを見る »

数値予報

数値予報(すうちよほう)とは、大気の状態変化を数値的に計算して将来の状態を予測する、天気予報の手法である。 数値予報は、観測データの収集・品質チェック・格子点作成(モデル化)・初期値の設定・時間積分等の計算技術・最終結果を表現するための画像処理などの技術によって支えられている。.

新しい!!: 特異値分解と数値予報 · 続きを見る »

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