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

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 20개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 수학노트 원문주소</h5>
+
==이 항목의 수학노트 원문주소==
  
−
*  
+
*
  
−
 
+
  
−
 
+
  
−
<h5>개요</h5>
+
==개요==
  
−
* <math>k=0,1,\cdots, n</math> 에 대하여, <math>a_0,\cdots,a_n</math> 과 <math>b_0,\cdots,b_n</math> 이 다음 관계를 만족시킨다고 하자.<br><math>a_k=\sum_{i=0}^{k}{k\choose i}b_i</math><br> 그러면<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 에 대해 [[뫼비우스 반전공식]] 을 적용한 것으로 이해할 수 있다
 +
**  이 때 뫼비우스 함수는 <math>\mu(S,T)=(-1)^{\left|T\setminus S\right|}</math> 으로 주어진다
  
−
 
+
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 2em;">행렬을 통한 이해</h5>
+
  
−
*  n=5 인 경우<br><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><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>
  
−
 
+
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
<h5>역사</h5>
 
−
 
 
−
 
 
  
−
* http://www.google.com/search?hl=en&tbs=tl:1&q=
+
−
* [[수학사연표 (역사)|수학사연표]]
 
  
−
 
+
  
−
 
+
==메모==
  
−
<h5>메모</h5>
+
* 
  
 
* http://math.stackexchange.com/questions/55659/combinatorial-interpretation-of-binomial-inversion
 
* http://math.stackexchange.com/questions/55659/combinatorial-interpretation-of-binomial-inversion
48번째 줄: 43번째 줄:
 
* Math Overflow http://mathoverflow.net/search?q=
 
* Math Overflow http://mathoverflow.net/search?q=
  
−
 
+
 +
 
 +
  
−
 
+
==관련된 항목들==
  
−
<h5>관련된 항목들</h5>
+
* [[삼각행렬]]
 +
* [[뫼비우스 반전공식|뫼비우스 함수와 반전공식]]
  
−
 
+
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
+
==수학용어번역==
  
−
*  단어사전<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 대한수학회 수학용어한글화 게시판]
 +
 
 +
  
−
 
+
==매스매티카 파일 및 계산 리소스==
  
−
 
+
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxZTg3MWIwNjctODhiNi00ZGVmLTkyYmQtNWVjZmY4NTE0ODMx&sort=name&layout=list&num=50
 +
* http://www.wolframalpha.com/input/?i=
 +
* http://functions.wolfram.com/
 +
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 +
* [http://people.math.sfu.ca/%7Ecbm/aands/toc.htm Abramowitz and Stegun Handbook of mathematical functions]
 +
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 +
* [http://numbers.computation.free.fr/Constants/constants.html Numbers, constants and computation]
 +
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
  
−
 
+
  
−
<h5>사전 형태의 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
84번째 줄: 91번째 줄:
 
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
  
−
 
+
  
−
 
+
  
−
<h5>리뷰논문, 에세이, 강의노트</h5>
+
==리뷰논문, 에세이, 강의노트==
  
−
 
+
  
−
 
+
  
−
 
+
  
−
<h5>관련논문</h5>
 
  
−
* http://www.jstor.org/action/doBasicSearch?Query=
 
−
* http://www.ams.org/mathscinet
 
−
* http://dx.doi.org/
 
  
−
 
+
  
−
 
+
  
−
<h5>관련도서</h5>
 
  
−
*  도서내검색<br>
+
[[분류:조합수학]]
−
** http://books.google.com/books?q=
 
−
** http://book.daum.net/search/contentSearch.do?query=
 

2020년 12월 28일 (월) 03: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"