Up | English

「関数」の定義

---

• 関数は，「関係 f = (G, D, V) で，条件：
  • 各 x ∈ D に対し (x, y) ∈ G となる y ∈ V が存在し，しかもただ一つだけ存在する
  をみたすもの」と定義されます。

• x ∈ D に対し， (x, y) ∈ G となる y ∈ V を f(x) で表します。

• D を関数 f の定義域（定義集合）と呼びます。V を値域と呼びます。
  
  
• D の部分集合 M に対し，集合 { f(x) ∈ V | x ∈ M } を f(M) と書きます。