一次関数

数学、特に初等解析学における（狭義の）**一次関数**（いちじかんすう、）は、（の）一次多項式関数（）、つまり次数  の多項式が定める関数
:x \mapsto ax+b
をいう（もしくは y=ax+b と表記される）。ここで、係数  は  に依存しない定数であり、矢印は各値  に対して  を対応させる関数であることを意味する。特に解析幾何学において、係数および定義域は実数の範囲で扱われ、その場合一次関数のグラフは平面直線である。
より広義には、係数や定義域として複素数やその他の環を考えたり、多変数の一次多項式関数や、あるいは一次式をベクトル空間や作用を持つ加群の文脈で理解することもある。

[class=skin-invert-image|300px|thumb|いくつかの直線の式：赤（<span style="color:#e11">●</span>）と青（<span style="color:#11e">●</span>）は傾きが等しく、赤（<span style="color:#e11">●</span>）と緑（<span style="color:#1e1">●</span>）は同じ -[切片を持つ。]]

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

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

## 定義と簡単な説明
初等解析学において、不定元  に関する高々一次の多項式 （ は実定数）に対し、 を実変数とみて得られる写像
: f_{a,b}\colon \mathbb{R} \to \mathbb{R};\ x \mapsto f_{a,b}(x) = ax + b
を一次関数と呼ぶ（見かけ上一次なだけでなく実際に「一次」であることを要請する場合は「」とする）。定数関数となる  を含める場合は、これを「退化」しているといい、そうでない場合を非退化という。

解析幾何学において、デカルト座標が与えられた-平面  上に、一次関数  のグラフ
: \{(x, y) \in \mathbb{R}^2 \mid y = f(x)\}
は直線を描くため、一次関数は「直線の式」（あるいは単に「直線」）としても知られ、言葉の濫用で（一次函数それ自身とそのグラフとをとくに区別することなく扱って）直線  などともいう。

一次式  を特徴付けるふたつの定数について、 が増減すると対応する直線の「傾き」が急になったり緩やかになったりするので、 はこの直線の**[[傾き (数学)|傾き]]**と呼ばれる。また  は対応する直線と -軸との交点の座標であり **-切片** (**'-''intercept'') あるいは単に**切片**と呼ばれる。また、は**変化の割合（変化率）**とも呼ばれ、変化の割合は****で求められる。
* 傾き **' が正の場合はグラフは右上がりになり、負の場合は右下がりになる。いずれの場合も、**' の絶対値が大きくなるほど傾きが「急」になる。
* **'-切片 **' が増減すると対応する直線は座標平面を上下に[[平行移動]]する。
-切片（直線と -軸の交点）は  の[[多項式の根|零点]]  であたえられる。

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




== 平面直線の式として ==

=== 傾き・切片標準形 ===
一次関数の表す直線の式  は、傾きと -切片を与えることによって一意的に決定される「傾き・切片（標準）形」(slope-intercept form) であり、座標平面上で直線を表す式としては他に「点・傾き（標準）形」(point-slope form) である
: <math>y-y_0 = a(x-x_0)</math>
（点  を通る、ただ一つの傾き  の直線）や「一般形」(general form)
: <math>Ax+By+C=0</math>
（これ自体は二変数の[[一次方程式]]である）が挙げられる。詳細は[[平面における直線の標準形]]も参照。
一般形は平面上のあらゆる直線を表すだけの能力を持ち、これには -軸に垂直（-軸に平行）な直線  なども含まれるが、この種の直線の傾きは定まらないため傾きを明示的に利用する標準形では表せないし、一次関数どころか関数でさえない。また、-軸に平行な傾き  の直線は、定数関数に対応しているのであり、一次関数  の定義に  を仮定するならば、これも一次関数では表せないことになる。

=== 二点標準形 ===

一次関数の傾きは通る二点が分かれば一意的に決定できるので、一次関数はそれが通る二点が決まればただひとつに決まる。一次関数  が二点  を通るとき、 = は点の取り方に依らず一定で、傾きに等しく
: <math>a = \frac{\Delta y}{\Delta x} = \frac{y_2 - y_1}{x_2 - x_1}</math>
が成り立つ。この直線は点  を通る（あるいは点  を通る）のだから点・傾き標準形と合わせて考えれば、二点標準形が得られ、この一次関数は
: <math>f(x) = \frac{y_2 - y_1}{x_2 - x_1}(x - x_1) + y_1 = \frac{y_2 - y_1}{x_2 - x_1}(x - x_2) + y_2</math>
と書くことができる。

=== 直線の成す角の正接と傾き ===

直線  が -軸の正の向きと成す角（方向角）が  であるとすると、この直線の傾きは正接関数を用いて
: <math>a = \tan(\alpha)</math>
と書くことができる。この意味で、傾き  は直線の方向を決める**方向ベクトル**を与えている。さらに別の直線  が -軸の正の向きと成す角が  であるとすれば、この二つの直線の成す角  は
: <math>\tan(\theta) = \tan(\alpha - \gamma) = \frac{\tan(\alpha) - \tan(\gamma)}{1 + \tan(\alpha)\tan(\gamma)} = \frac{a-c}{1+ac}</math>
から求まる。とくに角  が直角  であるとき、この式は
: <math>\tan(\alpha)\tan(\alpha\pm \frac2) = -1</math>
の形に書けるから、一次関数が表す直線の直交条件を「傾きの積が  に等しい」と述べることもできる。


== 解析学 ==
一次函数は（任意の多項式函数がそうであるように）[[連続函数|連続]]かつ[[微分可能関数|微分可能]]（とくに[[連続的微分可能|なめらか]]）である。一次関数  の導関数は
: <math>f'(x) = a</math>
という定数関数で、それより高階の導函数は常に  となる。特に傾き  が  として求められる。 であるから、この一次関数を
: <math>f(x) =\frac{ f'(0)x}{1!} +\frac{f(0)}{0!}</math>
の形に書けば、これは一次関数の[[テイラー展開]]に他ならない。また展開の中心を  に変更すれば
: <math>f(x) = f'(x_0)(x-x_0) +f(x_0)</math>
となるが、これは上で通る二点  から定まる式として述べたものの、一方を他方に近づけた極限に等しい。あるいはこれは一次函数に関する[[平均値の定理]]を述べたものと看做すこともできる。

また  の原始関数の一つは
: <math>F(x) := \frac{ax^2}{2} + bx</math>
で与えられる。

== 一次関数の演算 ==
係数は適当な[[体 (数学)|体]]、あるいは[[整域]]  にとるものとする。ふたつの一次関数  に対して、それらの和  を点ごとの値の和
: <math>(f+g)(x) := f(x) + g(x)\ (= (a+c)x + (b+d))</math>
によって定めると、これは再び一次関数を与える。一次関数の全体は[[可換群]]を成すことを確かめるのは容易である。また、定数倍  を
: <math>(\lambda f)(x) := \lambda(f(x))\ (= \lambda ax + \lambda b)</math>
で与えれば、一次関数の全体が  と  の張る二次元のベクトル空間となることがわかる。一方、点ごとの積
: <math>(f\cdot g)(x) := f(x)g(x)\ (= acx^2 + (ad+bc)x + bd)</math>
は（ か  の何れかが定数関数でないかぎり）もはや一次関数ではないが、合成
: <math>(f\circ g)(x) := f(g(x))\ (= acx + (ad + b))</math>
は再び一次関数である。とくに  ならば一次関数  は  の逆函数になる。

== 一般化 ==

多変数の一次多項式が定める関数
: <math>f\colon \mathbb{R}^n \to \mathbb{R};\ (x_1,\cdots,x_n) \mapsto a_1x_1+\cdots+a_nx_n+b</math>
も一次関数という。 のときは**斉一次函数**あるいは**一次形式** (''linear form'') という。この関数のグラフ
:<math> \{(x_1,\cdots,x_n,y) \in \mathbb{R}^{n+1} \mid y = f(x_1,\cdots,x_n)\}</math>
は、-次元[[ユークリッド空間]]  において[[超平面]]（  の[[アフィン部分空間]]）を描く。このような関数に対しても、上に述べたことは（平面における各概念の高次元における適当な対応物を考えることにより）ほとんどそのままの形で通用する。

より一般に、**' 次元ベクトル空間 **'<sup>**' から **' 次元ベクトル空間 **'**'</sup> への一次関数を考えることもできる。**' を **'-次元ベクトル値の変数、**' を **'-次元の定ベクトル、**' を **'-行 **'-列の行列とするとき、
: V^n \to V^m;\ x \mapsto Ax + b
をアフィン写像という。特に、**' = 0 のときかつそのときに限り、和とスカラー倍を保つ[[線型写像]]となる。

実数全体の成す体 **** を任意の[[可換環]] **' で置き換えて
:R^n \to R;\ (x_1,\cdots,x_n) \mapsto a_1x_1+\cdots+a_nx_n+b\quad(a_i,b\in R)
を考えることもできるし、行列環 **'<sub>**' やその部分環、あるいは一般線型群 **'<sub>**' やその部分群を、一般の環 **' や群 **' で置き換え、ベクトル空間 **' をそれらの環や群が作用する[[群上の加群|加群]] **' で置き換えれば、
: M \to M;\ x \mapsto Ax + b\quad(A\in R, b\in M)
のようなものを考えることもできる。このようなものはアフィン群あるいは俗に **' + **' 群と呼ばれ、この群の上の調和解析は、ウェーブレット解析として知られる。

## 脚注

### 注釈

### 出典

## 参考文献
* 

## 関連項目
* 直線
* 線型方程式
* 算術数列: 整数変数実数値の一次函数