하이젠베르크 군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 새 문서: 수학에서, '''하이젠베르크 군'''({{llang|en|Heisenberg group}})은 리 군의 하나이다. 양자역학에서 쓰인다. == 정의 == 심플렉틱 벡터공... |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
18번째 줄: | 18번째 줄: | ||
보통 <math>V</math>가 명시되어 있지 않은 경우, <math>n=1</math>인 경우에 해당한다. 즉, <math>H_3(\mathbb R)\subset\operatorname{GL}(3;\mathbb R)</math>를 의미한다. |
보통 <math>V</math>가 명시되어 있지 않은 경우, <math>n=1</math>인 경우에 해당한다. 즉, <math>H_3(\mathbb R)\subset\operatorname{GL}(3;\mathbb R)</math>를 의미한다. |
||
== 바깥 고리 == |
|||
* {{웹 인용|url=http://wiki.mathnt.net/index.php?title=%ED%95%98%EC%9D%B4%EC%A0%A0%EB%B2%A0%EB%A5%B4%ED%81%AC_%EA%B5%B0%EA%B3%BC_%EB%8C%80%EC%88%98|제목= 하이젠베르크 군과 대수|작품명=수학노트}} |
|||
[[분류:군론]] |
[[분류:군론]] |
2014년 1월 6일 (월) 06:44 판
수학에서, 하이젠베르크 군(영어: Heisenberg group)은 리 군의 하나이다. 양자역학에서 쓰인다.
정의
심플렉틱 벡터공간 가 주어졌다고 하자. 그렇다면 집합 에 다음과 같은 군 연산을 주자.
이는 군의 공리들을 만족시킴을 보일 수 있다. 이 군을 V에 대한 하이젠베르크 군 라고 한다. 이는 (아벨 군으로서의) 의 중심확대이다. 즉, 다음과 같은 아벨 군의 짧은 완전열이 존재한다.
만약 가 유한차원이라면, 하이젠베르크 군 를 행렬군으로 나타낼 수 있다. 이고, 또한
라고 하자. 그렇다면 를 다음과 같은 꼴의 행렬들의 군으로 생각할 수 있다.
보통 가 명시되어 있지 않은 경우, 인 경우에 해당한다. 즉, 를 의미한다.