주어진 상황은 이러함:
1) 집합 A, B가 있음
2) |A| > |B|
A와 B는 일대일 대응이 아님.
난 일대일 대응이 필요한데.
그래서 다음을 만족하도록
집합 C, D를 정의함.
3) D ⊆ {(b,c)|b∈B ∧ c∈C}
4) A와 D는 일대일 대응
혹시 이런 역할을 하는
집합 C, D를 각각 가리키는
용어가 있나?
있을 것 같은데,
어떻게 찾아야 할 지 감도 안 와서 여기 물어봄
1) 집합 A, B가 있음
2) |A| > |B|
A와 B는 일대일 대응이 아님.
난 일대일 대응이 필요한데.
그래서 다음을 만족하도록
집합 C, D를 정의함.
3) D ⊆ {(b,c)|b∈B ∧ c∈C}
4) A와 D는 일대일 대응
혹시 이런 역할을 하는
집합 C, D를 각각 가리키는
용어가 있나?
있을 것 같은데,
어떻게 찾아야 할 지 감도 안 와서 여기 물어봄
C는 의미 없고 (a ㅌ A, b ㅌ B)인 점만을 모으면 graph of a function이지. 그 graph of a function들만 모은 집합은 B^A라고 표현하고
생각해보니 추가 조건이 있어. 집합 B^A 에서 임의로 고른 두 원소 ab1, ab2가 같은지 아닌지 유한 시간 안에 계산 가능해야 해
내가 C를 식별자로서 추가했었네. graph of a function 원소들의 '=' 관계 계산을 유한 시간 안에 할 수 있도록.
도와줘서 고마워!