츄잉~ chuing~
츄잉 신고센터 | 패치노트 | 다크모드
공지&이벤트 | 건의공간 | 로고신청N | HELIX
로그인유지
회원가입  |  분실찾기  |  회원가입규칙안내
ℵₙ관련해서 궁금한게 더 생김
포인덱스터 | L:0/A:0
449/530
LV26 | Exp.84% | 경험치획득안내[필독]
추천 0-0 | 조회 390 | 작성일 2024-05-17 18:39:17
[서브캐릭구경OFF] [캐릭컬렉션구경OFF] [N작품구경OFF]
*서브/컬렉션 공개설정은 서브구매관리[클릭]에서 캐릭공개설정에서 결정할수 있습니다.
  [숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.

ℵₙ관련해서 궁금한게 더 생김

오답노트에다가 경우마다 각각 계산해보니까

 

ℵₙ=2^ℵ₀ (n은 자연수)에서 n값에 어떤 자연수가 들어가도 모순이 없다는 결론이 나오는데

 

이게 무한까지 가면 어떻게 되는지 궁금해서 찾아보니까 ℵₙ에서 n=ω면 ℵₙ>2^ℵ₀여야 된다는데

 

ω=2^ℵ₀가 모순인 이유가 뭐임?

 

그리고 혹시 ω₋₁=2^ℵ₀도 모순임?

 

 

진지하게 궁금해서 그럼

개추
|
추천
0
반대 0
신고
    
  [숨덕모드 설정] 숨덕모드는 게시판 최상단에 위치해 있으며 언제든 설정할 수 있습니다.
[L:6/A:796]
마카베P
알래프 0의 멱집합은 무조건 알레프 0보다 크니까
2024-05-17 19:09:14
추천0
포인덱스터
ㅇㅇ 그건 나도 알고있음

ℵₙ=2^ℵ₀에서 n자리에 어떤 자연수가 들어가도 모순이 없다는것도 노트에다 끄적이다가 알게 됬고

단지 ℵω>2^ℵ₀인 이유가 궁금한거임
2024-05-17 19:11:57
추천0
[L:6/A:796]
마카베P
지금 질문이 너무 이상한게 A를 100보다 큰 어떤 수 라고 정의를 내렸어

근데 A=10이라고 말하면 그건 모순이잖음

너무나도 당연하게 모순인거임
2024-05-17 19:12:07
추천0
포인덱스터
설마 내가 ℵ₀=2^ℵ₀라는 의도로 질문했다고 생각하는거임?
2024-05-17 19:13:33
추천0
[L:6/A:796]
마카베P
ℵω는 ℵ₁보다 크잖아 그러니까 당연하게 2^ℵ₀보다 커지는거지
2024-05-17 19:18:23
추천0
[L:6/A:796]
마카베P
이렇게 말하면 연속체 가설 가지고 또 말할거같으니까 ℵω>ℵₙ=2^ℵ₀ 로 적어줄게
2024-05-17 19:20:01
추천0
만물유전
ℵω=2^ℵ₀가 모순인 이유가 뭐임?
일단 면책조항으로 우선 나는 뭐 집합론을 깊게 공부한게 아니라는 것을 알아주면 좋겠고
이거를 알고싶으면 공종도라는 것을 알아야 하는데 이게 위키 딸각 검색 하는걸로 알기는 어려울거 같고 그냥 이렇다만 알면됨
ZFC에서 2^ℵ₀의 공종도는 ℵ₀과 같을 수 없는데 ℵω의 공종도는 ℵ₀임 그래서 다름 ω는 극한 순서수라서 ω-1이라는 순서수는 없음
그럼으로 ℵω₋₁=2^ℵ₀라는건 질문 자체가 잘못됨
2024-05-17 19:57:42
추천0
포인덱스터
ㅇㅎ

일단 ㄱㅅ

기숙 끝나면 내년에 집합론 공부해봐야겠다
2024-05-17 19:42:42
추천0
만물유전
ω-1이라는게 없다는걸 조그만 더 말하면
ω라는건 유한서수의 극한으로서 나오는 서수임 그래서 ω-1이라는건 없음 ω를 시작점으로 ω+1, ω+2 이런식으로 뒤따라 오는 서수(따름 서수)는 있을 수 있어도
극한서수에 대해서는 극한서수 -1번째 서수는 없음 이게 참 트릭키하지? 서수는 따름서수와 극한서수 이렇게 나뉘고 극한서수는 그 바로 이전의 순서라는게 없음
바로 이전단계의 순서라는걸 지정하는게 가능하면 그거는 따름서수임
2024-05-17 20:11:15
추천0
의견(코멘트)을 작성하실 수 없습니다. 이유: 30일 이상 지난 게시물, 로그인을 하시면 댓글작성이 가능합니다. 츄잉은 가입시 개인정보를 전혀 받지 않습니다.
  
즐겨찾기추가   [게시판운영원칙] | [숨덕모드 설정] |   게시판경험치 : 글 10 | 댓글 1
번호| | 제목 |글쓴이 |등록일 |추천 |조회
180284 일반  
12사단 훈련병 청원 동의수 5만명 돌파 [9]
인간맨
2024-06-14 8-1 172
180283 일반  
Dc 멸망 가능한 미친 새끼 공개 [2]
나의영웅오딘
2024-06-14 0-0 140
180282 일반  
요기리 좆밥인 이유 [1]
intero
2024-06-14 2-0 186
180281 일반  
킹 브레들리in박태준 유니버스 [3]
솔플
2024-06-14 0-0 149
180280 일반  
허접한 더큰무한 캐릭vs강력한 0계층 캐릭 [5]
최강금서
2024-06-14 0-0 188
180279 일반  
미래일기 얘네 어느정도임? [2]
EVOLTO
2024-06-14 0-0 164
180278 일반  
이거 행파 인정인가? [3]
Dfghjk123
2024-06-14 0-0 255
180277 일반  
켄간아슈라 속도가 어느정도 됨? [1]
강제닉변532
2024-06-14 0-0 128
180276 일반  
병규는 그자리에서 손가락을 한번 튀겼다 [7]
최강금서
2024-06-14 0-0 184
180275 일반  
일일이 관리하기 귀찮군. 츄잉이라도 끝장내볼까
최강금서
2024-06-14 0-0 124
180274 일반  
국내 초월권 세계관 웹소설이 뭐뭐 있지 [5]
만물유전
2024-06-14 0-0 338
180273 일반  
그냥 큰형석 말고 답이 없네
나뭇잎마을
2024-06-14 0-0 149
180272 일반  
켄타가 종건 잡는데 큰 역할 하면 좋겠노
형범한아이
2024-06-14 0-0 103
180271 일반  
어째 4대크루랑 종건 격차는 계속 멀어지노? [3]
만신이학
2024-06-13 0-0 281
180270 일반  
외지주 이제 하다하다 자기자신을 육성 [1]
방관자
2024-06-13 0-0 220
180269 일반  
근데 백룡덱 월챔 우승자는 ㄹㅇ 카이바급인듯 [8]
폴링다무코
2024-06-13 0-0 203
180268 일반  
종건이 나루토 가면 중닌급되냐?? [4]
최강금서
2024-06-13 0-0 239
180267 일반  
흑룡덱vs백룡덱 [9]
만신이학
2024-06-13 0-0 215
180266 일반  
스포 종건 [2]
EVOLTO
2024-06-13 0-0 248
180265 일반  
오티누스의 강함을 두짤로 요약해봄
최강금서
2024-06-13 0-0 170
180264 일반  
근데 옆동네에서 전생슬 무한우주+라 하던데 맞음? [3]
스즈시나유리코
2024-06-13 0-0 255
180263 일반  
맞다 오늘 일반기하학 수업 들었는데 힐베르트 얘기함 [2]
최강금서
2024-06-13 0-0 181
180262 일반  
배위 프로필보면 즉사치트 캐릭들 능력 많던데 [3]
SHOWDOWN
2024-06-13 0-0 209
180261 일반  
배위 까는 달갤 [6]
조우텐치
2024-06-13 4-0 288
180260 일반  
아니 씨발 이거 왜 애니화됨??? [7]
최강금서
2024-06-13 0-0 257
      
<<
<
11
12
13
14
15
16
17
18
19
20
>
>>
enFree
공지&이벤트 | 접속문제 | 건의사항 | 로고신청 | 이미지신고 | 작품건의 | 캐릭건의 | 기타디비 | 게시판신청 | 클론신고 | 정지/패널티문의 | HELIX
Copyright CHUING Communications. All rights reserved. Mail to chuinghelp@gmail.com | 개인정보취급방침 | 게시물삭제요청