一次関数

数学、特に初等解析学における一次関数は、一次多項式関数、つまり次数 1}} の多項式が定める関数

をいう。ここで、係数 1=//a// , //b//}} は x}} に依存しない定数であり、矢印は各値 x}} に対して 1=//ax// + //b//}} を対応させる関数であることを意味する。特に解析幾何学において、係数および定義域は実数の範囲で扱われ、その場合一次関数のグラフは平面直線である。 より広義には、係数や定義域として複素数やその他の環を考えたり、多変数の一次多項式関数や、あるいは一次式をベクトル空間や作用を持つ加群の文脈で理解することもある。

一次関数は線型関数やアフィン関数とも呼ばれ、この場合しばしば定数関数  も含む。ベクトルを変数とする広義の一次関数はアフィン写像と呼ばれ、これはベクトルにベクトルを対応させる写像であるが、ふつう線型写像はその特別な場合  で斉一次関数で与えられる。

以下、解析幾何学における実関数としての一次関数について述べる。

1. 定義と簡単な説明
-----------

初等解析学において、不定元 x}} に関する高々一次の多項式 //ax// + //b//}}に対し、x}} を実変数とみて得られる写像

を一次関数と呼ぶ。定数関数となる 1=//a// = 0}} を含める場合は、これを「退化」しているといい、そうでない場合を非退化という。

解析幾何学において、デカルト座標が与えられたxy}}-平面 Rsup 上に、一次関数 1=//f// = //ax// + //b//}} のグラフ

は直線を描くため、一次関数は「直線の式」としても知られ、言葉の濫用で直線 1=//y// = //ax// + //b//}} などともいう。

一次式 //ax// + //b//}} を特徴付けるふたつの定数について、a}} が増減すると対応する直線の「傾き」が急になったり緩やかになったりするので、a}} はこの直線の傾きと呼ばれる。また b}} は対応する直線と y}}-軸との交点の座標であり y}}-切片  あるいは単に切片と呼ばれる。また、aは変化の割合であり、変化の割合はyの増加量/xの増加量で求められる。
傾き //a// が正の場合はグラフは右上がりになり、負の場合は右下がりになる。いずれの場合も、//a// の絶対値が大きくなるほど傾きが「急」になる。
//y//-切片 //b// が増減すると対応する直線は座標平面を上下に平行移動する。x}}-切片は //ax// + //b//}} の零点 1=//x// = −//b/////a//}} であたえられる。

一次関数 f}} が非退化  ならば、非有界、非周期的、かつ単調増大  または単調減少  である。さらに単射かつ全射、従って一対一対応ゆえに可逆である。これと対照に、定数関数に退化している  ならば、有界、周期的、かつ偶関数であり、非増大かつ非減少の意味では単調であるが、単射でも全射でもなく逆函数を持たない。退化・非退化の場合によらず 1=//b// = 0}} のとき一次関数は奇関数であり、偶かつ奇となるのは定数関数 //x// mapsto}} 0}} に限る。

2. 平面直線の式として
------------

2.1. 傾き・切片標準形
-------------

一次関数の表す直線の式 1=//y// = //ax// + //b//}} は、傾きと y}}-切片を与えることによって一意的に決定される「傾き・切片形」 であり、座標平面上で直線を表す式としては他に「点・傾き形」 である

や「一般形」

が挙げられる。詳細は平面における直線の標準形も参照。 一般形は平面上のあらゆる直線を表すだけの能力を持ち、これには x}}-軸に垂直な直線 1=//x// = //c//}} なども含まれるが、この種の直線の傾きは定まらないため傾きを明示的に利用する標準形では表せないし、一次関数どころか関数でさえない。また、x}}-軸に平行な傾き 0}} の直線は、定数関数に対応しているのであり、一次関数 1=//y// = //ax// + //b//}} の定義に //a// ≠ 0}} を仮定するならば、これも一次関数では表せないことになる。

2.2. 二点標準形
----------

一次関数の傾きは通る二点が分かれば一意的に決定できるので、一次関数はそれが通る二点が決まればただひとつに決まる。一次関数 1=//f// = //ax// + //b//}} が二点 , }} を通るとき、1=[//y// の増分]/[//x// の増分] =: Δ//y///Δ//x//}} は点の取り方に依らず一定で、傾きに等しく が成り立つ。この直線は点 }} を通るのだから点・傾き標準形と合わせて考えれば、二点標準形が得られ、この一次関数は

と書くことができる。

2.3. 直線の成す角の正接と傾き
-----------------

直線 1=//y// = //ax// + //b//}} が x}}-軸の正の向きと成す角が α}} であるとすると、この直線の傾きは正接関数を用いて

と書くことができる。この意味で、傾き a}} は直線の方向を決める方向ベクトルを与えている。さらに別の直線 1=//y// = //cx// + //d//}} が x}}-軸の正の向きと成す角が γ}} であるとすれば、この二つの直線の成す角 1=//θ// coloneqq}} abs は

から求まる。とくに角 abs が直角 π/2}} であるとき、この式は

の形に書けるから、一次関数が表す直線の直交条件を「傾きの積が −1}} に等しい」と述べることもできる。

3. 解析学
------

一次函数は連続かつ微分可能である。一次関数 1=//f// = //ax// + //b//}} の導関数は

という定数関数で、それより高階の導函数は常に 0}} となる。特に傾き a}} が 1=//a// = //f′//}} として求められる。1=//b// = //f//}} であるから、この一次関数を

の形に書けば、これは一次関数のテイラー展開に他ならない。また展開の中心を 1=//x// = //x//0}} に変更すれば

となるが、これは上で通る二点 , }} から定まる式として述べたものの、一方を他方に近づけた極限に等しい。あるいはこれは一次函数に関する平均値の定理を述べたものと看做すこともできる。

また f}} の原始関数の一つは

で与えられる。

4. 一次関数の演算
----------

係数は適当な体、あるいは整域 //K//}} にとるものとする。ふたつの一次関数 1=//f// = //ax// + //b//, //g// = //cx// + //d//}} に対して、それらの和 //f// + //g//}} を点ごとの値の和

によって定めると、これは再び一次関数を与える。一次関数の全体は可換群を成すことを確かめるのは容易である。また、定数倍 λf}} を

で与えれば、一次関数の全体が 1}} と x}} の張る二次元のベクトル空間となることがわかる。一方、点ごとの積

はもはや一次関数ではない係数環が整域でないとき、mvarが、合成

は再び一次関数である。とくに //a// ≠ 0}} ならば一次関数 1=//f//sup は f}} の逆函数になる。

5. 一般化
------

多変数の一次多項式が定める関数

も一次関数という。1=//b// = 0}} のときは斉一次函数あるいは一次形式  という。この関数のグラフ

は、}}-次元ユークリッド空間 Rsup において超平面を描く。このような関数に対しても、上に述べたことはほとんどそのままの形で通用する。

より一般に、//n// 次元ベクトル空間 //V////n// から //m// 次元ベクトル空間 //V////m// への一次関数を考えることもできる。//x// を //n//-次元ベクトル値の変数、//b// を //m//-次元の定ベクトル、//A// を //m//-行 //n//-列の行列とするとき、

をアフィン写像という。特に、//b// = 0 のときかつそのときに限り、和とスカラー倍を保つ線型写像となる。

実数全体の成す体 R を任意の可換環 //K// で置き換えて

を考えることもできるし、行列環 //M////n// やその部分環、あるいは一般線型群 //GL////n// やその部分群を、一般の環 //R// や群 //G// で置き換え、ベクトル空間 //V// をそれらの環や群が作用する加群 //M// で置き換えれば、

のようなものを考えることもできる。このようなものはアフィン群あるいは俗に //ax// + //b// 群と呼ばれ、この群の上の調和解析は、ウェーブレット解析として知られる。

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

8. 関連項目
-------

直線
線型方程式
算術数列: 整数変数実数値の一次函数