제약을 포함한 차원 분석의 선형대수적 체계

본 논문은 물리량 사이에 복잡한 제약이 존재할 때 차원 분석을 어떻게 체계적으로 수행할 수 있는지를 선형대수적 관점에서 정리한다. 먼저, 차원 행렬 A∈ℝ^{m×n}을 정의하고, 물리량 x_i>0를 로그 변환 y=ln x 로 바꾸어 곱셈 관계를 내적 형태 ⟨v, y⟩ 로 표현한다. 이때 차원 변환은 y→y+Aᵀλ 로 나타나며, 차원 무관량은 Aᵀλ에 대해 불변인 벡터 e∈ker A와 대응한다. 버킹엄 π‑정리에 따르면, n개의 물리량은 d=n−rank A개의 독립적인 무차원량(π‑군)으로 축소된다. 다음으로 제약식을 ψ(y)=0 로 가정하고, 그 야코비안 J∈ℝ^{ℓ×n}을 도입한다. 제약이 스케일 불변이면 im Aᵀ⊆ker J, 즉 Aᵀλ가 제약 접선에 포함된다. 제약에 따라 허용되는 변동은 ker J에 속하고, 차원 무관 변동은 ker A에 속한다. 따라서 실제 자유도는 두 부분공간의 교집합 차원 d_eff=dim(ker A∩ker J) 로 정의된다. 이 식은 직관적으로 “차원 무관 방향 중 제약에 의해 허용되는 부분”을 의미한다. d_eff를 계산하는 여러 등가식이 제시된다. 첫 번째는 d_eff=dim(ker A∩ker J) 자체이며, 두 번째는 d_eff=n−rank