ブラウザよりも高速アクセス！
88 関係: 基本解、反響、古典制御論、多項式、定義域、実数、局所可積分函数、局所コンパクト群、巡回群、巡回行列、乗算作用素、二項演算、伝達関数法、位相群、微分、応答関数、係数、ハール測度、ハウスドルフ空間、バナッハ空間、バナッハ環、メリン変換、ヤングの不等式、ユニタリ表現、ラプラス変換、ラドン＝ニコディムの定理、ルベーグ積分、ヴィト・ヴォルテラ、ボレル集合、ボレル測度、ブラインド・デコンボリューション、パターン認識、ヒルベルト空間、ヒルベルト空間上のコンパクト作用素、ピエール＝シモン・ラプラス、テイラーの定理、ディラックのデルタ関数、フーリエ変換、フビニの定理、列 (数学)、周期関数、アナログ信号処理、インパルス応答、カラオケ、グラフィックソフトウェア、コンピュータ、コーシー積、シメオン・ドニ・ポアソン、シュワルツ空間、シンセサイザー、...、ジャン・ル・ロン・ダランベール、ジョゼフ・フーリエ、スカラー、円 (数学)、確率変数、確率分布、確率測度、積分法、積和演算、総和、群 (数学)、絞り (光学)、絶対連続、独立 (確率論)、行列要素、被写界深度、複素数、調和解析、高速フーリエ変換、軟化子、関数 (数学)、関数の台、関数解析学、閉性、自己回帰移動平均モデル、離散フーリエ変換、電気回路、集合函数、連続 (数学)、Lp空間、LTIシステム理論、Well-defined、Z変換、正規作用素、正規直交基底、測度論、指標 (数学)、有界変動函数。 インデックスを展開 (38 もっと) »
基本解
数学の分野において、線型偏微分作用素に対する基本解（きほんかい、）とは、旧来よりグリーン関数と呼ばれている概念の、シュワルツ超函数論を用いた定式化である。ディラックのデルタ関数 δ(x) を用いて、作用素 L に対する基本解 F は非斉次方程式 の解と定められる。ここで F は、特に理由が無ければシュワルツ超函数（弱い意味での解）として存在すればよい（真の解であることまでは要求されない）。 この概念は、二次元および三次元のラプラシアンに対して長く知られたものであった。任意の次元のラプラシアンに対しては、リース・マルツェルによって調べられた。定数係数の任意の作用素に対する基本解の存在は、とによって示された。これは右辺を任意にとった方程式を解くうえで、畳み込みを用いる方法が直接的に結び付く、最も重要なケースであった。.
反響
反響（はんきょう）.
古典制御論
古典制御論（こてんせいぎょろん、英語：classical control theory）は、伝達関数と呼ばれる線形の入出力システムとして表された制御対象を中心に、周波数応答などを評価して望みの挙動を達成する制御理論である。1950年代に体系化された。代表的な成果物と言えるPID制御は、その扱い易さから現在でも産業では主力である。.
新しい！!: 畳み込みと古典制御論 · 続きを見る »
多項式
数学における多項式（たこうしき、poly­nomial）は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元（略式ではしばしば変数と呼ぶ）の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項（こう、）と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数（あるいは必要に応じてより狭く有理数、整数、自然数）を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.
定義域
数学における写像の定義域（ていぎいき、domain of definition）あるいは始域（しいき、domain; 域, 領域）とは、写像の値の定義される引数（「入力」）の取り得る値全体からなる集合である。つまり、写像はその定義域の各元に対して（「出力」としての）値を与える。 例えば、実数の範囲での議論において、余弦函数の定義域はふつう実数全体の成す集合（実数直線）であるし、正の平方根函数の定義域は 以上の実数全体の成す集合であるものとする。定義域が実数から成る集合（実数全体の成す集合の部分集合）であるような実数値函数は、その定義域が -軸上にあるものとして -直交座標系に表すことができる。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
局所可積分函数
数学において局所可積分函数（きょくしょかせきぶんかんすう、）とは、その定義域に含まれる任意のコンパクト部分集合上で可積分（したがって積分が有限）であるような函数のことを言う。しばしば局所総和可能函数（locally summable function）とも呼ばれる。そのような函数は、Lp空間と似ているがその元の無限大での振舞いについて制限を要さないような函数空間に属するという点において、重要となる。言い換えると、局所可積分函数は、無限大において任意に早く増大することも許されるが、通常の可積分函数とある意味似た方法によって依然として扱うことが出来るものとなっている。.
新しい！!: 畳み込みと局所可積分函数 · 続きを見る »
局所コンパクト群
数学において、局所コンパクト群 (locally compact group) とは、位相空間として局所コンパクトかつハウスドルフな位相群 G である。数学で現れる群の多くの例は局所コンパクトでありそのような群はハール測度と呼ばれる自然な測度を持っているから局所コンパクト群は重要である。これによって G 上のボレル可測関数の積分を定義することができフーリエ変換や L^p 空間といった標準的な解析学の概念を一般化することができる。 有限群の表現論の結果の多くは群上平均化することによって証明される。コンパクト群に対しては、これらの証明の修正は正規化されたに関して平均を取ることによって類似の結果をもたらす。一般の局所コンパクト群では、そのような技術が使えるとは限らない。得られる理論は調和解析の中心的な部分である。局所コンパクトアーベル群の表現論はポントリャーギン双対によって記述される。.
新しい！!: 畳み込みと局所コンパクト群 · 続きを見る »
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
巡回行列
巡回行列（じゅんかいぎょうれつ）または循環行列（じゅんかんぎょうれつ、Circulant matrix）は、テプリッツ行列の特殊なものであり、各行ベクトルが1つ前の行ベクトルの要素を1つずらして配置した形になっているものである。数値解析において、巡回行列は離散フーリエ変換によって対角化されるため、それを含む線型方程式系は高速フーリエ変換で高速に解くことができる。.
乗算作用素
数学の作用素論において、あるベクトル函数空間上で定義される線型作用素 T が乗算作用素（じょうざんさようそ、）であるとは、函数 φ におけるその作用素の値がある固定された別の函数 f との積で与えられることを言う。すなわち がその函数空間内の任意の φ と、その φ の定義域内の任意の x について成立する（φ の定義域は f の定義域と一致する）。 このタイプの作用素はしばしば合成作用素と比較される。乗算作用素は、対角行列によって与えられる作用素の概念を一般化するものである。より正確に、作用素論における主要な結果の一つであるスペクトル定理では、ヒルベルト空間上のすべての自己共役作用素は、''L''''2'' 空間上の乗算作用素とユニタリ同値であることが示されている。.
新しい！!: 畳み込みと乗算作用素 · 続きを見る »
二項演算
数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。.
伝達関数法
伝達関数法（でんたつかんすうほう）とは、複素関数論（ラプラス変換など）を用いた制御系の解析法である。.
新しい！!: 畳み込みと伝達関数法 · 続きを見る »
位相群
数学における位相群（いそうぐん、topological group）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。 文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T2（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。.
微分
数学におけるの微分（びぶん）、微分係数、微分商または導函数（どうかんすう、derivative）は、別の量（独立変数）に依存して決まるある量（函数の値あるいは従属変数）の変化の感度を測るものである。微分は微分積分学の基本的な道具である。例えば、動く物体の位置の時間に関する導函数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。 一変数函数の適当に選んだ入力値における微分係数は、その点における函数のグラフの接線の傾きである。これは導函数がその入力値の近くでその函数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。 微分はにも拡張できる。この一般化において、導函数はそのグラフが（適当な変換の後）もとの函数のグラフを最適線型近似する線型変換と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値函数に対して、ヤコビ行列は勾配に簡約される。 導函数を求める過程を微分あるいは微分法、微分演算 (differentiation) と言い、その逆の過程（原始函数を求めること）をという。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である。.
応答関数
応答関数（おうとうかんすう）とは、ある入力が来たときにそれに対応して決まった出力を出すような物理系があるとき、一定の規格を持つ時間の関数である入力に対して出力される時間の関数のことである。また以下に示すインパルス応答関数のことを応答関数と呼ぶ場合もある。電気回路、粘弾性体、誘電体、光学系、制御工学などの分野で用いられる。.
係数
係数（けいすう、coefficient）は、多項式の各項（単項式）を構成する因子において、変数（不定元）を除いた、定数等の因子である。例えば、4α+3β+2における、4と3と2である。この例では2がそれであるが、それ自体で項全体となっている項（あるいは、形式的には 1に掛かっている係数）を、特に定数項と呼ぶ。.
ハール測度
解析学におけるハール測度（ハールそくど、Haar measure）は、局所コンパクト位相群上で定義される正則不変測度である。ハンガリーの数学者にその名を因む。.
新しい！!: 畳み込みとハール測度 · 続きを見る »
ハウスドルフ空間
数学におけるハウスドルフ空間（ハウスドルフくうかん、Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。.
新しい！!: 畳み込みとハウスドルフ空間 · 続きを見る »
バナッハ空間
数学におけるバナッハ空間（バナッハくうかん、Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。 解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 ''L''''p''-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。.
新しい！!: 畳み込みとバナッハ空間 · 続きを見る »
バナッハ環
数学の、特に関数解析学の分野におけるバナッハ環（バナッハかん、; バナッハ代数、バナッハ多元環、バナッハ線型環）は、完備ノルム体（ふつうは実数体 または 複素数体 ）上の結合多元環 であって、バナッハ空間（ノルムが存在し、に関して完備）ともなる。バナッハ代数におけるノルムは乗法に関して を満たすことが要求され、それにより乗法の連続性は保証される。名称はステファン・バナッハに由来する。 上述の定義において、バナッハ空間をノルム空間に緩める（つまり完備性を要請しない）場合、同様の構造はノルム環（ノルム線型環）と呼ばれる。 バナッハ環は、乗法単位元を持つとき、単位的（unital）であると言う。また乗法が可換であるとき、可換と言う。単位元を持つ持たないにかかわらず、任意のバナッハ環 は適当な単位的バナッハ環（つまり の「単位化」） にこの閉イデアルとなるように等長的に埋め込める。しばしば、扱っている環は単位的であるということがアプリオリに仮定される。すなわち、 を考えることで多くの理論を展開でき、その結果を元の環に応用するという方法が取られることがある。しかしこの方法は常に有効という訳ではない。例えば、単位元を持たないバナッハ環においては、すべての三角関数を定義することが出来ない。 実バナッハ環の理論は、複素バナッハ環の理論とは非常に異なるものである。例えば、非自明な複素バナッハ環の元のスペクトルは決して空とはならないが、実バナッハ環においてはいくつかの元のスペクトルは空となり得る。 p-進数体 上のバナッハ代数（-進バナッハ代数）は、p-進解析の一部として研究される。.
新しい！!: 畳み込みとバナッハ環 · 続きを見る »
メリン変換
数学におけるメリン変換（メリンへんかん、）とは、両側ラプラス変換の乗法版と見なされる積分変換である。この変換はディリクレ級数の理論と密接に関連しており、数論や漸近展開の理論においてよく用いられる。ラプラス変換、フーリエ変換、ガンマ関数や特殊関数の理論と関係している。 この変換の名はフィンランドの数学者の名にちなむ。.
新しい！!: 畳み込みとメリン変換 · 続きを見る »
ヤングの不等式
ヤングの不等式(-ふとうしき、Young's inequality)とは、積とべき乗の和との間に成り立つ不等式であり、様々な分野で広く用いられている。 a,bを非負値な実数、1 ab \le \frac + \frac.
新しい！!: 畳み込みとヤングの不等式 · 続きを見る »
ユニタリ表現
数学において、群 のユニタリ表現（unitary representation）とは、複素ヒルベルト空間 上の の線型表現 であって、 が任意の に対してユニタリ作用素となるようなものである。一般論は が局所コンパクト（ハウスドルフ）位相群であり表現がである場合にはよく発展している。 理論は1920年代から量子力学において広く応用されており、とくにヘルマン・ワイルの1928年の本 に影響を受けている。応用において有用な特定の群だけでなく任意の群 に対してユニタリ表現の一般論を構成したパイオニアの1人はであった。.
新しい！!: 畳み込みとユニタリ表現 · 続きを見る »
ラプラス変換
関数解析学において、ラプラス変換（ラプラスへんかん、Laplace transform）とは、積分で定義される関数空間の間の写像（線型作用素）の一種。関数変換。 ラプラス変換の名はピエール＝シモン・ラプラスにちなむ。 ラプラス変換によりある種の微分・積分は積などの代数的な演算に置き換わるため、制御工学などにおいて時間領域の（とくに超越的な）関数を別の領域の（おもに代数的な）関数に変換することにより、計算方法の見通しを良くするための数学的な道具として用いられる。 フーリエ変換を発展させて、より実用本位で作られた計算手法である。1899年に電気技師であったオリヴァー・ヘヴィサイドが回路方程式を解くための実用的な演算子を経験則として考案して発表し、後に数学者がその演算子に対し厳密に理論的な裏付けを行った経緯がある。理論的な根拠が曖昧なままで発表されたため、この計算手法に対する懐疑的な声も多かった。この「ヘヴィサイドの演算子」の発表の後に、多くの数学者達により数学的な基盤は1780年の数学者ピエール＝シモン・ラプラスの著作にある事が指摘された(この著作においてラプラス変換の公式が頻繁に現れていた)。 従って、数学の中ではかなり応用寄りの分野である。ラプラス変換の理論は微分積分、線形代数、ベクトル解析、フーリエ解析、複素解析を基盤としているため、理解するためにはそれらの分野を習得するべきである。 これと類似の解法として、より数学的な側面から作られた演算子法がある。こちらは演算子の記号を多項式に見立て、代数的に変形し、公式に基づいて特解を求める方法である。.
新しい！!: 畳み込みとラプラス変換 · 続きを見る »
ラドン＝ニコディムの定理
数学におけるラドン＝ニコディムの定理（ラドン＝ニコディムのていり、）は、測度論の分野における一結果で、ある可測空間 が与えられたとき、 上のある が別の 上の σ-有限測度 に関して絶対連続であるなら、任意の可測部分集合 に対して次を満たす可測函数.
新しい！!: 畳み込みとラドン＝ニコディムの定理 · 続きを見る »
ルベーグ積分
数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと 軸の間の面積と見なすことができる。ルベーグ積分（ルベーグせきぶん、Lebesgue integral）は、より多くの関数を積分できるように拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。 数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかしながら、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。 ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまたの中枢部でもある。 ルベーグ積分 (Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線の部分集合上定義された関数を積分するという特定の場合を意味することもある。.
新しい！!: 畳み込みとルベーグ積分 · 続きを見る »
ヴィト・ヴォルテラ
ヴィト・ヴォルテラ（Vito Volterra、1860年5月3日 - 1940年10月11日) は、イタリアの数学者、物理学者である。数学の分野では解析学に多くの業績を残し積分方程式にヴォルテラ方程式の名が残っている他、結晶の転位の概念を導入し、生態学に数学の手法を用いて競争のある環境での生物の個体数を解析するロトカ＝ヴォルテラの方程式などに名前を残している。 教皇領アンコーナの貧しい家に生まれた。数学の才能を示し、ピサ大学にエンリコ・ベッティ（Enrico Betti）のもとで学び、1883年力学の教授になった。積分方程式を研究し、1930年に"Theory of functionals and of Integral and Integro-Differential Equations"（英題）を著した。 1892年トリノ大学の力学の教授、1900年にローマ大学の数理物理学の教授になった。ヴォルテラはイタリア統一運動（リソルジメント）の完成時期に育ち、ベッティとともに統一運動の協調者となった。教皇領がイタリア王国に併合されると、1905年には王国の議員に選ばれた。同じ1905年、結晶中の転位の理論を初めて発表した。第一次世界大戦が始まると、50代になっていたにもかかわらずイタリア陸軍に参加し、ジュリオ・ドゥーエのもとで気球の開発を行い、可燃性の水素ではなく不活性なヘリウムを使うアイデアを出し、気球の製作を指導した。 戦後は生物学に数学的手法を用いる研究を始めた。非線形方程式をもちいて人口問題を解析したピエール＝フランソワ・フェルフルストの仕事に次ぐもので、最も有名な成果は競争のある環境での生物の個体数を解析したロトカ＝ヴォルテラの方程式である。 1922年にムッソリーニに反対する党派に属し、1931年に大学教授の座を追われた。その後、主に海外で暮らし、死の直前にローマに戻った。.
新しい！!: 畳み込みとヴィト・ヴォルテラ · 続きを見る »
ボレル集合
数学におけるボレル集合（ボレルしゅうごう、Borel set）は、位相空間の開集合系（あるいは閉集合系）から可算回の合併、交叉、差を取ることによって得られる集合の総称である。名称はエミール・ボレルに由来する。 位相空間 X に対し、X 上のボレル集合全体の成す族（ボレル集合族）は完全加法族（σ-集合体）を成し、ボレル集合体 あるいはボレル完全加法族 と呼ばれる。X 上のボレル集合体は、全ての開集合を含む最小の完全加法族である（全ての閉集合を含む最小の完全加法族でもある）。 ボレル集合は測度論において重要である。これは任意のボレル集合体上で定義された測度が空間内の開集合（あるいは閉集合）上での値のみから一意に定まることによる。ボレル集合体上で定義された測度はボレル測度と呼ばれる。ボレル集合およびそれに付随するボレル階層は、記述集合論においても基本的な役割を果たす。 文脈によっては、位相空間の（開集合ではなくて）コンパクト集合の生成するものとしてボレル集合を定めることもある。多くの素性の良い 空間、例えば任意の σ-コンパクトハウスドルフ空間などでは、この定義は先の（開集合を用いた）定義と同値になるが、そうでない病的な空間では違ってくる。.
新しい！!: 畳み込みとボレル集合 · 続きを見る »
ボレル測度
数学の、特に測度論の分野におけるボレル測度（ボレルそくど、）とは、次のように定義される測度のことである：X を局所コンパクトなハウスドルフ空間とし、\mathfrak(X) を X の開集合を含む最小のσ-代数とする。このような \mathfrak(X) はボレル集合のσ-代数と呼ばれる。ボレル測度とは、ボレル集合のσ-代数上で定義される任意の測度 μ のことを言う。ただし、人によっては、すべてのコンパクト集合 C に対する μ(C) \mathfrak(\textbf) は R の開区間を含む最小のσ-代数となる。そのようなボレル測度 μ は多く存在するが、すべての区間 に対して \mu().
新しい！!: 畳み込みとボレル測度 · 続きを見る »
ブラインド・デコンボリューション
ブラインド・デコンボリューション（blind deconvolution）とは逆畳み込みの一種で、画像や音声などの信号処理において、点拡がり関数 (PSF) やインパルス応答が未知な場合に、測定信号から原信号を復元するための方法である。 通常の線形または非線形な逆畳み込みは、既知の PSF やインパルス応答を利用するのに対し、 ブライド・デコンボリューションでは、測定信号からそれらを推定する。 ブラインド・デコンボリューションの例としては、SeDDaRA 、ケプストラム 、APEX がある。ケプストラムと APEX とは、PSF やインパルス応答が特定の形状をもつと仮定し、その幅を推定する。 SeDDaRA は、Self-Deconvolving Data Restoration Algorithm の略で、 信号の劣化を一連の処理によって測定信号自体から得るもの。 いずれの方法も信号ノイズ比が低い画像からは正しい復元が行われない。.
新しい！!: 畳み込みとブラインド・デコンボリューション · 続きを見る »
パターン認識
パターン認識（パターンにんしき、Pattern recognition）は自然情報処理のひとつ。画像・音声などの雑多な情報を含むデータの中から、一定の規則や意味を持つ対象を選別して取り出す処理である。.
新しい！!: 畳み込みとパターン認識 · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 畳み込みとヒルベルト空間 · 続きを見る »
ヒルベルト空間上のコンパクト作用素
数学の関数解析学の分野において、ヒルベルト空間上のコンパクト作用素（ヒルベルトくうかんじょうのコンパクトさようそ、）は、行列の直接的な拡張である。すなわち、ヒルベルト空間において、それらはまさしく一様作用素位相における有限ランク作用素の閉包である。したがって、行列理論で得られる結果はしばしば同様の議論によってコンパクト作用素へと拡張することが出来る。対照的に、無限次元空間上の一般的な作用素の研究には、しばしば異なる手法が必要となる。 例えば、バナッハ空間上のコンパクト作用素のスペクトル理論は、行列のジョルダン標準形と非常によく似た形式を取る。ヒルベルト空間の文脈では、正方行列がユニタリ対角化可能であるための必要十分条件は、それが正規作用素であることである。ヒルベルト空間上の正規作用素に対しても、対応する結果が得られる（より一般に、コンパクト性の仮定は除くことも出来る。しかし、上述のように、用いられる手法はより特殊なものとなる）。 この記事では、ヒルベルト空間上のコンパクト作用素に関する結果を紹介する。コンパクト作用素のサブクラスを考える前に、一般的な性質について述べる。.
新しい！!: 畳み込みとヒルベルト空間上のコンパクト作用素 · 続きを見る »
ピエール＝シモン・ラプラス
ピエール＝シモン・ラプラス（Pierre-Simon Laplace, 1749年3月23日 - 1827年3月5日）は、フランスの数学者、物理学者、天文学者。「天体力学概論」(traité intitulé Mécanique Céleste)と「確率論の解析理論」という名著を残した。 1789年にロンドン王立協会フェローに選出された。.
新しい！!: 畳み込みとピエール＝シモン・ラプラス · 続きを見る »
テイラーの定理
''n''(''x'' − 1)''k''''f''(''k'')(1)/''k''! による近似 微分積分学において、テイラーの定理（テイラーのていり、Taylor's theorem）は、k 回微分可能な関数の与えられた点のまわりでの近似を k 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。 テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ＝ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年にジェームス・グレゴリー (James Gregory) によって言及されている。 テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだの入り口であり、より応用的な分野の数値計算や数理物理学においてよく使われている。テイラーの定理は任意次元 n, m の多変数ベクトル値関数 にも一般化する。テイラーの定理のこの一般化は微分幾何学や偏微分方程式において現れるいわゆるの定義の基礎である。 n の大きさを評価することで、近似がどれだけ正確であるかが分かる。f が無限回微分可能であり、Rn が0に収束する場合、すなわち である場合、f(x) はテイラー展開が可能である。そのとき f は解析的(analytic)であるといわれる。 テイラーの定理は平均値の定理を一般化したものになっている。実際、上の式において n.
新しい！!: 畳み込みとテイラーの定理 · 続きを見る »
ディラックのデルタ関数
right 数学におけるディラックのデルタ関数（デルタかんすう、delta function）、制御工学におけるインパルス関数 (インパルスかんすう、impulse function) とは、任意の実連続関数 に対し、 を満たす実数値シュワルツ超関数 のことである。これはクロネッカーのデルタ の自然な拡張になっている。 ディラックのデルタ関数は、デルタ超関数 (delta distribution) あるいは単にディラックデルタ (Dirac's delta) とも呼ばれる。これを最初に定義して量子力学の定式化に用いた物理学者ポール・ディラックに因み、この名称が付いている。デルタ関数は古典的な意味での関数ではないシュワルツ超関数 の最初の例になっている。 ディラックのデルタの「関数」としての性質は、形式的に次のように述べることができる。まず、 として実直線上常に一定の値 をとる関数をとり、デルタ関数をデルタ関数自身と との積であると見ることにより である。一方、積分値が の での値にしかよらないことから でなければならないが、その上で積分値が でない有限の値をとるためには が満たされなければならない。.
新しい！!: 畳み込みとディラックのデルタ関数 · 続きを見る »
フーリエ変換
数学においてフーリエ変換（フーリエへんかん、Fourier transform; FT）は、実変数の複素または実数値函数を別の同種の函数に写す変換である。変換後の函数はもとの函数に含まれる周波数を記述し、しばしばもとの函数の周波数領域表現 と呼ばれる。これは、演奏中の音楽を聴いてそれをコードに書き出すというようなことと同様な思想である。実質的に、フーリエ変換は函数を振動函数に分解する。 フーリエ変換 (FT) は他の多くの数学的な演算と同様にフーリエ解析の主題を成す。特別の場合として、もとの函数とその周波領域表現が連続かつ非有界である場合を考えることができる。「フーリエ変換」という術語は函数の周波数領域表現のことを指すこともあるし、函数を周波数領域表現へ写す変換の過程・公式を言うこともある。なおこの呼称は、19世紀フランスの数学者・物理学者で次元解析の創始者とされるジョゼフ・フーリエに由来する。.
新しい！!: 畳み込みとフーリエ変換 · 続きを見る »
フビニの定理
数学においてフビニの定理（フビニのていり、）とは、 によって導入された、逐次積分による二重積分の計算が可能となるための条件に関する一結果である。すなわち、次のような計算が可能となる。 この結果、は逐次積分において変えることが可能となる。フビニの定理は、ある二変数函数が可積分であれば、上記のような二回の繰り返しの積分は等しいことを意味する。 によって導入されたトネリの定理（Tonelli's theorem）も同様のものであるが、その定理が適用される函数は可積分ではなくとも非負であればよい。.
新しい！!: 畳み込みとフビニの定理 · 続きを見る »
列 (数学)
数学において列（れつ、sequence）とは、粗く言えば、対象あるいは事象からなる集まりを「順序だてて並べる」ことで、例えば「Ａ，Ｂ，Ｃ」は３つのものからなる列である。狭義にはこの例のように一列に並べるものを列と呼ぶが、広義にはそうでない場合（すなわち半順序に並べる場合）も列という場合がある（例：有向点列）。集合との違いは順番が決まっている事で、順番を変更したものは別の列であるとみなされる。たとえば列「Ａ，Ｂ，Ｃ」と列「Ｂ，Ｃ，Ａ」は異なる列である。 数を並べた列を数列、（何らかの空間上の）点を並べた列を点列、文字を並べた列を文字列（あるいは語）という。このように同種の性質○○を満たすもののみを並べた場合にはその列を「○○列」という言い方をするが、異なる種類のものを並べた列も許容されている。 列の構成要素は、列の要素あるいは項（こう、term）と呼ばれ、例えば「Ａ，Ｂ，Ｃ」には３つの項がある。項の個数をその列の項数あるいは長さ (length, size) という。項数が有限である列を有限列（ゆうげんれつ、finite sequence）と、そうでないものを無限列（むげんれつ、infinite sequence）と呼ぶ。（例えば正の偶数全体の成す列 (2, 4, 6,...) ）。.
新しい！!: 畳み込みと列 (数学) · 続きを見る »
周期関数
数学における周期関数（しゅうきかんすう、periodic function）は、一定の間隔あるいは周期ごとに取る値が繰り返す関数を言う。最も重要な例として、 ラジアンの間隔で値の繰り返す三角関数を挙げることができる。周期関数は振動や波動などの周期性を示す現象を記述するものとして自然科学の各分野において利用される。周期的でない任意の関数は非周期的（ひしゅうきてき、aperiodic）であるという。.
アナログ信号処理
アナログ信号処理（アナログしんごうしょり、英: Analog signal processing）とは、アナログ信号についてアナログ的手段で行う信号処理。「アナログ」とは、ここでは数学的に表された連続値の集合を意味する。一方「デジタル」は、信号を表すのに一連の離散的な量を使う。アナログ量は一般に電子機器の部品にかかる電圧、電流、電荷で表される。そのような物理量の誤差やノイズは、それら物理量で表されている信号の誤差を結果として生じる。 アナログ信号処理の例として、スピーカーのクロスオーバーフィルタによる音高の分解、ステレオでの音量調節、テレビでの色調調節がある。典型的なアナログ信号処理部品として、コンデンサ、抵抗器、コイル、トランジスタなどがある。.
新しい！!: 畳み込みとアナログ信号処理 · 続きを見る »
インパルス応答
単純な音響システムのインパルス応答の例。上から、元のインパルス、高周波をブーストした場合、低周波をブーストした場合 インパルス応答（）とは、インパルスと呼ばれる非常に短い信号を入力したときのシステムの出力である。インパルス反応とも。インパルスとは、時間的幅が無限小で高さが無限大のパルスである。実際のシステムではこのような信号は生成できないが、理想化としては有益な概念である。 LTIシステム（線形時不変系）と呼ばれるシステムは、そのインパルス応答によって完全に特徴付けられる。.
新しい！!: 畳み込みとインパルス応答 · 続きを見る »
カラオケ
ラオケとは、歌唱またはメロディパート（主旋律）を担う楽器を演奏する際に、事前に制作された伴奏を再生し合唱・合奏や演奏する行為をいう。対語として生演奏を生オケと言う。また、事前に制作された伴奏の録音もカラオケと呼ぶ。1970年代以降、演奏装置そのものを「カラオケ」と呼ぶ機会も増えている。.
グラフィックソフトウェア
ラフィックソフトウェアは、コンピュータにおいて図形あるいは画像データを扱うソフトウェアの総称。ここでは主に静止画像について「画像」、図形と画像、双方の概念を含むオブジェクトを「イメージ」と記述する。.
新しい！!: 畳み込みとグラフィックソフトウェア · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: 畳み込みとコンピュータ · 続きを見る »
コーシー積
数学の特に初等解析学におけるコーシー積（コーシーせき、Cauchy product）は、二つの無限級数に対する離散的な畳み込み積である。名称はフランス人数学者のオーギュスタン・ルイ・コーシーに因む。 コーシー積が適用できるのは、無限級数あるいは冪級数である。冪級数のコーシー積は冪級数を単に無限級数とみてとったコーシー積であるから、ことさら区別を強調することはないけれども、収束性を考える上では分けておくことは便利である。 コーシー積は数列を添字集合上の離散的な函数と見たときの函数の畳み込みであり、また有限数列または有限級数を、台が有限（つまり、有限個を除くすべての項が零）な無限数列または無限級数と見てコーシー積をとることもできるけれども、その場合は離散畳み込みと呼ぶほうが普通であろう。.
新しい！!: 畳み込みとコーシー積 · 続きを見る »
シメオン・ドニ・ポアソン
メオン・ドニ・ポアソン（Siméon Denis Poisson、1781年6月21日 - 1840年4月25日）は、ポアソン分布・ポアソン方程式などで知られるフランスの数学者、地理学者、物理学者。.
新しい！!: 畳み込みとシメオン・ドニ・ポアソン · 続きを見る »
シュワルツ空間
数学においてシュワルツ空間（シュワルツくうかん、）とは、導函数がすべて「急激に減少する」ような函数全体からなる函数空間である。この空間上フーリエ変換は自己同型であるという重要な性質がある。この性質から、双対性によって、S の双対空間の元、すなわち緩増加超函数に対するフーリエ変換を定義できる。シュワルツ空間の名は、ローラン・シュヴァルツに敬意を表して、アレクサンドル・グロタンディークによって付けられた。シュワルツ空間内の函数はしばしば、シュワルツ函数 (Schwartz function) と呼ばれる。.
新しい！!: 畳み込みとシュワルツ空間 · 続きを見る »
シンセサイザー
ミニモーグ」 シンセサイザー（synthesizer）は、一般的には主に電子工学的手法により楽音等を合成（synthesize：シンセサイズ）する楽器「ミュージック・シンセサイザー」の総称。電子楽器、音源と呼ばれることもある。.
新しい！!: 畳み込みとシンセサイザー · 続きを見る »
ジャン・ル・ロン・ダランベール
ャン・ル・ロン・ダランベール（Jean Le Rond d'Alembert、1717年11月16日 - 1783年10月29日）は、18世紀フランスの哲学者、数学者、物理学者。ドゥニ・ディドロらと並び、百科全書派知識人の中心者。.
新しい！!: 畳み込みとジャン・ル・ロン・ダランベール · 続きを見る »
ジョゼフ・フーリエ
ャン・バティスト・ジョゼフ・フーリエ男爵（Jean Baptiste Joseph Fourier, Baron de、1768年3月21日 - 1830年5月16日）は、フランスの数学者・物理学者。 固体内での熱伝導に関する研究から熱伝導方程式（フーリエの方程式）を導き、これを解くためにフーリエ解析と呼ばれる理論を展開した。フーリエ解析は複雑な周期関数をより簡単に記述することができるため、音や光といった波動の研究に広く用いられ、現在調和解析という数学の一分野を形成している。 このほか、方程式論や方程式の数値解法の研究があるほか、次元解析の創始者と見なされることもある。また統計局に勤務した経験から、確率論や誤差論の研究も行った。.
新しい！!: 畳み込みとジョゼフ・フーリエ · 続きを見る »
スカラー
ラー、スカラ; scalar.
円 (数学)
数学において、円（えん）とは、平面（2次元ユークリッド空間）上の、定点 O からの距離が等しい点の集合でできる曲線のことをいう。ここで現れる定点 O を円の中心と呼ぶ。円には、その中心が1つあり、また1つに限る。中心から円周上の 1 点を結んだ線分を輻（や）とよび、その長さを半径というが、現在では輻のことを含めて半径と呼ぶことが多い。中心が点 O である円を、円 O と呼ぶ。定幅図形の一つ。 円が囲む部分、すなわち円の内部を含めて円ということもある。この場合は、曲線のことを円周という。これに対して、内部を含めていることを強調するときには円板という。また、三角形、四角形などと呼称を統一して、円形ということもある。 数学以外の分野ではこの曲線のことを「丸（まる）」という俗称で呼称することがある。 円: 中心、半径・直径、円周.
新しい！!: 畳み込みと円 (数学) · 続きを見る »
確率変数
率変数（かくりつへんすう、random variable, aleatory variable, stochastic variable）とは、確率論ならびに統計学において、ランダムな実験により得られ得る全ての結果を指す変数である。 数学で言う変数は関数により一義的に決まるのに対し、確率変数は確率に従って定義域内の様々な値を取ることができる。.
確率分布
率分布（かくりつぶんぷ, probability distribution）は、確率変数の各々の値に対して、その起こりやすさを記述するものである。日本工業規格では、「確率変数がある値となる確率，又はある集合に属する確率を与える関数」と定義している。.
確率測度
率測度（かくりつそくど、probability measure）とは、'''可算加法性'''のような測度の性質を満たすものの内、確率空間において事象の集合上で定義された実数値函数のことである。確率測度とより一般的な測度（面積や体積のような概念）との違いは、確率測度は全空間に対しては 1 を返さねばならないことである。 A course in mathematics for students of physics, Volume 2 by Paul Bamberg, Shlomo Sternberg 1991 ISBN 0-521-40650-1 The concept of probability in statistical physics by Yair M. Guttmann 1999 ISBN 0-521-62128-3 In mathematics, a probability measure is a real-valued function defined on a set of events in a probability space that satisfies measure properties such as countable additivity.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
積和演算
積和演算 (せきわえんざん)は、演算のひとつで、積の和を求める、つまり乗算の結果を順次加算する演算である。乗累算 (じょうるいざん) とも言う。MAD/MADD (multiply-add) もしくは MAC/MACC (multiply-accumulate) と呼ばれることもある。演算式は以下のように表される。 。また、1秒間にこの積和演算を何回実行できるか、がプロセッサの性能指標として使われることもある。 なお、和ではなく差を用いる場合は、積差演算と呼ばれる。.
総和
数学において、総和（そうわ、summation）とは与えられた数を総じて加えることである。.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 畳み込みと群 (数学) · 続きを見る »
絞り (光学)
虹彩絞り 光学系において絞り（しぼり、diaphragm）とは、通過する光の量を調整するために用いる遮蔽物のことである。開口部を指す aperture が訳語になることもある。.
新しい！!: 畳み込みと絞り (光学) · 続きを見る »
絶対連続
数学における絶対連続（ぜったいれんぞく、absolute continuity）とは通常の連続性や一様連続性よりも強い条件を課した連続性の概念である。関数と測度とについて、関係しているが見かけ上異なるふたつの絶対連続性の定義がなされる。.
独立 (確率論)
立（どくりつ、independent）とは、確率論において、2つのが成立する確率がそれぞれの確率の積で表されることを言う。2つの確率変数が独立であるというのは、「ある確率変数の値が一定範囲に入る事象」と「別の確率変数の値が別の一定範囲に入る事象」が、考えられるどのような「一定範囲」（「考えられる」とは通常ボレル集合族を指す）を定めても事象として独立であることを言う。 確率論における独立は、他の分野における独立性の概念と区別する意味で、確率論的独立（かくりつろんてきどくりつ、stochastic independence）あるいは統計的独立（とうけいてきどくりつ、statistical independence）などとも呼ばれる。 2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の分布が変化しないことを意味する。.
新しい！!: 畳み込みと独立 (確率論) · 続きを見る »
行列要素
数学における行列要素（ぎようれつようそ、matrix element）、成分 (matrix entry) あるいは係数 (matrix coefficient) は、群上の特別な形の函数で、その群の線型表現と付加的なデータに依存するものである 有限群に対する行列要素は、その群の元の特定の表現に関する作用に対応する行列の成分として表すことができる。 リー群の表現の行列要素は、特殊函数論と緊密な関係を持ち、理論の大部分を統一的に扱う方法を与える。行列要素の増加性質は、局所コンパクト群（特に簡約実および -進群）の既約表現の分類において重大な役割を持つ。行列要素を用いた方法論は、モジュラー形式の概念に莫大な一般化をもたらした。別な方向では、ある種の力学系の持つが、適当な行列要素の性質によって制御される。.
被写界深度
被写界深度が深い写真 焦点距離18mm(APS-C) 絞り F22 被写界深度が浅い写真 焦点距離50ミリ(APS-C) 絞り F1.4 接写リング使用 被写界深度（ひしゃかいしんど）とは、写真の焦点が合っているように見える被写体側の距離の範囲のこと。写真用レンズにおいては、ある一つの設定で厳密な意味でピントが合っている場所は、一つの平面上にしかないが、一定の許容量を認めることでその前後にも十分にはっきりと像を結んでいるといえる範囲がある。その範囲のことを被写界深度と呼んでいる。 右の二つの写真を比較してみた場合、上の写真では近くのバラにも遠くの洋館にも焦点が合っているように見え、焦点が合っている範囲が手前から奥へと広い。このような状態を「被写界深度が深い」または「パンフォーカス」という。 一方、下の写真では花の「シベ」の部分にしか焦点が合っておらず、花びらでさえ奥側と手前側はぼけている。焦点が合っている範囲が狭いのである。このような状態を「被写界深度が浅い」という。 同じ内容を指して被写体深度と言う表記が用いられることがあるが、これは誤用である。また、焦点深度は別の概念で、結像面（例えばフィルム面）側における範囲のことである。 被写界深度は英語でDepth of fieldといい、略称はDOFである。.
新しい！!: 畳み込みと被写界深度 · 続きを見る »
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
調和解析
数学の一分野としての調和解析（ちょうわかいせき、Harmonic analysis）は、関数や信号を基本波の重ね合わせとして表現することに関わるもので、フーリエ級数やフーリエ変換及びその一般化について研究する分野である。19世紀から20世紀を通じて、調和解析の扱う主題は広く、応用も信号処理、量子力学、神経科学など多岐にわたる。 「調和 (harmonic)」の語は、もとは物理的な固有値問題から来たもので、（楽器の弦における調和振動の周波数のように）周波数が他の周波数の整数倍となっているような波を意図したものであるが、現在ではその原義を超えて一般化した使い方をされる。 上の古典フーリエ変換は未だ活発な研究の成されている領域であり、特により一般の緩増加超関数などの対象についてのフーリエ変換に関心が持たれる。例えば、シュワルツ超関数 に適当な仮定を課すときに、それらの仮定を のフーリエ変換に関する仮定に翻訳することを考えることができる。はその一例である。ペイリー・ウィーナーの定理からすぐに従うことに、 がコンパクト台を持つ非零超関数（これにはコンパクト台を持つ関数ももちろん含まれる）ならばそのフーリエ変換がコンパクト台を持つことは起こりえない。これは調和解析的な設定のもとでの非常に初等的な形の不確定性原理と言うことができる（フーリエ級数の収束も参照）。 フーリエ級数はヒルベルト空間論の文脈でも有効に調べられており、調和解析と関数解析学とを結ぶものとなっている。.
高速フーリエ変換
速フーリエ変換（こうそくフーリエへんかん、fast Fourier transform, FFT）は、離散フーリエ変換（discrete Fourier transform, DFT）を計算機上で高速に計算するアルゴリズムである。高速フーリエ変換の逆変換を逆高速フーリエ変換（inverse fast Fourier transform, IFFT）と呼ぶ。.
新しい！!: 畳み込みと高速フーリエ変換 · 続きを見る »
軟化子
数学において、軟化子（なんかし、）あるいは恒等作用素への近似（approximation to the identity）として知られるものは、例えば超函数の理論において、畳み込みを介して、滑らかではない超函数に対する滑らかな函数列を作るために用いられる、特別な性質を備えたある滑らかな函数のことを言う。直感的に、変則的な函数が与えられた際、軟化子との畳み込みを取ることで、その函数は「軟化」される。すなわち、その函数の尖った部分は滑らかなものとなるが、依然として元の滑らかではない超函数に似た性質を保つものが得られる。発見者のの名に因んで、フリードリヒの軟化子（Friedrichs mollifier）とも呼ばれる。.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 畳み込みと関数 (数学) · 続きを見る »
関数の台
数学における、ある函数の台（だい、）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。.
関数解析学
関数解析学（かんすうかいせきがく、functional analysis）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.
新しい！!: 畳み込みと関数解析学 · 続きを見る »
閉性
数学において、与えられた集合がある演算あるいは特定の性質を満たす関係について閉じている (closed) あるいはその演算がその集合上で閉性（へいせい、closure property; 包性）を持つとは、その集合の元に対して演算を施した結果がふたたびもとの集合に属することを言う。複数の演算からなる集まりが与えられた場合も、それら演算の族に関して閉じているとは、それが個々の演算すべてに関して閉じていることを言う。.
自己回帰移動平均モデル
自己回帰移動平均モデル（じこかいきいどうへいきんモデル、Autoregressive moving average model、ARMAモデル）は、統計学において時系列データに適用されるモデルである。George Box と G. M. Jenkins の名をとって "ボックス・ジェンキンスモデル" とも呼ばれる。 時系列データ Xt について、ARMAモデルはその将来の値を予測するためのツールとして機能する。モデルは自己回帰(AR)部分と移動平均(MA)部分からなる。一般に ARMA(p,q)モデルと表記され、p は自己回帰部分の次数、q は移動平均部分の次数を表す（定義は後述）。.
新しい！!: 畳み込みと自己回帰移動平均モデル · 続きを見る »
離散フーリエ変換
離散フーリエ変換（りさんフーリエへんかん、discrete Fourier transform、DFT）とは離散化されたフーリエ変換であり、信号処理などで離散化されたデジタル信号の周波数解析などによく使われる。また偏微分方程式や畳み込み積分を効率的に計算するためにも使われる。離散フーリエ変換は（計算機上で）高速フーリエ変換(FFT)を使って高速に計算することができる。 離散フーリエ変換とは、複素関数 f(x)を複素関数F(t)に写す写像であって、次の式で定義されるものを言う。 ここで、Nは任意の自然数、 e はネイピア数、i は虚数単位 (i^2.
新しい！!: 畳み込みと離散フーリエ変換 · 続きを見る »
電気回路
電気回路（でんきかいろ、electric(al) circuit）は、抵抗器（抵抗）、インダクタ、コンデンサ、スイッチなどの電気的素子が電気伝導体でつながった電流のループ（回路）である。 電気回路は、電流の流れのための閉ループを持っていて、2つ以上の電気的素子が接続されている。 「回路」の語義的にはループになっているものだけであり、また電流は基本的にはその性質として、ループになっていなければ流れないものであるが、アンテナやアースのように開放端になっている部分も通例として含めている。対象が電子工学的（弱電）であるものは電子回路と言う。 例外的な分野の例ではあるが、主に数ギガヘルツの電磁波（電波）を伝播させる給電線である導波管をコンポーネント単位で、加工・細工するなどして、中空の導波管内を伝播する電磁波に直接作用させる形で構成した電気回路を立体回路と言う。これらは、基本的にループを構成せず、電気伝導体を介さない上記の電気回路の概念とは少し異なるものだが、電気回路の延長線上としてマイクロ波などの高周波領域であつかわれている。 導波管は金属の管であり、加工により通常の電気回路にあるような電気的素子である容量性（コンデンサ）、誘導性（インダクタ）、短絡（ショート）、抵抗減衰、分岐などを高周波領域で実現することが出来る。 これらは衛星通信やマイクロ波加熱、プラズマ生成など用途に応じて高出力（電力）で、かつ高周波の無線電波分野で用いられ、立体回路が構成される導波管は主に中空の方形導波管が多い。.
集合函数
数学における集合函数（しゅうごうかんすう、set-function）は集合を変数（入力、引数）とする函数である。集合函数は出力としてふつうは数を返すが、しばしば出力として無限大を許す（すなわち補完数直線に値をとる函数も考える）。入力は、普通は適当な集合の部分集合族の元となっているような集合であり、しばしば実数からなる集合、ユークリッド空間内の点集合、適当な測度空間内の点集合などから取られる。 これと対照的に、入力が点である（通常の意味の）函数を点函数とよぶ。また、集合を値として出力する写像はしばしば集合値函数と呼ばれる（集合値函数と多価函数は同じような意味で用いられることがあるが、必ずしも同義語でない）。 集合函数は測度論の基礎を成すもので、測度および有限加法的測度は特定の性質を満足する集合函数として定められる。.
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: 畳み込みと連続 (数学) · 続きを見る »
Lp空間
数学の分野における Lp 空間（エルピーくうかん、Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる が、 によると初めて導入されたのは とされている。Lp 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。.
LTIシステム理論
LTIシステム理論（LTI system theory）は、電気工学、特に電気回路、信号処理、制御理論といった分野で、線型時不変系（linear time-invariant system）に任意の入力信号を与えたときの応答を求める理論である。通常、独立変数は時間だが、空間（画像処理や場の古典論など）やその他の座標にも容易に適用可能である。そのため、線型並進不変（linear translation-invariant）という用語も使われる。離散時間（標本化）系では対応する概念として線型シフト不変（linear shift-invariant）がある。.
新しい！!: 畳み込みとLTIシステム理論 · 続きを見る »
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: 畳み込みとWell-defined · 続きを見る »
Z変換
関数解析学において、Z変換（ゼッドへんかん、Z-transform）とは、離散群上で定義される、ローラン展開をベースにした関数空間の間の線形作用素。関数変換。 Z変換は離散群上でのラプラス変換とも説明される。なお、Z変換という呼び方は、ラプラス変換のことを「S変換」と呼んでいるようなものであり、定義式中の遅延要素であるzに由来する名前である。.
正規作用素
数学の特に函数解析学における正規作用素（せいきさようそ、normal operator）は、複素ヒルベルト空間 H 上の連続線型作用素 でエルミート随伴 を持ち、 を満たすものを言う。 正規作用素が重要であるのは、それに対するスペクトル定理が成り立つからである。今日では正規作用素のクラスはよく分かっている。正規作用の例としては.
新しい！!: 畳み込みと正規作用素 · 続きを見る »
正規直交基底
数学において、特に線型代数学において、有限次元内積空間 V の正規直交基底（せいきちょっこうきてい、orthonormal basis）とは、正規直交系を成すような V の基底をいう。例えば、ユークリッド空間 Rn の標準基底は、ベクトルの点乗積を内積としての正規直交基底である。また、標準基底の回転や鏡映（一般に任意の直交変換）による像もまた正規直交基底であり、なおかつ Rn の任意の正規直交基底はこの方法で得られる。 一般の内積空間 V に対して、その正規直交基底は V 上の正規化された直交座標系を定めるのに利用できる。そのような座標系のもとでは内積をベクトルの点乗積と同一視することができるから、正規直交基底の存在については（一般の有限次元内積空間を調べるのではなくて）点乗積を伴う Rn の場合を調べれば十分である。従って任意の有限次元内積空間は正規直交基底を持つが、実際にこれを得るには任意の基底にグラム・シュミットの正規直交化法を用いればよい。 函数解析学では、正規直交基底の概念を一般の（必ずしも有限次元でない）内積空間（前ヒルベルト空間）に対しても定義することができる。前ヒルベルト空間 H が与えられたとき、H の正規直交基底とは、H の正規直交系であって、H を位相的に生成するものをいう。即ち、H の各ベクトルが、基底に属するベクトルの''無限''線型結合として一意に表される。この場合の正規直交基底を、H のヒルベルト基底と呼ぶこともある。この意味での正規直交基底は、無限線型結合を用いることから、一般にはベクトル空間としての基底（ハメル基底）でないことに注意すべきである。よりはっきり述べれば、正規直交基底によって張られる部分空間（正規直交基底に属するベクトルの有限線型結合全体）は全空間 H において稠密ではあるが、全空間 H に一致するとは限らない。.
新しい！!: 畳み込みと正規直交基底 · 続きを見る »
測度論
測度論（そくどろん、measure theory ）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。 ここで測度（そくど、measure ）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。 よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。 また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、 確率論や統計学においても測度論は重要である。 たとえば「サイコロの目が偶数になる確率 」は目が 1,..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っている為、 測度の概念で記述できる。.
指標 (数学)
数学において、ある指標（しひょう、）とは、群から（複素数全体のような）体へのある特殊な関数のことを言う。少なくとも二つの、異なるが重複もする意味が存在する。.
新しい！!: 畳み込みと指標 (数学) · 続きを見る »
有界変動函数
解析学における有界変動の函数（ゆうかいへんどうのかんすう、fonction of bounded variation）あるいは有界変動函数（-function; BV函数）は、その変動が有界、すなわちが有限値となるような実数値函数を言う。この性質は函数のグラフが以下に述べる意味において素性のよい (well behaved) ものであることを述べるものである。話を一変数の連続函数に限定すれば、有界変動であることはその連続函数のグラフ上を奔る動点の（方向への寄与分は無視して）方向への移動距離が有限であることを意味する。多変数の連続函数の場合にもこれは同様の意味を持つのであるが、考えるべき動点の辿る連続な路としては、与えられた函数のグラフ全体（今の場合これは超曲面になる）を取ることができないという事実があるので、函数のグラフと固定された -軸および -軸に平行な任意の超平面との交叉を取る必要がある。.
新しい！!: 畳み込みと有界変動函数 · 続きを見る »
