기본 콘텐츠로 건너뛰기

통계관련 함수와 메서드 사전

A B C d E F G H I K L M N O P Q R S T U V W Z A statsmodels.ap.stats.anova_lm(x) statsmodels.formula.api.ols 에 의해 생성되는 모형 즉, 클래스 인스턴스(x)를 인수로 받아 anova를 실행합니다. np.argsort(x, axis=-1, kind=None) 객체 x를 정렬할 경우 각 값에 대응하는 인덱스를 반환합니다. Axis는 기준 축을 지정하기 위한 매개변수로서 정렬의 방향을 조정할 수 있음(-1은 기본값으로 마지막 축) pandas.Series.autocorr(lag=1) lag에 전달한 지연수에 따른 값들 사이의 자기상관을 계산 B scipy.stats.bernoulli(x, p) 베르누이분포에 관련된 통계량을 계산하기 위한 클래스를 생성합니다. x: 랜덤변수 p: 단일 시행에서의 확률 scipy.stats.binom(x, n, p) 이항분포에 관련된 통계량을 계산하기 위한 클래스를 생성합니다. x: 랜덤변수 n: 총 시행횟수 p: 단일 시행에서의 확률 C scipy.stats.chi2.pdf(x, df, loc=0, scale=1) 카이제곱분포의 확률밀도함수를 계산 $$f(x, k) =\frac{1}{2^{\frac{k}{2}−1}Γ(\frac{k}{2})}x^{k−1}\exp\left(−\frac{x^2}{2}\right)$$ x: 확률변수 df: 자유도 pd.concat(objs, axis=0, join=’outer’, …) 두 개이상의 객체를 결합한 새로운 객체를 반환. objs: Series, DataFrame 객체. Axis=0은 행단위 즉, 열 방향으로 결합, Axis=1은 열단위 즉, 행 방향으

선형변환(Linear transformation)

내용

선형변환(Linear transformation)

선형변환

선형변환(Linear transformation, T: U → V)은 어떤 벡터 공간의 U를 다른 벡터 공간 V로 옮기는 함수입니다. 이러한 함수는 식 6.1를 만족해야 합니다. $$\begin{align}\tag{1} &\forall \; \text{u}_1,\; \text{u}_2 \in \text{U} \rightarrow T(\text{u}_1 + \text{u}_2) = T(\text{u}_1)+T(\text{u}_2)\\ &\forall \; \text{u} \in \text{U} \cap α \in \text{C} \rightarrow T(\alpha \text{u}) = \alpha T(\text{u}) \end{align}$$

위 식에서 U와 C는 각각 벡터와 스칼라입니다.

식 1은 벡터들의 선형결합의 조건과 같습니다. 즉, 선형결합이 성립되는 벡터들은 선형 변환이 가능하다는 것을 의미합니다.

예)
 다음 식이 선형변환인지를 결정합니다.

$$\begin{align}&T\left( \begin{bmatrix} x_1\\x_2\\x_3 \end{bmatrix}\right)=\begin{bmatrix} 2x_1+x_3\\-4x_2\end{bmatrix}\\ &A=\begin{bmatrix} 2&0&1\\0&-4&0 \end{bmatrix} \end{align}$$

정의역의 x1, x2, x3 에 대한 위 변환이 성립되면 변환의 결과(T1, T2)에 대한 행렬방정식은 다음과 같습니다.

$$Ax = T \rightarrow \begin{bmatrix} 2&0&1\\0&-4&0 \end{bmatrix}\begin{bmatrix} x_1\\x_2\\x_3 \end{bmatrix}=\begin{bmatrix} T_1\\T_2 \end{bmatrix}$$

선형변환은 선형결합에 포함되므로 위 식의 표준 행렬 A에 대한 선형 결합성을 결정하여 유추할 수 있습니다.

import numpy as np
import numpy.linalg as la
import sympy as sp
import matplotlib.pyplot as plt
from matplotlib import rcParams
rcParams["font.family"]="namumgothic"
rcParams["font.weight"]="bold"
rcParams["font.size"]="11"
A=np.array([[2,0,1],[0,-4,0]]); A
array([[ 2,  0,  1],
           [ 0, -4,  0]])
sp.Matrix(A).rref()[0]
$\small\color{navy}{\left[\begin{matrix}1 & 0 & \frac{1}{2}\\0 & 1 & 0\end{matrix}\right]}$

표준 행렬 A의 rref는 1개의 자유 변수를 포함하는 것으로 두개의 기저를 가지므로 그 행렬 자체는 선형종속으로 선형결합이 성립됩니다. 다음으로 임의의 3차원 벡터에 대해 식 1이 성립되는지 결정합니다.

a=np.array([3, 6, 9])
b=np.array([2, 5, 8])
# T(a)+T(b) = T(a+b)
Aa=np.dot(A, a)
Ab=np.dot(A, b)
Aa+Ab
array([ 27, -44])
Aab=np.dot(A, a+b)
Aab
array([ 27, -44])
#cT(a)=T(ca)
c=3
c*Aa
array([ 45, -72])
np.dot(A, c*a)
array([ 45, -72])

예)
 다음 식이 선형 변환인지를 검정해 봅니다.

$$\begin{align}T\left(\begin{bmatrix} x_1\\x_2\\x_3 \end{bmatrix}\right)&=\begin{bmatrix} 4x_1+2x_2\\0\\x_1+3x_3-2 \end{bmatrix}\\ &=\begin{bmatrix}4&2&0\\0&0&0\\1&0&3\end{bmatrix} \begin{bmatrix}x_1\\x_2\\x_3\end{bmatrix}+\begin{bmatrix}0\\0\\-2\end{bmatrix}\end{align}$$

위 식의 우항으로부터 변환 T를 위한 표준행렬 A는 아래 코드의 객체 A와 같습니다. 그 표준행렬을 기준으로 선형결합 이 생성될 수 있습니다.

A=np.array([[4,2,0], [0,0,0], [1,0, 3]])
A
array([[4, 2, 0],
           [0, 0, 0],
           [1, 0, 3]])
sp.Matrix(A).rref()
(Matrix([
     [1, 0,  3],
     [0, 1, -6],
     [0, 0,  0]]),
     (0, 1))

위의 변환은 변환을 변수 벡터와의 곱을 위한 표준행렬(A)과 상수벡터(c)를 포함합니다. 표준행렬 A는 직전의 예와 같이 2개의 기저와 1개의 자유변수를 가지는 선형종속으로 선형결합이 성립합니다. 임의의 두 벡터들에 대한 식 1의 성립 여부를 결정하기 위해 임의의 두 벡터를 적용하면 성립되지 않습니다.

a=np.array([3, 6, 9])
b=np.array([2, 5, 8])
Aa=np.dot(A,a).reshape(-1,1)
Ab=np.dot(A, b).reshape(-1,1)
Aa+c+Ab+c
array([[42],
           [ 0],
           [60]])
A_ab=np.dot(A,a+b).reshape(-1,1)
A_ab+c
array([[42],
           [ 0],
           [58]])

선형결합은 선형변환의 필요조건이지만 모든 선형결합이 선형변환을 만족시키는 것은 아닙니다. 위의 예들과 같이 선형변환은 행렬로 이루어진 함수가 관계됩니다. 다음과 같이 나타낼 수 있습니다.

변환
  • 입력 인자와 출력 인자 모두가 벡터인 함수를 변환(transformation)이라 합니다.
  • 식 1의 두 조건을 만족하는 변환을 선형 변환이라 합니다.
  • 변환 함수 T가 m×m 형태의 2차원 행렬 A인 변환 즉, 행렬 함수가 관여된 연산을 행렬 변환(matrix transfomation)이라고 하며 다음과 같이 나타냅니다.
    T(x) = Ax, x ∈ 벡터

예)
 다음 행렬 변환이 선형 변환인지를 결정합니다.

$$\begin{align} &T\left(\begin{bmatrix} x\\y\\z \end{bmatrix}\right)=\begin{bmatrix} x&y\\y&-z \end{bmatrix}\\ &A =\begin{bmatrix} 1&1&0\\0&1&0 \end{bmatrix} \end{align}$$
A=np.array([[1,1,0],[0,1,-1]])
a=np.array([3, 6, 9])
b=np.array([2, 5, 8])
np.dot(A, a)+np.dot(A, b) == np.dot(A, a+b)
array([ True,  True])
3*np.dot(A, a) == np.dot(A, 3*a)
array([ True,  True])

행렬 A에 의한 행렬 변환은 식 1의 두 조건들을 모두 만족하므로 선형변환입니다.

영변환과 항등변환
  • 벡터 u에 대해 T(u) = 0을 만족하는 변환을 영변환 (zero transformation)이라고 합니다.
  • 벡터 u에 대해 T(u) = u와 같이 자신으로 변환되는 경우는 항등변환(identity transformation)이라고 합니다.

선형 변환은 식 1외에 다음과 같은 특성을 가집니다.

한 벡터 공간에서 다른 벡터 공간으로의 모든 선형변환은 행렬 변환으로 나타낼 수 있습니다.

벡터의 1개 차원은 1개의 축으로 나타냅니다. 즉, 1개의 행으로 표시됩니다. 이를 기준으로 1차원인 1×5 형태의 행벡터가 전치되면 5×1차원의 열 벡터로 구조가 바뀌며 이것은 5개의 축을 가진 5차원 공간에 있는 텐서(3차원 이상의 배열)로 전환됩니다. 이러한 변화는 각 차원의 단위 값 만을 나타내는 기본 벡터, 즉 하나의 행이 1이고 나머지는 0인 벡터를 사용하여 시각적으로 나타낼 수 있습니다. 이 기본 벡터는 표준기저(standard basis)를 구성하는 열벡터입니다. 예를 들어 다음의 열벡터는 각 축을 스칼라 배하여 변환하는 3차원의 텐서로 나타낼 수 있습니다.

$$\begin{align} \begin{bmatrix} 3\\5\\7 \end{bmatrix}&=3\begin{bmatrix}1\\0\\0\end{bmatrix}+5\begin{bmatrix}0\\1\\0\end{bmatrix}+7\begin{bmatrix}0\\0\\1\end{bmatrix}\\ &=3e_1+5e_2+7e_3\\ &= \begin{bmatrix} 1&0&0\\0&1&0\\0&0&1 \end{bmatrix}\begin{bmatrix}3\\5\\7\end{bmatrix} \end{align}$$

위의 e1, e2, e3를 표준기저벡터라고 하며 이를 적용하여 원 벡터를 스칼라 × 표준기저벡터의 형태로 나타낼 수 있습니다. 이러한 변환은 식 2와 같이 일반화하여 나타낼 수 있습니다.

$$\begin{align}\tag{2} x&=\begin{bmatrix} x_1\\x_2\\\vdots\\x_n \end{bmatrix}\\ &=x_1e_1 + x_2e_2 + \cdots + x_ne_n \end{align}$$

식 2의 x의 변환은 각 표준기저벡터의 변환 결과로서 식 3과 같이 나타낼 수 있습니다.

$$\begin{align}\tag{3} T(x)&=AX, \quad x \in \mathbb{R}^n\\ & = x_1T(\text{e}_1) + x_2T(\text{e}_2) + \cdots + x_nT(\text{e}_n)\\ \end{align}$$

식 3의 표준행렬은 표준기저벡터를 사용하여 식 4와 같이 나타낼 수 있습니다.

$$\begin{align}\tag{4} A&=\begin{bmatrix} T(\text{e}_1)&T(\text{e}_2)&\cdots& T(\text{e}_n) \end{bmatrix}\\ &=\begin{bmatrix} 1&0&\cdots&0\\0&1&\cdots&0\\\vdots&\vdots&\ddots&\vdots\\0&0&\cdots&1 \end{bmatrix} \end{align}$$

예)
 다음은 2차원에서 3차원으로의 변환(T: ℝ2 → ℝ3)을 나타낸 것입니다. 벡터 b와 c가 변환 T의 성립 여부를 결정하여 봅니다.

$$\begin{align} &T\left(\begin{bmatrix} x_1\\x_2\end{bmatrix}\right)=\begin{bmatrix} x_1-3x_2\\3x_1+5x_2\\-x_1+7x_2\end{bmatrix}\\ &\text{A for T}=\begin{bmatrix} 1&-3\\3&5\\-1&7\end{bmatrix}\\ &b=\begin{bmatrix} 3\\2\\-5\end{bmatrix}, \quad c=\begin{bmatrix} 3\\2\\5\end{bmatrix} \end{align}$$

그 변환은 다음과 같이 선형결합의 형태로 나타낼 수 있습니다.

$$\begin{bmatrix}1&-3\\3&5\\-1&7 \end{bmatrix}\begin{bmatrix} x_1\\x_2 \end{bmatrix}=\begin{bmatrix} x_1-3x_2\\3x_1+5x_2\\-x_1+7x_2 \end{bmatrix}$$

위 변환은 T(u) = Au로 나타낼 수 있습니다. 벡터 b와 c가 이 변환에 성립한다는 것은 다음 선형결합의 성립여부를 결정하는 것과 같습니다.

Ax = b, Ay = c
A=np.array([[1,-3],[3, 5],[-1,7]])
b=np.array([3, 2, -5]).reshape(-1, 1)
c=np.array([3, 2, 5]).reshape(-1, 1)
Ab=np.hstack([A,b]);Ab
array([[ 1, -3,  3],
           [ 3,  5,  2],
           [-1,  7, -5]])
sp.Matrix(Ab).rref()
(Matrix([
     [1, 0,  3/2],
     [0, 1, -1/2],
     [0, 0,    0]]),
     (0, 1))
Ac=np.hstack([A,c]);Ac
array([[ 1, -3,  3],
           [ 3,  5,  2],
           [-1,  7,  5]])
sp.Matrix(Ac).rref()
(Matrix([
     [1, 0, 0],
     [0, 1, 0],
     [0, 0, 1]]),
     (0, 1, 2))

위 결과에 의하면 A와 b의 확대 행렬의 rref로 부터 자명한 해를 계산할 수 있습니다. 그러므로 b는 T에 의한 변환이 성립합니다.

A와 c의 확대행렬의 3행은 다음과 같이 나타낼 수 있습니다.

0x1 + 0x2 = 1

위 식은 성립할 수 없습니다. 즉, 벡터 c와의 선형 결합은 성립하지 않습니다. 결과적으로 T에 의한 변환은 성립하지 않습니다.

예)
 다음 벡터 u, v는 T에 의한 선형 변환 여부를 결정하여 봅니다.

$$\begin{align} &T(x)=\begin{bmatrix}0&-1\\1&0\end{bmatrix}\begin{bmatrix}x_1\\x_2 \end{bmatrix}\\ &u=\begin{bmatrix}4\\1\end{bmatrix}, \quad v=\begin{bmatrix} 2\\3\end{bmatrix} \end{align}$$
T=np.array([[0,-1],[1,0]])
u=np.array([[4],[1]])
v=np.array([[2],[3]])
Tu=np.dot(T, u);Tu
array([[-1],
           [ 4]])
Tv=np.dot(T,v);Tv
array([[-3],
           [ 2]])
uv=u+v
Tuv=np.dot(T, (uv))
Tu+Tv==Tuv
array([[ True],
           [ True]])

위 결과는 T(u) + T(v) = T(u + v)를 나타냅니다. 그러므로 변환 T는 선형입니다. 위 결과는 그림 1과 같이 기하적으로 나타낼 수 있습니다.

plt.figure(figsize=(10, 5), dpi=100)
nme=['u', 'v', 'uv', 'Tu', 'Tv', 'Tuv']
col=['blue','blue','blue', 'red','red','red']
for i, j in enumerate([u, v, uv, Tu, Tv, Tuv]):
    plt.annotate(f"{nme[i]}", (0,0), j, fontsize=13, color=col[i], arrowprops=dict(color=col[i], lw=2, arrowstyle="<-"))
plt.xlim(-5,7)
plt.ylim(0,7)
plt.grid(True)
plt.show()
그림 1.두 벡터의 선형변환.

특별한 선형변환

벡터 공간에서의 변환(transformation)은 다른 벡터 공간으로 이관하는 함수의 다른 표현입니다. 그러한 변환 중에 몇 가지 특성을 만족시키는 특별한 선형변환은 다음과 같습니다.

동일차원으로 선형변환의 경우

$$\begin{align} &Ab=c\\ &A=\begin{bmatrix}0.2&0.5\\0.4&0.7 \end{bmatrix}\\ &b=\begin{bmatrix}3\\2 \end{bmatrix} \end{align}$$
A=np.array([[0.2, 0.5],[0.4, 0.7]]);A
array([[0.2, 0.5],
           [0.4, 0.7]])
b=np.array([[3],[2]]);b
array([[3],
           [2]])
c=np.dot(A, b);c
array([[1.6],
           [2.6]])

위 과정은 그림 2와 같이 표준 행렬 A에 의해 벡터 b를 벡터 c로 위치 이동을 한 것입니다. 즉, 동일한 차원 내에서 일반적인 좌표 시스템에서 행렬 A의 각 열벡터가 기준이 되는 좌표 시스템으로 이동시킨 것입니다.

plt.figure(figsize=(10, 5), dpi=100)
nme=['A1', 'A2', 'b', 'c']
col=['black','black','blue','red']
for i, j in enumerate([A[:,0], A[:, 1], b, c]):
    plt.annotate(nme[i], (0,0), j, fontsize=13, color=col[i], arrowprops=dict(color=col[i],lw=3, arrowstyle="<-"))
plt.xlim(0, 3.5)
plt.ylim(0, 3)
plt.grid(True)
plt.show()
그림 2. 동일차원으로의 변환.

예)
 T:$\mathbb{R}^2$ → $\mathbb{R}^2$의 변환은 다음과 같습니다.

A=np.array([[-1, 0],[0, -1]]);A
array([[-1,  0],
           [ 0, -1]])
u=np.array([[-3],[-2]]);u
array([[-3],
           [-2]])
Au=np.dot(A, u);Au
array([[3],
           [2]])
v=np.array([[-3], [0]]); v
array([[-3],
           [ 0]])
Av=np.dot(A, v);Av
array([[3],
           [0]])

이 변환은 각 벡터를 π 만큼의 라디안(radian) 이동시킵니다.

plt.figure(figsize=(10, 5), dpi=100)
nme=['u', 'v', 'Au', 'Av', 'A1','A2']
col=['blue','blue','red','red','black','black']
for i, j in enumerate([u, v, Au, Av, A[:,0], A[:,1]]):
    plt.annotate(nme[i], (0,0), j, fontsize=13, color=col[i], arrowprops=dict(color=col[i],lw=3, arrowstyle="<-"))
plt.xlim(-3.5, 3.5)
plt.ylim(-2.5,2.5)
plt.grid(True)
plt.show()
그림 3. $\pi$만큼의 라디안(radian) 이동.

일정각도의 이동

식 6.5의 표준행렬은 동일 차원으로의 선형변형으로 벡터를 원점을 중심으로 θ만큼 시계 반대 방향으로 회전시킵니다.

$$\begin{equation} R_\theta = \begin{bmatrix} cos(\theta ) & −sin(\theta )\\sin(\theta ) & cos(\theta ) \end{bmatrix} \end{equation}$$

벡터 b를 45°변환시킨 것입니다.

Rθb = c

각도의 값을 계산하기 위해 np.sin(), np.cos()를 적용하였습니다. 이 함수는 인수는 라디안(radian)이어야 합니다. 그러므로 각도를 라디안으로 변환하기 위해 np.deg2rad()함수를 함께 적용하였습니다.

rad=np.cos(np.deg2rad(45))
round(rad, 3)
0.707
R=np.array([[np.cos(rad), -np.sin(rad)], [np.sin(rad), np.cos(rad)]])
np.around(R, 3)
array([[ 0.76, -0.65],
           [ 0.65,  0.76]])
b=np.array([[3],[2]])
c=np.dot(R, b)
np.around(c,3)
array([[0.981],
           [3.469]])

위 변환 결과는 그림 4와 같습니다. 표준 행렬인 Rθ를 구성하고 있는 두 열벡터는 서로 직교 관계에 있습니다. 두 벡터는 기저 벡터들로서 이들 벡터들을 기준으로 벡터 b를 45° 이동시킨 벡터 c를 생성하였습니다. 이는 위와 같이 일반 좌표계를 행렬 A의 각 열벡터를 기준으로 하는 새로운 좌표계로 표시한 것입니다. 결과적으로 동일한 차원이지만 다른 벡터공간으로 변환시킨 것입니다

plt.figure(figsize=(10, 5), dpi=100)
nme=['b', 'c', 'R1', 'R2']
col=['blue','red','black','black']
for i, j in enumerate([b, c, R[:,0], R[:,1]]):
    plt.annotate(nme[i], (0,0), j, fontsize=13, color=col[i], arrowprops=dict(color=col[i],lw=3, arrowstyle="<-"))
plt.annotate("", (1.5, 1.3), (1, 2.2), arrowprops=dict(color='green', lw=2, arrowstyle="<-", alpha=0.5))
plt.text(1.3, 1.8, r"$45^\circ$ rotate", color="green")
plt.xlim(-1, 4)
plt.ylim(-1,4)
plt.grid(True)
plt.show()
그림 4. 45° 회전이동한 벡터.

댓글

이 블로그의 인기 게시물

유사변환과 대각화

내용 유사변환 유사행렬의 특성 대각화(Diagonalization) 유사변환(Similarity transformation) 유사변환 n×n 차원의 정방 행렬 A, B 그리고 가역 행렬 P 사이에 식 1의 관계가 성립하면 행렬 A와 B는 유사하다고 하며 이 변환을 유사 변환 (similarity transformation)이라고 합니다. $$\begin{equation}\tag{1} A = PBP^{-1} \Leftrightarrow P^{-1}AP = B \end{equation}$$ 식 1의 유사 변환은 다음과 같이 고유값을 적용하여 특성 방정식 형태로 정리할 수 있습니다. $$\begin{align} B - \lambda I &= P^{-1}AP – \lambda P^{-1}P\\ &= P^{-1}(AP – \lambda P)\\ &= P^{-1}(A - \lambda I)P \end{align}$$ 위 식의 행렬식은 다음과 같이 정리됩니다. $$\begin{align} &\begin{aligned}\textsf{det}(B - \lambda I ) & = \textsf{det}(P^{-1}(AP – \lambda P))\\ &= \textsf{det}(P^{-1}) \textsf{det}((A – \lambda I)) \textsf{det}(P)\\ &= \textsf{det}(P^{-1}) \textsf{det}(P) \textsf{det}((A – \lambda I))\\ &= \textsf{det}(A – \lambda I)\end{aligned}\\ &\begin{aligned}\because \; \textsf{det}(P^{-1}) \textsf{det}(P) &= \textsf{det}(P^{-1}P)\\ &= \t

matplotlib의 그래프 종류

1. 산포도(scatter plot) plt.scatter(x, y) >>> import matplotlib.pyplot as plt >>> import numpy as np >>> data=np.random.rand(1024, 2) >>> data[:3, :] >>> plt.scatter(data[:,0], data[:,1]) >>> plt.show() 2. 막대그래프(bar chart) plt.bar(x, hight, width, align='center') 매개변수중 width에 인수를 전달하여 막대의 두께를 조절할 수 있다. 또한 align의 인수는 'center'와 'edge' 이다. 기본값은 'center'이다. 이 값은 x축의 레이블이 막대의 중간에 위치(center) 또는 왼쪽 가장자리에 위치(edge)시킨다. 코드에서 np.random.randint 는 특정한 범위내에서 지정한 갯수의 랜덤수를 생성 np.unique(배열, retrun_counts=False, axis=None) : 객체 내의 중복되지 않은 수들을 반환한다. return_counts=True이면 각 수에 대한 빈도수를 반환한다. axis를 통해 행(1), 열(0)을 선택한다. >>> x=np.random.randint(1, 6, size=100) >>> uni,count=np.unique(x, return_counts=True) >>> uni array([1, 2, 3, 4, 5]) >>> count array([25, 17, 23, 16, 19], dtype=int64) >>> plt.bar(uni, count) >>> plt.show() 위의 막대그래프의 막대의

sympy.solvers로 방정식해 구하기

sympy.solvers로 방정식해 구하기 대수 방정식을 해를 계산하기 위해 다음 함수를 사용합니다. sympy.solvers.solve(f, *symbols, **flags) f=0, 즉 동차방정식에 대해 지정한 변수의 해를 계산 f : 식 또는 함수 symbols: 식의 해를 계산하기 위한 변수, 변수가 하나인 경우는 생략가능(자동으로 인식) flags: 계산 또는 결과의 방식을 지정하기 위한 인수들 dict=True: {x:3, y:1}같이 사전형식, 기본값 = False set=True :{(x,3),(y,1)}같이 집합형식, 기본값 = False ratioal=True : 실수를 유리수로 반환, 기본값 = False positive=True: 해들 중에 양수만을 반환, 기본값 = False 예 $x^2=1$의 해를 결정합니다. solve() 함수에 적용하기 위해서는 다음과 같이 식의 한쪽이 0이 되는 형태인 동차식으로 구성되어야 합니다. $$x^2-1=0$$ import numpy as np from sympy import * x = symbols('x') solve(x**2-1, x) [-1, 1] 위 식은 계산 과정은 다음과 같습니다. $$\begin{aligned}x^2-1=0 \rightarrow (x+1)(x-1)=0 \\ x=1 \; \text{or}\; -1\end{aligned}$$ 예 $x^4=1$의 해를 결정합니다. solve() 함수의 인수 set=True를 지정하였으므로 결과는 집합(set)형으로 반환됩니다. eq=x**4-1 solve(eq, set=True) ([x], {(-1,), (-I,), (1,), (I,)}) 위의 경우 I는 복소수입니다.즉 위 결과의 과정은 다음과 같습니다. $$x^4-1=(x^2+1)(x+1)(x-1)=0 \rightarrow x=\pm \sqrt{-1}, \; \pm 1=\pm i,\; \pm1$$ 실수