לשם כך אני צריך להגדיר פונקציה מC לפונקציות מB ל A, נקרא לg. כדי להגדיר את g אני צריך למצוא פונקציה, נקרא לה G, מB לA.
כתבתי אותה כך: g(c) = Gc(b) עכשיו צריך להגדיר את Gc(b). הבעיה שלי היא פה- כל פונקציה Gc(b) שאני מגדיר, יוצא שאני לא רשאי להגדיר אותה כך, כי אז אני כאילו מגדיר לי מה יהיה A. (אם לא הבנתם את הניסוח), למשל, אם ניסיתי להגדיר את Gc כך: Gc(b)= (b,c)הבעיה אז היא שאני קובע שהקבוצה A תהיה מכפלה קרטזית של B וC. ונראה לי שכך קורה לכל Gc שאני מגדיר. אפשר עזרה בנוגע לאיך להתגבר על הבעיה הזאת? האם דרך החשיבה שלי נכונה או שאני צריך להיפטר לגמרי מהעניין של Gc? תודה.
'''תשובה'''
יהיו <math>|A| = k,|B| = \lambda ,|C| = \eta</math>.
לכן, בצד שמאל: <math>\{f:C \to \{g:B \to A\}\}</math>. בצד הימין: <math> \{ h:B \times C \to A\} </math>.
צריך להוכיח שקיימת התאמה חח"ע ועל בין f ל- h, כך ש- <math>h(b,c)=f(c)(b)</math>.
(גרישה אושרוביץ')
==שאלה1==