최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.54
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[23:48:51] 컴퓨터갤 Q&A 갤러리
[23:48:45] 도공쨩
[23:48:33] 트레센 학원(우마무스메)...
[22:39:24] 레이나
[22:32:28] 린나
[22:31:02] SCP-1178
[22:29:08] SCP-248
[01:58:46] 찌모루시장
[01:58:35] 부화
[01:46:45] 제2대항해시대
돌아가기
삭제
이동
파일 올리기
임의의 집합에 군 구조를 줄 수 있다
(편집)
(불러오기)
(편집 필터 규칙)
[[분류:가져온 문서/오메가]] == 진술 == [math(X)]가 공집합이 아닌 집합일 때 [math(X)] 위의 이항연산 [math(∗⋅X×X→X)]가 존재해서 [math((X,∗))]는 [[군]]이 된다. == 증명 == [math(X)]가 유한집합일 때는 자명하다. 이제 [math(X)]가 무한집합이라 하자. 우리들은 [math(X)]와 농도가 같은 군 [math(G)]를 찾으면 된다. (만약 그러한 군이 존재함이 보여진다면, [math(X)]에서 [math(G)]로 가는 전단사를 써서 [math(X)] 위의 적절한 연산을 정의해서 [math(X)]를 군으로 만들 수 있다.) 칸토르의 정리에 의해 [math(|A|\le 2^{|A|})]임을 알 수 있다. 이제 [math(A)]를 [math((\Bbb{Z}/2\Bbb{Z})^A)]의 부분집합으로 간주하자. 이 때 [math(A)]에 의해 생성되는 [math((\Bbb{Z}/2\Bbb{Z})^A)]의 부분군 [math(G)]를 찾을 수 있다. 이 때 [math(|G|=|A|)]이다. 위 증명은 선택공리를 요구한다. 정확히는, [math(|G|=|A|)]임을 증명하는 데 선택공리가 필요하다. == 선택공리와의 관계 == 임의의 집합을 군으로 만들 수 있다는 명제는 선택공리와 동치임이 알려져 있다. === 증명 === [math(X)]가 집합이라 하자. 이 때 [math(X)]의 하르톡스 수 [math(ℵ(X))]를 고려하자. 일반성을 잃지 않고 [math(X∩ℵ(X)=∅)]이라 하자. 임의의 집합을 군으로 만들 수 있음을 가정했으므로, [math(X∪ℵ(X))] 위의 이항연산 [math(∗)]가 존재해 [math(X∪ℵ(X))]이 군이 된다. 이제 임의의 [math(x∈X)]에 대해 어떤 [math(α∈ℵ(X))]가 존재해 [math(x∗a∈ℵ(X))]임을 보이자. 만약 어떤 [math(x∈X)]가 존재해 주어진 명제를 만족하지 않는다고 가정하면 [math(α↦x∗α)]는 [math(ℵ(X))]에서 [math(X)]로 가는 단사함수가 된다. (주어진 함수가 단사라는 것은 [math(∗)]가 군 연산이여서 역원을 갖는다는 데서 기인한다.) 그런데 이는 [math(ℵ(X))]가 하르톡스 수란 데서 모순이다. 이제 [math(β_x)]를 [math(xα∈ℵ(X))]인 [math(α)] 중 최소인 [math(α)]라 하자. 이 때[math( ϕ:X→(ℵ(X))^2, ϕ(x)=(β_x,x∗β_x))]라는 함수를 생각하자. 이 때 [math(β_x=β_y, β_x∗x=β_y∗y)]이면 [math(x=y)]이므로 [math(ϕ)]는 단사임을 알 수 있다. 그런데 [math((ℵ(X))^2)]는 정렬 가능하다. 따라서 [math(X)]는 정렬 가능한 집합의 부분집합과 농도가 같고, 이를 이용해서 [math(X)]의 정렬순서를 정의할 수 있다. 따라서 임의의 집합의 정렬 가능성이 보여졌다. == 참고문헌 == * [[http://mathoverflow.net/users/2689/ashutosh|Ashutosh]], [[https://mathoverflow.net/questions/12973/does-every-non-empty-set-admit-a-group-structure-in-zf/12988#12988|Does every non-empty set admit a group structure (in ZF)?, version: 2010-02-01]] == 보기 == * [[임의의 벡터 공간은 기저를 갖는다]] [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160316000158/http://mathwiki.net/%EC%9E%84%EC%9D%98%EC%9D%98_%EC%A7%91%ED%95%A9%EC%97%90_%EA%B5%B0_%EA%B5%AC%EC%A1%B0%EB%A5%BC_%EC%A4%84_%EC%88%98_%EC%9E%88%EB%8B%A4|링크]])]
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
[[분류:가져온 문서/오메가]] == 진술 == [math(X)]가 공집합이 아닌 집합일 때 [math(X)] 위의 이항연산 [math(∗⋅X×X→X)]가 존재해서 [math((X,∗))]는 [[군]]이 된다. == 증명 == [math(X)]가 유한집합일 때는 자명하다. 이제 [math(X)]가 무한집합이라 하자. 우리들은 [math(X)]와 농도가 같은 군 [math(G)]를 찾으면 된다. (만약 그러한 군이 존재함이 보여진다면, [math(X)]에서 [math(G)]로 가는 전단사를 써서 [math(X)] 위의 적절한 연산을 정의해서 [math(X)]를 군으로 만들 수 있다.) 칸토르의 정리에 의해 [math(|A|\le 2^{|A|})]임을 알 수 있다. 이제 [math(A)]를 [math((\Bbb{Z}/2\Bbb{Z})^A)]의 부분집합으로 간주하자. 이 때 [math(A)]에 의해 생성되는 [math((\Bbb{Z}/2\Bbb{Z})^A)]의 부분군 [math(G)]를 찾을 수 있다. 이 때 [math(|G|=|A|)]이다. 위 증명은 선택공리를 요구한다. 정확히는, [math(|G|=|A|)]임을 증명하는 데 선택공리가 필요하다. == 선택공리와의 관계 == 임의의 집합을 군으로 만들 수 있다는 명제는 선택공리와 동치임이 알려져 있다. === 증명 === [math(X)]가 집합이라 하자. 이 때 [math(X)]의 하르톡스 수 [math(ℵ(X))]를 고려하자. 일반성을 잃지 않고 [math(X∩ℵ(X)=∅)]이라 하자. 임의의 집합을 군으로 만들 수 있음을 가정했으므로, [math(X∪ℵ(X))] 위의 이항연산 [math(∗)]가 존재해 [math(X∪ℵ(X))]이 군이 된다. 이제 임의의 [math(x∈X)]에 대해 어떤 [math(α∈ℵ(X))]가 존재해 [math(x∗a∈ℵ(X))]임을 보이자. 만약 어떤 [math(x∈X)]가 존재해 주어진 명제를 만족하지 않는다고 가정하면 [math(α↦x∗α)]는 [math(ℵ(X))]에서 [math(X)]로 가는 단사함수가 된다. (주어진 함수가 단사라는 것은 [math(∗)]가 군 연산이여서 역원을 갖는다는 데서 기인한다.) 그런데 이는 [math(ℵ(X))]가 하르톡스 수란 데서 모순이다. 이제 [math(β_x)]를 [math(xα∈ℵ(X))]인 [math(α)] 중 최소인 [math(α)]라 하자. 이 때[math( ϕ:X→(ℵ(X))^2, ϕ(x)=(β_x,x∗β_x))]라는 함수를 생각하자. 이 때 [math(β_x=β_y, β_x∗x=β_y∗y)]이면 [math(x=y)]이므로 [math(ϕ)]는 단사임을 알 수 있다. 그런데 [math((ℵ(X))^2)]는 정렬 가능하다. 따라서 [math(X)]는 정렬 가능한 집합의 부분집합과 농도가 같고, 이를 이용해서 [math(X)]의 정렬순서를 정의할 수 있다. 따라서 임의의 집합의 정렬 가능성이 보여졌다. == 참고문헌 == * [[http://mathoverflow.net/users/2689/ashutosh|Ashutosh]], [[https://mathoverflow.net/questions/12973/does-every-non-empty-set-admit-a-group-structure-in-zf/12988#12988|Does every non-empty set admit a group structure (in ZF)?, version: 2010-02-01]] == 보기 == * [[임의의 벡터 공간은 기저를 갖는다]] [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160316000158/http://mathwiki.net/%EC%9E%84%EC%9D%98%EC%9D%98_%EC%A7%91%ED%95%A9%EC%97%90_%EA%B5%B0_%EA%B5%AC%EC%A1%B0%EB%A5%BC_%EC%A4%84_%EC%88%98_%EC%9E%88%EB%8B%A4|링크]])]
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
