ファイバー (数学)

提供: testwiki
2017年10月14日 (土) 10:09時点におけるimported>新規作成による版 (rvv)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

テンプレート:出典の明記 数学において、用語ファイバー (fiber, fibre) は文脈によって次の2つの意味を持つ:

  1. 素朴集合論において、写像 fX → Y のもとでの集合 Yファイバーとは、単元集合 {y} の f による逆像のことである。
  2. 代数幾何学において、スキームのファイバーの概念は、一般に全ての点が閉とは限らないから、より注意深く定義されなければならない。

定義

素朴集合論におけるファイバー

テンプレート:Math写像とする。元 テンプレート:Mathファイバー は、

f1({y})={xX|f(x)=y}

と定義され、テンプレート:Math とも書かれる。

様々な応用においてこれはまた次のようにも呼ばれる:

  • 写像 f による {y}逆像
  • 写像 f による {y} の原像、
  • y における関数 f等位集合

等位集合という用語は f が実数値でしたがって y が単に数であるときにのみ用いられる。fRテンプレート:Sup の領域上の連続関数で、yfに入っていれば、f に対する y の等位集合は、2次元空間内の曲線や、3次元空間内の曲面、一般には d − 1 次元超曲面である。

代数幾何学におけるファイバー

代数幾何学において、fX → Y がスキームの射であれば、Y の点 pファイバーはファイバー積 X×YSpeck(p) である、ただし k(p) は p における剰余体

Terminological variance

用語「ファイバー」、「逆像」、「原像」、「等位集合」の推奨された使い方は以下のとおりである:

  • 写像 f のもとでの元 y のファイバー
  • 写像 f のもとでの集合 {y} の逆像
  • 写像 f のもとでの集合 {y} の原像
  • y における関数 f の等位集合。

用語の濫用によって、以下のように使われることがあるが、避けるべきである:

  • y における写像 f のファイバー
  • y における写像 f の逆像
  • y における写像 f の原像
  • 写像 f のもとでの点 y の等位集合。

f実関数 f:,xx2 とし、y実数とする。

  • y > 0 であれば、y のファイバーは二元集合 {y,y} である。
  • y = 0 であれば、y のファイバーは単元集合 {0} である。
  • y < 0 であれば、y のファイバーは空集合 である。

関連項目

テンプレート:Settheory-stub