영공간 (Null Space)

한 줄 정의: 어떤 행렬 A를 곱했을 때 결과가 정확히 0(영벡터)이 되는 모든 벡터 x들의 집합입니다.

쉽게 풀면

행렬 A는 벡터를 다른 벡터로 바꾸는 "변환 기계"라고 생각할 수 있습니다. 대부분의 입력 벡터는 기계를 통과하면 0이 아닌 결과가 나오지만, 몇몇 특수한 입력은 통과시키면 결과가 완전히 0이 되어버립니다. 이렇게 "기계에 넣으면 흔적도 없이 사라지는" 입력 벡터들을 모아놓은 것이 영공간입니다. 예를 들어 Ax = 0이라는 연립방정식을 풀 때, 그 해가 되는 모든 x의 집합이 바로 A의 영공간입니다. 영공간에 원점(0벡터) 하나만 있다면 그 행렬은 정보를 잃지 않고 벡터를 온전히 변환한다는 뜻이고, 영공간이 더 크다면 그만큼 정보가 뭉개진다는 뜻입니다.

왜 중요한가

영공간은 선형시스템의 해가 유일한지, 아니면 여러 개이거나 존재하지 않는지를 판단하는 데 직결되기 때문에 회귀분석, 신호처리, 로보틱스 등 다양한 응용 분야의 논문에서 자주 언급됩니다. 특히 다중공선성이 있는 회귀모델이나 저랭크(rank-deficient) 시스템을 다룰 때는 영공간이 0벡터만 포함하는지 확인하는 것이 결과의 신뢰성을 뒷받침하는 필수 절차입니다. 로봇 제어 분야에서는 영공간을 이용해 주작업을 방해하지 않으면서 관절의 여유 자유도를 활용하는 기법도 널리 쓰입니다.

논문에서는 이렇게 쓰입니다

"설계 행렬의 영공간이 자명해(trivial)로만 구성됨을 확인하여 추정된 계수가 유일하게 결정됨을 보였다."

이 문장은 "행렬을 곱해 0이 되는 벡터가 0벡터 하나뿐이므로, 모델의 계수를 구하는 해가 하나로 정확히 정해진다"는 뜻입니다.

"중복 자유도를 가진 로봇 팔의 자코비안 영공간을 활용하여 말단 궤적을 유지한 채 관절 배치를 최적화하였다."

로보틱스 분야에서 영공간을 여유 자유도 제어에 활용하는 예시이다.

"관측 행렬의 영공간 차원이 0보다 크면 시스템이 관측 불가능한 상태 성분을 갖는다는 것을 의미한다."

제어이론에서 영공간을 이용해 시스템의 관측가능성을 판단하는 예시이다.

조금 더 깊게 보면

영공간의 차원을 널리티(nullity)라고 부르며, 차원 정리에 따라 행렬의 열의 개수는 랭크와 널리티의 합과 같습니다. 실제 계산에서는 특이값 분해(SVD)를 이용해 특이값이 0(또는 수치적으로 0에 가까운 값)에 대응하는 특이벡터들을 모아 영공간의 기저를 구하는 방법이 흔히 쓰이며, 이는 데이터에 노이즈가 섞여 있을 때 수치적으로 영공간을 안정적으로 추정하는 표준적인 방법입니다.

주의할 점

영공간이 원점 하나보다 크다면(즉 0이 아닌 벡터도 포함한다면), 그 방향으로는 정보가 손실되어 선형독립과 선형결합이 깨지고 방정식의 해가 여러 개이거나 존재하지 않을 수 있습니다. 영공간의 차원(nullity)은 차원 정리를 통해 행렬의 랭크(rank)와 직접 연결됩니다.