"포아송의 덧셈 공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
10번째 줄: 10번째 줄:
 
 
 
 
  
−
(정리) 포아송 덧셈 공식
+
(정리) 포아송 덧셈 공식<br>
  
−
아벨군 <math>G</math>와 부분군 <math>H</math>, <math>g\in G</math>에 대하여 다음이 성립한다.
+
아벨군 <math>G</math>와 부분군 <math>H</math>, <math>g\in G</math>에 대하여 다음이 성립한다.<br>
  
 
<math>\frac{1}{H}\sum_{h\in H}f(gh)=\frac{1}{G}\sum_{\chi \in H^{\#}}\hat{f}(\chi)\chi(g)</math>
 
<math>\frac{1}{H}\sum_{h\in H}f(gh)=\frac{1}{G}\sum_{\chi \in H^{\#}}\hat{f}(\chi)\chi(g)</math>
 +
 +
 
 +
 +
(따름정리)
  
 
특별히 <math>g=1</math>인 경우 다음을 얻는다.
 
특별히 <math>g=1</math>인 경우 다음을 얻는다.
29번째 줄: 33번째 줄:
  
 
* <math>G=\mathbb R</math>, <math>H=\mathbb Z</math><br>
 
* <math>G=\mathbb R</math>, <math>H=\mathbb Z</math><br>
 +
*   <br><math>\^G=\{\xi\in \mathbb R :x  \mapsto e^{2\pi n \xi x}\}</math><br><math>H^{\#}=\{\chi\in \^G | \chi (h)=1\}</math><br><math>H^{\#}=\hat {G/H}</math><br>
 +
 
*  푸리에 변환<br><math>\hat{f}(\xi) := \int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i x \xi}\,dx</math><br>
 
*  푸리에 변환<br><math>\hat{f}(\xi) := \int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i x \xi}\,dx</math><br>
  
64번째 줄: 70번째 줄:
  
 
* <math>G=\mathbb F_2^n</math>, <math>H = C</math> 선형코드의 경우<br>
 
* <math>G=\mathbb F_2^n</math>, <math>H = C</math> 선형코드의 경우<br>
−
*   <br>
+
**  선형코드에 대해서는 [[코딩이론]] 항목을 참조<br>
 +
*   <br>  <br>
  
 
 
 
 

2009년 9월 10일 (목) 09:46 판

간단한 소개
  • 아벨군 \(G\)와 그 부분군 \(H\)에 대하여 다음을 정의
    • \(\^G=\{\chi : G \to \mathbb C^{*}|\chi(ab)=\chi(a)\chi(b)\}\)
    • \(H^{\#}=\{\chi\in \^G | \chi (h)=1\}\)
  • 푸리에 변환
    \(\hat f(\chi) := \sum_{g \in G} f(g)\bar \chi(g) \)

 

 

(정리) 포아송 덧셈 공식

아벨군 \(G\)와 부분군 \(H\), \(g\in G\)에 대하여 다음이 성립한다.

\(\frac{1}{H}\sum_{h\in H}f(gh)=\frac{1}{G}\sum_{\chi \in H^{\#}}\hat{f}(\chi)\chi(g)\)

 

(따름정리)

특별히 \(g=1\)인 경우 다음을 얻는다.

\(\frac{1}{H}\sum_{h\in H}f(h)=\frac{1}{G}\sum_{\chi \in H^{\#}}\hat{f}(\chi)\)

 

 

 

\(G=\mathbb R\)인 경우
  • \(G=\mathbb R\), \(H=\mathbb Z\)
  •  
    \(\^G=\{\xi\in \mathbb R :x \mapsto e^{2\pi n \xi x}\}\)
    \(H^{\#}=\{\chi\in \^G | \chi (h)=1\}\)
    \(H^{\#}=\hat {G/H}\)
  • 푸리에 변환
    \(\hat{f}(\xi) := \int_{-\infty}^{\infty} f(x)\ e^{- 2\pi i x \xi}\,dx\)

 

(정리) 포아송

\(\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}\hat{f}(n)\)

 

(증명)

\(F(x):=\sum_{n\in \mathbb Z}f(x+n)\)

\(F(x+1)=F(x)\) 이므로 푸리에 전개를 할 수 있다.

\(F(x)=\sum_{n\in \mathbb{Z}}a_ne^{2\pi i n x}\)

\(a_n=\int_{0}^{1}F(t)e^{2\pi i n t}\,dt\)

\(F(0):=\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}a_n\)

한편 \(a_y=\int_0^1\sum_{n\in \mathbb Z}f(t+n)e^{-2\pi i t y}\,dt=\sum_{n\in \mathbb Z}\int_0^1f(t+n)e^{-2\pi i (t+n)y}\,dt=\sum_{n\in \mathbb Z}\int_n^{n+1}f(t)e^{-2\pi i (t)y}\,dt=\hat{f}(y)\)

따라서 \(\sum_{n\in \mathbb Z}f(n)=\sum_{n\in \mathbb Z}a_n=\sum_{n\in \mathbb Z}\hat{f}(n)\) (증명끝)

 

 

 

선형 코드의 경우
  • \(G=\mathbb F_2^n\), \(H = C\) 선형코드의 경우
    • 선형코드에 대해서는 코딩이론 항목을 참조
  •  
     

 

 

상위 주제

 

 

 

하위페이지

 

 

메모
  • 코드
    • 이차형식에서 격자에 대응
  • 코드의 weight enumerator
  • 격자의 쎄타함수에 대응
     
  • 코드 : 격자 = 코드의 weight enumerator : 격자의 세타함수
  • MacWilliams Identity
  • 섀넌 샘플링 정리

 

 

 

역사


관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

 

관련도서 및 추천도서

 

 

수학용어번역

 

참고할만한 자료

 

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상
원본 주소 "https://wiki.mathnt.net/index.php?title=포아송의_덧셈_공식&oldid=21331"