문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 4차원 (문단 편집) === 4차원에서 정의되는 도형 === * [[4차원 정다포체|정다포체]]: [[정오포체]], [[정팔포체]], [[정십육포체]], [[정이십사포체]], [[정백이십포체]], [[정육백포체]] * 초기둥 종류 * [[https://en.wikipedia.org/w/index.php?title=Prism_(geometry)&redirect=no#Uniform_prismatic_polytope|4차원 초각기둥(Hyperprism)]]: 두 개의 (4차원의 방향으로)평행한 3차원 다면체 사이에 선을 그어 만들어지는 도형으로, 두 개의 다면체와, 그 다면체를 이루는 면의 개수만큼의 각기둥으로 구성돼 있다. * [[https://en.wikipedia.org/wiki/Spherinder|구 초기둥]](Spherinder[* sphere+cylinder] 또는 Spherical cylinder): 밑포가[* 3차원 도형의 '밑면'을 임의 차원으로 확장했다고 생각하면 된다. 밑입체라고도 불린다.] 구인 초기둥이다. 평행한 두 개의 구와 그 사이의 4차원 공간을 점하는 4차원 도형으로 이루어져있다. * [[http://hi.gher.space/wiki/Coninder|원뿔 초기둥]](Coninder[* cone + cylinder] 또는 Conical cylinder): 밑포가 원뿔인 초기둥이다. * [[http://hi.gher.space/wiki/Cubinder|원기둥 초기둥]](Cubinder 또는 Cubical Cylinder): 밑포가 원기둥인 초기둥이다. * 초뿔 종류 * 4차원 초각뿔: 하나의 다면체와 4차원 공간상의 꼭짓점을 이은 도형이다. * 구 초뿔(Sperone): 밑포가 구인 초뿔. (sphere + cone) * [[http://hi.gher.space/wiki/Dicone|다이콘]](Dicone): 밑포가 원뿔인 초뿔이다. 두 개의 원뿔(cone)이 붙은 것과 같다고 하여 다이콘이라고 불린다. * [[http://hi.gher.space/wiki/Cylindrone|원기둥 초뿔]](Cylindrone[* cylinder + cone] 또는 Cylinderical Cone): 밑포가 원기둥인 초뿔이다. * [[http://hi.gher.space/wiki/Cubic_pyramid|정육면체 초뿔]](Cubic Pyramid): 밑포가 정육면체인 초뿔이다. 정팔포체의 각 포에 붙이면 정이십사포체를 만들 수 있다. * 토러스 종류 * [[http://hi.gher.space/wiki/Torinder|토러스 초기둥(Torinder)]]: 밑포가 토러스인 초기둥이다. * [[http://hi.gher.space/wiki/Spheritorus|구 토러스(Spheritorus)]]: 구를 특정 축으로 회전시켜 얻어진 도형이다. 토러스 구와 위상수학적으로 쌍대 관계이다. * [[http://hi.gher.space/wiki/Torisphere|토러스 구(Torisphere)]]: 구 초기둥을의 양쪽 끝을 휘어 자신의 안쪽으로 연결한 도형이다. 토러스와 위상수학적으로 쌍대 관계이다. * [[http://hi.gher.space/wiki/Ditorus|다이토러스(Ditorus)]]: 토러스 초기둥의 양쪽 끝을 휘어 자신의 안쪽으로 연결한 도형이다. * [[http://hi.gher.space/wiki/Tiger|타이거(Tiger)]][* 처음에는 이를 토라(Tora)로 지었으나 일본어 虎()와 [[거짓짝|로마자 표기가 같아서]] 착안한 이름.]: 토러스의 각 단면이 되는 원을 다시 다른 방향으로 토러스의 형태로 회전시켜 얻어지는 도형이다. 일반인들이 이해하기에 가장 난해한 도형이다. * 크로스캡: 토러스 한쪽 부분의 [[뫼비우스의 띠|안팎을 뒤집은 도형]]. 후술할 클라인의 병과는 다르다. * [[https://en.wikipedia.org/wiki/Duoprism|듀오프리즘(Duoprism)]]: 두 가지, 또는 한 가지 각기둥을(4차원의 방향으로) 서로 둘러싸도록 접혀 만들어지는 4차원 도형이다. 두 각기둥의 밑면의 개수와 꼭짓점 개수로(p-q 듀오프리즘) 표기한다.[* 예: 삼각기둥 5개와 오각기둥 3개를 서로 둘러싸게 접어 만든 듀오프리즘을 3-5 듀오프리즘, 또는 5-3 듀오프리즘이라고 불린다. p, q의 순서를 바꿔도 된다. 참고로 4-4 듀오프리즘은 특별히 [[정팔포체]]라고 부른다.] 총 초부피는 p각형의 면적*q각형의 면적이 된다. * [[http://eusebeia.dyndns.org/4d/priscyl|프리즈믹 실린더(Prismic Cylinder)]]: 원기둥 하나와과 각기둥 하나를 4차원 방향으로 서로 둘러싸이도록 접혀서 만들어지는 도형. 듀오프리즘과 듀오실린더 사이의 중간 형태로 볼 수 있다. 4-프리즈믹 실린더는 특별히 원기둥 초기둥으로 불리기도 한다. * [[https://en.wikipedia.org/wiki/Duocylinder|듀오실린더]]: 듀오프리즘의 원기둥 버전이라고 보면 된다. 두 개의 원기둥을 서로 둘러싸도록 토러스형으로 접혀 만들어지는 4차원 도형이다. 총 두 개의 토러스형 초입체로 구성되어 있으며, 면은 한 개, 모서리와 꼭짓점은 없는 도형이다. * [[초구#s-2|초구]]: n차원 곡면. (n+1)차원 공간의 특정한 지점에서 같은 거리에 존재하는 점들의 집합. 어느 방향으로 잘라도 항상 구이다. * [[https://en.wikipedia.org/wiki/Alexander_horned_sphere|알렉산더의 뿔 달린 구]]: 위 초구와 위상동형인 도형. 구 일부를 뿔처럼 늘린 뒤 꼬아놓은 것이다. * [[클라인의 병]]: 3차원 곡면. 뫼비우스의 띠의 4차원 버전. 3차원에서 안과 밖이라고 부르는 부분이 따로 존재하지 않는다. * [[사영평면]]: [[원(도형)|원]]의 마주보는 점을 빈틈없이 접어 만드는 도형. * 쌍각뿔 종류: 초기둥의 쌍대다포체이다. * 엇각기둥 종류: 윗입체와 아랫입체가 쌍대다포체 관계이며 옆입체는 2가지 종류가 있는데 윗입체 혹은 아랫입체와 면을 맞닿는 입체는 n각뿔 모양을 하며 윗입체, 아랫입체와 동시에 모서리만 접하는 입체는 사면체 모양이다. * 엇쌍각뿔 종류: 엇각기둥의 쌍대다포체이다. * 고른 다포체: [[아르키메데스 다면체]]의 4차원 버전. * 한편 4차원 이상에서도 이러한 방식으로 고른 다포체(uniform polychoron, uniform 4-polytope)을 만들 수 있다. 4차원에서도 정십각형까지 사용 가능하며 5차원 이상에서도 정팔각형까지 사용 가능하다. 다만 다듬은 육팔면체와 다듬은 십이이십면체의 형태는 4차원 이상에서는 사라진다.[* 4차원에도 다듬은 정이십사포체(snub-24 cell)가 있다지만 이름만 같으며 배열 방식이 전혀 다르다. 오히려 이쪽은 grand antiprism처럼 600포체의 특정 꼭짓점을 이어서 만든 도형이다. 자른다는게 아니라 특정 꼭짓점을 이어서 만든 도형이라 표현한 이유는 snub-24 cell은 정육백포체의 정이십면체 부분을 자르면 만들어지지만 grand antiprism은 전혀 그렇지 않다. 특히 grand antiprism은 무려 '''1965'''년에 최초로 발견되었다. 4차원 이상의 기하학 이론이 1850년대에 본격적으로 연구된 것을 보면 엄청 늦은 편이다. snub 24-cell은 정이십면체 24개, 정사면체 120개가 들어가며 grand antiprism은 엇정오각기둥 20개, 정사면체 300개가 들어간다. 정600포체의 꼭짓점을 적당히 이으면 정24포체를 만들 수 있는데 이 원리를 응용한 도형이다. 정십이면체의 20개 꼭짓점 중 이웃하지 않는 8개의 꼭짓점을 이으면 정육면체가 되는 것과 원리는 비슷하다.] * 4차원 버전의 [[카탈랑 다면체|카탈랑 다포체]]도 있다. 고른 다포체의 쌍대다포체이다. * 한편 이를 응용해서 쌍곡포물입체, 타구포물입체, 타구입체 등도 만들 수 있다. 포물선을 다른 방향으로 포물선 방향으로 회전시키는 등[* x, y축이 포물선이며 z, w축도 포물선을 이룬다.] 다양한 도형들을 만들 수 있다. * 존슨 다면체를 4차원으로 확장시킨 CRF 다포체는 훨씬 더 많은 종류가 존재할 것으로 예상된다. 특히 [[정육백포체]]를 응용한 도형을 포함하면 조합 수가 더 많아질 것이다. 당장 자른 [[정육백포체]](diminished 600-cell)만 해도 최소 314,248,344가지라고 알려져 있다. 심지어 magic cube 4d라는 퍼즐 프로그램도 있다[[https://superliminal.com/cube/cube.htm|링크]][* 여기선 정오포체, 정이십사포체, 정백이십포체와 정다면체 초기둥, 듀오프리즘 등 다양하다.] 거기에 120포체 모양의 퍼즐 프로그램도 있다[[http://www.gravitation3d.com/magic120cell/|링크]] 거기에 {6,3,3} 하이퍼볼릭 큐브도 있다!![[https://superliminal.com/andrey/mht633/|링크]] {6,3}, {7,3} 타일링 퍼즐도 있다.[[http://roice3.org/magictile/|링크]] 고차원 기하학에 관심있는 일부 학자들도 있으며 아마추어들이 이쪽에 관심을 더 많이 갖는 경우도 많이 보인다. 고차원 기하학이 실용성이 거의 없기 때문에 일반적으로 마이너한 학문이지만 대신 이쪽에 관심있는 유저는 광적으로 좋아하는 경우가 많은 만큼 소수의 유저들에 의해 편집이 이루어지는 경향이 크다. 실제로 페루의 어느 한 교수는 mathematica로 사차원 삼변수함수 그래프를 그리는 방법을 연구했다고 한다.[[https://repositorio.unp.edu.pe/bitstream/handle/UNP/1892/CIE%20-%20ANT%20-%20MIM%20-%202019.pdf|링크]][* 스페인어로 되어 있는 파일이니 스페인어를 할 줄 아는 사람이라면 관심 있게 읽어도 좋다.]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기