יש לנו: {1,2,3} -> {1,2} ו g: {1,2,3} -> {1,2,3,4}. כמה מזרקים F ו- G יש funtions?

יש לנו: {1,2,3} -> {1,2} ו g: {1,2,3} -> {1,2,3,4}. כמה מזרקים F ו- G יש funtions?
Anonim

תשובה:

# f # לא יכול להיות מזריק.

# גרם # יכול להיות מזריק #24# דרכים.

הסבר:

פונקציה היא הזרקת אם אין שתי תשומות לספק את אותו פלט. במילים אחרות, משהו כמו

#f (x) = f (y), quad x ne y #

לא יכול לקרות.

כלומר, במקרה של תחום סופי וקודומין, פונקציה יכולה להיות מזריקה אם ורק אם התחום קטן מהקודומין (או, לכל היותר, שווה), במונחים של קרדינליות.

זו הסיבה לכך # f # לא יכול להיות מזריק. למעשה, אתה יכול לתקן #f (1) # איך שתרצה. אמר #f (1) = 1 #, לדוגמה. בעת בחירה #f (2) #, אנחנו לא יכולים להגיד את זה שוב #f (2) = 1 #, או # f # לא יהיה מזריק. אבל כשמדובר #f (3) # אין לנו ברירה, אם נאמר #f (3) = 1 # יש לנו #f (1) = f (3) #, ואם נאמר #f (3) = 2 # יש לנו #f (2) = f (3) #.

במילים אחרות, אנחנו חייבים לקבוע אחד משני ouputs אפשרי לכל אחד משלושת הקלט. זה צריך להיות ברור כי תשומות לא יכול לספק פלטי שונים.

מצד שני # גרם # יכול להיות מזריק, שכן יש "מספיק מקום": כל אחד משלושת התשומות יכול לבחור אחד מארבעת התפוקות בצורה כזו כי אין תשומות שונות לספק את אותו פלט.

אבל בכמה דרכים? ובכן, נניח שאנחנו מתחילים שוב עם #f (1) #. אנחנו יכולים לבחור כל אחד ouputs ארבעה עבור קלט זה, אז אנחנו יכולים לבחור #f (1) # בארבע דרכים.

כשזה מגיע ל #f (2) #, אנחנו מאבדים קצת חופש: אנחנו יכולים להקצות כל ערך #f (2) #, למעט זה שהקצנו לו #f (1) #, אז נשארנו עם שתי אפשרויות. לדוגמה, אם אנחנו קבועים #f (1) = 2 #, לאחר מכן #f (2) # יכול להיות #1#, #3# או #4#.

באותו היגיון, יש לנו שתי אפשרויות #f (3) #: מתוך ארבע האפשרויות האפשריות, אנו פוסלים את אלו שכבר הוקצו #f (1) # ו #f (3) #.

אז, אנחנו יכולים להגדיר # גרם # in #4*3*2 = 24# דרכים כאלה # גרם # הוא מזריק.