"이항계수의 반전공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “수학사연표” 문자열을 “수학사 연표” 문자열로)
 
(같은 사용자의 중간 판 2개는 보이지 않습니다)
1번째 줄: 1번째 줄:
 
==이 항목의 수학노트 원문주소==
 
==이 항목의 수학노트 원문주소==
  
−
*  
+
*
  
−
 
+
  
−
 
+
  
 
==개요==
 
==개요==
  
−
* <math>k=0,1,\cdots, n</math> 에 대하여, <math>a_0,\cdots,a_n</math> 과 <math>b_0,\cdots,b_n</math> 이 다음 관계를 만족시킨다고 하자.:<math>a_k=\sum_{i=0}^{k}{k\choose i}b_i</math><br> 그러면:<math>b_k=\sum_{i=0}^{k}(-1)^{k-i}{k\choose i}a_i</math> 가 성립한다.<br>
+
* <math>k=0,1,\cdots, n</math> 에 대하여, <math>a_0,\cdots,a_n</math> 과 <math>b_0,\cdots,b_n</math> 이 다음 관계를 만족시킨다고 하자.:<math>a_k=\sum_{i=0}^{k}{k\choose i}b_i</math> 그러면:<math>b_k=\sum_{i=0}^{k}(-1)^{k-i}{k\choose i}a_i</math> 가 성립한다.
−
*  원소의 개수가 n인 집합 E의 부분집합들이 이루는 poset 에 대해 [[뫼비우스 반전공식]] 을 적용한 것으로 이해할 수 있다<br>
+
*  원소의 개수가 n인 집합 E의 부분집합들이 이루는 poset 에 대해 [[뫼비우스 반전공식]] 을 적용한 것으로 이해할 수 있다
−
**  이 때 뫼비우스 함수는 <math>\mu(S,T)=(-1)^{\left|T\setminus S\right|}</math> 으로 주어진다<br>
+
**  이 때 뫼비우스 함수는 <math>\mu(S,T)=(-1)^{\left|T\setminus S\right|}</math> 으로 주어진다
  
−
 
+
  
−
 
+
  
−
 
+
  
 
==행렬을 통한 이해==
 
==행렬을 통한 이해==
  
−
*  n=5 인 경우:<math>\left( \begin{array}{cccccc}  1 & 0 & 0 & 0 & 0 & 0 \\  1 & 1 & 0 & 0 & 0 & 0 \\  1 & 2 & 1 & 0 & 0 & 0 \\  1 & 3 & 3 & 1 & 0 & 0 \\  1 & 4 & 6 & 4 & 1 & 0 \\  1 & 5 & 10 & 10 & 5 & 1 \end{array} \right)</math> 의 역행렬은:<math>\left( \begin{array}{cccccc}  1 & 0 & 0 & 0 & 0 & 0 \\  -1 & 1 & 0 & 0 & 0 & 0 \\  1 & -2 & 1 & 0 & 0 & 0 \\  -1 & 3 & -3 & 1 & 0 & 0 \\  1 & -4 & 6 & -4 & 1 & 0 \\  -1 & 5 & -10 & 10 & -5 & 1 \end{array} \right)</math> 이다.<br>
+
*  n=5 인 경우:<math>\left( \begin{array}{cccccc}  1 & 0 & 0 & 0 & 0 & 0 \\  1 & 1 & 0 & 0 & 0 & 0 \\  1 & 2 & 1 & 0 & 0 & 0 \\  1 & 3 & 3 & 1 & 0 & 0 \\  1 & 4 & 6 & 4 & 1 & 0 \\  1 & 5 & 10 & 10 & 5 & 1 \end{array} \right)</math> 의 역행렬은:<math>\left( \begin{array}{cccccc}  1 & 0 & 0 & 0 & 0 & 0 \\  -1 & 1 & 0 & 0 & 0 & 0 \\  1 & -2 & 1 & 0 & 0 & 0 \\  -1 & 3 & -3 & 1 & 0 & 0 \\  1 & -4 & 6 & -4 & 1 & 0 \\  -1 & 5 & -10 & 10 & -5 & 1 \end{array} \right)</math> 이다.
  
−
 
+
  
−
 
+
  
 
<math>\sum_{k=m}^n (-1)^{k-m} \binom{k}{m} \binom{n}{k} = \delta_{mn}</math>
 
<math>\sum_{k=m}^n (-1)^{k-m} \binom{k}{m} \binom{n}{k} = \delta_{mn}</math>
  
−
 
+
  
−
 
+
  
−
 
+
−
 
 
−
==역사==
 
−
 
 
−
 
 
−
 
 
−
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
−
* [[수학사 연표]]
 
−
 
 
−
 
 
−
 
 
−
 
 
  
 
==메모==
 
==메모==
  
−
*  <br>
+
*  
  
 
* http://math.stackexchange.com/questions/55659/combinatorial-interpretation-of-binomial-inversion
 
* http://math.stackexchange.com/questions/55659/combinatorial-interpretation-of-binomial-inversion
54번째 줄: 43번째 줄:
 
* Math Overflow http://mathoverflow.net/search?q=
 
* Math Overflow http://mathoverflow.net/search?q=
  
−
 
+
  
−
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
63번째 줄: 52번째 줄:
 
* [[뫼비우스 반전공식|뫼비우스 함수와 반전공식]]
 
* [[뫼비우스 반전공식|뫼비우스 함수와 반전공식]]
  
−
 
+
  
−
 
+
  
 
==수학용어번역==
 
==수학용어번역==
  
−
*  단어사전<br>
+
*  단어사전
 
** http://translate.google.com/#en|ko|
 
** http://translate.google.com/#en|ko|
 
** http://ko.wiktionary.org/wiki/
 
** http://ko.wiktionary.org/wiki/
−
* 발음사전 http://www.forvo.com/search/
+
* 발음사전 http://www.forvo.com/search/
−
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
+
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
* [http://www.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
 
* [http://www.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
 
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
−
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
+
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
  
−
 
+
  
 
==매스매티카 파일 및 계산 리소스==
 
==매스매티카 파일 및 계산 리소스==
92번째 줄: 81번째 줄:
 
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
 
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
  
−
 
+
  
−
==사전 형태의 자료==
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
102번째 줄: 91번째 줄:
 
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
  
−
 
+
  
−
 
+
  
 
==리뷰논문, 에세이, 강의노트==
 
==리뷰논문, 에세이, 강의노트==
  
−
 
+
  
−
 
+
  
−
 
+
  
  
  
−
 
+
  
−
 
+
  
  
 
[[분류:조합수학]]
 
[[분류:조합수학]]

2020년 12월 28일 (월) 02:52 기준 최신판

이 항목의 수학노트 원문주소



개요

  • \(k=0,1,\cdots, n\) 에 대하여, \(a_0,\cdots,a_n\) 과 \(b_0,\cdots,b_n\) 이 다음 관계를 만족시킨다고 하자.\[a_k=\sum_{i=0}^{k}{k\choose i}b_i\] 그러면\[b_k=\sum_{i=0}^{k}(-1)^{k-i}{k\choose i}a_i\] 가 성립한다.
  • 원소의 개수가 n인 집합 E의 부분집합들이 이루는 poset 에 대해 뫼비우스 반전공식 을 적용한 것으로 이해할 수 있다
    • 이 때 뫼비우스 함수는 \(\mu(S,T)=(-1)^{\left|T\setminus S\right|}\) 으로 주어진다




행렬을 통한 이해

  • n=5 인 경우\[\left( \begin{array}{cccccc} 1 & 0 & 0 & 0 & 0 & 0 \\ 1 & 1 & 0 & 0 & 0 & 0 \\ 1 & 2 & 1 & 0 & 0 & 0 \\ 1 & 3 & 3 & 1 & 0 & 0 \\ 1 & 4 & 6 & 4 & 1 & 0 \\ 1 & 5 & 10 & 10 & 5 & 1 \end{array} \right)\] 의 역행렬은\[\left( \begin{array}{cccccc} 1 & 0 & 0 & 0 & 0 & 0 \\ -1 & 1 & 0 & 0 & 0 & 0 \\ 1 & -2 & 1 & 0 & 0 & 0 \\ -1 & 3 & -3 & 1 & 0 & 0 \\ 1 & -4 & 6 & -4 & 1 & 0 \\ -1 & 5 & -10 & 10 & -5 & 1 \end{array} \right)\] 이다.



\(\sum_{k=m}^n (-1)^{k-m} \binom{k}{m} \binom{n}{k} = \delta_{mn}\)




메모



관련된 항목들



수학용어번역


매스매티카 파일 및 계산 리소스


사전 형태의 자료



리뷰논문, 에세이, 강의노트

원본 주소 "https://wiki.mathnt.net/index.php?title=이항계수의_반전공식&oldid=48198"