cmath
--- Mathematical functions for complex numbers¶
このモジュールは、複素数を扱う数学関数へのアクセスを提供しています。
このモジュール中の関数は整数、浮動小数点数または複素数を引数にとります。
また、 __complex__()
または __float__()
どちらかのメソッドを提供している Python オブジェクトも受け付けます。
これらのメソッドはそのオブジェクトを複素数または浮動小数点数に変換するのにそれぞれ使われ、呼び出された関数はそうして変換された結果を利用します。
注釈
For functions involving branch cuts, we have the problem of deciding how to define those functions on the cut itself. Following Kahan's "Branch cuts for complex elementary functions" paper, as well as Annex G of C99 and later C standards, we use the sign of zero to distinguish one side of the branch cut from the other: for a branch cut along (a portion of) the real axis we look at the sign of the imaginary part, while for a branch cut along the imaginary axis we look at the sign of the real part.
For example, the cmath.sqrt()
function has a branch cut along the
negative real axis. An argument of complex(-2.0, -0.0)
is treated as
though it lies below the branch cut, and so gives a result on the negative
imaginary axis:
>>> cmath.sqrt(complex(-2.0, -0.0))
-1.4142135623730951j
But an argument of complex(-2.0, 0.0)
is treated as though it lies above
the branch cut:
>>> cmath.sqrt(complex(-2.0, 0.0))
1.4142135623730951j
極座標変換¶
A Python complex number z
is stored internally using rectangular
or Cartesian coordinates. It is completely determined by its real
part z.real
and its imaginary part z.imag
. In other
words:
z == z.real + z.imag*1j
極座標 は複素数を表現する別の方法です。極座標では、複素数 z は半径 r と位相角 phi で定義されます。半径 r は z から原点までの距離です。位相 phi は x 軸の正の部分から原点と z を結んだ線分までの角度を反時計回りにラジアンで測った値です。
次の関数はネイティブの直交座標を極座標に変換したりその逆を行うのに使えます。
- cmath.phase(x)¶
x の位相 (x の 偏角 とも呼びます) を浮動小数点数で返します。
phase(x)
はmath.atan2(x.imag, x.real)
と同等です。返り値は [-π, π] の範囲にあり、この演算の分枝切断は負の実軸に沿って延びています。結果の符号はx.imag
がゼロであってさえx.imag
の符号と等しくなります:>>> phase(complex(-1.0, 0.0)) 3.141592653589793 >>> phase(complex(-1.0, -0.0)) -3.141592653589793
- cmath.polar(x)¶
x の極座標表現を返します。x の半径 r と x の位相 phi の組
(r, phi)
を返します。polar(x)
は(abs(x), phase(x))
に等しいです。
- cmath.rect(r, phi)¶
Return the complex number x with polar coordinates r and phi. Equivalent to
r * (math.cos(phi) + math.sin(phi)*1j)
.
指数関数と対数関数¶
- cmath.exp(x)¶
e を自然対数の底として、 e の x 乗を返します。
- cmath.log(x[, base])¶
base を底とする x の対数を返します。もし base が指定されていない場合には、x の自然対数を返します。分枝切断を一つもち、
0
から負の実数軸に沿って-∞
へと延びています。
三角関数¶
- cmath.acos(x)¶
x の逆余弦を返します。この関数には二つの分枝切断 (branch cut) があります: 一つは 1 から右側に実数軸に沿って∞へと延びています。もう一つは -1 から左側に実数軸に沿って -∞へと延びています。
- cmath.atan(x)¶
x の逆正接を返します。二つの分枝切断があります: 一つは
1j
から虚数軸に沿って∞j
へと延びています。もう一つは-1j
から虚数軸に沿って-∞j
へと延びています。
- cmath.cos(x)¶
x の余弦を返します。
- cmath.sin(x)¶
x の正弦を返します。
- cmath.tan(x)¶
x の正接を返します。
双曲線関数¶
- cmath.acosh(x)¶
x の逆双曲線余弦を返します。分枝切断が一つあり、1 の左側に実数軸に沿って -∞へと延びています。
- cmath.asinh(x)¶
x の逆双曲線正弦を返します。二つの分枝切断があります: 一つは
1j
から虚数軸に沿って∞j
へと延びています。もう一つは-1j
から虚数軸に沿って-∞j
へと延びています。
- cmath.atanh(x)¶
x の逆双曲線正接を返します。二つの分枝切断があります: 一つは
1
から実数軸に沿って∞
へと延びています。もう一つは-1
から実数軸に沿って-∞
へと延びています。
- cmath.cosh(x)¶
x の双曲線余弦を返します。
- cmath.sinh(x)¶
x の双曲線正弦を返します。
- cmath.tanh(x)¶
x の双曲線正接を返します。
類別関数¶
- cmath.isfinite(x)¶
x の実部、虚部ともに有限であれば
True
を返し、それ以外の場合False
を返します。バージョン 3.2 で追加.
- cmath.isinf(x)¶
x の実数部または虚数部が正または負の無限大であれば
True
を、そうでなければFalse
を返します。
- cmath.isnan(x)¶
x の実部と虚部のどちらかが NaN のとき
True
を返し、それ以外の場合False
を返します。
- cmath.isclose(a, b, *, rel_tol=1e-09, abs_tol=0.0)¶
値 a と b が互いに近い場合
True
を、そうでない場合はFalse
を返します。2値が近いと見なされるかどうかは与えられた絶対または相対許容差により決定されます。
rel_tol は相対許容差、すなわち a と b の絶対値の大きい方に対する a と b の許容される最大の差です。 例えば許容差を 5% に設定する場合
rel_tol=0.05
を渡します。 デフォルトの許容差は1e-09
で、2値が9桁同じことを保証します。 rel_tol は0より大きくなければなりません。abs_tol は最小の絶対許容差です。0に近い値を比較するのに有用です。abs_tol は0以上でなければなりません。
エラーが起こらなければ結果は
abs(a-b) <= max(rel_tol * max(abs(a), abs(b)), abs_tol)
です。IEEE 754 特殊値
NaN
、inf
、-inf
は IEEE の規則に従って処理されます。 具体的には、NaN
は自身を含めたあらゆる値に近いとは見なされません。inf
と-inf
は自身とのみ近いと見なされます。バージョン 3.5 で追加.
参考
PEP 485 -- 近似的に等しいことを調べる関数
定数¶
- cmath.pi¶
定数 π (円周率)で、浮動小数点数です。
- cmath.e¶
定数 e (自然対数の底)で、浮動小数点数です。
- cmath.tau¶
数学定数 τ で、浮動小数点数です。
バージョン 3.6 で追加.
- cmath.inf¶
浮動小数点数の正の無限大です。
float('inf')
と等価です。バージョン 3.6 で追加.
- cmath.infj¶
実部がゼロ、虚部が正の無限大の複素数です。
complex(0.0, float('inf'))
と等価です。バージョン 3.6 で追加.
- cmath.nan¶
浮動小数点数の非数 "not a number" (NaN) です。
float('nan')
と等価です。バージョン 3.6 で追加.
- cmath.nanj¶
実部がゼロ、虚部が NaN の複素数です。
complex(0.0, float('nan'))
と等価です。バージョン 3.6 で追加.
math
と同じような関数が選ばれていますが、全く同じではないので注意してください。機能を二つのモジュールに分けているのは、複素数に興味がなかったり、もしかすると複素数とは何かすら知らないようなユーザがいるからです。そういった人たちはむしろ、 math.sqrt(-1)
が複素数を返すよりも例外を送出してほしいと考えます。また、 cmath
で定義されている関数は、たとえ結果が実数で表現可能な場合 (虚数部がゼロの複素数) でも、常に複素数を返すので注意してください。
分枝切断 (branch cut) に関する注釈: 分枝切断を持つ曲線上では、与えられた関数は連続ではなくなります。これらは多くの複素関数における必然的な特性です。複素関数を計算する必要がある場合、これらの分枝に関して理解しているものと仮定しています。悟りに至るために何らかの (到底基礎的とはいえない) 複素数に関する書をひもといてください。数値計算を目的とした分枝切断の正しい選択方法についての情報としては、以下がよい参考文献となります:
参考
Kahan, W: Branch cuts for complex elementary functions; or, Much ado about nothings's sign bit. In Iserles, A., and Powell, M. (eds.), The state of the art in numerical analysis. Clarendon Press (1987) pp165--211.