コンパクトな台 [−1, 1] を持つ滑らかな関数の例。 数学における、ある函数の台（だい、英: support）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う[1]。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。 定義[編集] 与えられた集合 X 上の函数 f が、Y(⊂ X) に台を持つ (supported in) とは、その函数 f が Y の外側 X ∖ Y で常に消えていることを言う。このとき、Y を部分集合として含む任意の集合（Y の拡大集合）Z に対して f は Z に台を持つことになるのは明らかであるから、函数 f の台 supp(f) は、f が台を持つような X の部分集合全ての交わりとして定義される。即ち、集合論

数学の分野で、ある可測な位相空間 (X, Borel(X)) 上の測度 μ の台（だい、英: support）とは、その空間 X のどこでその測度が「生きている」かということに関する厳密な概念である。しばしば位相的台（topological support）やスペクトル（spectrum）と呼ばれることもある。そのような台は、すべての点のすべての近傍が正の測度を持つような、X の最大の（閉）部分集合で定義される。 動機[編集] ある可測空間 (X, Σ) 上の（非負の）測度 μ は実際、函数 μ : Σ → [0, +∞] と表すことが出来る。したがって、通常の台の定義に従えば、μ の台は次のような σ-代数 Σ の部分集合となる。 しかし、この定義にはいくらか不十分な点がある。実際、Σ 上の位相すら与えられていないのである。今我々が本当に知りたいことは、空間 X 内のどこにおいて測度 μ

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年8月） 数学の分野における積分変換（せきぶんへんかん、英: Integral transform）とは、次の形をとるような変換 T のことである： この積分変換の入力は関数 f であり、出力は関数 Tf である。積分変換は作用素の一種である。 多くの便利な積分変換が存在する。個々の積分変換は、その変換の核関数 (kernel function) あるいは核 (kernel, nucleus) と呼ばれる二変数関数 K を定めれば決まる。また、積分区間は，核によって適当に定められる。 いくつかの核関数には逆 K−1(u, t) が存在し、それは（大まかに言えば）次のような逆変換を満たす: このような公式は反転公式と呼ばれる。

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

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2018年1月） 数学におけるレゾルベント（英: resolvent, 解素）は、線型作用素（あるいは行列）のスペクトルの補集合（レゾルベント集合）を定義域とする解析函数である。 レゾルベントの解析的構造から線型作用素のスペクトル的な性質が調べられる。また、レゾルベントを用いれば、ヒルベルト空間やもっと一般の空間上の作用素のスペクトルの研究に複素解析学の概念を定式化して持ち込むことができる。レゾルベントは解核とも呼ばれ、（通常はリウヴィル-ノイマン級数として定義される）積分核として、非斉次フレドホルム積分方程式を解くのにも使われる。 イヴァール・フレドホルムは Acta Mathematica に収録された論文 (Fredholm

解析学における半連続性（英: semi-continuity）とは、拡大実数値関数（値として ±∞ を取り得る）に対して定義される「連続性」よりも弱い性質である。概略的に言うと、拡大実数値関数 f が点 x0 で上（下）半連続であるとは、x0 の十分近くで函数の値が f(x0) に近いかもしくは f(x0) よりも小さい（大きい）ことを言う。 例[編集] 上半連続な関数。青で塗り潰した点がf(x0)。 x < 0 において f(x) = –1、x ≥ 0 において f(x) = 1 と区分的に定義された関数fを考える。この関数はx0 = 0において上半連続であるが、下半連続ではない。 下半連続な関数。青で塗り潰した点がf(x0)。 閉集合の指示関数が上半連続である一方、開集合の指示関数は下半連続である。与えられた実数xに対し、それ以下の最大の整数を返す床関数 は、全ての点において上半連続で

数学におけるハーン–バナッハの定理（ハーン–バナッハのていり、英: Hahn–Banach theorem）は、関数解析学の分野における中心的な道具で、ベクトル空間の部分空間上で定義される有界線形汎関数が全空間へ拡張できることについて述べたものである。これにより、どのようなノルム線形空間においても、その上で定義される連続線形汎関数が、双対空間の研究を「面白い」ものにするに「十分」なほどたくさんあることがわかる。ハーン-バナッハの定理の別形態のものとして、ハーン–バナッハの分離定理あるいは分離超平面定理と呼ばれるものがあり、凸幾何学（英語版）の分野で多く用いられている。 定理の名前の由来は、1920年代後半にそれぞれ独立にこの定理を証明したハンス・ハーンとステファン・バナッハである。定理の特別な場合[1]については、より早い段階（1912年）でエードゥアルト・ヘリーによって証明されており[2

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2016年6月） リースの表現定理（リースのひょうげんていり、英: Riesz representation theorem）とは、数学の関数解析学の分野におけるいくつかの有名な定理に対する呼称である。リース・フリジェシュの業績に敬意を表し、そのように名付けられた。 この定理は、ヒルベルト空間とその（連続的）双対空間の間に、ある重要な関係性を構築するものである。すなわち、基礎体が実数体であるなら、それら2つの空間は等長同型であり、複素数体であるなら、それらは等長反同型（英語版）である、ということについてこの定理は述べている。そのような（反）同型性は、以下で述べるように、とりわけ自然なものである。 H をヒルベルト空間とし、H から

カルマンフィルター (英: Kalman filter) は、誤差のある観測値を用いて、ある動的システムの状態を推定あるいは制御するための、無限インパルス応答フィルターの一種である。 カルマンフィルターは、 離散的な誤差のある観測から、時々刻々と時間変化する量（例えばある物体の位置と速度）を推定するために用いられる。レーダーやコンピュータビジョンなど、工学分野で広く用いられる。例えば、カーナビゲーションでは、機器内蔵の加速度計や人工衛星からの誤差のある情報を統合して、時々刻々変化する自動車の位置を推定するのに応用されている。カルマンフィルターは、目標物の時間変化を支配する法則を活用して、目標物の位置を現在（フィルター）、未来（予測）、過去（内挿あるいは平滑化）に推定することができる。 カルマンフィルターは時間領域において、連続時間線形動的システム、もしくは離散化された離散時間線型動的システ

この項目では、ノルム線型空間上の弱位相について説明しています。写像の族による弱位相については「始位相」を、空間の被覆による弱位相については「コヒーレント位相」をご覧ください。 弱位相（じゃくいそう、英: weak topology）とは、ノルム空間X上に定義される位相の一つである。体K上のノルム空間にはノルムから定まる位相（ノルム位相。弱位相と区別するため強位相とも呼ばれる）があるが、弱位相はこれよりも弱い（強くない）位相であり、X上のK値有界線形写像（すなわちXの共役空間X*の元）が全て連続になる最弱な位相である。なお弱位相は位相空間論における始位相（英語版）の特別な場合に当たる。 強位相に関するものと区別するため、弱位相に関する連続性、収束性、コンパクト性はそれぞれ弱連続性、弱収束性、弱コンパクト性と呼ばれる。 本項では弱位相の関連概念である＊弱位相についても述べる。 定義[編集] 以

数学の分野における有界関数とは、下界と上界、すなわちその関数のどの値の絶対値よりも大きい定数が存在する関数のことを言うが、そのような関数の族を考えた場合には、関数によってそのような定数が異なるものとなる場合がある。もしもそれら全てを抑えるような一つの定数を見つけることが出来るなら、そのような関数の族は一様有界（いちようゆうかい、英: uniform bounded）であると呼ばれ、そのような性質のことを一様有界性（いちようゆうかいせい、英: uniform boundedness）と呼ぶ。 関数解析学における一様有界性原理（英語版）は、作用素の族が一様有界であるための十分条件を与える。 定義[編集] 実数直線および複素平面において[編集] を、 によって添え字付けられている関数の族とする。ここで は任意の集合で、 は実数あるいは複素数の集合である。 が一様有界であるとは、 を満たすようなあ

数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、英: dual vector space）あるいは単に双対空間（そうついくうかん、英: dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。 体 F

線型代数学における行列ノルム（ぎょうれつノルム、英: matrix norm）は、ベクトルのノルムを行列に対し自然に一般化したものである。 性質[編集] 以下では体 K を実数体 R または複素数体 C のいずれかを指すものとして用いる。また、Km×n を、K の元を成分に持つ m 行 n 列の矩形行列の全体が、通常の和とスカラー倍に関してなすベクトル空間とする。Km×n 上の行列のノルムはベクトルとしてのノルムである。すなわち、行列 A のノルムを ‖ A ‖ で表せば 正定値性：‖ A ‖ ≥ 0 かつ等号成立は A = O と同値 斉次性：α ∈ K, A ∈ Km×n ならば ‖ αA ‖ = |α|‖ A ‖ 劣加法性：A, B ∈ Km×n ならば ‖ A + B ‖ ≤ ‖ A ‖ + ‖ B ‖ が全て満たされる。 正方行列 (m = n) に関して、以下に挙げる条件を課す

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "線型写像" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2020年7月） 数学の特に線型代数学における線型変換（せんけいへんかん、英: linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、英: linear mapping）は、ベクトルの加法とスカラー倍を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。 概要[編集] 抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は

デーモン (英語: Daemon) は、UNIX, Linux, Mac OS XなどUnix系のマルチタスクオペレーティングシステム (OS) において動作するプロセス（プログラム）で、主にバックグラウンドで動作するプロセス[1]。ユーザが直接対話的に制御するプログラムもデーモンとして作ることができる[2]。典型的なデーモンは名前の最後尾に "d" が付く。例えば、syslogd はシステムログを扱うデーモン、sshd は内外のSSH接続要求を受け付けるデーモンである。 Unix系の環境では、常にではないが、デーモンの親プロセスはinitプロセスとなっていることが多い。デーモンは起動処理内でforkで子プロセスを作成し、親プロセスの方が即座に終了するため、init が里親となる。さらにデーモンまたはOSは制御端末 (tty) からの切り離しなどの処理も行う必要がある。こういったデーモンを