[대학교이상] 집합 질문

[녜서님(fermathy)]

합집합한 집합으로 대응시킨 함수 f는

정의역 원소 x가 fr(x)로 대응된다고 정의했는데

그 전에 먼저 정의된 함수 fr도 정의역 원소 x가 fr(x)로 대응된다고 할 수 있는건가? 딱히 문제가 없어보여서

- dc official App

[ultraproduct(ultraproduct)]

fγ은 이미 주어졌고, well-def'd 문제는 f에서 좀 보긴 해야지. 근데 x in union X_γ인 γ는 유일할 수 밖에 없으니 no problem.

[ultraproduct(ultraproduct)]

x in Xγ로 수정

[익명(175.223)]

당연히 fr은 x를 fr(x)로 보내지. 질문의 의도가 뭐임

[녜서님(fermathy)]

아 fr도 똑같이 fr(x)로 가는거맞지? 뭔가 둘이 관계는 있지만 다른함수인데 x가 같은곳으로 간다는게 자꾸 헷갈려서 - dc App

[++Rikka5(lillollool)]

f:=U(f_r) 의 다른 표현임