Invertible? solve_right -> has no solution OR infinite solutions? (TIL)

김소은·2025년 6월 11일

🧐💭❓

[001213000]\begin{bmatrix} 0 & 0 & 1 \\ -2 & 1 & 3 \\ 0 & 0 & 0 \end{bmatrix}

이 행렬을 선형 방정식의 관점에서 생각해볼 때, "변수 3개를 알아야하는 상황인데 방정식이 2개밖에 없으므로 해를 구할 수 없다"라고도 이해할 수 있을 것 같아.
반대로 이것의 역행렬을 볼게.

[020010130]\begin{bmatrix} 0 & -2 & 0 \\ 0 & 1 & 0 \\ 1 & 3 & 0 \end{bmatrix}

그럼 이 식은 "방정식이 3개가 있지만, z를 포함하는 식은 한 개도 없으므로 해를 구할 수 없다"라고 이해해도 되겠지?


좋은 통찰입니다. 질문을 정확히 분석해 보겠습니다.


🔹 첫 번째 행렬:

A=[001213000]A = \begin{bmatrix} 0 & 0 & 1 \\ -2 & 1 & 3 \\ 0 & 0 & 0 \end{bmatrix}

이걸 선형방정식 시스템의 계수행렬로 보면, 변수 x,y,zx, y, z 에 대해 다음과 같은 방정식 3개 중 2개만 의미 있는 식이 됩니다:

  1. z=b1z = b_1
  2. 2x+y+3z=b2-2x + y + 3z = b_2
  3. 0=b30 = b_3 → 의미 없음 (항등식 또는 모순 가능)

즉, 식은 두 개, 미지수는 세 개
해는 무수히 많거나, 없거나
→ 역행렬 없음 (가역 아님)
→ 정확히 당신이 말한 것처럼 **"미지수가 더 많아서 해를 못 고정한다"**라는 의미로 이해해도 좋습니다.


🔹 두 번째 행렬:

B=[020010130]B = \begin{bmatrix} 0 & -2 & 0 \\ 0 & 1 & 0 \\ 1 & 3 & 0 \end{bmatrix}

이걸 계수행렬로 해석하면 다음과 같은 선형 방정식을 나타냅니다:

  1. 2y=b1-2y = b_1
  2. y=b2y = b_2
  3. x+3y=b3x + 3y = b_3

이 방정식들의 특징은:

  • z에 관한 항이 없음zz자유 변수
  • xxyy는 결정되지만, zz아무 값이나 될 수 있음
  • 즉, 어떤 bb에 대해서는 해가 존재하지만 유일하지 않다

그래서 당신이 말한 “z를 포함한 식이 없어서 해를 고정할 수 없다”는 표현도 맞습니다. 하지만 여기선 해가 아예 없는 건 아니고, 단지 z는 무관한 자유 변수라는 점이 중요합니다.


🔁 정리하면

행렬해석해 존재 여부역행렬 존재 여부
첫 번째방정식 2개, 변수 3개일반적으로 해 무수히 많음 또는 없음
두 번째방정식 3개, 변수 3개지만 z 없음해는 있을 수 있으나 z는 자유 변수

결론: 역행렬이 존재하려면 해가 유일해야 하므로,

  • 변수 수 = 독립적인 식 수
  • 자유 변수 없음
    이 조건이 모두 만족돼야 합니다.

profile
개발자

0개의 댓글