לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

Σχετικά έγγραφα
קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

ל הזכויות שמורות לדפנה וסטרייך

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

Logic and Set Theory for Comp. Sci.

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

gcd 24,15 = 3 3 =

תרגיל 13 משפטי רול ולגראנז הערות

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

x a x n D f (iii) x n a ,Cauchy

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

אלגברה ליניארית (1) - תרגיל 6

סדרות - תרגילים הכנה לבגרות 5 יח"ל

רשימת משפטים והגדרות

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

תורת הקבוצות תרגיל בית 2 פתרונות

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

תרגול פעולות מומצאות 3

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

חורף תש''ע פתרון בחינה סופית מועד א'

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

מתמטיקה בדידה תרגול מס' 5

לוגיקה ותורת הקבוצות למדעי המחשב הרצאות

מתמטיקה בדידה תרגול מס' 13

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

{ : Halts on every input}

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

תורת הקבוצות ניר אדר ניר אדר.

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות.

אלגברה לינארית 1 יובל קפלן

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

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

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

פולינומים אורתוגונליים

חשבון אינפיניטסימלי 1

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה לינארית 1. המערכת הלא הומוגנית גם כן. יתרה מזאת כל פתרון של (A b) הוא מהצורה c + v כאשר v פתרון כלשהו של המערכת ההומוגנית

אלגברה מודרנית פתרון שיעורי בית 6

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

סרוקל רזע תרבוח 1 ילמיסיטיפניא ןובשח

ניתן לקבל אוטומט עבור השפה המבוקשת ע "י שימוששאלה 6 בטכניקתשפה המכפלה שנייה כדי לבנות אוטומט לשפת החיתוך של שתי השפות:

אלגברה ליניארית 1 א' פתרון 7

. {e M: x e} מתקיים = 1 x X Y

"שקר". במקום המילים "אמת" או "שקר" משתמשים באותיות T ו- F (באנגלית truth אמת, false שקר (

סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך.

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

c ארזים 15 במרץ 2017

תרגול מס' 1 3 בנובמבר 2012

מבנים אלגבריים II 27 במרץ 2012

תורת ההסתברות 1 יובל קפלן סיכום הרצאות פרופ יורי קיפר בקורס "תורת ההסתברות 1" (80420) באוניברסיטה העברית,

אינפי - 1 תרגול בינואר 2012

3-9 - a < x < a, a < x < a

אלגברה לינארית 2 משפטים וטענות

הגדרה: מצבים k -בני-הפרדה

תרגיל 7 פונקציות טריגונומטריות הערות

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד

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

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.

co ארזים 3 במרץ 2016

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

חלק 1 כלומר, פונקציה. האוטומט. ) אותיות, אלפבית, א"ב (.

אלגברה ליניארית 1 א' פתרון 2

רשימת בעיות בסיבוכיות

הרצאה. α α פלוני, וכדומה. הזוויות α ל- β שווה ל-

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5

אלגברה ליניארית 1 א' פתרון 11

גירסה liran Home Page:

נושאים: 4. בסיס 5. מימד ליניארית - אסוציאטיביות (קיבוץ) וקומטטיביות (חילוף) החיבור בין אברי V (הוקטורים) לאיברי F (סקלרים) התנאים:

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

מודלים חישוביים תרגולמס 5

The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן

אלגברה לינארית (1) - פתרון תרגיל 11

xpy xry & ~yrx xiy xry & yrx

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

אוטומטים- תרגול 8 שפות חסרות הקשר

תרגול מס' 6 פתרון מערכת משוואות ליניארית

Regular Expressions (RE)


התפלגות χ: Analyze. Non parametric test

לוגיקה למדעי המחשב תרגולים

מתרגלת: שירה גילת סמסטר א 2017 תשע"ז

מבוא לאלגברה ליניארית

Transcript:

הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין את המושג קבוצה כאוסף של עצמים (במובן הכללי ביותר של מילה זו) שנקראים איברים של קבוצה. לדוגמה: {שולחן α,. A = { 1, 3, 4, 7, 12, 36}, B = {a, 7, האות A מסמנת קבוצה עם איברים 1,3,4,7,12,36. כפי שניתן לראות, משתמשים בסוגריים } { לרישום קבוצה, איברים של קבוצה בין הסוגריים, מופרדים זה מזה על-ידי פסיקים. A 4 מסמן את העובדה שהמספר 4 הוא איבר של הקבוצה. A העובדה שהמספר 25 הוא איננו איבר של קבוצה, A רושמים בצורה A 25. איברי קבוצה יכולים להיות גם קבוצות, לדוגמה:. C = { 12, A, β, x}. 12 C, A C, β C, במפורט: x C מוסכם כי כל איבר בקבוצה, גם אם הוא נרשם בה יותר מפעם אחת, "נחשב" רק פעם אחת, לדוגמה: איברי הקבוצה M = {, 7 a,,, 7 71213,, a, 13},a,7 ו- 13. כלומר הם 12. M = {, 7 a, 12, 13} כאמור, אנחנו איננו יכולים להגדיר את המושג קבוצה. אבל ניתן להגדיר קבוצה מסוימת. כל קבוצה מסוימת נקבעת על-ידי אוסף של עצמים. קבוצה S מוגדרת (נתונה), כאשר ניתן להחליט, עבור כל x ה, אם x S או x S אנו מניחים, כמובן, שעבור כל x מתקיימת אחת, ורק אחת, משתי האפשרויות: או x S או. x S דרך אחת להגדיר קבוצה מסוימת, היא על-ידי רשימת כל איבר בין סוגריים } }. זה לא תמיד נוח ולפעמים בלתי אפשרי. למשל, נתבונן קבוצה T, שאיבריה הם המספרים השלמים החיוביים, הגדולים או שווים ל- 7 וגם קטנים או שווים ל- 000.,1000,000 שיטה אחרת היא על-ידי ציון תכונה משתפת של איבריה שמאפשרת להחליט עבור כל x אם הוא איבר של קבוצה או לא. במקרה של הקבוצה T אפשר לעשות זאת כך: 000, 1000, x 7, או T היא קבוצת כל המספרים השלמים, המקיימים את אי שוויון 000 בקיצור. T = { x : 7 x 1000.000.000} דוגמה לקבוצות אינסופיות: N = {: x מספר שלם וחיובי x} או כך:. N = { 12,,...} במשך קורס זה, קבוצת המספרים הטבעים תופיע לעתים קרובות מאוד. האות N תישמר אך ורק לסימון קבוצה זו. אפשר לרשום את הקבוצה T על-ידי הקבוצה N כך:. T = { x N: 7 x 1000. 000. 000} הקבוצה x} מספר ממשי R = {: x היא דוגמה נוספת של קבוצות אינסופית.

במקרה של קבוצות אינסופית, אין אפשרות לרשום את כל איברי הקבוצה במפורש. הגדרה אפשרית היא רק הגדרה באמצעות תכונה מסוימת, שרק איברי הקבוצה ורק הם מקיימים אותה. α β )α סימן גרירה : בקורס זה נשתמש לעתים קרובות בשני סימנים ו- (α α β גורר β) פירושו: אם α מתקיים, גם β מתקיים. סימן גרירה הדו-כווני : אם ורק אם ( β פירושו: α מתקיים אם ורק אם β מתקיים, כלומר: α β ו- β α. α גוררים β α ו- α β לסיכום: β. או בכתיבה זו:.( a b) ( b ו- a a b) דוגמאות: 2 ; x = 5 x = 25 ; x 2 = 4 ו- x 0 x = 2. a ו- b b c a c סימנים לכול וקיים.." a הביטוי "לכול " a A נסמן A" הביטוי "קיים " b B נסמן b B"." הגדרה 1.1. שתי קבוצותA ו - B שוות זו לזו, אם ורק אם יש להן בדיוק אותם איברים: x כלשהו הוא איבר של A אם ורק אם הוא איבר של B, כלומר A = B { x A x B}. תת-קבוצה. הגדרה 1.2. נאמר שהקבוצה -A היא תת-קבוצה של הקבוצה (A B, היא קבוצה חלקית של B, או A מוכלת ב- B ) אם ורק אם כל איבר של A הוא גם איבר של, B כלומר, כאשר. x A x B פירושו: עבור כל x, אם x A אז. x B במילים אחרות, אם x הוא איבר של הקבוצה, A אז הוא איבר של הקבוצה B. את העובדה נסמן כך:. A B מהגדרת התת-קבוצה נובע, כי עבור כל קבוצה A מתקיים:, A A כלומר, כל קבוצה היא תת-קבוצה של עצמה. קשר בין הגדרת התת-קבוצה והגדרת השוויון של קבוצות הוא:. A = B A B - ו B A אם, A B אבל, A B אומרים ש A היא תת-קבוצה אמיתית של B, ומסמנים זאת. A B דוגמה: תהי },., abcd. A = {. a A; a { a};{ a} A;{ a} A,{ ab, } A 2

דיאגרמות של ון מתקיים A. הגדרה 1.3. הקבוצה הריקה היא הקבוצה שאין בה איברים. מסמנים את הקבוצה הריקה ב -. עבור כל קבוצה A יש לשים לב, ש- } {., A של (Power set) הגדרה 1.4. קבוצת כל התת-קבוצות של קבוצה A נקראת קבוצת החזקה והיא מסומנת ב- (A. )P דוגמה: עבור },, abc : A = { P( A) = {,{ a},{ b},{ c},{ a, b},{ a, c},{ b, c},{ a, b, c}}. 1.3. איחוד קבוצות וחיתוך קבוצות., A B הוא קבוצה המוגדרת על-די: הגדרה 1.5. האיחוד של שתי קבוצות A ו- B, המסומן ב-. A B = {: x x A או x B} כלומר,. x A B x A או x B} תכונות האיחוד : A B = B A קומוטטיביות :. ( A B) C = A ( B C) אסוצאטיביות :. A A = A אידמפוטנטיות:. A = A איחוד עם הקבוצה הריקה: 3

נוכיח, לדוגמה, את אסוצאטיביות האיחוד. לדוגמה, נוכיח את תכונה 2. משפט. ) C ( A B ) C = A ( B הוכחה: B). x ( A מהגדרת האיחוד נובע, כי x A B או. x C אם, x C אזי יהי C, x B C ולכן C). x A ( B אם, x A B אזי או, x A או, x B ולכן גם B) x ( A גורר C). x A ( B כלומר, C בכל המקרים הראינו, ש-. x A ( B C).( A B) C A ( B C) באותו אופן מוכיחים את הכללה בכיוון ההפוך:. A ( B C) ( A B) C שתי ההכלות גורות השוויון:.( A B) C = A ( B C) לכן.( A B) C = A ( B C) האסוצאטיביות של האיחוד מאפשרת לרשום איחוד של קבוצות, A 1, A 2,..., A n ללא שימוש בסוגריים:. B = A1 A2... A n, A B הוא הקבוצה המוגדרת על-די: הגדרה 1.6. החיתוך של שתי קבוצות A ו- B, המסומן ב-, A B = {: x x A ו- x B} כלומר,. x A B { x A ו- x B} תכונות החיתוך: 4

. A B = B A.( A B) C = A ( B C). A A = A.. A = קומוטטיביות: אסוצאטיביות: אידמפוטנטיות: איחוד אם הקבוצה הריקה: האסוצאטיביות של החיתוך מאפשרת לרשום חיתוך של קבוצות, A 1, A 2,..., A n ללא שימוש בסוגריים:. B = A1 A2... A n הדיסטריביטיביות של החיתוך מעל האיחוד:. A ( B C) = ( A B) ( A C) הדיסטריביטיביות של האיחוד מעל החיתוך:. A ( B C) = ( A B) ( A C) שני שיוויונים חשובים: ; A ( A B) = A. A ( A B) = A הגדרה 1.7.1. קבוצה A נקראת קבוצה סופית, אם יש בה מספר סופי של איברים. נסמן ב- A מספר האיברים של הקבוצה. 5

(1.1) משפט 1.7.2..A B= A+ B A B A B O O O O O O A O O O O O B O O O O O O O O O 6