偶関数と奇関数
数学において偶関数(ぐうかんすう、英: even function)および奇関数(きかんすう、英: odd function)は、変数の符号を反転させる変換に関してそれぞれ、特定の対称性を満足する関数である。これらは解析学の多くの分野、殊に冪級数やフーリエ級数に関する理論において重要である。名称は、この性質を満足する冪関数の冪指数の(整数としての)偶奇に由来する(すなわち、関数 f(x) = xn は n が偶数のとき偶関数であり、n が奇数のとき奇関数である)。
この、関数の偶奇性 (parity of function) の概念は、始域および終域がともに加法逆元(マイナス元)を持つような場合であれば常に意味を成す。加法逆元を持つような代数系には、例えば任意のアーベル群、(必ずしも可換でない)環や体、あるいはベクトル空間などが挙げられるから、従って例えば実変数実数値の関数やベクトル変数複素数値の関数といったようなものに対して、その偶奇性を定めることができる。
以下では特に断りのない限り、それら函数のグラフの対称性を詳らかにするために、実変数実数値函数に関して述べる。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ab/Cos-curve.png/220px-Cos-curve.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f0/Sin-curve.png/220px-Sin-curve.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Sin_and_cos.png/220px-Sin_and_cos.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Absolute_value.svg/220px-Absolute_value.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Cosh.svg/220px-Cosh.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/57/%E5%8F%8C%E6%9B%B2%E7%B7%9A%E6%AD%A3%E5%BC%A6%E9%96%A2%E6%95%B0.png/220px-%E5%8F%8C%E6%9B%B2%E7%B7%9A%E6%AD%A3%E5%BC%A6%E9%96%A2%E6%95%B0.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e5/Quadratic-func.png/220px-Quadratic-func.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Cubic-func.png/220px-Cubic-func.png)
定義
編集関数 f(x) が偶関数であるとは、
が任意の x について成立することである[1][2][3]。また、関数 f(x) が奇関数であるとは、
性質
編集基本
編集- 偶関数 f は、xy-平面上に y = f(x) のグラフを描いたとき y 軸に関して対称(線対称)になる。
- 奇関数 f は、xy-平面上に y = f(x) のグラフを描いたとき原点に関して対称(点対称)になる。特に、f(0) が定義されているならば f(0) = 0 である。
- 奇関数と偶関数の和は一般には奇関数でも偶関数でもない。(例:x + x2)
- いくつかの偶関数があるときに、それらの定数倍を足し合わせたもの(線型結合)も偶関数になる。
- いくつかの奇関数があるときに、それらの定数倍を足し合わせたものも奇関数になる。
- 2 つの偶関数の積は偶関数[2]
- 2 つの奇関数の積は偶関数[2]
- 偶関数と奇関数の積は奇関数[2][3]
- 偶関数が微分可能なとき、1 回微分すると奇関数になる。
- 奇関数が微分可能なとき、1 回微分すると偶関数になる。
級数
編集- 偶関数の0まわりのテイラー級数は x の偶数次の項だけを持つべき級数である。
- 奇関数の0まわりのテイラー級数は奇数次の項だけを持つべき級数である。
- 周期的な偶関数のフーリエ級数は cos の項だけで構成される。
- 周期的な奇関数のフーリエ級数は sin の項だけで構成される。
函数の偶奇分解
編集偶関数全体の成す集合、奇関数全体の成す集合はともにベクトル空間の構造を持つ(さらに偶関数の全体は可換多元環を成す。一方、奇関数の全体は積について閉じておらず多元環を成さない)。
また、任意の関数 f(x) に対し、
で定義される函数 feven および fodd はそれぞれ偶関数および奇関数[2]であり、それぞれ f の偶成分 (even part) および奇成分 (odd part) という。
このとき、明らかに f = feven + fodd が成り立つが、関数 f(x) が偶関数かつ奇関数となるのは f(x) = 0 のとき、かつそのときに限るから、そのような表し方はただ一通りである。すなわち、関数全体の成すベクトル空間は、偶関数全体の成すベクトル空間と奇関数全体の成すベクトル空間の直和に分解される。
例
編集偶関数
編集- 絶対値関数 |x|
- 余弦関数[5] cos x
- 双曲線余弦関数 cosh x
- x2, x4, x0 = 1, x−2 = 1/x2 等の偶数次冪関数 x2n(n は整数)。
- 定数関数
- 任意の関数 f(x) に対して f(x) + f(−x)
奇関数
編集関連項目
編集注
編集- ^ Gelfand 2002, p. 11.
- ^ a b c d e f 大石 進一『フーリエ解析 (理工系の数学入門コース 6)』 岩波書店、1989年、ISBN 4000077767、13~15頁
- ^ a b c E.クライツィグ 『技術者のための高等数学3 フーリエ解析と偏微分方程式』 培風館 第5版 (1987/12) ISBN 4563005630、61~62頁
- ^ Gelfand 2002, p. 72.
- ^ a b E.クライツィグ 『技術者のための高等数学4 複素関数論』 培風館 第8版 (2003/3) ISBN 4563011185、203頁
参考文献
編集- Gelfand, I. M.; Glagoleva, E. G.; Shnol, E. E. (2002) [1969], Functions and Graphs, Mineola, N.Y: Dover Publications
外部リンク
編集- 『偶関数と奇関数の意味,性質などまとめ』 - 高校数学の美しい物語
- Weisstein, Eric W. "Even Function". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Odd Function". mathworld.wolfram.com (英語).
- Even and odd functions - PlanetMath.