Loading AI tools
위키백과, 무료 백과사전
주어진 위상 공간과 그 위에 작용하는 군이 주어지면, 하는 한 점에 대한 군 작용의 상은 작용의 궤도를 형성한다. 기본 영역은 이러한 각 궤도에서 정확히 한 지점을 포함하는 공간의 부분 집합이다. 그것은 궤도를 대표하는 추상적 집합에 대한 기하학적 구현으로 사용된다.
기본 영역을 선택하는 방법에는 여러 가지가 있다. 일반적으로 기본 영역은 경계에 일부 조건(예: 매끄러운 경계 또는 다면체의 모서리)이 있는 연결 부분 집합이어야 한다. 군 작용 아래에서 선택한 기본 영역의 상은 공간을 바둑판식으로 배열한다. 기본 영역의 일반적인 구성 중 하나는 보로노이 도식을 사용한다.
위상동형사상에 의한 위상 공간 에서 군 의 작용이 주어지면 이 작용의 기본 영역은 궤도들의 대표원 집합 이다. 이는 일반적으로 몇 가지 정확하게 정의된 방식 중 하나로 위상적으로 충분히 좋은 집합이어야 한다. 한 가지 일반적인 조건은 가 에 대한 특정 (준)불변 측도에 대해 영 측도 집합과 의 열린 집합의 대칭차라는 점에서 가 거의 열린 집합이라는 것이다. 기본 영역은 항상 자유 정규 집합 , 에 의해 서로소인 복사본으로 이동하는 열린 집합을 포함하며 궤도를 나타내는 데 거의 만큼 우수하다. 종종 는 약간의 반복이 있는 코셋 대표의 완비 집합이 되어야 하지만 반복되는 부분은 영측도이다. 이것은 에르고딕 이론의 전형적인 상황이다. 기본 영역이 에 대한 적분을 계산하는 데 사용되는 경우 영측도 집합은 중요하지 않다.
예를 들어, 가 차원의 유클리드 공간 이고 가 평행 이동에 의해 작용하는 격자 일 때, 몫 는 차원 원환면이다. 여기에서 기본 영역 는 으로 볼 수 있으며, 이것은 열린 집합 과 영 측도 집합 또는 닫힌 단위 입방체 과 다르다. 궤도가 에서 둘 이상의 대표원들을 갖는 점으로 구성된다.
3차원 유클리드 공간 의 예.
다른 대칭과 결합된 병진 대칭의 경우 기본 영역은 기본 셀의 일부이다. 예를 들어, 벽지군의 경우 기본 영역은 기본 격자보다 1, 2, 3, 4, 6, 8 또는 12 작은 요소이다.
오른쪽 도식은 상반평면 에서 모듈러 군 의 작용에 대한 기본 영역 구성의 일부를 보여준다.
이 유명한 도식은 모듈러 함수에 대한 모든 고전 연구에 나타난다. (아마도 가우스에게 잘 알려져 있었을 것이다. 그는 이차 형식의 축소 이론을 연구하며 기본 영역을 다루었다.) 여기서 각 삼각형 영역(파란색 선으로 둘러싸인)은 에 대한 작용의 자유 정규 집합이다. 경계(파란색 선)는 자유 정규 집합의 일부가 아니다. 의 기본 영역을 구성하려면 이러한 점을 이중 계산하지 않도록 주의하면서 경계에 점을 할당하는 방법도 고려해야 한다. 따라서 이 예에서 자유 정규 집합은 다음과 같다:
기본 영역은 왼쪽에 경계를 추가하고 가운데 지점을 포함하여 하단에 호의 절반을 추가하여 구성된다.
기본 영역의 일부로 포함할 경계 지점의 선택은 임의적이며 저자마다 다르다.
기본 영역을 정의하는 데 있어 가장 어려운 부분은 집합 자체를 정의 하는 것이 아니라 영역 경계에서 극점과 영점이 있는 함수를 적분할 때 기본 영역에 대한 적분을 처리하는 방법에 있다.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.