§20 関数という考え方

\(y = x,\ y = 2x,\ y = \frac{1}{2}x,\ y = x^{2} + 1\) は関数である。こういった関数について今言っておくべきことはない。

\(x\) がどんな値であっても \(y = 0\) とする。このときどんな値が \(x\) として与えられたとしてもそれに対応する \(y\) の値 (つまり \(0\)) が分かるので、\(y\) は \(x\) の関数となる。この関数が表す関係では、全ての \(x\) の値に同じ \(y\) の値が対応する。\(y\) が \(0\) でなくて \(1,\ \frac{1}{2},\ \sqrt{2}\) だとしても同じことが言える。このような \(x\) の関数を定数 (constant) と呼ぶ。

\(y^{2} = x\) とする。\(x\) が正なら、この方程式は \(x\) の値それぞれに対応する \(y\) の値を二つ、具体的には \(±\sqrt{x}\) を定義する。また \(x = 0\) なら \(y = 0\) だから、\(0\) という \(x\) の値にはちょうど一つの \(y\) の値が対応する。そして \(x\) が負なら、方程式を満たす \(y\) の値は存在しない。つまり関数 \(y\) は \(x\) が負の値のとき定義されない。よってこの関数は特徴 (3) を持つが、(1) と (2) を持たない。

可動ピストンが上部に付いたシリンダーに閉じ込められた気体の体積を考える¹。気体は定温とする。

ピストンの表面積を \(A\)、その重さを \(W\) とする。ピストンによって圧縮される気体は、ピストンに向かって単位面積当たり \(p_{0}\) の圧力を及ぼす。この圧力がピストンの重さ \(W\) と釣り合うので、次の式が成り立つ: \[ W = Ap_{0} \]

この系が平衡状態にあるときの気体の体積を \(v_{0}\) とする。ピストンの上に重りを追加すると、ピストンが下方向に及ぼす力が増加する。すると気体の体積 \(v\) が減少し、気体が及ぼす単位面積当たりのピストンへの圧力 \(p\) が増加する。ボイルが行った実験で得られた法則によって、\(p\) と \(v\) の積はほぼ定数であることが分かっている。これは次の等式として表せる: \[ pv = a \qquad \text{(i)} \] ここで \(a\) は実数であり、その近似値は実験で求められる。

しかしボイルの法則だけでは、気体がどこまでも圧縮され続けることはないという事実を詳しく説明できない。\(v\) の減少と \(p\) の増加が一定まで進むと、方程式 \(\mathrm{(i)}\) はもはや正確でなくなる。次の式で表される「ファンデルワールスの法則」を使うとずっと正確な近似を得られることが知られている: \[ \left(p + \frac{\alpha}{v^{2}}\right)(v - \beta) = \gamma \qquad \text{(ii)} \] ここで \(\alpha,\ \beta,\ \gamma\) は実数であり、その近似値は実験で求められる。

この二つの式が \(p\) と \(v\) の間の関係を完璧に表すわけではもちろんない。正確な関係は無論もっと入り組んでおり、\(v\) が変化するにしたがって \(\mathrm{(i)}\) に非常に近いものから \(\mathrm{(ii)}\) に非常に近いものまで変化する。しかし数学的な視点では、理想的な物質の状態を考えても構わない。つまり \(v\) がある値 \(V\) より大きいときは \(\mathrm{(i)}\) が正確に正しく、\(v\) が \(V\) より小さいときは \(\mathrm{(ii)}\) が正確に正しいとして構わない。そうすればこの二つの方程式が \(v\) の関数 \(p\) を定義するとみなせる。これは \(v\) の値の一部に対する値がとある式で定義され、他の \(v\) の値に対する値は別の式で定義される関数の例である。

この関数は特徴 (2) を持つ: 任意の \(v\) の値はちょうど一つの \(p\) の値に対応する。しかし特徴 (1) は持たない: \(v\) が負のときは \(p\) は \(v\) の関数として定義されない。「負の体積」は意味不明なので、負の \(v\) の値は最初から考えに入っていない。

完全弾性の球が (回転なしに) \(\frac{1}{2}g\tau^{2}\) の高さから水平な平面に落下し、何度も跳ね返るとする。

読者も知っているであろう初等力学の法則によると、\(h\) を時刻 \(t\) における初期位置から測った球の高さとしたとき、\(0 \leq t \leq \tau\) なら \(h = \frac{1}{2}gt^{2}\) となり、\(\tau \leq t \leq 3\tau\) なら \(h = \frac{1}{2}g(2\tau - t)^{2}\) となる。一般的には \((2n - 1)\tau \leq t \leq (2n + 1)\tau\) で \[ h = \frac{1}{2}g(2n\tau - t)^{2} \] が成り立つ。\(h\) は \(t\) の関数であり、正の \(t\) の値に対してのみ定義される。

\(y\) を \(\bm{x}\) の最大素因数と定義する。これは \(x\) の特定のクラスだけに適用される定義の例である。つまりこの定義は整数に対してのみ意味を持つ。「\(\frac{11}{3},\ \sqrt{2},\ \pi\) の最大素因数」は意味をなさないので、こうして定義される関係性は整数でない \(x\) に対応する値を定義できない。そのためこの関数は特徴 (1) を持たない。特徴 (2) は持つが、\(y\) を表す \(x\) の簡単な式は存在しないので特徴 (3) は持たない。

\(y\) を \(\bm{x}\) を既約分数にしたときの分母と定義する。これは \(x\) が有理数のときに限って定義される関数の例である。例えば \(x = -11/7\) なら \(y = 7\) だが、\(x = \sqrt{2}\) のとき \(y\) は定義されない。「\(\sqrt{2}\) の分母」は言葉の使い方として意味を持たない。

\(y\) を 1907 年 8 月 8 日午後 5:30 にロンドン市警察署の部署 \(\bm{C}\) にいる警察官 \(\bm{x}\) の背の高さ (インチ) と定義する。このとき \(y\) は特定の整数に対してのみ定義される。つまりこの時刻にこの場所にいる警察官の数を \(N\) とすると、\(x\) が \(1,\ 2,\ \ldots,\ N\) のときに限って \(y\) は値を持つ。