둘러보기 메뉴
검색
바뀐글
임의글
개인 도구
가입하기
로그인
도움말
도움말
질문게시판
자주 묻는 질문
커뮤니티
실시간 채팅방
가입인사게시판
자유게시판
뉴스게시판
제재안게시판
최근 토론
페미위키
공지사항
개선 요청
바뀐글
임의글
파일 올리기
다면 분류 목록
특수 문서 목록
방데르몽드 행렬 문서 원본 보기
이름공간
문서
토론
주시
도구
여기를 가리키는 문서
가리키는 글의 최근 바뀜
문서 정보
위키베이스 항목
행위
보기
읽기
원본 보기
역사 보기
←
방데르몽드 행렬
문서 편집 권한이 없습니다. 다음 이유를 확인해주세요.
요청한 명령은 다음 중 하나의 권한을 가진 사용자에게 제한됩니다:
사용자
,
Seeders
.
문서를 고치려면 이메일 인증 절차가 필요합니다.
사용자 환경 설정
에서 이메일 주소를 입력하고 이메일 주소 인증을 해주시기 바랍니다.
문서의 원본을 보거나 복사할 수 있습니다.
체 ''F''와 <math>\alpha_1,\alpha_2, \cdots, \alpha_m \in F</math>에 대해, <math>m \times n</math> '''방데르몽드 행렬'''(Vandermonde matrix) ''V''는 다음 꼴로 나타나는 행렬이다. <math>V=\begin{bmatrix} 1 & \alpha_1 & \alpha_1^2 & \cdots & \alpha_1^{n-1} \\ 1 & \alpha_2 & \alpha_2^2 & \cdots & \alpha_2^{n-1} \\ \vdots & \vdots & \vdots & \ddots & \vdots\\ 1 & \alpha_m & \alpha_m^2 & \cdots & \alpha_m^{n-1} \end{bmatrix}</math> ''V''의 [[전치행렬]]을 방데르몽드 행렬로 정의하기도 한다. == 성질 == <ul> <li> 방데르몽드 행렬 ''V''가 ''n''차 정사각행렬이면, :<math>\det V=\prod_{1\le j < i \le n} (\alpha_i - \alpha_j)</math> 이다. 이때, <math>\det V</math>를 [[방데르몽드 행렬식]]이라 하며, ''V''가 가역일 필요충분조건은 임의의 서로 다른 <math>i,j\in \{1,2,\cdots,n\}</math>에 대해 <math>\alpha_i \ne \alpha_j</math>인 것이다.</li> <li> ''V''가 가역일 때, ''V''의 [[역행렬]]을 <math>V^{-1}=[\beta_{ij}]</math>라 하면, 다음 식이 성립한다. <math>\beta_{ij}=(-1)^{i-1}\frac {S_{n-i}(\alpha_1, \cdots,\alpha_{j-1},\alpha_{j+1},\cdots,\alpha_n)}{\prod_{k\ne j}(\alpha_k-\alpha_j)}</math> 이때, <math>S_{n-i}</math>는 [[기본대칭함수]]이다. {{math proof| ''V''와 그 역행렬의 곱이 [[항등행렬]]이므로, 다음 식이 성립한다. <math>\sum_{k=1}^n \alpha_i^{k-1} \beta_{kj}=\delta_{ij}</math> 이때, <math>\delta_{ij}</math>는 [[크로네커 델타]]이다. 다항식 <math>P_j(x)</math>를 <math>P_j(x)=\sum_{k=1}^n \beta_{kj}x^{k-1}</math> 로 정의하면 <math>\displaystyle P_j(\alpha_i)=\sum_{k=1}\beta_{kj}\alpha_i^{k-1}=\delta_{ij}</math>이다. [[라그랑주 보간법]]에 의해, <math>\begin{align}P_j(x)&=\sum_{i=1}^n \delta_{ij}L_i(x)\\&=L_j(x)\\&=\prod_{1\le k \le n\atop k\ne j}\frac{x-\alpha_k}{\alpha_j-\alpha_k}\end{align}</math> 이다. 이때 <math>L_j(x)</math>는 [[라그랑주 다항식|라그랑주 기저 다항식]]이다. 계수비교를 통해 <math>\begin{align}\beta_{kj}&=\frac{\displaystyle\sum_{1\le i_1 < \cdots < i_{n-k} \le n}\prod_{j=1}^{n-k}(-\alpha_{i_j})}{\displaystyle\prod_{1\le m \le n \atop k\ne j}(\alpha_j-\alpha_m)}\\ &=\frac{\displaystyle (-1)^{n-k}\sum_{1\le i_1 < \cdots < i_{n-k} \le n}\prod_{j=1}^{n-k}\alpha_{i_j}}{\displaystyle (-1)^{n-1}\prod_{1\le m \le n \atop m\ne j}(\alpha_m-\alpha_j)} \\&= \frac{\displaystyle (-1)^{k-1}S_{n-k}(\alpha_1,\cdots,\alpha_{j-1},\alpha_{j+1},\cdots,\alpha_n)}{\displaystyle \prod_{1\le m \le n\atop k\ne j}(\alpha_m-\alpha_j)} \end{align}</math> 임을 안다. ''k''를 ''i''로 바꾸면 원하는 결과를 얻는다.}}</li></ul> == 링크 == * [https://www.proofwiki.org/wiki/Definition:Vandermonde%27s_Matrix Vandermonde's Matrix (Proofwiki)] == 참고문헌 == * Horn, Roger A.; Johnson, Charles R. (2013), Matrix Analysis (2nd ed.), Cambridge University Press, ISBN 978-0-521-54823-6 [[분류:분야/수학]]
이 문서에서 사용한 틀:
틀:Clear
(
원본 보기
)
틀:Clr
(
원본 보기
)
틀:Math proof
(
원본 보기
)
방데르몽드 행렬
문서로 돌아갑니다.
다른 언어