[대학교이상] 집합론 정리 증명 맞게 한걸까

[녜서님(fermathy)]

surjective부분이 좀 띠용한데 맞긴 한지 모르겠네

- dc official App

[익명(180.67)]

ㅇㅇ 거기가 이상하네

[녜서님(fermathy)]

어케쓰지.. - dc App

[ultraproduct(ultraproduct)]

Given any (y,w) in Y \times W, ...

[김민성태팬클럽회장(thecoqproofassistant)]

이걸 보이세요: For any (y, w) in Y × W, there exists (x, z) in X × Z such that (f × g)(x, z) = (y, w).

[녜서님(fermathy)]

그게 명확하긴 한데...의문인게 예를들어 다루기 쉬운함수 f(x)=2x-1같은 경우는 그냥 y=2x-1에서 x=(y+1)/2 로 정리하고 f(x)=f(y+1/2)=y가 되어 f(x)=y를 만족하는걸 보일 수가 있는데 저거는 f랑 g함수 형태를 준 것도 아니고 새롭게 정의된 f×g라는 함수는 식으로 표현이 안되서 어떻게 할지 감이 안잡히네요 - dc App

[++Rikka5(lillollool)]

(y,w)ㅌY×W iff (yㅌY and wㅌW)

[++Rikka5(lillollool)]

그럼 f,g가 전사니까 y=f(x),w=g(z)인 xㅌX,zㅌZ 가 존재하잖음 걔네로 순서쌍 만들면 됨

[녜서님(fermathy)]

사진 추가했는데 뭐 저런식으로 쓰면 될라나 - dc App