‫مر‬ ‫ا و‬

‫ت‬ ‫ت وا‬ ‫درس ا‬

‫اﻟﻤﺠﻤﻮﻋﺎت و اﻟﺘﻄﺒﻴﻘﺎت‬
‫و ت‬ ‫ا‬

‫‪.‬‬ ‫أو‬ ‫ر د ‪ ،‬وا‬ ‫ر د أو‬ ‫ء أو‬ ‫ھ‬ ‫و‬ ‫• ا‬

‫و‬ ‫)‬ ‫رھ‬ ‫!ن‬ ‫‪ %‬أو '‬ ‫ر& ! ‪ %‬ل ( أو !ذ ر‬ ‫و‬ ‫رھ )‬ ‫!ذ ر‬ ‫و‬ ‫نو ف‬
‫ر& !*دراك (‪.‬‬
‫{ }‪{x ∈ ℝ / x − 2 ≤ 7} {0,1‬‬ ‫أ‪ .‬ر ‪ ،‬أ‪-‬ود‬ ‫}‬ ‫‪{0,1,2,.........} = ℕ‬‬ ‫‪,‬ل‪:‬‬
‫&ر و ر ز ‪ 1‬ب‪∅ :‬‬ ‫و‬ ‫رو ‪/ -‬‬ ‫نا‬ ‫و‬ ‫د ون‬ ‫•‬
‫‪ E‬و ر ز ب ‪ . & x ∉ E‬ا س‪.‬‬ ‫و‬ ‫‪4‬‬ ‫ر‬ ‫ر ز ب ‪ x ∈ E‬إذا ن ‪x‬‬ ‫•‬
‫&‬
‫ا ‪ 6‬ن‬

‫ر ن ‪ F‬أو ! ! ر ر ‪: 6‬‬ ‫ر ن ‪ E‬ھو أ ‪6‬‬ ‫‪7‬ول أن ‪ 6 E‬ن ‪ F‬و ب ‪ E ⊂ F‬إذا ن ل‬

‫‪ ( ∀x ∈ E ) : x ∈ F‬و ‪7‬ول ذ ك أن ‪ E‬زء ن ‪F‬‬

‫ل و ‪ E‬د ‪ E ⊂E :‬و ‪∅⊂E‬‬ ‫•‬

‫ن ‪ A‬و ‪ B‬و ‪', C‬ث و ت ‪ ،‬د ‪B ⊂ C ) ⇒ A ⊂ C :‬و‪( A ⊂ B‬‬ ‫•‬

‫ا ‪ -‬وي‬

‫&‪x ∈ E ⇔ x ∈ F :‬‬ ‫&‪ E ⊂ F :‬و ‪F ⊂ E‬‬ ‫‪E =F‬‬

‫أ زاء ‪E‬‬ ‫و‬

‫أ زاء ‪E‬‬ ‫ن‬ ‫و‬ ‫ا‬ ‫و‬ ‫وھ ا‬ ‫ر ز ‪ 1‬ب ‪P (E ) :‬‬

‫‪ ,‬ل ‪P ( E ) = {∅,{1} ,{2} ,{3} ,{1,2} ,{1,3} ,{2,3} ,{1,2,3}} E = {1,2,3} :‬‬

‫‪1/6‬‬ ‫‪Math.ma – 2/2017‬‬

 ‫مر‬ ‫ا و‬
‫ت‬ ‫ت وا‬ ‫درس ا‬

‫و‬ E ‫ن‬
A ⊂ E ⇔ A ∈P (E ) •
E ∈P (E ) ‫∈ ∅ و‬P (E ) •

‫و‬

A ⊂ E ‫إذا ن‬
C = {x ∈ E / x ∉ A } :
A
E E & A / - A ‫ل‬ ; ‫ ا‬E ‫ر‬ ‫و‬
A ‫ أو‬E \ A : ‫ ذ ك ب‬1 ‫و ر ز‬

A =A •
A ⊂B ⇔B ⊂A •
∅
C E = E ‫ و‬C EE = ∅ •

‫ د‬. <‫ا‬

E ‫ ن‬6‫و ن‬ B ‫و‬A ‫ن‬

A ∪ B = {x ∈ E / x ∈ A ‫أو‬x ∈ B}

2/6 Math.ma – 2/2017

 ‫مر‬ ‫ا و‬
‫ت‬ ‫ت وا‬ ‫درس ا‬

E ‫و‬ ‫ أ زاء ن ا‬,', C ‫ و‬B ‫ و‬A ‫ن‬

B ⊂ A ∪B ‫ و‬A ⊂ A ∪B •
A ∪B = B ∪A ‫ و‬A ∪∅ = A ‫ و‬A ∪A = A •
( A ∪ B ) ∪C = A ∪ ( B ∪C ) •
A ∪B = A ⇔ B ⊂ A •

‫ط‬7 ‫ا‬

E ‫ ن‬6‫و ن‬ B ‫و‬A ‫ن‬

A ∩ B = {x ∈ E / x ∈ A ‫و‬x ∈ B}

E ‫و‬ ‫ أ زاء ن ا‬,', C ‫ و‬B ‫ و‬A ‫ن‬

A ∩B ⊂ B ‫ و‬A ∩B ⊂ A •
A ∩B ⊂ A ∪B •
A ∩B = B ∩A ‫ و‬A ∩∅ = ∅ ‫ و‬A ∩A = A •
( A ∩ B ) ∩C = A ∩ ( B ∩C ) •
A ∩B = A ⇔ A ⊂ B •

3/6 Math.ma – 2/2017

 ‫مر‬ ‫ا و‬
‫ت‬ ‫ت وا‬ ‫درس ا‬

‫ن‬ ‫و‬ ‫&رق‬

‫و‬
‫‪E‬‬ ‫ن ‪ A‬و ‪ B‬زأ ن ن ا‬
‫إ‪ B /‬و ر ز ?ب‪:‬‬ ‫إ‪ A /‬و;‬ ‫ر ن ‪ E‬ا‬ ‫و ا‬ ‫و ن ‪ A‬و ‪ & B‬ھذا ا ر ب ھو‬ ‫&رق ا‬
‫‪ A \ B‬و د ‪x ∉ B } :‬و ‪A \ B = {x ∈ E / x ∈ A‬‬

‫‪A \ B = A ∩ C EB‬‬ ‫•‬

‫) ‪A = (A \ B ) ∪ (A ∩ B‬‬ ‫•‬
‫• ا ‪%‬رق ا ‪A ∆B = ( A \ B ) ∪ ( B \ A ) : 4,‬‬

‫ا داء ا د ر‬

‫ن‬ ‫و‬ ‫ن ‪E‬و ‪F‬‬

‫ا زواج ) ‪ . ( x , y‬ث ‪ x ∈ E‬و ‪y ∈ F‬‬ ‫و‬ ‫ل ‪ E‬و ‪ F‬ر ز ? ب ‪ E × F :‬و ھو‬ ‫ا داء ا د ر‬
‫‪,‬ل‪:‬‬
‫}‪y ∈ ℝ‬و‪ℝ = ℝ × ℝ = {( x , y ) / x ∈ ℝ‬‬
‫‪2‬‬

‫‪[1,4] × ℝ = {( x , y ) /1 ≤ x‬‬ ‫}‪y ∈ ℝ‬و‪≤ 4‬‬

‫‪4/6‬‬ ‫‪Math.ma – 2/2017‬‬

 ‫مر‬ ‫ا و‬
‫ت‬ ‫ت وا‬ ‫درس ا‬

‫ا ط! ‪ 7‬ت‬

‫ر و‪ .‬د ) ‪ y = f ( x‬ن ‪F‬‬ ‫را ‪ x‬ن ‪! E‬‬ ‫ر!ط‬ ‫ط! ق ‪ f : E → F‬ل '‬ ‫‪-‬‬

‫‪ -‬وي ط! ‪ 7‬ن‬

‫ن‬ ‫ط‬ ‫ن ‪ f :E → F‬و ‪g :E → F‬‬

‫‪( ∀x ∈ E ) f ( x ) = g ( x ) ⇔ f = g‬‬

‫‪ 4‬ط! ق ‪f : E → F‬‬ ‫ا ‪,‬لا !‬

‫{‬
‫‪Γf = ( x , f ( x )) ∈ E × F / x ∈ E‬‬ ‫}‬
‫ر ب ط! ‪ 7‬ن‬

‫ن ‪ f : E → F‬و ‪ g : F → G‬إذن ‪ g f : E → G‬ھو ا ط! ق ا رف ب ‪g f ( x ) = g ( f ( x ) ) :‬‬

‫‪g‬‬
‫‪f → F ‬‬
‫‪g f : E ‬‬ ‫‪→G‬‬

‫ا ط! ق ا ط !ق‬

‫‪Id E : E‬‬ ‫‪→ E‬‬

‫‪x‬‬ ‫‪→ x‬‬

‫ورة ا ‪-‬‬ ‫ورة ا ! رة – ا‬ ‫ا‬

‫ن ‪ A ⊂ E‬و ن ا ط! ق ‪f : E → F‬‬
‫‪f ( A ) = {f ( x ) / x ∈ A } : 4‬‬ ‫ر& !‬ ‫ا ورة ا ! رة ل ‪ ! A‬ط! ق ‪ f‬ر ز ‪ 1‬ب ‪ f ( A ) :‬و ھ‬

‫‪:‬‬ ‫‪ ، E‬د‬ ‫و‬ ‫ن ‪ f‬ط! ‪ 7‬ن ‪. E‬و ‪ F‬و ‪ A‬و ‪ B‬زأ ن ن ا‬

‫• ‪f (A ) ⊂ F‬‬
‫) ‪A ⊂ B ⇒ f (A ) ⊂ f (B‬‬ ‫•‬

‫‪5/6‬‬ ‫‪Math.ma – 2/2017‬‬

 ‫مر‬ ‫ا و‬
‫ت‬ ‫ت وا‬ ‫درس ا‬

f (A ∪ B ) = f (A ) ∪ f (B ) •
f (A ∩ B ) ⊂ f (A ) ∩ f (B ) •

‫ ول‬B ⊂F ‫ن‬
f : E → F ‫ن ا ط! ق‬
f −1
( B ) = {x ∈ E / f ( x ) ∈ B } : 4 ! &‫ر‬ ‫ و ھ‬f ( B ) : ‫ ب‬1 ‫ ر ز‬f ‫ ! ط! ق‬B ‫ ل‬- ‫ا ورة ا‬
−1

: ‫ د‬، E ‫و‬ ‫ زأ ن ن ا‬B ‫ و‬A ‫ و‬F ‫و‬. E ‫ ن‬7 !‫ ط‬f ‫ن‬

f −1 ( B ) ⊂ E •
A ⊂B ⇒f −1
( A ) ⊂ f −1 ( B ) •
f −1
(A ∪ B ) = f −1
( A ) ∪ f −1 ( B ) •
f −1
(A ∩ B ) ⊂ f −1
( A ) ∩ f −1 ( B ) •

4! 7 ‫– ط! ق‬ ‫و‬ ‫– ط! ق‬ ! ‫ط! ق‬

f : E → F ‫و ن و ن ا ط! ق‬ F ‫و‬E ‫ن‬
( ∀ ( a,b ) ∈ E )
2
 f ( a ) = f (b ) ⇒ a = b  ⇔ ! f
( f (E ) = F ) ( ∀y ∈ F )( ∃x ∈ E ) : y = f ( x ) ⇔ ‫و‬ f
( ‫و‬ ‫و‬ ! f ) ( ∀y ∈ F )( ∃!x ∈ E ) : y = f ( x ) ⇔ ‫ !ل‬7 f

−1
: ‫ ن‬77. f - ‫? ا‬4! 7 ‫ !ل &* ? و‬7 f ‫إذا ن‬
−1 −1
f f = Id E ‫و‬ f f = Id F

‫ ن‬4! 7 ‫ ن‬7 !‫ ط‬g : F → G ‫ و‬f : E → F ‫ن‬

(g )
−1
f = g −1 f −1
: ‫ !ل و د‬7 g f ‫ا ط! ق‬

6/6 Math.ma – 2/2017