この言葉はかつては〈函数〉と書かれたが,これは英語functionの中国語における音訳で,現在は〈関数〉と書かれることが多い。
例えば,半径rの円の面積をSとすると,S=πr2という関係があり,rの値を定めると,それに対応してSの値が定まる。このように,ある範囲にわたって変化する量xのおのおのの値に対して,別のある量yの値を対応させる規則が定められているとき,yはxの関数であるという。またその対応規則のことを関数と呼び,f,g,φなどの記号を用いてy=f(x)のように表す。具体的な書き方としては,例えばxにy=2x2+3を対応させる関数をf(x)=2x2+3と書く。
g(x)=sinx,h(x)=logx
なども関数の例であるが,関数は必ずしもこのような式で表される必要はなく,
φ(x)=xグラムの定形外封書の郵便料金(単位は円)
も関数である。
前述の関数の概念を一般化して,関数を次のように定義する。
二つの集合X,Yがあって,Xのどの要素xにも,Yの要素yがちょうど一つ対応しているとき,この対応をXからYへの関数,または写像といい,記号fなどを用いて,f:X→Yと書いたり,y=f(x)と書いたりする。前に述べたいくつかの例は,いずれもX,Yが実数の集合の場合であるが,x,yが必ずしも数ではなくても,xを変数と呼び,yはxの関数であるということが多い。
関数f:X→Yにおいて,集合Xを関数fの定義域といい,Xの各要素に対応するYの要素全体が作る集合を,関数fの値域という。前に述べた例では,関数f,gの定義域は実数全体であるが,hの定義域は正の数全体である。また,hの値域は実数全体であるが,f,gの値域はそれぞれx≧3なる実数xの全体,|x|≦1なる実数xの全体である。前例の関数φについては,定義域は0≦x≦1350なる実数xの全体であり,値域は有限集合,
{120,140,160,200,240,270, 390,580,700}
である(ただし,1997年3月現在)。なお,関数が数式で表されている場合,定義域は必ずしもその数式が意味をもつ変数の値の全体と考えなくてもよい。例えば,最初にあげた円の半径にその面積を対応させる関数S=πr2は,数式としてはすべての実数rに対して意味があるが,この関数の定義域は正の数rの全体と考える。
関数という語を初めて用いたのはG.ライプニッツで17世紀末であった。彼は明確には定義しなかったが,変数とともに変動する量を考えて関数と呼んだ。その後ヨハン・ベルヌーイが,変数と定数とからなる算式のことを関数といった。次いで1748年オイラーが,変数と定数とからなる解析的な式として関数を定義し,xの関数を表す記号f(x)を導入した。1823年A.コーシーは,式で表されるかどうかに関せず,上記の対応という概念のもとに,形式上は一般的な関数の定義に到達したが,彼自身はまだ対応の関係としては,それがいくつかの解析的な式で表されることを暗に仮定していたようである。P.ディリクレ,G.リーマンに至って,初めて現在行われている上記の一般的定義に達したといえる。ただし,上記のように集合と言葉を用いて表されたのは,集合論ができた19世紀末以後のことである。
関数fの定義域,値域が実数の集合である場合は,定義域の中の一つの実数xを与えると関数の値y=f(x)が定まるから,このような関数を1変数の関数という。これに対して,定義域がn次元空間の点の集合である場合は,そのような点はn個の実数(x1,……,xn)によって表されるから,その点の関数はy=f(x1,……,xn)の形に表される。このような関数をn変数の関数という。n=1ならば前に述べた1変数の関数であるが,n≧2の場合を多変数の関数という。とくにn=2,3の場合にはz=f(x,y),w=f(x,y,z)などの表し方をする。例えばz=x2+y2は2変数の関数である。
さらに,関数fの値域がm次空間の中の集合である場合は,その値yはm個の実数(y1,……,ym)で表されるから,関数fはm個の実数値関数の組,
で表される。これに対し,定義域が実数の集合で値域がm次元空間(m≧2)の中の集合である場合も考えられる。例えばm=2のとき,実数tの関数の組,は,定義域が実数の全体,値域が二次元空間,すなわち平面の中の集合(この場合は単位円周:x2+y2=1)である関数を与える。
2変数の関数F(x,y)が与えられていて,F(x,y)=0という関係によってyがxの関数として定まるとき,それを陰関数という。これに対し,上記のようにy=f(x)の形に表される関数を陽関数という。F(x,y)=0なる関係式から,yについて解くことによりy=f(x)の形の表現が得られれば,これは陽関数として表されたわけで,陰関数と陽関数とは表現上の相違に過ぎない。これらの名称は関数を解析的な式で表されるものと考えた時代に生じたものであるが,陰関数という言葉は記述の便宜上現在でも使われている。
例えばx2+y2=1なる関係式があるとき,|x|<1なるxに対しては,なる二つのyの値が定まる。このyをxの関数として取り扱うとき多価関数というが,これは(本来の意味の)関数としては|x|≦1を定義域とする二つの関数,と考えればよい。なお,解析関数の多価性については〈リーマン面〉の項目を参照。
現代数学における用語としては,関数と写像とはまったく同義語であるが,歴史的習慣により,値域が実数または複素数の集合である場合には関数と呼ぶことが多い。定義域が関数の集合であって,値域が実数または複素数の集合である場合には,汎(はん)関数と呼ぶことがあるが,これも歴史的理由による。これらの名称は,その内容を直観的にわかりやすくしていて便利なので,現代でもふつうに使われている。
執筆者:伊藤 清三
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
昔は「函数」と書いた。二つの変数x、yがあって、xの値が決まれば、それに伴ってyの値がただ一つ決まるとき、yはxの関数であるという。
たとえば、1個a円のりんごx個の値段をy円とすれば、y=axであり、この式によってyはxの関数として定められる。また郵便料金の場合、xグラムの書状の料金をy円とすれば、yをxについての一つの式だけで表すことはできない。しかし各xに対してyの値はただ一つ決まるからyはxの関数である。この二つの例をみると、第一の例では、変数xは1個、2個、3個……というように整数値、つまり、ばらばらな値(離散的という)しかとらない。第二の例では、xの値は整数値とは限らない(つまり、連続的な値をとる)。また、どちらの例でもxの値についてはその大きさについて常識的な限度を設けて考えるのが普通である。このように、日常の事例に関連する数理としては、変数xのとりうる値の範囲については漠然とした約束があるが、それだけでは数学の対象とはなりえないので、変数xがとることのできる値の範囲を決める。これを関数の定義域といい、関数のとる値全体の集合を値域という。
関数の定義域としては、0≦x≦1であるような実数全体の集合、1≦x≦100であるような整数全体の集合などという与え方もあるが、関数が式で示されたとき、その関数がとりうる最大の範囲をその関数の定義域と考えることも多い。たとえば、
では、定義域はx≠1であるような実数全体、
では、定義域はx≦1であるような実数全体を考える。yがxの関数であることを一般的に表す方法として、y=f(x)あるいはg(x), F(x)などが用いられる。
[竹之内脩]
関数は単独でも用いられるが、いくつかの関数を組み合わせて考えることも多い。関数f(x), g(x)の和、差、積、商などを考えるだけでなく、二つの関数を合成するという操作もよく用いられる。すなわち、g(f(x))というものが定義できれば、これで新たな関数ができあがる。たとえば、
の合成関数として得られた関数である。また、yがxの関数であるとき、逆に、xをyの関数と考えることのできる例も多い。これが逆関数であり、この考察は実用上重要である。
[竹之内脩]
f(-x)=f(x)を満たす関数を偶関数、f(-x)=-f(x)を満たす関数を奇関数という。関数y=f(x)において、xの値が増加すれば対応するyの値も増加するとき増加関数、xの値が増加すればyの値が減少するとき減少関数という。関数は、その特徴を表すために、いろいろな名前をつけてよばれることが多い。xの多項式によって表される関数を有理整関数、xの分数式で表される関数を分数関数、あるいは有理関数といい、根号の加わった関数を無理関数という。なお、微分積分学で基本的であると考えられる関数を初等関数というが、これには、三角関数、指数関数、対数関数などがある。
いままでは1変数xの関数を考えてきたが、いくつかの変数(多変数)x1, x2,……, xnに対し、これらの値を決めれば、それに伴ってyの値がただ一つ定まるとき、yはx1, x2,……, xnの関数であるという。物理学で空間(三次元)の現象を問題にするときは、3変数x, y, zの関数が考察される。また経済学では、数多くの変数(需要量、供給量、生産量、雇用量、貯蓄性向、消費性向など)を考えることが多い。
[竹之内脩]
古くから考えられた関数は平方根で、4000年ぐらい昔にさかのぼることができよう。ついで三角関数が2000年ぐらい昔に考えられている。17世紀になってネーピアが対数を考えた。このようにみていくと、関数の概念は、ものの数量的把握の方法として、きわめて自然に発生し、形成されてきたといえよう。関数ということばをつくったのは17世紀末のライプニッツで、原語の意味は働き、機能ということである。xの値にyの値を一つずつ対応させる働きという認識だったのだろうが、まだ、そのように明確な形では表現されてはいない。オイラーなどは、関数すなわち式と考えて、関数を式の形で分類している。18世紀から19世紀にかけて関数概念がさらに明確化され、整理されていくなかで、この項の初めに述べたような形の定義が登場する。これはディリクレに負うものであって、1837年のことであった。今日ではさらに広く考えて、一つの集合から他の集合への写像のことも関数とよぶ風潮がある。しかし、関数本来の考え方からいえば、変数xの値が動いていく、それに伴ってyの値も動いていく、というところに関数概念の中心があるといえる。
[竹之内脩]
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
出典 株式会社平凡社百科事典マイペディアについて 情報
(桂利行 東京大学大学院教授 / 2007年)
出典 (株)朝日新聞出版発行「知恵蔵」知恵蔵について 情報
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
出典 (株)朝日新聞出版発行「パソコンで困ったときに開く本」パソコンで困ったときに開く本について 情報
…19世紀の終りごろまでは,関数はおもにその各点における値に着目して研究されてきたが,20世紀に入って集合論の発祥とともに,ある条件を満たす関数全体の集り(集合)を考え,個々の関数をその集合の要素として扱う考え方が行われるようになった。そうして,ふつうのユークリッド空間でベクトルの加法や定数倍の算法を考えたり,点列がある1点に近づくという〈収束〉の概念を用いたりするのと同様に,関数の集合の中でベクトルの算法や収束を考える。…
※「関数」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新