比例
定義
変数 x と y が 0 でない定数 k を用いて
と書かれるとき、 y は x に比例する、y は x に正比例(せいひれい、英語:directly proportional)するという。
このときの係数
を比例定数(英語:proportionality constant) という。
特に比例定数 k の具体的な値に言及する必要の無いときなどは
と、比例記号 ∝(U+221D, 英語:Proportional to, IME変換は「ひれい」)を用いて書くこともある。
y が x に比例しているときに x を y に関する式で表せば
となる。つまり y が x に比例するとき同時に x は y に比例し、その比例係数は y の x に対する比例係数の逆数である。このため、一方の変数が他方の変数に対して比例するというような言い方ではなく、 y と x は比例関係にあるなどということもある。
比例関係は同値関係の一つである。実数や複素数のように結合的な可除代数においては、比例による同値関係は 0以外の元を全て一つの類に分類してしまうが、(次元が 2以上の)線形空間に対しては幾何学が展開されるような豊かな構造をもつ同値類集合を形作る(射影空間と呼ぶ)。
性質
x と y が正比例し、比例係数は k とする。
xの関数との比例
y が x の逆数に比例する、つまり
とき、y は x に反比例するという。このとき同時に、 x は y に反比例するともいえる。
y が x の自乗に比例する、つまり
とき、y は x に自乗比例するという。
y が x の指数関数に比例する、つまり
とき、y は x に指数比例する、x は y に対数比例するという。ただし逆に、y は x に対数比例する、x は y に指数比例するということもある。