[대학교이상] 문제 풀이에서 의문

[녜서님(fermathy)]

infinite집합의 합집합도 infinite냐는 문제인데

합집합 함수를 h로 새로 정의함

근데 h를 그냥 injective라고 해서 infinite를 보이기는 했는데

h가 injective가 아닐수도 있지않음?

이렇게 A랑 B 교집합이 생기는 쪽에서 문제가 생기는데

- dc official App

[김이요°(karma5)]

애초에 저 함수가 잘 정의 되려면 f랑 g가 교집합에서 일치해야함

[녜서님(fermathy)]

그냥 합집합으로 함수 정의했으니까 교집합에서 일치한다는건 당연히 가정하게 함수정의한걸로는 못보나? - dc App

[김이요°(karma5)]

그냥 fUid|_(B-A교B) 하면 되겠네

[녜서님(fermathy)]

그게 머야 - dc App

[김이요°(karma5)]

f는 B-A 로는 안가니까 A에서는 f B-A 에서는 항등함수로 두면 되잖음

[++Rikka5(lillollool)]

무한집합의 초집합이 무한집합 이용하면 안됨? 교수님이 저방법으로 풀라하신건가

[녜서님(fermathy)]

아 글케하면 간단하긴 한데 그냥 다른 풀이 없나 싶어서 - dc App

[++Rikka5(lillollool)]

ㅇㅎ 근데 A,B가 무한이라는 가정만으로는 저런 f,g가 존재한다까지만 보장되지 걔네가 어떤놈인지는 전혀 아는바가없어서 꽤 복잡해지지않을까싶음 케이스가 오지게나올거같은데