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

ユニタリ作用素

索引 ユニタリ作用素

数学の一分野、函数解析学におけるユニタリ作用素(ユニタリさようそ、unitary operator)は、ヒルベルト空間上の自己同型写像、すなわち構造(今の場合は、作用する対象となる空間の線型空間の構造、内積構造およびそこから定まる位相構造)を保つ全単射である。与えられたヒルベルト空間 からそれ自身へのユニタリ作用素全体の成す集合は群を成し、 のヒルベルト群 と呼ばれることもある。.

31 関係: 単位元単位的多元環対合環位相空間ユニタリ変換ユニタリ行列パーセバルの定理ヒルベルト空間フーリエ変換ベクトル空間スペクトル (関数解析学)スペクトル定理内積全単射全射置換行列群 (数学)絶対値直交行列随伴作用素違いを除いて複素数関数解析学自己同型恒等写像正規作用素正規直交基底有界作用素数学数列空間整数

単位元

数学、とくに抽象代数学において、単位元(たんいげん, )あるいは中立元(ちゅうりつげん, )は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.

新しい!!: ユニタリ作用素と単位元 · 続きを見る »

単位的多元環

数学における多元環(必ずしも結合的でない)が単位的(たんいてき、unitary)または単型 (unital) であるとは、それが内部乗法 に対する単位元 (すなわちその多元環の任意の に対して を満たす元)を持つときに言う。この単位元は右単位元および左単位元として一意である。 さらに多元環が結合的ならば、単位的であることはその多元環の元全体が乗法に関してモノイドを成すことと言っても同じである。.

新しい!!: ユニタリ作用素と単位的多元環 · 続きを見る »

対合環

数学、特に抽象代数学における対合環(ついごうかん、involutory ring)、-環(スターかん、∗-ring)記法について: 対合 は後置により表される単項演算で、そのグリフはミーンライン付近やや上方に中心がくるように右肩にのせて のように書くが、"" のように中心がミーンライン上にくるようにはしない(スター記号 * とスター演算記号 ∗ との混同に注意: アスタリスクの項も参照)。あるいは対合付き環(ついごうつきかん、involution)は、環構造と両立する対合(共軛演算、随伴)を備える代数系である。可換 -環 上の結合多元環 がそれ自身 -環でもあるとき、二つの -環の -構造が両立するならば、 を -環 上の 対合多元環(ついごうたげんかん、involutive algebra; 対合代数)、-多元環(スターたげんかん、∗-algebra; -代数)あるいは対合付き多元環(ついごうつきたげんかん、algebra with involution; 対合つき代数)という。 対合環における対合(-演算)は複素数体における複素共軛を一般化するものであり、また対合多元環における対合は複素行列環における共軛転置あるいはヒルベルト空間上の線型作用素のエルミート共軛を一般化するものである。.

新しい!!: ユニタリ作用素と対合環 · 続きを見る »

位相空間

数学における位相空間(いそうくうかん, topological space)とは、集合にある種の情報(位相、topology)を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.

新しい!!: ユニタリ作用素と位相空間 · 続きを見る »

ユニタリ変換

数学において、ユニタリ変換(ユニタリへんかん)とは、2つのベクトルの内積の値が変換の前後で変わらないような変換である。.

新しい!!: ユニタリ作用素とユニタリ変換 · 続きを見る »

ユニタリ行列

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

新しい!!: ユニタリ作用素とユニタリ行列 · 続きを見る »

パーセバルの定理

パーセバルの定理(Parseval's theorem)とは、フーリエ変換がユニタリであるという結果を一般に指す。大まかに言えば、関数の平方の総和(あるいは積分)が、そのフーリエ変換の平方の総和(あるいは積分)と等しいということである。フランスの数学者の1799年の級数に関する定理が起源であり、この定理は後にフーリエ級数に応用されるようになった。レイリー卿ジョン・ウィリアム・ストラットに因んで、レイリーのエネルギー定理()とも呼ばれる。 また、特に物理学や工学分野では、任意のフーリエ変換のユニタリ性を指してパーセバルの定理と呼ぶことが多いが、この性質の最も一般的な形は正確にはプランシュレルの定理と呼ばれる。.

新しい!!: ユニタリ作用素とパーセバルの定理 · 続きを見る »

ヒルベルト空間

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

新しい!!: ユニタリ作用素とヒルベルト空間 · 続きを見る »

フーリエ変換

数学においてフーリエ変換(フーリエへんかん、Fourier transform; FT)は、実変数の複素または実数値函数を別の同種の函数に写す変換である。変換後の函数はもとの函数に含まれる周波数を記述し、しばしばもとの函数の周波数領域表現 と呼ばれる。これは、演奏中の音楽を聴いてそれをコードに書き出すというようなことと同様な思想である。実質的に、フーリエ変換は函数を振動函数に分解する。 フーリエ変換 (FT) は他の多くの数学的な演算と同様にフーリエ解析の主題を成す。特別の場合として、もとの函数とその周波領域表現が連続かつ非有界である場合を考えることができる。「フーリエ変換」という術語は函数の周波数領域表現のことを指すこともあるし、函数を周波数領域表現へ写す変換の過程・公式を言うこともある。なおこの呼称は、19世紀フランスの数学者・物理学者で次元解析の創始者とされるジョゼフ・フーリエに由来する。.

新しい!!: ユニタリ作用素とフーリエ変換 · 続きを見る »

ベクトル空間

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

新しい!!: ユニタリ作用素とベクトル空間 · 続きを見る »

スペクトル (関数解析学)

関数解析学において、有界作用素のスペクトルは、行列における固有値の概念の一般化である。特に、 が可逆でなければ、 を有界線形作用素 のスペクトルという。ただし は恒等関数とする。スペクトル及びスペクトルに関連する研究は、スペクトル理論と呼ばれ多くの応用先を持つ。最も良く知られているのが、量子力学の数学的な枠組みについてである。 有限次元ベクトル空間上の作用素のスペクトルは厳密に、固有値の集合となる。しかしながら、無限次元空間上の作用素は、固有値を持たないことがある。例えば、ヒルベルト空間 ℓ2 上では、右シフト作用素 は固有値を持たない。 固有値をもつ、つまり を満たすような 0 でない が存在するとすると、x_1.

新しい!!: ユニタリ作用素とスペクトル (関数解析学) · 続きを見る »

スペクトル定理

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

新しい!!: ユニタリ作用素とスペクトル定理 · 続きを見る »

内積

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

新しい!!: ユニタリ作用素と内積 · 続きを見る »

全単射

数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.

新しい!!: ユニタリ作用素と全単射 · 続きを見る »

全射

数学において、写像が全射的(ぜんしゃてき、surjective, onto)であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が(一般には複数あってもよいが)対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写(あるいは全写像)とも書く。 全射(および単射、双射)の語は20世紀フランスの数学結社ブルバキ(1935年以降『数学原論』シリーズを刊行している)により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.

新しい!!: ユニタリ作用素と全射 · 続きを見る »

置換行列

数学の特に行列論における置換行列(ちかんぎょうれつ、permutation matrix)は、各行各列にちょうど一つだけ の要素を持ち、それ以外は全て となるような正方行列を言う。そのような -次正方行列の各々は、特定の 文字の置換を表現するもので、右または左からの行列の積によって列または行の置換を引き起こす。.

新しい!!: ユニタリ作用素と置換行列 · 続きを見る »

群 (数学)

数学における群(ぐん、group)とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.

新しい!!: ユニタリ作用素と群 (数学) · 続きを見る »

絶対値

数の絶対値は零からの距離と考えられる 数学における実数 の絶対値(ぜったいち、absolute value)または母数(ぼすう、modulus) は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して (このとき は正)であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.

新しい!!: ユニタリ作用素と絶対値 · 続きを見る »

直交行列

交行列(ちょっこうぎょうれつ, )とは、転置行列と逆行列が等しくなる正方行列のこと。つまりn × n の行列 M の転置行列を MT と表すときに、MTM.

新しい!!: ユニタリ作用素と直交行列 · 続きを見る »

随伴作用素

数学の特に函数解析学において、ヒルベルト空間上の各有界線型作用素は、対応する随伴作用素(ずいはんさようそ、adjoint operator)を持つ。作用素の随伴は正方行列の随伴行列の概念の無限次元の場合をも許すような一般化である。ヒルベルト空間上の作用素を「一般化された複素数」と考えれば、作用素の随伴は複素数に対する複素共軛の役割を果たすものである。 作用素 の随伴は、シャルル・エルミートに因んでエルミート共軛 (Hermitian conjugate) とも呼ばれ、 あるいは などで表される(後者は特にブラケット記法とともに用いられる)。.

新しい!!: ユニタリ作用素と随伴作用素 · 続きを見る »

違いを除いて

数学の文脈における「—(の違い)を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).

新しい!!: ユニタリ作用素と違いを除いて · 続きを見る »

複素数

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

新しい!!: ユニタリ作用素と複素数 · 続きを見る »

関数解析学

関数解析学(かんすうかいせきがく、functional analysis)は数学(特に解析学)の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.

新しい!!: ユニタリ作用素と関数解析学 · 続きを見る »

自己同型

数学において自己同型(automorphism)とは、数学的対象から自分自身への同型射のことを言う。ある解釈においては、構造を保ちながら対象をそれ自身へと写像する方法のことで、その対象の対称性を表わしていると言える。対象の全ての自己同型の集合は群を成し、自己同型群(automorphism group)と呼ばれる。大まかにいえば、自己同型は、対象の対称群である。.

新しい!!: ユニタリ作用素と自己同型 · 続きを見る »

恒等写像

数学における恒等写像(こうとうしゃぞう、identity mapping, identity function)、恒等作用素(こうとうさようそ、identity operator)、恒等変換(こうとうへんかん、identity transformation)は、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は恒等関係(こうとうかんけい、identity relationである。.

新しい!!: ユニタリ作用素と恒等写像 · 続きを見る »

正規作用素

数学の特に函数解析学における正規作用素(せいきさようそ、normal operator)は、複素ヒルベルト空間 H 上の連続線型作用素 でエルミート随伴 を持ち、 を満たすものを言う。 正規作用素が重要であるのは、それに対するスペクトル定理が成り立つからである。今日では正規作用素のクラスはよく分かっている。正規作用の例としては.

新しい!!: ユニタリ作用素と正規作用素 · 続きを見る »

正規直交基底

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

新しい!!: ユニタリ作用素と正規直交基底 · 続きを見る »

有界作用素

数学(関数解析学)において、有界(線形)作用素(ゆうかいさようそ、)とは、二つのノルム空間 X および Y の間の線形変換 L であって、X に含まれるゼロでないすべてのベクトル v に対して L(v) のノルムと v のノルムの比が、v に依存しない一つの数によって上から評価されるようなもののことを言う。言い換えると、次を満たす線形変換 L のことを、有界作用素と言う: ここで \|\cdot\|_X は X が備えるノルムである( \|\cdot\|_Y も同様).上記の正定数 M のうち最小のもの(下限)は L の作用素ノルムと呼ばれ、\|L\|_ \, と記述される。 X から Y への有界作用素全体の集合を \mathcal(X,Y) として,L \in \mathcal(X,Y) に対して \|L\|_ によって作用素ノルムを表すこともある. 一般的に、有界作用素は有界関数ではない。後者は、すべての v に対し L(v) のノルムが上から評価されている必要があるが、これは Y がゼロベクトル空間でないと起こり得ない。有界作用素はである。 線形作用素が有界であることと、連続であることは必要十分である。.

新しい!!: ユニタリ作用素と有界作用素 · 続きを見る »

数学

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

新しい!!: ユニタリ作用素と数学 · 続きを見る »

数列空間

関数解析学および関連する数学の分野における数列空間(すうれつくうかん、)とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。またそれと同値であるが、自然数から実あるいは複素数体 K への関数を元とする関数空間のことでもある。そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され、関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。すべての数列空間は、この空間の線型部分空間である。通常、数列空間はノルムを備えるものであり、そうでなくとも少なくとも位相ベクトル空間の構造を備えている。 解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 ℓp である。それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するL''p''空間の特別な場合と見なされる。収束列や零列のような他の重要な数列のクラスも数列空間を構成し、それらの場合はそれぞれ c および c0 と表記され、上限ノルムが備えられる。任意の数列空間は各点収束の位相を備えるものでもあり、その位相の下でのそれらの空間は、と呼ばれるフレシェ空間の特殊な場合となる。.

新しい!!: ユニタリ作用素と数列空間 · 続きを見る »

整数

数学における整数(せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero)は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen(「数」の意・複数形)に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理(的)」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

新しい!!: ユニタリ作用素と整数 · 続きを見る »

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

ユニタリーユニタリー作用素ユニタリー変換ユニタリー演算子ユニタリー性ユニタリ演算子ユニタリ性ユニタリ的

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