무한이 유한의 부정으로 정의되는데 유한은 어떻게 정의됨?
누가 그딴식으로 정의하는데 ㅋㅋ 덧셈이랑 곱셈이랑 순서관계로 실수(순서)체를 정의하고 거기에 무한소랑 무한대를 붙이고 연산 관계도 정의해서 확대시킨 확대체로 무한을 정의하지 아니면 엡실론 델타 논법으로 애초에 무한소 무한대를 요구하지 않던가 (✖╹◡╹✖)◞
완비 순서체인 실수를 구성하는 방법은 참고로 여러가지 있는데 https://ko.wikipedia.org/wiki/%EC%8B%A4%EC%88%98%EC%9D%98_%EA%B5%AC%EC%84%B1 (✖╹◡╹✖)◞
@요운 참고로 이건 구성 내지는 존재성을 증명하는 과정이고 정의가 아님 실수의 정의는 그냥 완비인 순서체지 (✖╹◡╹✖)◞
@요운 얜 보면 어디서 주워들은 건 있어가지고 나열은 하는데 자세히 보면 정확히 아는 건 하나도 없음 관념어만 나열하면 알고 있다고 착각하는 부류 스노비즘
@물갤러1(115.138) 내가 니냐? 수학과 복수전공했는데 이걸 모르겠냐? ㅋㅋㅋㅋ (✖╹◡╹✖)◞
무한집합을 그렇게 정의한다고 하면 유한집합은 보통 자연수와 일대일대응이 되는 집합으로 정의함
여기서 말하는 자연수는 Von Neumann의 집합론적 정의에 따라 set으로 잘 정의되는 자연수임 https://en.m.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers
@ㅇㅇ(80.79) 그래서 이런 공리적 집합론 얘기를 회피하려면 Dedekind의 무한집합 정의를 채택하고 유한을 그 부정으로 정의하는게 매끄러움 https://en.m.wikipedia.org/wiki/Dedekind-infinite_set
@ㅇㅇ(80.79) 으 그냥 선택공리 받아들일게 (✖╹◡╹✖)◞
무한이 유한의 부정으로 정의되는데 유한은 어떻게 정의됨?
누가 그딴식으로 정의하는데 ㅋㅋ 덧셈이랑 곱셈이랑 순서관계로 실수(순서)체를 정의하고 거기에 무한소랑 무한대를 붙이고 연산 관계도 정의해서 확대시킨 확대체로 무한을 정의하지 아니면 엡실론 델타 논법으로 애초에 무한소 무한대를 요구하지 않던가 (✖╹◡╹✖)◞
완비 순서체인 실수를 구성하는 방법은 참고로 여러가지 있는데 https://ko.wikipedia.org/wiki/%EC%8B%A4%EC%88%98%EC%9D%98_%EA%B5%AC%EC%84%B1 (✖╹◡╹✖)◞
@요운 참고로 이건 구성 내지는 존재성을 증명하는 과정이고 정의가 아님 실수의 정의는 그냥 완비인 순서체지 (✖╹◡╹✖)◞
@요운 얜 보면 어디서 주워들은 건 있어가지고 나열은 하는데 자세히 보면 정확히 아는 건 하나도 없음 관념어만 나열하면 알고 있다고 착각하는 부류 스노비즘
@물갤러1(115.138) 내가 니냐? 수학과 복수전공했는데 이걸 모르겠냐? ㅋㅋㅋㅋ (✖╹◡╹✖)◞
무한집합을 그렇게 정의한다고 하면 유한집합은 보통 자연수와 일대일대응이 되는 집합으로 정의함
여기서 말하는 자연수는 Von Neumann의 집합론적 정의에 따라 set으로 잘 정의되는 자연수임 https://en.m.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers
@ㅇㅇ(80.79) 그래서 이런 공리적 집합론 얘기를 회피하려면 Dedekind의 무한집합 정의를 채택하고 유한을 그 부정으로 정의하는게 매끄러움 https://en.m.wikipedia.org/wiki/Dedekind-infinite_set
@ㅇㅇ(80.79) 으 그냥 선택공리 받아들일게 (✖╹◡╹✖)◞