"하이젠베르크 군과 대수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 17개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
<h5>이 항목의 수학노트 원문주소</h5>
+
==개요==
  
−
 
+
* [[양자 조화진동자]]:<math>[X,P] = X P - P X = i \hbar</math>
  
−
 
+
  
−
<h5>개요</h5>
+
  
−
* [[양자 조화진동자]]<br><math>[X,P] = X P - P X = i \hbar</math><br>
+
==유한차원 하이젠베르크 대수==
  
−
 
+
*  가환 리대수의 1차원 중심 확대(central extension)
  
−
 
+
* <math>[p_i, q_j] = \delta_{ij}z</math>
 +
* <math>[p_i, z] = 0</math>
 +
* <math>[q_j, z] = 0</math>
  
−
<h5>유한차원 하이젠베르크 대수</h5>
+
 +
==3차원 하이젠베르크 군과 대수의 예==
 +
===하이젠베르크 대수===
 +
* 위삼각행렬(upper triangular matrix) <math>\left(
 +
\begin{array}{ccc}
 +
0 & p & c \\
 +
0 & 0 & q \\
 +
0 & 0 & 0
 +
\end{array}
 +
\right)</math>를 3차원 하이젠베르크 대수 <math>\mathfrak{h}</math>의 원소<math>(p,q,c)=pP+qQ+cC</math>로 이해할 수 있다
 +
* 다음과 같은 교환 관계식을 만족한다:<math>[\left(
 +
\begin{array}{ccc}
 +
0 & p & c \\
 +
0 & 0 & q \\
 +
0 & 0 & 0
 +
\end{array}
 +
\right), \left(
 +
\begin{array}{ccc}
 +
0 & p' & c' \\
 +
0 & 0 & q' \\
 +
0 & 0 & 0
 +
\end{array}
 +
\right)]=\left(
 +
\begin{array}{ccc}
 +
0 & 0 & p q'-q p' \\
 +
0 & 0 & 0 \\
 +
0 & 0 & 0
 +
\end{array}
 +
\right)</math>
  
−
*  가환 리대수의 1차원 중심 확대(central extension)<br>
+
===하이젠베르크 군===
 +
* 지수함수를 이용하여, 하이젠베르크 군 <math>\mathbb{H}</math>을 정의할 수 있다
 +
:<math>\exp:\mathfrak{h} \to \mathbb{H}</math>
 +
* <math>\mathbb{H}</math>의 원소는 다음과 같은 형태로 주어진다
 +
:<math>
 +
\exp(pP+qQ+cC)=\exp \begin{pmatrix} 0 & p & c \\ 0 & 0 & q \\ 0 & 0 & 0 \\ \end{pmatrix} =\left(
 +
\begin{array}{ccc}
 +
  1 & p & c+\frac{p q}{2} \\
 +
0 & 1 & q \\
 +
0 & 0 & 1
 +
\end{array}
 +
\right)
 +
</math>
 +
* <math>\mathbb{H}</math>의 원소를 <math>(p,q,c)\in \mathfrak{h}</math>로 나타내면, <math>\mathbb{H}</math>에서의 곱셈은 다음과 같이 주어진다
 +
:<math>
 +
(p,q,c)(p',q',c')=(p+p',q+q',c+c'+\frac{1}{2}(pq'-qp'))
 +
</math>
 +
* 이는 [[베이커-캠벨-하우스도르프 공식]]을 이용하여 얻을 수 있다
 +
:<math>
 +
\exp(A)\exp(B)=\exp(A+B+\frac{1}{2}[A,B])
 +
</math>
  
−
* <math>[p_i, q_j] = \delta_{ij}z</math><br>
+
===자기동형군===
−
* <math>[p_i, z] = 0</math><br>
+
* 겹선형형식 <math>(pq'-qp')</math>를 보존하는 <math>A:\mathbb{R^2}\to \mathbb{R^2}</math>는 자기동형군의 원소가 된다
−
* <math>[q_j, z] = 0</math><br>
+
* 즉 크기가 2인 [[사교 행렬]]은 하이젠베르크 군의 자기동형군의 원소이다
  
−
 
 
  
−
 
+
==역사==
  
−
 
+
−
 
 
−
 
 
−
 
 
−
<h5>역사</h5>
 
−
 
 
−
 
 
  
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
−
* [[수학사연표 (역사)|수학사연표]]
+
* [[수학사 연표]]
−
 
 
−
 
 
−
 
 
−
 
 
  
−
<h5>메모</h5>
+
  
−
 
+
  
 +
==메모==
 +
* http://djalil.chafai.net/blog/2011/10/08/aspects-of-the-heisenberg-group/
 +
* spin vs metaplectic
 
* Math Overflow http://mathoverflow.net/search?q=
 
* Math Overflow http://mathoverflow.net/search?q=
  
−
 
+
−
 
 
−
 
 
  
−
<h5>관련된 항목들</h5>
+
  
−
 
+
==관련된 항목들==
 +
* [[클리포드 대수와 스피너]]
 +
* [[양자 바일 대수와 양자평면]]
  
−
 
 
  
−
<h5>수학용어번역</h5>
+
==수학용어번역==
−
 
+
* {{학술용어집|url=central}}
−
*  단어사전<br>
 
−
** http://translate.google.com/#en|ko|
 
−
** http://ko.wiktionary.org/wiki/
 
−
* 발음사전 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=eng_term&fstr=central
 
 
** central extension 중심 확대
 
** central extension 중심 확대
−
* [http://www.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
+
* {{학술용어집|url=bilinear}}
−
* [http://cgi.postech.ac.kr/cgi-bin/cgiwrap/sand/terms/terms.cgi 한국물리학회 물리학 용어집 검색기]
+
** bilinear form 겹선형형식
−
* [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 대한수학회 수학용어한글화 게시판]
 
  
−
 
+
==매스매티카 파일 및 계산 리소스==
  
−
 
+
* https://docs.google.com/file/d/0B8XXo8Tve1cxajRGcXZ6clJTQ2M/edit
  
−
<h5>매스매티카 파일 및 계산 리소스</h5>
 
  
−
*  
+
==사전 형태의 자료==
−
* 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/
97번째 줄: 117번째 줄:
 
* [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=
+
* Peter Woit의 강의 노트
−
** http://book.daum.net/search/contentSearch.do?query=
+
** [http://www.math.columbia.edu/%7Ewoit/notes20.pdf The Heisenberg Algebra]
 +
** [http://www.math.columbia.edu/%7Ewoit/notes21.pdf The Metaplectic Representation]
 +
[[분류:리군과 리대수]]

2020년 11월 13일 (금) 21:49 기준 최신판

개요



유한차원 하이젠베르크 대수

  • 가환 리대수의 1차원 중심 확대(central extension)
  • \([p_i, q_j] = \delta_{ij}z\)
  • \([p_i, z] = 0\)
  • \([q_j, z] = 0\)


3차원 하이젠베르크 군과 대수의 예

하이젠베르크 대수

  • 위삼각행렬(upper triangular matrix) \(\left( \begin{array}{ccc} 0 & p & c \\ 0 & 0 & q \\ 0 & 0 & 0 \end{array} \right)\)를 3차원 하이젠베르크 대수 \(\mathfrak{h}\)의 원소\((p,q,c)=pP+qQ+cC\)로 이해할 수 있다
  • 다음과 같은 교환 관계식을 만족한다\[[\left( \begin{array}{ccc} 0 & p & c \\ 0 & 0 & q \\ 0 & 0 & 0 \end{array} \right), \left( \begin{array}{ccc} 0 & p' & c' \\ 0 & 0 & q' \\ 0 & 0 & 0 \end{array} \right)]=\left( \begin{array}{ccc} 0 & 0 & p q'-q p' \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array} \right)\]

하이젠베르크 군

  • 지수함수를 이용하여, 하이젠베르크 군 \(\mathbb{H}\)을 정의할 수 있다

\[\exp:\mathfrak{h} \to \mathbb{H}\]

  • \(\mathbb{H}\)의 원소는 다음과 같은 형태로 주어진다

\[ \exp(pP+qQ+cC)=\exp \begin{pmatrix} 0 & p & c \\ 0 & 0 & q \\ 0 & 0 & 0 \\ \end{pmatrix} =\left( \begin{array}{ccc} 1 & p & c+\frac{p q}{2} \\ 0 & 1 & q \\ 0 & 0 & 1 \end{array} \right) \]

  • \(\mathbb{H}\)의 원소를 \((p,q,c)\in \mathfrak{h}\)로 나타내면, \(\mathbb{H}\)에서의 곱셈은 다음과 같이 주어진다

\[ (p,q,c)(p',q',c')=(p+p',q+q',c+c'+\frac{1}{2}(pq'-qp')) \]

\[ \exp(A)\exp(B)=\exp(A+B+\frac{1}{2}[A,B]) \]

자기동형군

  • 겹선형형식 \((pq'-qp')\)를 보존하는 \(A:\mathbb{R^2}\to \mathbb{R^2}\)는 자기동형군의 원소가 된다
  • 즉 크기가 2인 사교 행렬은 하이젠베르크 군의 자기동형군의 원소이다


역사



메모



관련된 항목들


수학용어번역

  • central - 대한수학회 수학용어집
    • central extension 중심 확대
  • bilinear - 대한수학회 수학용어집
    • bilinear form 겹선형형식


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


사전 형태의 자료



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

원본 주소 "https://wiki.mathnt.net/index.php?title=하이젠베르크_군과_대수&oldid=43996"