בדידה לתיכוניסטים תש"ע - שאלות ותשובות

[math]\displaystyle{ {n \choose k} = {n!\over k!(n-k)!} }[/math]

הוראות

כאן המקום לשאול שאלות. כל שעליכם לעשות הוא ללחוץ על [עריכה] (משמאל לכותרת "שאלות"), להוסיף בתחילת הדף את השורה הבאה:

== כותרת לשאלה ==

לכתוב מתחתיה את שאלתכם, וללחוץ על שמירה למטה מימין

הודעה חשובה !!! - יש להגיש את התרגילים הנוספים (13 , ו 14 כרשות למי שמגיש ) עד ,וכולל , 16.9.2010 ! למשל לתא הבודקת הילה הלוי בכר , או לתומר ביום רביעי או לניר ביום חמישי - בתרגולי החזרה . אנא הודיעו למי שאתם יודעים שלא יגיע לתרגולים אלו . תודה:)

ארכיון

ארכיון 1 - תרגיל 1

ארכיון 2 - תרגיל 2

ארכיון 3 - תרגיל 3

ארכיון 4 - תרגיל 4

ארכיון 5 - לקראת המבחן

שאלות

אפשר עזרה בשאלה 3 2008 מועד ב' סעיף ב'?

אני כבר ממש מיואש, כל פונקציה שאני בונה יוצאת לא חחע ולא על! זאת שאלה ממש קשה, אבל גם ממש חשובה למבחן, אז אפשר, בבקשה, פתרון או הכוונה? תודה!

בעיות ענקיות עם הרכבת פונקציות...

זהו המשך לשאלה ששאלתי קודם, השאלה. אני ממש, ממש תקוע, בסעיף א' כיוון שמאלה, ובסעיף ב' שני הכיוונים (אדם, כנראה שלא הבנתי את הפתרון שלך). למשל ב-ב', אם f חחע, אז לפי מה שהבנתי (וגם בדקתי את זה!) היא הפיכה משמאל ולא מימין. לכן קיימת פו' כך ש hf=id. אבל זה ממש בעייתי ולא עוזר לפתור את הבעיה, כי צריך להוכיח שלכל תמונה של פי, כלומר לכל gf, קיים מקור g, אבל איך אפשר להוכיח את זה, הרי גם אם נרכיב את ההופכי של f משמאל, יצא hgf, שזה לא נותן כלום! מה עושים? (אם אפשר תשובה מפורטת גם לזה וגם לסעיפים\כיוונים האחרים) תודה רבה!

תשובה

אכן הייתה לי טעות בהקלדה אך כדאי שתקרא את התשובה שרשמתי למטה שוב.

עכשיו אולי אוסיף משהו שיסייע להבנה:

אם אתה רוצה להוכיח שפי היא על אתה צריך לקחת איבר בטווח. אף אחד לא אומר לך שהאיבר בטווח הוא מן הצורה gf. זה מה שאתה צריך להוכיח!

אתה וקח איבר כללי בטווח, אותו [math]\displaystyle{ \psi }[/math] ומראה שקיימת g כך ש[math]\displaystyle{ \psi=g \circ f }[/math]. זה מה שעשיתי בוהכחה למטה. אני ממליץ לך לקרוא אותה שוב.79.180.9.140 19:16, 4 בספטמבר 2010 (IDT)

הפרכה בעזרת דוגמה

בתרגיל 2 שאלה 5.ב, למה אי אפשר לתת דוגמה בשביל להפריך טרנזטיביות? הרי אם מראים שקיים B מסויים מאוד שעבורו אין טרנזטיביות, אז כבר R לא טרנזטיבי...לא?

השאלה: http://www.math-wiki.com/images/8/87/10BdidaTargil2.pdf

התשובה: http://www.math-wiki.com/images/1/1d/10BdidaTargil2Sol.pdf

שאלה 1ג מועד א 2008

שלום רב, האם ההוכחה שלי לשאלה 1ג נכונה?

" נניח בשלילה שהחיתוך המתבקש אינו שווה לקבוצה ובה הקבוצה הריקה, ולכן משום שהקבוצה הריקה היא איבר המשותף לכל קבוצות החזקה קיימת קבוצה [math]\displaystyle{ X\in P(A) }[/math] ושמקיימת גם [math]\displaystyle{ X\in P(B) }[/math] (נשים לב שקבוצה זו שונה מהקבוצה הריקה)....... בסוף נקבל ש- [math]\displaystyle{ X\subseteq A \bigcap B }[/math] ולכן החיתוך אינו קבוצה ריקה, וזו סתירה?"

כמובן שעם פירוט של כל השלבים באמצע. תודה מראש, גל.

אישור

תשובה נכונה בהחלט. Adam Chapman 18:52, 4 בספטמבר 2010 (IDT)

שאלה

מהי עוצמת הקבוצה של קבוצות שאינן סופיות ואינן קו-סופיות (שהמשלים שלהן אינו סופי) מתוך הטבעיים? האם זה א כי קבוצה של קבוצות אינסופיות? או לא? תודה!

תשובה

התשובה היא [math]\displaystyle{ \aleph }[/math] אך לא כי "קבוצה של קבוצות אינסופיות". הקבוצה [math]\displaystyle{ \{\mathbb{N},\mathbb{R}\} }[/math] היא קבוצה של קבוצות אינסופיות המכילה שני איברים בדיוק. בלי קשר, כפי שלמדנו, המונח "אינסופי" הוא בעל משמעות מאוד רחבה בקורס הזה ולא ניתן להיעזר במונח הזה כדי לטעון אמיתות של תשובה מדוייקת כמו [math]\displaystyle{ \aleph }[/math] .

העוצמה של הסופיות היא [math]\displaystyle{ \aleph_0 }[/math] וזו גם העוצמה של הקוסופיות. העוצמה של קבוצת החזקה של הטבעיים היא [math]\displaystyle{ \aleph }[/math]. אחד מן החוקים שלימדנו אתכם לגבי חשבון עוצמות הוא שכשלוקחים קבוצה אינסופית ומפחיתים ממנה תת-קבוצה בעוצמה קטנה ממש ממנה אז העוצמה לא קטנה, ולכן אחרי שמפחיתים את תת-הקבוצות הסופיות ותת הקבוצות הקוסופיות מכלל תת-הקבוצות של הטבעיים נשארים עם קבוצה שעוצמתה [math]\displaystyle{ \aleph }[/math]. Adam Chapman 18:45, 4 בספטמבר 2010 (IDT)

למה העוצמה של הסופיות היא [math]\displaystyle{ \aleph_0 }[/math] וזו גם העוצמה של הקוסופיות?

אהה. הנחתי שאת זה עברנו אם הגענו כבר לשאלה מה הגודל של ההפחתה. OK, אז ככה:

הגודל של תת-הקבוצות בגודל k (סופי) הוא לפחות [math]\displaystyle{ \aleph_0 }[/math] מצד אחד, ומאידך הוא אינו עולה על [math]\displaystyle{ \aleph_0^k }[/math], ומכיוון שלk סופי מקבלים שמספר תת הקבוצות בגודל k הוא [math]\displaystyle{ \aleph_0 }[/math]. כעת, קבוצת התת-קבוצות הסופיות היא איחוד זר של קבוצת תת הקבוצות מגודל אחד עם תת הקבוצות מגודל 2 וכו'. דהיינו, הגודל של קבוצת תת הקבוצות הסופיות הוא [math]\displaystyle{ \aleph_0 \cdot \aleph_0 }[/math], שזה בעצם (לפי מה שלמדנו) [math]\displaystyle{ \aleph_0 }[/math].

יש התאמה חח"ע ועל בין הקבוצות הקוסופיות לקבוצות הסופיות ע"י שליחת קבוצה למשלימה, ולכן עוצמת תת הקבוצות הקו-סופיות גם היא [math]\displaystyle{ \aleph_0 }[/math].Adam Chapman 19:04, 4 בספטמבר 2010 (IDT)

תודה רבה!!

פרטים בקשר למבחן

בחלק מהמקומות כתוב שהמבחן ב4 ובחלק 3 וחצי, אפשר שעה (וגם מיקום, אם אפשר) סופיים? תודה!

הרכבה ריקה

אם [math]\displaystyle{ S=\{(a,b)\} }[/math] ו-[math]\displaystyle{ R=\{(b,c)\} }[/math] אז S הרכבה R זו קבוצה ריקה, או "לא קיים"?

תשובה

"לא קיים" זה מונח בעייתי. מונח יותר נכון הוא "לא מוגדר". בהינתן יחסים R בין A לB וS בין C לD, ההרכבה [math]\displaystyle{ S \circ R }[/math] מוגדרת אם B=C. (כמו בפונקציות) במקרה שהצגת למעלה אני מניח שהתכוונת שS וR הם יחסים על A כלשהי שמכילה את a, b וc, ואז התשובה היא באמת קבוצה ריקה. Adam Chapman 18:38, 4 בספטמבר 2010 (IDT)

תודה. אני התכוונתי ש-S יחס מ-A ל-B ו-R יחס מ-B ל-C, אם כך התשובה פה היא לא מוגדר, אם הבנתי נכון.

הבנת נכון.Adam Chapman 18:57, 4 בספטמבר 2010 (IDT)

סריג

אפשר בבקשה דוגמה לסריג?

תשובה

[math]\displaystyle{ \{a,b,c,d \} }[/math] עם היחס סדר חלקי "<" כדלקמן : a>b,a>c,b>d,c>d.

Adam Chapman 18:31, 4 בספטמבר 2010 (IDT)

לפי ההגדרה, לכל שני איברים צריך להיות סופרימום ואינפימום. אתה יכול בבקשה לכתוב מהם לכל שני איברים?

אם תיקח שני איברים שאחד גדול מהשני תקבל שהסופרימום הוא הגדול בין השנים והאינפימום הוא הקטן בין השניים. הקושיה היחידה שנותרה היא מה קורה בין c לb ובמקרה זה האינפימום הוא d והסופרימום הוא a. Adam Chapman 18:56, 4 בספטמבר 2010 (IDT)

אה, נראה לי שהבנתי. תודה. אבל "<" הוא לא יחס סדר חלקי, לא? (למשל אין רפלקסיביות)

שאלה על אחת השאלות פה

מה זה: "מספר היחסים על קבוצה בעלת n איברים"? מה הכוונה?

מספר היחסים מA לA (למשל "קטן מ" בקבוצה של מספרים)

תודה. הכוונה לכל יחס אפשרי? אז יש אינסוף! למשל: קטן, גדול, מקיים [math]\displaystyle{ a-b \in Z }[/math], מקיים [math]\displaystyle{ a^2=b }[/math] ועוד ועוד ועוד... נראה לי שלא הבנתי.

ולמה זה הגודל של [math]\displaystyle{ P(A \times A) }[/math]?

העובדה שרשמת שלוש נקודות לא את הופכת הרשימה לאינסופית. יחס, כפי שלמדתם, הוא תת קבוצה של [math]\displaystyle{ A\times A }[/math]. הרי בין כל זוג סדור של איברים מהקבוצה יכול להתקיים היחס או לא להתקיים. היחס הוא הקבוצה של כל הזוגות הסדורים בינהם מתקיים היחס. בפרט, כל קבוצה המוכלת ב[math]\displaystyle{ A\times A }[/math] מהווה יחס אחד. אוסף כל היחסים הינו אוסף כל תתי הקבוצות הנ"ל וזה בדיוק [math]\displaystyle{ P(A\times A) }[/math]. ארז שיינר 15:15, 4 בספטמבר 2010 (IDT)

אההה.. הבנתי. תודה! (ומה שאני רשמתי הוא אמנם אינסופי, כי למשל [math]\displaystyle{ a^n=b }[/math] לכל [math]\displaystyle{ n \in N }[/math] הוא יחס נפרד, אבל יש שם יחסים שקולים כי הקבוצה סופית).

בדיוק, ומעל קבוצה אינסופית כמו השלמים בהחלט יש אינסוף יחסים. ארז שיינר 15:38, 4 בספטמבר 2010 (IDT)

שאלה 3 2008 מועד ב' סעיף ב'

אני לא מאמין, כתבתי עכשיו עשרות שורות של הפתרון שלי כדי לשאול אם הוא נכון, אבל זה נמחק לי =[. אז פשוט אשאל, אם אפשר, בבקשה, פתרון נכון לשאלה 3 סעיף ב', איזה פונקציה חח"ע ועל אפשר לעשות? זו שאלה קשה אז אני בטוח שיש עוד הרבה שירצו גם פתרון. תודה!!

אני גם בדיוק עושה אותה אבל יש לי דרך תיאורטית שאני לא בטוח שהיא נכונה. הרי יודעים שK בין 2 ל2 בחזקת ג, אם מראים שבשני מקרי הקצה של K הוא שווה ל2 בחזקת ג זה לא מספיק כדי להוכיח שוויון תמידי? זה קצת מוזר שלסעיף הזהיש 5 נקודות ולסעיף הראשון יש 10, הוא הרבה יותר קל

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

שאלה 2 מועד ב' 2008

יש לי פתרון אבל אשמח מאם מישהו (עדיף מתרגל) ייתן את הפתרון כדי שאני אהיה בטוח, אני אנסה לכתוב את הפתרון שלי כאן: [math]\displaystyle{ (-1)^n*{1519-101n \choose 20} }[/math][math]\displaystyle{ {1519 \choose 20} + \sum_{n=1}^{14} }[/math] שיאללה אני לא מאמין שהצלחתי לכתוב את זה

אני לא מתרגל, יצא לי דומה לשלך רק שהכנסתי את הגורם הראשון לתוך הסכום, וגם נראה לי שצריך להוסיף כמה פעמים כל חיתוך של קבוצות מופיע, למשל יש 2 מתוך 20 פעמים חיתוך 2 Ai ים (אם עשית את זה בעיקרון הכלה והדחה וצריך לצאת בערך כמו שלך רק עם i מתוך 20 בתוך הסכום

כן כן שמתי לב לזה עכשיו, כתבתי את החלק של הכמה יש מתוך בדף אבל התלהבתי כל כך שהצלחתי לכתוב את זה באתר ששכחתי להוסיף, התוצאה שלי היא כזאת:

[math]\displaystyle{ ((-1)^n*{1519-101n \choose 20}*{20 \choose n}) }[/math][math]\displaystyle{ {1519 \choose 20} + \sum_{n=1}^{14} }[/math]

האמת שעכשיו אני לא בטוח אם זה צריך להיות [math]\displaystyle{ {1519-101n \choose 20} }[/math] או [math]\displaystyle{ {1519-101n \choose 20-n} }[/math]

איך להוכיח (2008 מועד ב' שאלה 1 א')

האם אפשר להוכיח ככה, או שיש דרך אחרת? נניח [math]\displaystyle{ f(x1,u1)=f(x2,u2) }[/math] וכן [math]\displaystyle{ f(x1,u1)={v1 (muchal-be) u1 | x1 (shayach-le) v1}, f(x2,u2)=cmo-x1,u1 }[/math] ולכן לכל V1, V2 שמוכלים בU1, U2 מתקיים V1=V2 ולכן U1=U2 וגם x1=x2? משהו לא נכון בהוכחה הזאת נכון? אז איך מוכיחים? תודה!

תשובה+הערות כתיבה

1)אם רוצים לרשום לכתוב "}" אז כותבים }\ ואם רוצים לכתוב "{" אז כותבים {\.

2) "מוכל ב" כותבים (כשצד שמאל מוכל בצד ימין) subseteq\ וכשצד ימין מוכל בצד שמאל supseteq\. מוכל ממש זה אותה פקודה רק בלי הeq.

3) "שייך" ל רושמים (כשצד שמאל שייך לצד ימין) כin\ וכשצד ימין שייך לשמאל רושמים ni\.

עכשיו לגבי התשובה:

התשובה שלך איננה נכונה משום שאתה מנסה להוכיח טענה שהיא שקרית, דהיינו ניתן לתת לה דוגמאות נגדיות. A כוללת לפחות שני איברים שונים, נסמנם x1 וx2. כעת [math]\displaystyle{ f(x_1,\{x_2\})=\emptyset=f(x_2,\{x_1\}) }[/math], משמע f לא חח"ע. Adam Chapman 18:54, 4 בספטמבר 2010 (IDT)

שאלות 2א+ב מועד ב 2009

שלום רב, כיצד עליי לנמק בפתרון השאלה 2א? התחלתי את הפתרון כך:

"ישנם [math]\displaystyle{ n }[/math] מספרים בקבוצה ולכן סך כל האפשרויות לתמורות שונות הוא [math]\displaystyle{ n! }[/math]. כמו כן קיבלנו שתי אפשרויות:

1. [math]\displaystyle{ n }[/math] לפני [math]\displaystyle{ n-1 }[/math]

2. [math]\displaystyle{ n }[/math] אחרי [math]\displaystyle{ n-1 }[/math]"

השאלה שלי היא איך אני מנמק לאחר מכן שקיימות [math]\displaystyle{ 0.5n! }[/math] תמורות כנדרש:

1. "...לכן לכל תמורה שתי אפשרויות ולכן בסה"כ יש [math]\displaystyle{ 0.5n! }[/math] תמורות שעונות לתנאי זה".

2. "כעת נגדיר [math]\displaystyle{ A }[/math] קבוצת כל התמורות העונות על תנאי 1, [math]\displaystyle{ B }[/math] קבוצת כל התמורות העונות על תנאי 2. כמו כן נגדיר פונקציה [math]\displaystyle{ f:A-\gt B }[/math] ע"י לכל [math]\displaystyle{ x }[/math] ב-[math]\displaystyle{ A }[/math] יתקיים ש[math]\displaystyle{ f(x)=y }[/math]כאשר [math]\displaystyle{ y }[/math] היא התמורה בה איברי [math]\displaystyle{ x }[/math] מופיעים בסדר הפוך (כלומר התמורה [math]\displaystyle{ 1,2 }[/math] תהפוך ל-[math]\displaystyle{ 2,1 }[/math]). פונקציה זו חח"ע ועל ולכן [math]\displaystyle{ |A|=|B| }[/math] ומכיוון שהחיתוך ביניהם זר הרי שאפשר לומר ש-[math]\displaystyle{ |A|+|B|=2|A|=|C| }[/math] (כאשר [math]\displaystyle{ C }[/math] היא קבוצת כל התמורות). נציב [math]\displaystyle{ |C|=n! }[/math] ונקבל את העוצמה הדרושה של [math]\displaystyle{ A }[/math]...".

הבעיה היא שדרך 1 נקראית לי לא מפורטת מספיק ודרך 2 היא די ארוכה. בסעיף א זה עוד נסבל אבל בסעיף ב זה בכלל נורא כי כבר קיימות 6 אפשרויות (ואז עליי לבנות 6 פונקציות) אז איך עליי לנמק את מה שאמרתי? תודה מראש, גל.

תשובה

אני לא מתרגל אך יש לי את הפתרון שאדם כתב באחד התרגולים שלו. כמו שאמרת, יש סך הכל [math]\displaystyle{ n! }[/math] אפשרויות לסדר את המספרים. ניתן לחלק מספר זה של אפשרויות ל2 חלקים: חלק ראשון הוא האפשרויות ש[math]\displaystyle{ n-1 }[/math] מופיע לפני [math]\displaystyle{ n }[/math] והחלק השני הוא ההפוך- [math]\displaystyle{ n }[/math] מופיע לפני [math]\displaystyle{ n-1 }[/math], ניתן לראות כי 2 חלקים אלה הם שווים, נניח אתה בודק את מספר האפשרויות בהן [math]\displaystyle{ n-1 }[/math] מופיע לפני [math]\displaystyle{ n }[/math], אז מספר האפשרויות ההפוך הוא אותו מספר כיוון שהפעם החלפת בכל אפשרות בין [math]\displaystyle{ n }[/math] ל[math]\displaystyle{ n-1 }[/math], ולכן התוצאה היא [math]\displaystyle{ 0.5n! }[/math]. בסעיף ב' אתה משתמש בתוצאה של סעיף א' ואתה יודע שהיא מתחלקת ל-3 אפשרויות ובאותו אופן כמו בסעיף א' גם 3 אפשרויות אלה הן שוות ולכן בסך הכל התוצאה היא [math]\displaystyle{ 1/6n! }[/math]. אני שוב אומר שאני לא מתרגל אבל זאת הדרך בה אדם פתר את התרגיל הזה

הערונת

אתה מתכוון ל6 אפשרויות ולא שלוש (כל אפשרות שקולה לתמורה על שלושה איברים ומסםר התמורות על 3 איברים הוא 6), ולכן התוצאה שרשמת שהיא שישית ממספר התמורות על n איברים היא נכונה. Adam Chapman 18:09, 4 בספטמבר 2010 (IDT)

שאלה קצרצרה נוספת

מספר היחסים על קבוצה בעלת n איברים, זה בעצם מספר הפונקציות מA לA, כלומר n בחזקת n? או משהו אחר? תודה!

תשובה

מספר היחסים על קבוצה A בת n איברים היא הגודל של [math]\displaystyle{ P(A \times A) }[/math], שהיינו [math]\displaystyle{ 2^{n^2} }[/math]. Adam Chapman 11:57, 4 בספטמבר 2010 (IDT)

שאלה קצרה מאוד על עוצמות

קבוצת כל הפונקציות מהטבעיים לקבוצת תת הקבוצות של הטבעיים, מהי עוצמתה? לפי החישוב שלי, הקבוצה שווה לP)N( בחזקת N, כלומר העוצמה שווה ל-א בחזקת א0. אך מהי העוצמה א בחזקת א0? א? או יותר, 2 בחזקת א? איך אפשר לדעת את זה? תודה רבה!

תשובה

ישנן כמה נוסחאות לגבי עוצמות אינסופיות שצריך לדעת. אחת מהן היא שאם [math]\displaystyle{ k }[/math] אינסופית ו[math]\displaystyle{ \lambda\lt k }[/math] אזי [math]\displaystyle{ k^\lambda=k }[/math]. Adam Chapman 11:29, 4 בספטמבר 2010 (IDT)

3 שאלות על הרכבת פונקציות

-אם [math]\displaystyle{ g*f=Id }[/math] אז [math]\displaystyle{ g(f(x))=x }[/math] או ש [math]\displaystyle{ f(g(x))=x }[/math]? כי ניתקלתי בבעיה שקשורה לזה (השאלה השניה). -אפשר להגיד ש אם F חחע אז F הפיכה משמאל ואם F על אז היא הפיכה מימין, נכון? -איך מוכיחים את מה שצריך להוכיח בשאלה 2 במבחן 2007 מועד א' (http://math-wiki.com/images/4/4f/BdidaExamMoedA2007.pdf) ?

ב-א', הוכחתי את הכיוון משמאל לימין, ע"י כך שאם g1*f=g2*f אז בגלל שf הפיכה מימין אז נרכיב את f-1 מימין ואז g1=g2. בכיוון השני נתקעתי.

ב-ב', לא הצלחתי בכלל. התחלתי ככה: צריך להוכיח שf חחע, כלומר או שנוכיח שאם f(a1)=f(a2) אז a1=a2 או שנוכיח שהיא הפיכה משמאל (לא בטוח מה עדיף). הפונקציה הזאת שמסומנת בסימון של קבוצה ריקה היא על ולכן והפיכה מימין, ולכן O*h=Id ולכן (ופה נתקעתי, לא הייתי בטוח [math]\displaystyle{ O(h(x))=x }[/math] ולכן (?) [math]\displaystyle{ h(x)*f=x }[/math] ופה יש משהו לא הגיוני. אפשר עזרה? תודה!

תשובה

אם [math]\displaystyle{ g*f=Id }[/math] אז [math]\displaystyle{ g(f(x))=x }[/math].

בקשר לשאלה במבחן הנ"ל, הפיתרון הפשוט (לדעתי) של הסעיף הוא כדלקמן:

כיוון אחד

1) אם [math]\displaystyle{ f }[/math] חח"ע אזי היא הפיכה משמאל ע"י איזושהי פונקציה שנסמנה [math]\displaystyle{ h : B \rightarrow A }[/math].

2) כעת, לכל פונקציה [math]\displaystyle{ \psi \in C^A }[/math] יש מקור [math]\displaystyle{ g=\psi \circ h \in C^B }[/math] לפי פונקציה [math]\displaystyle{ \Phi }[/math], כי [math]\displaystyle{ \Phi(g)=g \circ f=\psi \circ h \circ f=\psi }[/math] ולכן [math]\displaystyle{ \Phi }[/math] על.

כיוון שני

1) אם [math]\displaystyle{ f }[/math] לא חח"ע אז קיימים [math]\displaystyle{ a_1,a_2 \in A }[/math] שונים כך ש[math]\displaystyle{ f(a_1)=f(a_2) }[/math].

2) לכן לכל [math]\displaystyle{ g \in C^B }[/math], הפונקציה [math]\displaystyle{ \Phi(g)=g \circ f }[/math] מקיימת [math]\displaystyle{ g \circ f(a_1)=g \circ f(a_2) }[/math].

3) אולם, קיימות הפונקציות [math]\displaystyle{ h \in C^A }[/math] כך ש[math]\displaystyle{ h(a_1) \neq h(a_2) }[/math], כי [math]\displaystyle{ C }[/math] מכילה לפחות שני איברים, וכתצואה מכך [math]\displaystyle{ \Phi }[/math] איננה על.

Adam Chapman 11:25, 4 בספטמבר 2010 (IDT)

אם F חחע אז היא הפיכה משמאל, לא מימין, לא?

צודק, רשמתי את ה"הפיכה מימין" כשהתכוונתי להפיכה משמאל, וגם השתמשתי בה כהפיכה משמאל כך שהמילה "ימין" צריכה פשוט להיות מוחלפת ב"משמאל". אשנה זאת מיד.79.180.9.140 19:11, 4 בספטמבר 2010 (IDT)

שאלה (קצת מוזרה, אבל מבלבלת) על איחוד קבוצות

נניח שX שייך לA חיתוך B חיתוך C. אני יכול להגיד בוודאות ש X שייך ל

(AחיתוךBחיתוךC) איחוד (AחיתוךBחיתוךC'(משלים)) איחוד (AחיתוךB'חיתוךC') איחוד (A'חיתוךB'חיתוךC)? האם זה נכון בטוח בגלל שאחד מהגורמים באיחוד הוא A חיתוך B חיתוך C? תודה!

תשובה

כן. ניתן לומר זאת בודאות כי אחד הגורמים באיחוד הוא הוא A חיתוך B חיתוך C.

Adam Chapman 10:49, 4 בספטמבר 2010 (IDT)

תודה רבה אני מאוד מעריך את כל העזרה שלך!!

עזרה (מבחן 2009 מועד ב' שאלה 7 ב'2 .)

הוכחתי את 1, ע"י חילוק למקרים, אם C=100 אז A וB יכולים להיות מ1 עד 99, 99 בריבוע אפשרויות, אם C=98 אז יש 98 בריבוע אפשרויות וכך הלאה ומקבלים את הסכום הדרוש. אבל לא משנה איך אני מנסה להסתכל על זה, אני לא רואה איך העוצמה של S שווה לתוצאה שכתובה ב2. אפשר עזרה לפני המבחן? תודה רבה!!

תשובה

את חלק ב' מוכיחים באופן קומבינטורי. כשיש לנו שלישיה סדורה [math]\displaystyle{ (a,b,c) }[/math] כך ש[math]\displaystyle{ a\lt b \wedge a\lt c }[/math] אז קורה אחד (ואחד בלבד) משלושת הדברים הבאים:1) [math]\displaystyle{ b=c }[/math] או 2) [math]\displaystyle{ b\lt c }[/math] או 3) [math]\displaystyle{ b\gt c }[/math]. כל המקרים ב1) מכוסים באופן חח"ע ועל על-ידי בחירת שני איברים מתוך 100, הצבת הקטן מבין השניים באינדקס הראשון והצבת הגדול מבין השניים באינדקסים השני והשלישי; כל המקרים ב2) מכוסים באופן חח"ע ועל על-ידי בחירת 3 איברים מתוך מאה, הצבת הקטן ביותר באינדקס הראשון, הצבת האמצעי באינדקס השני והצבת הגדול ביותר באינדקס השלישי; כל המקרים ב3) מכוסים באופן חח"ע ועל על-ידי בחירת 3 איברים מתוך מאה, הצבת הקטןביותר באינדקס הראשון, הצבת הגדול ביותר באינדקס השני והצבת האמצעי באינדקס השלישי. עקב כך, מקבלים את הנוסחה הרשומה בטופס המבחן בסעיף ב'.Adam Chapman 10:46, 4 בספטמבר 2010 (IDT)

תודה

איחוד או חיתוך

סליחה שאני שואלת המון שאלות..

איך מוכיחים שאם X מוכלת ב-A חיתוך B אז X מוכלת ב-A וגם X מוכלת ב-B? (במיוחד צריך לשים לב שההוכחה לא מתאימה גם לאיחוד במקום חיתוך, בשונה מההוכחה אצלי במחברת)

שוב, תודה מראש!

שאלות זה טוב

אם [math]\displaystyle{ X \subseteq A \bigcap B }[/math] אז לכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in A \bigcap B }[/math], דהיינו [math]\displaystyle{ x \in A }[/math] וגם [math]\displaystyle{ x \in B }[/math]. מכיוון שלכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in A }[/math] אז [math]\displaystyle{ X \subseteq A }[/math], ומכיוון שלכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in B }[/math] אז [math]\displaystyle{ X \subseteq B }[/math]. Adam Chapman 00:16, 4 בספטמבר 2010 (IDT)

תודה רבה, אבל: אם [math]\displaystyle{ X \subseteq A \bigcup B }[/math] אז לכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in A \bigcup B }[/math], דהיינו [math]\displaystyle{ x \in A }[/math] או [math]\displaystyle{ x \in B }[/math]. לכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in A }[/math] ואז*** [math]\displaystyle{ X \subseteq A }[/math], או [math]\displaystyle{ x \in B }[/math] ואז*** [math]\displaystyle{ X \subseteq B }[/math].

מה שמסומן ב-*** כמובן לא נכון, אבל איך מסבירים את זה שהדבר נכון רק עבור חיתוך ולא איחוד?

כל [math]\displaystyle{ x\in X }[/math] מקיים [math]\displaystyle{ x\in A }[/math] -או- [math]\displaystyle{ x\in B }[/math]. בפרט, מאד ייתכן שקיים [math]\displaystyle{ x\in X }[/math] כך ש[math]\displaystyle{ x\notin A }[/math]. אתה שינית לוגית את המשפט - במקום לומר 'כל איבר שייך לA או B' אמרת 'כל האיברים שייכים לA או כל האיברים שייכים לB'. ארז שיינר 01:18, 4 בספטמבר 2010 (IDT)

באמת שיניתי לוגית את המשפט בלי לשים לב! אם כך, רק אם לכל [math]\displaystyle{ x \in X }[/math] מתקיים [math]\displaystyle{ x \in A }[/math] אז [math]\displaystyle{ X \subseteq A }[/math], ובאיחוד זה לא לכל x. הבנתי, תודה לכם!

הוכחה טריוויאלית

מהי הדרך הנכונה ביותר להוכיח שאם [math]\displaystyle{ P(A) }[/math] מוכל (או שווה) ב(ל)-[math]\displaystyle{ P(B) }[/math] אז A מוכל (או שווה) ב(ל)-B?

(פשוט ההוכחה אצלי במחברת לא ברורה לי)

תשובה

אם [math]\displaystyle{ P(A) \subseteq P(B) }[/math] אז לכל [math]\displaystyle{ X \in P(A) }[/math] מתקיים [math]\displaystyle{ X \in P(B) }[/math]. בפרט, [math]\displaystyle{ A \in P(A) }[/math] ולכן [math]\displaystyle{ A \in P(B) }[/math], כלומר [math]\displaystyle{ A \subseteq B }[/math]. Adam Chapman 23:57, 3 בספטמבר 2010 (IDT)

אהה, תודה!

יחסים

האם האיבר הקטן ביותר הוא תמיד המינימלי היחיד? (כשהוא קיים)

תשובה

כן Adam Chapman 23:32, 3 בספטמבר 2010 (IDT)

תודה!