関数の台

数学における、ある**[[関数 (数学)|函数]]の台**（だい、）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。

## 定義
与えられた集合  上の函数  が、 に**台を持つ**  とは、その函数  が  の外側  で常に消えていることを言う。このとき、 を部分集合として含む任意の集合（ の拡大集合） に対して  は  に台を持つことになるのは明らかであるから、函数  の**台 ** は、 が台を持つような  の部分集合全ての交わりとして定義される。即ち、集合論的な意味でいう函数の台は
: \mathrm{supp}(f) := \{ x\in X\mid f(x)\ne 0\}
によって与えられる。解析学などの実際の文脈においては、交わりをとる部分集合に特定の望ましい性質（例えば閉、コンパクト性など）を仮定することが多く、しばしばそれらの性質が台  自身に遺伝する。

; 有限台: 集合  を定義域とする函数  が**有限な台**  を持つとは、 が有限集合となること、即ち有限個の例外を除く全ての  に対して  を満たすことを言う。
; 閉台: 最もよくある状況というのが、 が（実数直線のような）位相空間で、 が連続函数となる場合で、この場合は  が台を持つかどうかを閉集合に対してしか考えない。つまり、 がその外側で消えているような閉集合  が存在するとき、 は  に（位相的な）台を持つと言う。この意味において、 の（位相的な意味での）台  は、 が台を持つ閉集合全ての交わりでありそれ自身が閉集合となる（任意個数の閉集合の交わりはやはり閉集合となるから）。これはまた集合論的な意味での台の閉包   に等しい。
; 値域の一般化: 零元  を含むような任意の集合  に対しても、写像  の台の概念は直ちに定義できる。これに対して乗法的な類似対応を考えるならば、単位元  を持つ任意の代数的構造（例えばモノイドや群） に対しても、（写像が消えているということについて） の代わりに  を宛てることで写像の台を考えることができる。

## 例
* 自然数全体の成す集合  から整数全体の成す集合  への写像全体の成す族  は、無限整数列全体の成す非可算無限集合になる。その部分族として有限台を持つ無限整数列全体の成す集合を考えると、有限台を持つ無限列とは零でない項が有限個しかない列（実質有限列）であるから、そのようなものは可算個しかない。

## コンパクト台付きの函数
函数  が  に**コンパクトな台**を持つとは、 の台  が  のコンパクト部分集合となることを言う。よくある状況として、適当な分離公理の下で、コンパクト集合の閉部分集合はまたコンパクトとなるから、この場合  が  にコンパクト台を持つことと  が  のコンパクト部分集合に（位相的な意味での）台を持つこととは同値である。特に、コンパクト空間上の任意の連続函数はコンパクトな台を持つ。 が実数直線のときには、コンパクトな台を持つ函数とは即ち**有界な台**を持つ函数であり、従ってそのような函数は正負の。

ユークリッド空間上で定義されたコンパクト台を持つ滑らかな実数値函数は、隆起函数と呼ばれる。軟化子は隆起函数の重要な特別の場合で、超函数論において、滑らかではない（超）函数を畳み込みを通して近似する滑らかな函数列を作るのに用いられる。

状況下であれば、コンパクト台付きの函数は無限遠で消える函数全体の成す空間において稠密に存在するのだが、この性質を先ほど与えた例に対して正当化するには、いくらか技巧的な議論を要する。より複雑な場合でも直観的には同じようなことだが、極限に関する言葉で言えば、任意の ε &gt; 0 について、実数直線 **R** 上の無限遠点で消える任意の函数  は、任意の  に対して
: |f(x) - I_C(x)f(x)| 
となるような  を近似するコンパクト部分集合  を選ぶことにより、コンパクト台付き函数で近似することができる。ただし、 は  の指示函数。

## 超函数の台
実数直線上のディラックのデルタ  のようなシュワルツ超函数にも、その台という概念を考えることができる。デルタ超函数に対する試験函数  としては点  を含まないような台を持つ滑らかな函数を考える。このような試験函数に対しては  となる（シュワルツ超函数としての  は試験函数  を引数とする線型汎函数であった）から、超函数  の台  は一点集合 } と結論できる。実数直線上の測度（確率測度も含めて）はシュワルツ超函数の特別の場合であったから、測度の台も定義できる。

シュワルツ超函数  と、ユークリッド空間の開集合  について、台が  に含まれる任意の試験函数  に対して  が満たされるとき、超函数  は  上で**消えている**という。超函数  が開集合族  の上で消えているならば、 に台を持つ任意の試験函数  に対して（1 の分割と台のコンパクト性を用いた簡単な議論で） が言えるから、 の台  を、 が消えるような最大の開集合の補集合として定義することができる。例えば先の例でみたように、デルタ超函数の台は } である。

## 特異台
特にフーリエ解析の文脈では、超函数の**特異台** (*singular support*) の研究に興味が持たれる。これは直観的には超函数が「その点で滑らかな函数になることができない」ような点全体の成す集合と解釈することができる。

例えば、ヘヴィサイドの階段函数のフーリエ変換は（点  を外にすれば）定数の違いを除いて逆数函数 1/*x* と考えることができる。明らかに  は特別な点なのだけれども、もっと明確な言い方をするならこの変換函数は（ を含む台を持つ試験函数に対する）超函数として特異台 } を持つということなのだが、これを函数としての性質と考えては正確に表すことはできない。広義積分のコーシー主値の応用としてならば言い表せる。

多変数の超函数に対する特異台を考えると、を定義したり、ホイヘンスの原理を解析学の言葉で理解したりすることができるようになる。また特異台を考えることは、超函数同士を掛け算すると言ったような超函数論特有の現象の理解にも役に立つ（例えばデルタ超函数を平方することはできないという現象は、本質的には超函数同士が掛け算できるにはそれぞれの特異台が互いに素でなければならないことによる）。

## 層の理論における台

カルタンの定義した位相空間  上の**台の族** (*family of supports*) という抽象概念は層の理論によく馴染む。ポアンカレ双対性を非コンパクト多様体に拡張してやれば、「コンパクト台」の概念はこの双対性の片方から自然に入れることができる。

 にこれらの定義が与えられている。 の閉集合族  が**台の族**であるとは、それがかつ有限合併に関して閉じているときに言う。台の族の**大きさ** (*extent*) は  に亙る合併をいう。台の族の**パラコンパクト化**は、任意の  が相対位相に関してパラコンパクト空間になるというだけではなくて、 が適当な  を近傍に持つことまで要求する。 が局所コンパクト空間でハウスドルフと仮定すると、 のコンパクト部分集合全体の成す族はこの追加の条件も満たして、パラコンパクト化できる。

## 関連項目
* 
* 加群の台

## 出典

## 参考文献
* 
*