もう一人のY君

iPhoneアプリのレビューやアップデートレビューなどを書いています. たまに数学の記事も書きます.

もう一人のY君　MENU 　MENU

【数学】関数と書くからには定義域をハッキリさせよう

数学

180107_20

　数学において関数はなくてはならない存在ですね.

 

スポンサーリンク

 

 

関数のおさらい

　そもそも関数とは何だったでしょうか？

 

blog.thetheorier.com

　先日紹介した通りですが, 改めて書き直しましょう.

 

[定義：関数]

　集合 { \displaystyle A, B }について, { \displaystyle f } が { \displaystyle A } から { \displaystyle B } への関数であるとは, 以下の条件を満たすことを言います.

 

  1. { \displaystyle f } の任意の元は順序対 { \displaystyle \langle a,b\rangle } である, 但しここで { \displaystyle a\in A, b\in B } である
  2. { \displaystyle \langle a,b_1\rangle\in f, \langle a,b_2\rangle\in f \Rightarrow b_1=b_2 }
  3. { \displaystyle A } の任意の元 { \displaystyle a } に対して, { \displaystyle \langle a,b\rangle\in f} となるような { \displaystyle B } の元 { \displaystyle b } が存在する

 

　このとき, { \displaystyle f:A\to B } と表します.

　また 2, 3より { \displaystyle \langle a,b\rangle\in f } となるような { \displaystyle b } はただ一つなので, この { \displaystyle b } のことを { \displaystyle f(a) } と書き表します, つまり

 

{ \displaystyle \langle a,b\rangle\in f \Leftrightarrow b=f(a) }

 

が成り立ちます.

　わざわざ順序対を使う必要がないのはこのためですね.

 

 

数式だけでは意味が無い？

　関数の定義の通り, 数式 { \displaystyle f } だけでは関数とは言えません.

 

　妥協して値域に相当する { \displaystyle B } は良いとしても, 定義域に相当する { \displaystyle A } (またはその部分集合)の指定が無ければ関数ではありません.

 

　強いて言うなら数式 { \displaystyle f } に対して関数は { \displaystyle \left(f,A,B\right) } とするべきでしょう( { \displaystyle \left(f,A\right) } でも十分ですが).

 

　例えば { \displaystyle f(x)=x^2 } を関数のつもりで振る舞っても, 自分は { \displaystyle \left( 0,1\right) } のつもりが, 定義域に触れなければ相手は { \displaystyle \mathbb{R} } と思うかもしれません.

　もしかしたら数列 { \displaystyle f:\mathbb{N}\to \mathbb{R} } のつもりかもしれません.

 

　相手によって解釈が変わってしまうような表記は数学ではマナー違反です.

　{ \displaystyle 6\div 2(1+2) } も同様ですね.

 

　或いは例えば我々は多項式の不定元に当たり前に値を代入しますが, それはそれが「その多項式が定める多項式関数である」と暗黙の内に認めているからです.

　多項式関数とは例えば一次関数や二次関数なとがその一例です, 従ってこの立場でもはやり何らかの形で定義域を明確にする必要があります.

 

 

〆

　普段なら露骨に拘ることはないでしょうが, いざという時にこの違いは重要になってきます.

 

thetheorier