[일반] 집합론) 이거 함수 왜 이렇게 정의함??

[익명(223.39)]

왜 이렇게 하면 bijective 를 만들수 있는 함수가 되는것?

[아까꺼다날아감(gkghwns)]

{0,1}^A 랑 2^A랑 같은 개념이라고 생각하면 됨

[익명(223.33)]

f(a)=1 저부분이 이해가 안돼유..

[아까꺼다날아감(gkghwns)]

정의역은 함수들을 원소로 하고 공역은 A의 부분집합을 원소로 하는데 A의 원소가 있으면 1이라고 표시한다고

[아까꺼다날아감(gkghwns)]

간단히 유한집합에서 예를 들면 A={a,b}라 하면 {0,1}^A={ f ㅣ f : A -> {0,1} } f_a 라는 함수의 함수값을 어떻데 정할까? f(a)=1, f(b)=0

[아까꺼다날아감(gkghwns)]

비슷하게 f_공집합, f_{a}, f_{b}, f_{a,b} 도 정의할 수 있겠지 a,b에 대한 함수값이 각각 0,0 1,0 0,1 1,1 이렇게 나오는 함수 이 함수들과 A의 부분집합은 자연스럽게 전단사가 될거라고

[익명(1.251)]

도움 감사합니다

[익명(119.200)]

함수값이 1인거랑 0인거의 경우기 주어지면 그 함수가 특정되자나