‫ﺍﻟﻔﺼﻞ ﺍﻟﺜﺎﻣﻦ‬

‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴّﺔ‬

‫ﺛﻨﻮي ﻓﻀﺎء ﺷﻌﺎﻋﻲ‬ ‫‪.1‬‬

‫ﻛﻞ‬ ‫‪ .1-1‬ﺗﻌﺮﻳﻒ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً ﻋﻠﻰ ﺣﻘﻞ ‪ ، K‬ﻧﻔﱰﺿﻪ ﳐﺘﻠﻔﺎً ﻋﻦ }‪ّ . {0‬‬
‫ﻧﺴﻤﻲ ‪‬‬
‫ﺗﻄﺒﻴﻖ ﺧﻄﻲ ﻣﻦ ‪ E‬إﱃ ‪ K‬ﺷﻜﻼً ﺧﻄﻴﺎً ﻋﻠﻰ ‪ . E‬وﻧﺮﻣﺰ ﺑﺎﻟﺮﻣﺰ ∗ ‪ E‬إﱃ اﻟﻔﻀﺎء اﻟﺸﻌﺎﻋﻲ‬
‫اﻟﺜﻨﻮي‬
‫ّ‬ ‫وﻧﺴﻤﻲ ∗ ‪ E‬اﻟﻔﻀﺎء اﻟﺸﻌﺎﻋﻲ‬
‫)‪ L(E , K‬؛ أي ﻓﻀﺎء اﻷﺷﻜﺎل اﳋﻄﻴﺔ ﻋﻠﻰ ‪ّ . E‬‬
‫ﻟﻠﻔﻀﺎء ‪ . E‬وأﺧﲑاً أﻳّﺎً ﻛﺎن ‪ f‬ﻣﻦ ∗ ‪ ، E‬و ‪ x‬ﻣﻦ ‪ E‬ﻧﺮﻣﺰ ﺑﺎﻟﺮﻣﺰ ‪ f , x‬إﱃ اﳌﻘﺪار‬
‫) ‪. f (x‬‬

‫‪ .2-1‬ﺗﻌﺮﻳﻒ‪.‬‬
‫
أﻳّﺎً ﻛﺎن ‪ x‬ﻣﻦ ‪ E‬ﻧﻌ‪‬ﺮف‬
‫} ‪x ⊥ = {y ∈ E ∗ : y, x = 0‬‬
‫ﻧﺴﻤﻴﻪ اﻟﻔﻀﺎء اﻟﻌﻤﻮدي ﻋﻠﻰ ‪ x‬ﰲ ∗ ‪. E‬‬
‫إ ّن ‪ x‬ﻓﻀﺎء ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ ﻣﻦ ‪ّ E‬‬
‫∗‬ ‫⊥‬

‫ﻧﻌﺮف‪:‬‬
‫ وﺑﻮﺟﻪ ﻋﺎم أﻳّﺎً ﻛﺎﻧﺖ ا‪‬ﻤﻮﻋﺔ اﳉﺰﺋﻴّﺔ ﻏﲑ اﳋﺎﻟﻴﺔ ‪ A‬ﻣﻦ ‪ّ ، E‬‬
‫‪A⊥ = { y ∈ E ∗ : ∀a ∈ A,‬‬ ‫= } ‪y, a = 0‬‬ ‫⊥‪∩ a‬‬
‫‪a ∈A‬‬

‫ﺴﻤﻴﻪ اﻟﻔﻀﺎء اﻟﻌﻤﻮدي ﻋﻠﻰ ‪ A‬ﰲ ∗ ‪. E‬‬

‫إ ّن ‪ A‬ﻓﻀﺎء ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ ﻣﻦ ‪ E‬ﻧ ّ‬
‫∗‬ ‫⊥‬

‫ ﺑﺄﺳﻠﻮب ﳑﺎﺛﻞ‪ ،‬أﻳّﺎً ﻛﺎن ‪ y‬ﻣﻦ ∗ ‪ ، E‬ﻧﻌ‪‬ﺮف‬

‫‪y  = { x ∈ E : y, x = 0 } = ker y‬‬
‫اﻟﺸﻌﺎﻋﻲ اﳉﺰﺋﻲ اﻟﻌﻤﻮدي ﻋﻠﻰ ‪ y‬ﰲ ‪. E‬‬
‫ّ‬ ‫ﻧﺴﻤﻲ  ‪ y‬اﻟﻔﻀﺎء‬
‫ّ‬
‫ﻧﻌﺮف‬
‫ وﻛﺬﻟﻚ‪ ،‬أﻳّﺎً ﻛﺎﻧﺖ ا‪‬ﻤﻮﻋﺔ اﳉﺰﺋﻴّﺔ ﻏﲑ اﳋﺎﻟﻴﺔ ‪ B‬ﻣﻦ ‪ّ ، E‬‬
‫∗‬

‫‪B  = { x ∈ E : ∀y ∈ B,‬‬ ‫= } ‪y, x = 0‬‬ ‫‪∩ ker y‬‬

‫‪y ∈B‬‬

‫اﻟﺸﻌﺎﻋﻲ اﳉﺰﺋﻲ اﻟﻌﻤﻮدي ﻋﻠﻰ ‪ B‬ﰲ ‪. E‬‬

‫ّ‬ ‫وﻧﺴﻤﻲ  ‪ B‬اﻟﻔﻀﺎء‬
‫ّ‬

‫‪89‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪90‬‬

‫ وأﺧﲑاً إذا ﻛﺎﻧﺖ ‪ A‬ﳎﻤﻮﻋﺔ ﺟﺰﺋﻴﺔ ﻏﲑ ﺧﺎﻟﻴﺔ ﻣﻦ ‪ ، E‬و ‪ B‬ﳎﻤﻮﻋﺔ ﺟﺰﺋﻴﺔ ﻏﲑ ﺧﺎﻟﻴﺔ ﻣﻦ‬
‫ﻛﻮن‬
‫‪ E‬ﻓﺈﻧﻨﺎ ﻧﻘﻮل إ ّن ‪ A‬و ‪ B‬ﻣﺘﻌﺎﻣﺪﺗﺎن إذا وﻓﻘﻂ إذا ﻛﺎن ‪ . B ⊂ A‬وﻫﺬا ﻳﻜﺎﻓﺊ ْ‬
‫⊥‬ ‫∗‬

‫ ‪ A ⊂ B‬أو ‪. ∀a ∈ A, ∀b ∈ B, b, a = 0‬‬

‫‪ .3-1‬ﻣﻼﺣﻈﺎت‬
‫ﻣﻦ اﻟﻮاﺿﺢ أ ّن }‪. E ⊥ = {0‬‬ ‫‬

‫ﺻﺔ ﰲ اﳊﺎﻟﺔ اﻟﱵ ﻳﻜﻮن ﻓﻴﻬﺎ‬‫وﻛﺬﻟﻚ ﻳﻜﻮن }‪ ، (E ) = {0‬إﻻ أ ّن إﺛﺒﺎت ﻫﺬﻩ اﳋﺎ ّ‬
‫ ∗‬
‫‬

‫∞‪ dim E = +‬ﻳﺘﻄﻠﺐ ﻣﻮﺿﻮﻋﺔ اﻻﺧﺘﻴﺎر‪ ،‬وﺳﻨﺮى ﻻﺣﻘﺎً إﺛﺒﺎﺗﺎً ﳍﺬﻩ اﳋﺎﺻﺔ ﰲ‬
‫ﺣﺎﻟﺔ ∞‪. dim E < +‬‬

‫‪ .4-1‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً‪ ،‬ﳐﺘﻠﻔﺎً ﻋﻦ }‪ ، {0‬ﻋﻠﻰ ﺣﻘﻞ ‪ . K‬ﻋﻨﺪﺋﺬ‬

‫‪ .1‬أﻳّﺎً ﻛﺎن اﳉﺰءان ﻏﲑ اﳋﺎﻟﻴﲔ ‪ A‬و ‪ B‬ﻣﻦ ‪ ، E‬ﻛﺎن ⊥‪. A ⊂ B ⇒ B ⊥ ⊂ A‬‬
‫‪ .2‬أﻳّﺎً ﻛﺎن اﳉﺰء ﻏﲑ اﳋﺎﱄ ‪ A‬ﻣﻦ ‪ ، E‬ﻛﺎن ⊥))‪ A⊥ = (vect(A‬و ) ⊥‪. A ⊂ (A‬‬
‫‪ .3‬أﻳّﺎً ﻛﺎن اﳉﺰءان ﻏﲑ اﳋﺎﻟﻴﲔ ‪ A‬و ‪ B‬ﻣﻦ ∗ ‪ ، E‬ﻛﺎن ‪. A ⊂ B ⇒ B  ⊂ A‬‬
‫‪ .4‬أﻳّﺎً ﻛﺎن اﳉﺰء ﻏﲑ اﳋﺎﱄ ‪ A‬ﻣﻦ ∗ ‪ ، E‬ﻛﺎن ))‪ A = (vect(A‬و ⊥) ‪. A ⊂ (A‬‬
‫اﻹﺛﺒﺎت‬
‫‬ ‫إﺛﺒﺎت ﻫﺬﻩ اﳋﻮاص ﺑﺴﻴﻂ وﻣﱰوك ﲤﺮﻳﻨﺎً ﻟﻠﻘﺎرئ‪.‬‬

‫‪ .5-1‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً‪ ،‬ﳐﺘﻠﻔﺎً ﻋﻦ }‪ ، {0‬ﻋﻠﻰ ﺣﻘﻞ ‪ . K‬وﻟﻴﻜﻦ ‪ H‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً‬
‫ﺟﺰﺋﻴﺎً ﻣﻦ ‪ . E‬ﻫﻨﺎك ﺗﻜﺎﻓﺆ ﺑﲔ اﳋﻮاص اﻵﺗﻴﺔ ‪:‬‬
‫
ﲤﺎم ﺑُﻌﺪ ‪ H‬ﻳﺴﺎوي ‪ 1‬؛ أي ‪. codimE H = 1‬‬
‫ اﻟﻔﻀﺎء اﳉﺰﺋﻲ ‪ H‬ﻫﻮ ﻧﻮاة ﺷﻜﻞ ﺧﻄﻲ ﻏﲑ ﻣﻌﺪوم‪.‬‬
‫ ﻳﻮﺟﺪ ﻣﺴﺘﻘﻴﻢ ﺷﻌﺎﻋﻲ ‪ ) D‬أي ﻓﻀﺎء ﺟﺰﺋﻲ ﺑﻌﺪﻩ ‪ُ (1‬ﳛ ّﻘﻖ ‪. H ⊕ D = E‬‬
‫‪91‬‬ ‫اﻟﺜﻨﻮﻳﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ اﻟﻤﻨﺘﻬﻴﺔ اﻟﺒُﻌﺪ‬

‫اﻹﺛﺒﺎت‬
‫
⇐  ﻟ ّـﻤﺎ ﻛﺎن ‪ ، dim E /H = dim K = 1‬ﻳﻮﺟﺪ ﺗﺸﺎﻛﻞ ﺧﻄﻲ ﺗﻘﺎﺑﻠﻲ ‪:‬‬
‫‪θ : E /H → K‬‬
‫ﻟﻴﻜﻦ ‪ Q : E → E /H‬اﻟﻐﻤﺮ اﻟﻘﺎﻧﻮﱐ‪ .‬ﻋﻨﺪﺋﺬ ﻳﻜﻮن اﻟﺘﻄﺒﻴﻖ ‪ f = θ  Q‬ﺷﻜﻼً ﺧﻄﻴﺎً ﳛ ‪‬ﻘﻖ‬
‫‪ ، H = ker f‬وﺑﺎﻟﻄﺒﻊ ‪ f ≠ 0‬ﻷ ّن ‪. E ≠ H‬‬
‫ﻏﺎﻣﺮ ﻷﻧّﻪ ﻏﲑ‬
‫ ⇐  ﻟﻨﻔﱰض أ ّن ‪ ، H = ker f‬و ‪ f‬ﺷﻜﻞ ﺧﻄّﻲ ﻣﻦ }‪ . E \{0‬إ ّن ‪ٌ f‬‬
‫∗‬

‫ﻋﻨﺼﺮ ‪ b‬ﰲ ‪ُ E‬ﳛ ّﻘﻖ ‪ . f , b = 1‬ﻟﻨﻀﻊ ‪. D = Kb‬‬‫ﺻﻔﺮي‪ ،‬إذن ﻳﻮﺟﺪ ٌ‬

‫ إذا ﻛﺎن ‪ x‬ﻋﻨﺼﺮاً ﻣﻦ ‪ D ∩ H‬ﻛﺎن ‪ x = λb‬ﺣﻴﺚ ‪ ، λ ∈ K‬وﻛﺎن ‪، f , x = 0‬‬
‫وﻣﻦ َﰒّ ‪ . λ = λ f , b = 0‬ﻳﻨﺘﺞ ﻣﻦ ذﻟﻚ أ ّن ‪ x = 0‬وﻣﻨﻪ }‪. D ∩ H = {0‬‬
‫ ﻣﻦ ﺟﻬﺔ أﺧﺮى‪ ،‬أﻳّﺎً ﻛﺎن ‪ x‬ﻣﻦ ‪ E‬ﻛﺎن‬
‫‪x = f,x ⋅ b + x − f,x ⋅ b‬‬
‫ ‬
‫‪∈D‬‬ ‫‪∈H‬‬

‫إذن ‪. E = H ⊕ D‬‬
‫ ⇐
ﻟﻴﻜﻦ ‪ P‬اﻹﺳﻘﺎط ﻋﻠﻰ ‪ D‬ﺗﻮازﻳﺎً ﻣﻊ ‪ . H‬إ ّن ‪ H = ker P‬و ‪، D = Im P‬‬
‫ﺧﻄﻲ ﺑﲔ ‪ E /H = E /ker P‬و ‪ . Im P‬إذن‬ ‫ﺗﻘﺎﺑﻞ ّ‬
‫وﻣﻦ َﰒّ ﻫﻨﺎك ٌ‬
‫‪codimE H = dim E /H = dim D = 1‬‬
‫‬ ‫وﺑﺬا ﻳﻜﺘﻤﻞ اﻹﺛﺒﺎت‪.‬‬

‫ﻧﺴﻤﻲ ﻣﺴﺘﻘﻴﻤﺎً ﰲ ‪ E‬ﻛﻞ ﻓﻀﺎء ﺷﻌﺎﻋﻲ‬

‫‪ .6-1‬ﺗﻌﺮﻳﻒ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻋﻠﻰ ﺣﻘﻞ ‪ّ . K‬‬
‫وﻧﺴﻤﻲ ﻣﺴﺘﻮﻳﺎً ﰲ ‪ E‬ﻛﻞ ﻓﻀﺎء ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ ‪ P‬ﺑﻌﺪﻩ ‪ 2‬ﰲ‬
‫ﺟﺰﺋﻲ ‪ D‬ﺑﻌﺪﻩ ‪ 1‬ﰲ ‪ّ . E‬‬
‫ﺋﻲ ‪ H‬ﲤﺎم ﺑﻌﺪﻩ ﰲ ‪E‬‬ ‫‪ . E‬وأﺧﲑاً ﻧﺴﻤﻲ ﻣﺴﺘﻮﻳﺎً ﻓﻮﻗﻴﺎً ﰲ ‪ E‬ﻛﻞ ٍ‬
‫ﺷﻌﺎﻋﻲ ﺟﺰ ‪‬‬
‫‪‬‬ ‫ﻓﻀﺎء‬ ‫ُ ّ‬
‫ﻳﺴﺎوي ‪. 1‬‬

‫‪ .7-1‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً‪ ،‬ﳐﺘﻠﻔﺎً ﻋﻦ }‪ ، {0‬ﻋﻠﻰ ﺣﻘﻞ ‪ . K‬وﻟﻴﻜﻦ ‪ H‬ﻣﺴﺘﻮﻳﺎً‬

‫ﻓﻮﻗﻴﺎً ﰲ ‪ . E‬ﻋﻨﺪﺋﺬ ﻳﻜﻮن ⊥ ‪ H‬ﻣﺴﺘﻘﻴﻤﺎً ﺷﻌﺎﻋﻴﺎً ﰲ ∗ ‪. E‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪92‬‬

‫اﻹﺛﺒﺎت‬
‫اﳋﻄﻲ ‪ y‬ﻏﺎﻣﺮ‪،‬‬
‫ّ‬ ‫ﻋﻨﺼﺮ ﻣﻦ }‪ . E ∗ \{0‬ﻷ ّن اﻟﺸﻜﻞ‬
‫ﻟﻨﻔﱰض أ ّن ‪ H = ker y‬ﺣﻴﺚ ‪ٌ y‬‬
‫ﻳﻮﺟﺪ ‪ a‬ﰲ ‪ُ E‬ﳛ ّﻘﻖ ‪. y, a = 1‬‬
‫ﻣﻦ ﺟﻬﺔ أوﱃ‪ ،‬ﻣﻦ اﻟﻮاﺿﺢ أ ّن ⊥ ‪ y ∈ H‬وﻣﻦ َﰒّ ⊥ ‪. Ky ⊂ H‬‬ ‫‬

‫وﻣﻦ ﺟﻬﺔ ﺛﺎﻧﻴﺔ‪ ،‬ﻟﻴﻜﻦ ‪ z‬ﻋﻨﺼﺮاً ﻣﻦ ⊥ ‪ ، H‬ﻋﻨﺪﺋﺬ ﻟ ّـﻤﺎ ﻛﺎن‬ ‫‬

‫‪∀x ∈ E , x = y , x a + x − y , x a‬‬
‫‬ ‫‬
‫‪∈ K ⋅a‬‬ ‫‪∈H‬‬

‫ﻛﺎن‬
‫) ‪∀x ∈ E , z, x = y, x z (a‬‬
‫‬ ‫ﺻﺤﺔَ اﳌﺴﺎواة ‪. H ⊥ = K ⋅ y‬‬
‫ﻳﺜﺒﺖ ّ‬
‫أو ‪ . z = z, a ⋅ y‬إذن ‪ ، z ∈ Ky‬وﻫﺬا ﻣﺎ ُ‬

‫‪ .8-1‬ﺗﻌﺮﻳﻒ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً‪ ،‬ﳐﺘﻠﻔﺎً ﻋﻦ } ‪ ، { 0‬ﻋﻠﻰ ﺣﻘﻞ ‪ . K‬وﻟﻴﻜﻦ ‪ y‬ﺷﻜﻼً‬

‫ﺧﻄﻴّﺎً ﻣﻦ } ‪ E \{ 0‬وﻟﻴﻜﻦ ‪ . H = ker y‬ﻋﻨﺪﺋﺬ ّ‬
‫ﻧﺴﻤﻲ اﳌﻌﺎدﻟﺔ ‪y, x = 0‬‬ ‫∗‬

‫اﻟﻔﻮﻗﻲ ‪ . H‬ذﻟﻚ ﻷ ّن ‪. x ∈ H ⇔ y, x = 0‬‬ ‫ّ‬ ‫ﻣﻌﺎدﻟﺔ اﳌﺴﺘﻮي‬

‫‪ .2‬ﻣﻨﻘﻮل ﺗﻄﺒﻴﻖ ﺧﻄّﻲ‬

‫‪ .1-2‬ﺗﻌﺮﻳﻒ‪ .‬ﻟﻴﻜﻦ ‪ E‬و ‪َ F‬‬

‫ﻓﻀﺎءﻳْﻦ ﺷﻌﺎﻋﻴّﲔ ﻋﻠﻰ ﺣﻘﻞ ‪ ، K‬وﻟﻴﻜﻦ ‪ u‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً ﻣﻦ ‪E‬‬
‫ﻧﻌﺮف اﻟﺘﻄﺒﻴﻖ اﳋﻄﻲ ‪ t u‬ﻣﻦ ) ∗ ‪ L(F ∗ , E‬ﻛﻤﺎ ﻳﻠﻲ‪:‬‬
‫ّ‬‫إﱃ ‪ F‬؛ أي ) ‪ّ . u ∈ L(E , F‬‬
‫‪t‬‬
‫‪u : F ∗ → E ∗, y ֏ t u(y ) = y  u‬‬

‫وﻧﺴﻤﻲ ‪ t u‬ﻣﻨﻘﻮل اﻟﺘﻄﺒﻴﻖ ‪ . u‬ﻻﺣﻆ أ ّن ‪:‬‬

‫ّ‬

‫‪∀x ∈ E , ∀y ∈ F ∗ ,‬‬ ‫‪t‬‬

‫‪u(y ), x‬‬ ‫) ‪= y, u(x‬‬ ‫‪F ∗ ,F‬‬
‫‪E ∗ ,E‬‬
‫‪93‬‬ ‫ﻣﻨﻘﻮل ﺗﻄﺒﻴﻖ ﺧﻄﻲ‬

‫‪ .2-2‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﺘﻜﻦ ‪ E‬و ‪ F‬و ‪ G‬ﺛﻼﺛﺔ ﻓﻀﺎءات ﺷﻌﺎﻋﻴّﺔ ﻋﻠﻰ ﺣﻘﻞ ‪. K‬‬
‫‪ .1‬إن اﻟﺘﻄﺒﻴﻖ ‪ ، Φ : L(E , F ) → L(F ∗ , E ∗ ), u ֏ t u‬ﺗﻄﺒﻴﻖ ﺧﻄّ ‪‬ﻲ وﻣﺘﺒﺎﻳﻦ‪.‬‬
‫‪ .2‬أﻳّﺎً ﻛﺎن ‪ u‬ﻣﻦ ) ‪ L(E , F‬و ‪ v‬ﻣﻦ ) ‪ ، L(F , G‬ﻛﺎن ‪. t (v  u ) = t u  t v‬‬
‫‪ .3‬ﻟﻴﻜﻦ ‪ ) I E‬ﻋﻠﻰ اﻟﺘﻮاﱄ ∗ ‪ (I E‬اﻟﺘﻄﺒﻴﻖ اﳌﻄﺎﺑﻖ ﻋﻠﻰ ‪ ) E‬ﻋﻠﻰ ∗ ‪ ، (E‬ﻋﻨﺪﺋﺬ ∗ ‪. t I E = I E‬‬
‫‪ .4‬إذا ﻛﺎن ‪ u‬ﻣﻦ ) ‪ L(E , F‬ﺗﻘﺎﺑﻼً ﻛﺎن ‪ t u‬ﺗﻘﺎﺑﻼً أﻳﻀﺎً وﻛﺎن ) ‪. ( t u )−1 = t (u −1‬‬
‫‪ .5‬إذا ﻛﺎن ‪ u‬ﻣﻦ ) ‪ L(E , F‬ﻛﺎن ⊥) ‪ . ker( t u) = (Im u‬وﻣﻦ َﰒ إذا ﻛﺎن ‪ u‬ﻏﺎﻣﺮاً ﻛﺎن‬
‫‪ t u‬ﻣﺘﺒﺎﻳﻨﺎً‪.‬‬
‫اﻹﺛﺒﺎت‬
‫‪ .1‬ﻟﻴﻜﻦ ‪ u‬و ‪ v‬ﻣﻦ ) ‪ L(E , F‬و ‪ λ‬ﻣﻦ ‪ . K‬ﻋﻨﺪﺋﺬ‪ ،‬أﻳّﺎً ﻛﺎن ) ‪ (x , y‬ﻣﻦ ∗ ‪ ، E × F‬ﻛﺎن‬

‫‪Φ(u + λv )(y ), x‬‬ ‫‪E ∗ ,E‬‬

‫=‬ ‫‪t‬‬
‫‪(u + λv )(y ), x‬‬
‫‪E ∗ ,E‬‬
‫) ‪= y,(u + λv )(x‬‬ ‫‪F ∗ ,F‬‬
‫) ‪= y, u(x ) + λv(x‬‬ ‫‪F ∗ ,F‬‬
‫) ‪= y, u(x‬‬ ‫‪F ∗ ,F‬‬
‫) ‪+ λ y, v(x‬‬ ‫‪F ∗ ,F‬‬
‫=‬ ‫‪t‬‬
‫‪u(y ), x‬‬ ‫‪+λ‬‬ ‫‪t‬‬
‫‪v(y ), x‬‬
‫‪E ∗ ,E‬‬ ‫‪E ∗ ,E‬‬
‫=‬ ‫‪t‬‬
‫‪u(y ) + λ v(y ), x‬‬
‫‪t‬‬
‫‪E ∗ ,E‬‬
‫‪= ( u + λ v )(y ), x‬‬
‫‪t‬‬ ‫‪t‬‬
‫‪E ∗ ,E‬‬
‫‪= (Φ(u ) + λΦ(v ))(y ), x‬‬ ‫‪E ∗ ,E‬‬

‫ﺧﻄﻲ‪.‬‬
‫ﻓﺎﻟﺘﻄﺒﻴﻖ ‪ّ Φ‬‬
‫وﻣﻦ ﺟﻬﺔ أﺧﺮى‪ ،‬اﻟﺘﻄﺒﻴﻖ ‪ Φ‬ﻣﺘﺒﺎﻳﻦ ﻷﻧّﻪ ﻟﺪﻳﻨﺎ ﺳﻠﺴﻠﺔ اﻻﻗﺘﺼﺎءات اﻵﺗﻴﺔ‪:‬‬
‫‪u ∈ ker Φ ⇒ ∀(x , y ) ∈ E × F ∗,‬‬ ‫) ‪y, u(x‬‬ ‫‪F ∗ ,F‬‬
‫‪=0‬‬
‫} ‪⇒ ∀x ∈ E , u(x ) ∈ (F ∗ ) = { 0‬‬
‫‪⇒ ∀x ∈ E , u(x ) = 0‬‬
‫‪⇒ u =0‬‬

‫اﳋﺎﺻﺔ ‪.1‬‬
‫وﻫﺬا ﻣﺎ ﻳﺜﺒﺖ ّ‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪94‬‬

‫‪ .2‬ﻟﻴﻜﻦ ‪ u‬ﻣﻦ ) ‪ L(E , F‬و ‪ v‬ﻣﻦ ) ‪ . L(F , G‬ﻋﻨﺪﺋﺬ‪ ،‬أﻳّﺎً ﻛﺎن ) ‪ (x , y‬ﻣﻦ ∗ ‪ ، E × G‬ﻛﺎن‬
‫ﻟﺪﻳﻨﺎ ﺳﻠﺴﻠﺔ اﳌﺴﺎوﻳﺎت اﻵﺗﻴﺔ‪:‬‬
‫‪t‬‬
‫‪(v  u )(y ), x‬‬ ‫) ‪= y, v  u(x‬‬
‫‪E ∗ ,E‬‬ ‫‪G ∗ ,G‬‬
‫)) ‪= y, v(u(x‬‬ ‫‪G ∗ ,G‬‬
‫=‬ ‫‪t‬‬
‫) ‪v(y ), u(x‬‬
‫‪F ∗ ,F‬‬
‫=‬ ‫‪t‬‬ ‫‪t‬‬
‫‪u( v(y )), x‬‬
‫‪E ∗ ,E‬‬
‫=‬ ‫‪t‬‬ ‫‪t‬‬
‫‪u  v(y ), x‬‬
‫‪E ∗ ,E‬‬

‫وﻣﻦ َﰒّ ‪. t (v  u ) = t u  t v‬‬

‫‪ .3‬واﺿﺢ ﻣﻦ اﻟﺘﻌﺮﻳﻒ‪.‬‬
‫‪ .4‬ﺗﻨﺘﺞ ﻫﺬﻩ اﳋﺎﺻﺔ ﻣﻦ أﺧﺬ اﳌﻨﻘﻮل ﰲ ﻃﺮﰲ اﳌﺴﺎواﺗﲔ ‪:‬‬
‫‪ u  u −1 = I F‬و ‪u −1  u = I E‬‬

‫ﻓﻨﺠﺪ اﻋﺘﻤﺎداً ﻋﻠﻰ ﻣﺎ ﺳﺒﻖ أ ّن‬

‫‪t‬‬
‫∗ ‪(u −1 )  t u = tI F = I F‬‬
‫‪t‬‬
‫∗ ‪u  t (u −1 ) = tI E = I E‬‬ ‫و‬
‫ﺗﻘﺎﺑﻞ و ) ‪. ( t u )−1 = t (u −1‬‬
‫ٌ‬
‫‪t‬‬
‫ﻓﺎﻟﺘﻄﺒﻴﻖ ‪u‬‬

‫اﳋﺎﺻﺔ ﻣﻦ اﻟﺘﻜﺎﻓﺆات اﻵﺗﻴﺔ‪:‬‬

‫‪ .5‬ﺗﻨﺠﻢ ﻫﺬﻩ ّ‬
‫‪f ∈ ker( t u ) ⇔ f  u = 0‬‬
‫‪⇔ ∀x ∈ E , f , u(x ) = 0‬‬
‫‪⇔ ∀y ∈ Im u, f , y = 0‬‬
‫⊥) ‪⇔ f ∈ (Im u‬‬

‫‬ ‫وﻣﻦ َﰒ إذا ﻛﺎن ‪ u‬ﻏﺎﻣﺮاًﻛﺎن ‪ t u‬ﻣﺘﺒﺎﻳﻨﺎً‪.‬‬

‫‪95‬‬ ‫اﻟﺜﻨﻮﻳﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ اﻟﻤﻨﺘﻬﻴﺔ اﻟﺒُﻌﺪ‬

‫‪ .3‬اﻟﺜّﻨﻮﻳﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴّﺔ اﻟﻤﻨﺘﻬﻴﺔ اﻟﺒُﻌﺪ‬

‫ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻣﻨﺘﻬﻲ اﻟﺒُﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ﺗﺒﺪﻳﻠﻲ ‪ ، K‬وﳐﺘﻠﻔﺎً ﻋﻦ }‪ . {0‬ﻋﻨﺪﺋﺬ‬
‫ﻳﻜﻮن اﻟﻔﻀﺎء اﻟﺜﻨﻮي ∗ ‪ E‬ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ وﻳﻜﻮن ‪. dim E ∗ = dim L(E , K) = dim E‬‬
‫‪ .1-3‬ﺗﻌﺮﻳﻒ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً‪ ،‬ﳐﺘﻠﻔﺎً ﻋﻦ }‪ ، {0‬ﻣﻨﺘﻬﻲ اﻟﺒُﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ﺗﺒﺪﻳﻠﻲ ‪. K‬‬
‫ﻟﻨﻌﺮف اﳉﻤﻠﺔ ) ∗‪E ∗ = (e1∗, …, en‬‬
‫وﻟﻴﻜﻦ ) ‪ E = (e1, …, en‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ّ . E‬‬
‫ﻣﻦ ∗ ‪ E‬ﺑﺎﻟﻌﻼﻗﺎت ‪:‬‬
‫‪‬‬
‫‪1 : i = j‬‬
‫‪e j∗ (ei ) = e j∗, ei = δij = ‬‬
‫‪‬‬
‫‪0 : i ≠ j‬‬
‫‪‬‬
‫‪‬‬
‫ﻧﺴﻤﻴﻪ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ‪ . E‬وﺗﺘﺤ ّﻘﻖ‬
‫ﻋﻨﺪﺋﺬ ﺗﻜ ‪‬ﻮن اﳉﻤﻠﺔ ‪ E‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ّ E‬‬
‫∗‬ ‫∗‬

‫اﻟﻌﻼﻗﺎت اﻟﺘﺎﻟﻴﺔ‪:‬‬
‫‪n‬‬
‫∗‬
‫= ‪∀f ∈ E , f‬‬ ‫∑‬ ‫∗‪f , ei ei‬‬
‫‪i =1‬‬
‫‪n‬‬
‫= ‪∀x ∈ E , x‬‬ ‫∑‬ ‫‪ei∗ , x ei‬‬
‫‪i =1‬‬

‫اﻟﺜﻨﻮي‪.‬‬
‫ّ‬ ‫اﻟﱵ ﺗُ ّﱪر ﺗﺴﻤﻴﺔ اﻷﺳﺎس ∗ ‪ E‬ﺑﺎﻷﺳﺎس‬
‫‪ .2-3‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻣﻨﺘﻬﻲ اﻟﺒُﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ﺗﺒﺪﻳﻠﻲ ‪ ، K‬وﳐﺘﻠﻔﺎً ﻋﻦ }‪. {0‬‬
‫ﺧﻄﻲ ‪ f‬ﰲ ∗ ‪ُ E‬ﳛﻘ‪‬ﻖ ‪. f (x ) = 1‬‬
‫وﻟﻴﻜﻦ ‪ x‬ﻣﻦ }‪. E \{0‬ﻋﻨﺪﺋﺬ ﻳﻮﺟﺪ ﺷﻜﻞ ّ‬
‫اﻹﺛﺒﺎت‬
‫ﺘﺄﻣﻞ اﻷﺳﺎس‬
‫ﻟﻨﻀﻊ ‪ ، e1 = x‬وﻟﻨﺘ ‪‬ﻤﻢ ) ‪ (e1‬إﱃ أﺳﺎس ) ‪ E = (e1, …, en‬ﻟﻠﻔﻀﺎء ‪ُ . E‬ﰒ ﻟﻨ ّ‬
‫اﻟﺜﻨﻮي ) ∗‪ E ∗ = (e1∗, …, en‬ﳍﺬا اﻷﺳﺎس‪ .‬ﻋﻨﺪﺋﺬ ﳛ ّﻘﻖ اﻟﺸﻜﻞ اﳋﻄﻲ ∗‪ f = e1‬اﳌﻄﻠﻮب‪ .‬ﻳﻨﺘﺞ‬
‫‬ ‫ﻣﻦ ﻫﺬﻩ اﳌﱪﻫﻨﺔ أ ّن }‪. (E ∗ ) = {0‬‬

‫‪ .3-3‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ‪ ، K‬وﳐﺘﻠﻔﺎً ﻋﻦ }‪ . {0‬وﻟﻴﻜﻦ‬
‫أﺳﺎس ) ‪E = ( e1 , …, en‬‬
‫ٌ‬ ‫) ‪ F = (f1, …, fn‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ∗ ‪ . E‬ﻋﻨﺪﺋﺬ ﻳﻮﺟﺪ‬
‫أﺳﺎﺳﻪ اﻟﺜّﻨﻮي‪.‬‬
‫ﻟﻠﻔﻀﺎء ‪ E‬ﻳﻜﻮن ‪َ F‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪96‬‬

‫اﻹﺛﺒﺎت‬
‫ﻟﻨﺘﺄﻣﻞ اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ‬
‫ّ‬
‫) ) ‪Φ : E → Kn , x ֏ ( f1(x ), f2 (x ), …, fn (x‬‬
‫‪n‬‬
‫ﻣﻦ اﻟﻮاﺿﺢ أ ّن ‪ x ∈ ker Φ‬إذا وﻓﻘﻂ إذا ﻛﺎن ‪ x ∈ ∩ ker fk‬وﻟﻜﻦ‬
‫‪k =1‬‬
‫‪n‬‬
‫}‪= ( vect(F ) ) = (E ∗ ) = {0‬‬
‫‬
‫‪∩ ker fk‬‬
‫‪k =1‬‬

‫ﺗﻘﺎﺑﻞ‬
‫ﻣﺘﺒﺎﻳﻦ‪ .‬وﻟﻜﻦ ‪ dim E = dim K‬إذن ‪ٌ Φ‬‬
‫‪n‬‬
‫ٌ‬ ‫إذن }‪ ker Φ = {0‬واﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ ‪Φ‬‬
‫وﻋﺮﻓﻨﺎ ) ‪E = ( e1 , …, en‬‬
‫ﺧﻄّﻲ‪ .‬إذا ﻛﺎن } ‪ C = {ε1, …, εn‬اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ ‪ّ K‬‬
‫‪n‬‬

‫ﺑﺎﻟﻌﻼﻗﺔ ) ‪ ek = Φ−1(εk‬ﺗﻴ ّﻘﻨّﺎ ﻣﺒﺎﺷﺮة أ ّن اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ‪ E‬ﻫﻮ اﻷﺳﺎس ‪ . F‬وﺑﺬا‬
‫‬ ‫ﻳﻜﺘﻤﻞ اﻹﺛﺒﺎت‪.‬‬

‫‪ .4-3‬ﻣﺒﺮﻫﻨﺔ ‪ :‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ‪ ، K‬وﳐﺘﻠﻔﺎً ﻋﻦ }‪. {0‬‬
‫ﺋﻲ ‪ F‬ﻣﻦ ‪ E‬ﻓﻠﺪﻳﻨﺎ ‪:‬‬
‫اﻟﺸﻌﺎﻋﻲ اﳉﺰ ّ‬
‫ّ‬ ‫‪ .1‬أﻳّﺎً ﻛﺎن اﻟﻔﻀﺎء‬
‫‪ dim F + dim F ⊥ = dim E‬و ) ⊥ ‪F = (F‬‬

‫ﺋﻲ ‪ G‬ﻣﻦ ∗ ‪ E‬ﻓﻠﺪﻳﻨﺎ ‪:‬‬

‫اﻟﺸﻌﺎﻋﻲ اﳉﺰ ّ‬
‫ّ‬ ‫‪ .2‬أﻳّﺎً ﻛﺎن اﻟﻔﻀﺎء‬
‫‪ dim G + dim G  = dim E‬و ⊥)  ‪G = (G‬‬

‫اﻹﺛﺒﺎت‬
‫‪ .1‬ﻟﻴﻜﻦ ) ‪ (e1 , …, ep‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء اﳉﺰﺋﻲ ‪ ، F‬وﻟﻨﺘ ‪‬ﻤﻤﻪ إﱃ أﺳﺎس ) ‪E = ( e1 , …, en‬‬
‫ﻟﻜﺎﻣﻞ اﻟﻔﻀﺎء ‪ ، E‬وﻟﻴﻜﻦ ) ∗‪ E ∗ = (e1∗, …, en‬اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ‪ . E‬ﻋﻨﺪﺋﺬ‪ ،‬أﻳّﺎً ﻛﺎن‬
‫‪ f‬ﻣﻦ ∗ ‪ ، E‬ﻛﺎن‬
‫⊥‪f ∈ F‬‬ ‫‪⇔ ∀i ∈ ℕ p ,‬‬ ‫‪f , ei = 0‬‬
‫‪n‬‬
‫= ‪⇔ f‬‬ ‫∑‬ ‫∗‪f , ei ⋅ ei‬‬
‫‪i = p +1‬‬
‫) ∗‪⇔ f ∈ vect(ep∗ +1 ,.., en‬‬
‫‪97‬‬ ‫اﻟﺜﻨﻮﻳﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ اﻟﻤﻨﺘﻬﻴﺔ اﻟﺒُﻌﺪ‬

‫إذن‬
‫) ∗‪ F ⊥ = vect(ep∗ +1,.., en‬و ‪. dim F ⊥ = n − dim F‬‬
‫ﺼﻞ ﻋﻠﻴﻪ ﺑﺈﲤﺎم اﻷﺳﺎس ) ‪(f1, …, fp‬‬ ‫‪ .2‬ﻟﻴﻜﻦ ) ‪ F = (f ,.., f‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ∗ ‪ E‬ﺣ ِ‬
‫ُ‬ ‫‪1‬‬ ‫‪n‬‬

‫ﻟﻠﻔﻀﺎء اﳉﺰﺋﻲ ‪ G‬إﱃ أﺳﺎس ﻟﻜﺎﻣﻞ اﻟﻔﻀﺎء ∗ ‪ . E‬وﻟﻴﻜﻦ ) ‪ E = ( e1 , …, en‬اﻷﺳﺎس ﰲ ‪E‬‬

‫اﻟﺬي أﺳﺎﺳﻪ اﻟﺜﻨﻮي ﻫﻮ ‪ . F‬ﻋﻨﺪﺋﺬ أﻳّﺎً ﻛﺎن ‪ x‬ﻣﻦ ‪ E‬ﻓﻠﺪﻳﻨﺎ‬
‫‪x ∈ G‬‬ ‫‪⇔ ∀i ∈ ℕ p ,‬‬ ‫‪fi , x = 0‬‬
‫‪n‬‬
‫= ‪⇔ x‬‬ ‫∑‬ ‫‪fi , x ⋅ ei‬‬
‫‪i = p +1‬‬
‫) ‪⇔ x ∈ vect(ep +1 ,.., en‬‬
‫وﻣﻦ َﰒّ ﻳﻜﻮن‬
‫) ‪ G  = vect(ep +1,..,en‬و ‪. dim G  = n − dim G‬‬
‫ﻣﻦ ﻧﺎﺣﻴﺔ أﺧﺮى‪ ،‬ﻣﻦ اﻟﻮاﺿﺢ أن ) ⊥ ‪ ، F ⊂ (F‬وﻟﻜﻦ‬
‫⊥ ‪dim(F ⊥ ) = n − dim F‬‬
‫‪= n − (n − dim F ) = dim F‬‬
‫وﻣﻨﻪ اﳌﺴﺎواة ) ⊥ ‪. F = (F‬‬
‫‬ ‫وﻧﱰك ﻟﻠﻘﺎرئ أن ﻳﺜﺒﺖ ﺑﺄﺳﻠﻮب ﳑﺎﺛﻞ أ ّن ⊥)  ‪.G = (G‬‬

‫‪ .5-3‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬و ‪ F‬ﻓﻀﺎءﻳﻦ ﺷﻌﺎﻋﻴﲔ‪ ،‬ﻏﲑ ﺗﺎﻓﻬﲔ‪ ،‬وﻣﻨﺘﻬﻴﻲ اﻟﺒﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ‪. K‬‬
‫وﻟﻴﻜﻦ ‪ u‬ﻣﻦ ) ‪ ، L(E , F‬ﻋﻨﺪﺋﺬ ﻳﻜﻮن ) ‪. rg(u) = rg( t u‬‬
‫اﻹﺛﺒﺎت‬
‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﻘﺪ وﺟﺪﻧﺎ أ ّن ⊥) ‪ ، ker t u = (Im u‬إذن‪:‬‬
‫‪rg( t u ) = dim F ∗ − dim ker t u‬‬
‫⊥) ‪= dim F ∗ − dim(Im u‬‬
‫) ‪= dim F ∗ − (dim F ∗ − dim Im u‬‬
‫) ‪= dim Im u = rg(u‬‬
‫‬ ‫وﻫﺬا ﻫﻮ اﳌﻄﻠﻮب إﺛﺒﺎﺗﻪ‪.‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪98‬‬

‫‪ .6-3‬ﻣﺒﺮﻫﻨﺔ‪ .‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴﺎً ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ‪ . K‬وﻟﺘﻜﻦ ) ‪ ( f1, …, fr‬ﲨﻠﺔ‬
‫ﻣﻦ اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ﻋﻠﻰ ‪ . E‬ﻋﻨﺪﺋﺬ ﺗﻜﻮن اﳋﺎﺻﺘﺎن اﻟﺘﺎﻟﻴﺘﺎن ﻣﺘﻜﺎﻓﺌﺘﲔ ‪:‬‬
‫‪r‬‬
‫= ‪∃(λ1,.., λr ) ∈ K , f‬‬ ‫‪r‬‬
‫‪∑ λk fk‬‬
‫‪k =1‬‬
‫‪r‬‬
‫∈ ‪∀x‬‬ ‫‪∩ ker fk ,‬‬ ‫‪f (x ) = 0‬‬
‫‪k =1‬‬
‫اﻹﺛﺒﺎت‬
‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﺪﻳﻨﺎ‬
‫‪ r‬‬ ‫⊥‪‬‬
‫} ‪( { f1,.., fr‬‬ ‫)‬
‫⊥‬
‫‪‬‬ ‫‪‬‬ ‫‬
‫= ‪ ∩ ker fi ‬‬
‫‪ i =1‬‬ ‫‪‬‬
‫⊥‬
‫) ‪= ( (vect(f1,.., fr )) ) = vect( f1,.., fr‬‬
‫‬ ‫ﻌﱪ ﻋﻦ اﻟﺘﻜﺎﻓﺆ اﳌﻄﻠﻮب‪.‬‬
‫وﻫﺬا ﻳُ ‪‬‬

‫‪QWE‬‬
‫‪AgD‬‬
‫‪ZXC‬‬
‫‪99‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬

‫ﺗﻤﺮﻳﻨـﺎت‬

‫اﻟﺘﻤﺮﻳﻦ ‪ .1‬ﻧ ّ‬
‫ﺘﺄﻣﻞ ﰲ ∗) ‪ (ℝ 3‬اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ‪ f1‬و ‪ f2‬و ‪ f3‬اﻟﺘﺎﻟﻴﺔ ‪:‬‬ ‫‪J‬‬
‫‪f1(x , y, z ) = x + y − z‬‬
‫‪f2 (x , y, z ) = x − y + z‬‬
‫‪f3 (x , y, z ) = x + y + z‬‬
‫أﺛﺒﺖ أ ّن اﳉﻤﻠﺔ ) ‪ F = (f , f , f‬أﺳﺎس ﻟﻠﻔﻀﺎء ∗) ‪ِ ، (ℝ 3‬‬
‫وﺟ ْﺪ أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ℝ 3‬‬ ‫‪1 2 3‬‬

‫ﻳﻜﻮن ‪ F‬أﺳﺎﺳﻪ اﻟﺜﻨﻮي‪.‬‬

‫اﻟﺤـﻞ‬
‫ﻟﻴﻜﻦ )‪ (a,b, c‬ﻣﻦ ‪ ، ℝ 3‬وﻟﻨﺒﺤﺚ إذا ﻛﺎن ﻫﻨﺎك ) ‪ X = (x , y, z‬ﻣﻦ ‪ُ ℝ 3‬ﳛﻘ‪‬ﻖ‬
‫)‪( f1(X ), f2(X ), f3(X ) ) = (a, b, c‬‬
‫اﻟﺴﺎﺑﻖ ﻗﻮﻟَﻨﺎ‬
‫ُ‬ ‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻳﻜﺎﻓﺊ اﻟﺸﺮ ُط‬
‫‪x +y −z =a‬‬
‫‪x −y +z =b‬‬
‫‪x +y +z =c‬‬
‫وﻣﻦ َﰒّ‬
‫‪a +b‬‬ ‫‪c −b‬‬ ‫‪c −a‬‬
‫= ‪x‬‬ ‫= ‪,y‬‬ ‫= ‪,z‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫ﻓﻨﻜﻮن ﺑﺬﻟﻚ ﻗﺪ أﺛﺒﺘﻨﺎ أ ّن اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ‬

‫) ) ‪Φ : ℝ 3 → ℝ 3,(x , y, z ) ֏ ( f1(x , y, z ), f2 (x , y, z ), f3 (x , y, z‬‬

‫ﺗﻘﺎﺑﻞ‪ .‬ﻟﻴﻜﻦ إذن ) ‪ (e1,e2,e3‬اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ ‪ّ ℝ‬‬

‫وﻟﻨﻌﺮف ) ‪ . εk = Φ−1(ek‬ﻓﻨﺠﺪ‬ ‫‪3‬‬
‫ٌ‬
‫‪ε1 = ( 12 , 0, − 21 ) ,‬‬ ‫‪ε2 = ( 12 , − 21 , 0 ) ,‬‬ ‫) ‪ε3 = ( 0, 21 , 21‬‬

‫ﻳﺜﺒﺖ أ ّن اﳉﻤﻠﺔ ‪ F‬أﺳﺎس‬

‫وﻧﺘﻴﻘ‪‬ﻦ ﻣﺒﺎﺷﺮة أ ّن ‪ fi (εj ) = δij‬ﰲ ﺣﺎﻟﺔ ‪ i‬و ‪ j‬ﻣﻦ ‪ . ℕ 3‬وﻫﺬا ﻣﺎ ُ‬
‫‪ú‬‬ ‫ﻟﻠﻔﻀﺎء ∗) ‪ (ℝ 3‬و ّأ‪‬ﺎ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ) ‪. E = (ε1, ε2, ε3‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪100‬‬

‫اﻟﺘﻤﺮﻳﻦ ‪ .2‬ﻧ ّ‬
‫ﺘﺄﻣﻞ ﰲ ∗) ‪ (ℝ 3‬اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ‪ f1‬و ‪ f2‬و ‪ f3‬اﻟﺘﺎﻟﻴﺔ ‪:‬‬ ‫‪J‬‬
‫‪f1(x , y, z ) = 3x + 2y + 3z‬‬
‫‪f2 (x , y, z ) = 2x + 3y + 4z‬‬
‫‪f3 (x , y, z ) = 3x + 4y + 6z‬‬
‫أﺛﺒﺖ أ ّن اﳉﻤﻠﺔ ) ‪ F = (f , f , f‬أﺳﺎس ﻟﻠﻔﻀﺎء ∗) ‪ِ ، (ℝ 3‬‬
‫وﺟ ْﺪ أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ℝ 3‬‬ ‫‪1 2 3‬‬

‫ﻳﻜﻮن ‪ F‬أﺳﺎﺳﻪ اﻟﺜﻨﻮي‪.‬‬

‫اﻟﺤـﻞ‬
‫ﻟﻴﻜﻦ )‪ (a,b, c‬ﻣﻦ ‪ ، ℝ 3‬وﻟﻨﺒﺤﺚ إذا ﻛﺎن ﻫﻨﺎك ) ‪ X = (x , y, z‬ﻣﻦ ‪ُ ℝ 3‬ﳛﻘ‪‬ﻖ‬
‫)‪( f1(X ), f2(X ), f3(X ) ) = (a, b, c‬‬
‫اﻟﺴﺎﺑﻖ ﻗﻮﻟَﻨﺎ‬
‫ُ‬ ‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻳﻜﺎﻓﺊ اﻟﺸﺮ ُط‬
‫‪x + 2y + 3z = a‬‬
‫‪2x + 3y + 4z = b‬‬
‫‪3x + 4y + 6z = c‬‬
‫وﻣﻦ َﰒّ‬
‫‪x = c − 2a, y = 3b − 2c, z = c + a − 2b‬‬
‫ﻓﻨﻜﻮن ﺑﺬﻟﻚ ﻗﺪ أﺛﺒﺘﻨﺎ أ ّن اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ‬

‫) ) ‪Φ : ℝ 3 → ℝ 3,(x , y, z ) ֏ ( f1(x , y, z ), f2 (x , y, z ), f3 (x , y, z‬‬

‫وﻟﻨﻌﺮف ) ‪ . εk = Φ−1(ek‬ﻓﻨﺠﺪ‬
‫ﺗﻘﺎﺑﻞ‪ .‬ﻟﻴﻜﻦ إذن ) ‪ (e1,e2,e3‬اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ ‪ّ ℝ‬‬
‫‪3‬‬
‫ٌ‬
‫‪ε1 = ( −2, 0,1 ) ,‬‬ ‫‪ε2 = ( 0, 3, −2 ) ,‬‬ ‫) ‪ε3 = ( 1, −2, 1‬‬

‫ﻳﺜﺒﺖ أ ّن اﳉﻤﻠﺔ ‪ F‬أﺳﺎس‬

‫وﻧﺘﻴﻘ‪‬ﻦ ﻣﺒﺎﺷﺮة أ ّن ‪ fi (εj ) = δij‬ﰲ ﺣﺎﻟﺔ ‪ i‬و ‪ j‬ﻣﻦ ‪ ، ℕ 3‬وﻫﺬا ﻣﺎ ُ‬
‫‪ú‬‬ ‫ﻟﻠﻔﻀﺎء ∗) ‪ (ℝ 3‬و ّأ‪‬ﺎ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ) ‪. E = (ε1, ε2, ε3‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .3‬ﻟﻴﻜﻦ ‪ E‬و ‪ F‬ﻓﻀﺎءَﻳﻦ ﺷﻌﺎﻋﻴّﲔ ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬وﻟﻴﻜﻦ ‪ u‬ﻣﻦ ) ‪ L(E , F‬ﺗﻄﺒﻴﻘﺎً‬
‫ﺧﻄﻴﺎً ﻏﺎﻣﺮاً‪ .‬أﺛﺒﺖ أ ّن اﻟﺘﻄﺒﻴﻖ اﳋﻄﻲ ‪ t u‬ﻣﺘﺒﺎﻳﻦ‪.‬‬
‫‪101‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫اﻟﺤـﻞ‬
‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﺪﻳﻨﺎ اﻟﺘﻜﺎﻓﺆ‬
‫‪f ∈ ker t u ⇔ t u( f ) = 0‬‬
‫‪⇔ ∀x ∈ E ,‬‬ ‫‪t‬‬
‫‪u( f ), x = 0‬‬
‫‪⇔ ∀x ∈ E ,‬‬ ‫‪f , u(x ) = 0‬‬
‫⊥) ‪⇔ f ∈ (Im u‬‬

‫إذن ﻟﺪﻳﻨﺎ ﺑﻮﺟﻪ ﻋﺎم ⊥)‪ . ker t u = (Im u‬ﻓﺈذا ﻛﺎن ‪ u‬ﻏﺎﻣﺮاً ﻛﺎن‬

‫}‪ker t u = (Im u )⊥ = F ⊥ = {0‬‬

‫‪ú‬‬ ‫وﻣﻦ َﰒّ ﻛﺎن ‪ t u‬ﻣﺘﺒﺎﻳﻨﺎً‪.‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .4‬ﻟﻴﻜﻦ ‪ E‬و ‪ F‬ﻓﻀﺎءﻳﻦ ﺷﻌﺎﻋﻴّﲔ ﻣﻨﺘﻬﻴﻲ اﻟﺒﻌﺪ ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬وﻟﻴﻜﻦ اﻟﺘﻄﺒﻴﻖ ‪ u‬ﻣﻦ‬
‫) ‪ L(E , F‬أﺛﺒﺖ أ ّن ‪:‬‬
‫⊥) ‪ker t u = (Im u‬‬ ‫⊥) ‪ Im t u = (ker u‬و‬

‫اﻟﺤـﻞ‬
‫ ﻟﻘﺪ أﺛﺒﺘﻨﺎ ﺻﺤﺔ اﳌﺴﺎواة ⊥)‪ ker t u = (Im u‬دون ﺷﺮط اﻟﺒُﻌﺪ اﳌﻨﺘﻬﻲ ﰲ اﻟﺘﻤﺮﻳﻦ اﻟﺴﺎﺑﻖ‪.‬‬
‫ وﻣﻦ ﺟﻬﺔ أﺧﺮى ﻟﺪﻳﻨﺎ اﻟﺘﻜﺎﻓﺆ اﻟﺘﺎﱄ‬
‫‪x ∈ (Im t u ) ⇔ ∀f ∈ Im t u, f , x = 0‬‬
‫‪⇔ ∀g ∈ F ∗ ,‬‬ ‫‪t‬‬
‫‪u(g ), x = 0‬‬
‫‪⇔ ∀g ∈ F ∗, g, u(x ) = 0‬‬
‫‪⇔ u(x ) = 0‬‬
‫‪⇔ x ∈ ker u‬‬

‫ﻛﻮن ﺑُﻌﺪا اﻟﻔﻀﺎءَﻳْﻦ ‪ E‬و ‪ F‬ﻣﻨﺘﻬﻴﲔ‪ ،‬اﺳﺘﻨﺘﺠﻨﺎ أ ّن‬

‫إذن ‪ ، (Im u ) = ker u‬ﻓﺈذا اﺳﺘﻔﺪﻧﺎ ﻣﻦ ْ‬
‫ ‪t‬‬

‫⊥‬
‫‪(ker u )⊥ = ( (Im t u ) ) = Im t u‬‬
‫‪ú‬‬ ‫وﻫﻲ اﻟﻨﺘﻴﺠﺔ اﳌﻄﻠﻮﺑﺔ‪.‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪102‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .5‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬وﻟﻴﻜﻦ ‪ V1‬و ‪ V2‬ﻓﻀﺎءﻳﻦ‬
‫ﺷﻌﺎﻋﻴّﲔ ﺟﺰﺋﻴّﲔ ﻣﻦ ‪ ، E‬وﻟﻴﻜﻦ ‪ W1‬و ‪ W2‬ﻓﻀﺎءﻳﻦ ﺷﻌﺎﻋﻴّﲔ ﺟﺰﺋﻴّﲔ ﻣﻦ ∗ ‪ . E‬ﻗﺎرن ﺑﲔ‬
‫اﻟﻔﻀﺎءﻳﻦ اﳌﻌﻄﻴﲔ ﰲ ﻛﻞ ﻣﻦ اﳊﺎﻻت اﻵﺗﻴﺔ‪:‬‬
‫⊥) ‪ (V1 + V2‬و ⊥‪.V1⊥ ∩ V2‬‬ ‫‪1‬‬

‫⊥) ‪ (V1 ∩ V2‬و ⊥‪.V1⊥ + V2‬‬ ‫‪2‬‬

‫) ‪ (W1 + W2‬و ‪.W1 ∩ W2‬‬ ‫‪3‬‬

‫) ‪ (W1 ∩ W2‬و ‪.W1 + W2‬‬ ‫‪4‬‬

‫اﻟﺤـﻞ‬
‫ﻟﻨﻼﺣﻆ ّأوﻻً أ ّن‬ ‫‪1‬‬
‫⊥‬
‫⊥) ‪V1⊥ ∩ V2⊥ = ( vect(V1 ∪ V2 ) ) = (V1 + V2‬‬
‫ﻌﺪ اﻟﻔﻀﺎء ‪ E‬ﻣﻨﺘﻬﻴﺎً‪.‬‬
‫وﻫﺬﻩ اﻟﻨﺘﻴﺠﺔ ﻻ ﺗﺸﱰط أن ﻳﻜﻮن ﺑُ ُ‬
‫‪ 2‬وﳒﺪ ﺑﺄﺳﻠﻮب ﳑﺎﺛﻞ ﳌﺎ ﺳﺒﻖ أ ّن‬
‫) ‪W1 ∩ W2 = ( vect(W1 ∪ W2 ) ) = (W1 + W2‬‬
‫‬ ‫‬

‫ﻌﺪ اﻟﻔﻀﺎء ‪ E‬ﻣﻨﺘﻬﻴﺎً‪.‬‬

‫وﻫﺬﻩ اﻟﻨﺘﻴﺠﺔ ﻻ ﺗﺸﱰط أن ﻳﻜﻮن ﺑُ ُ‬
‫ﻛﻞ ﺷﻜﻞ ﺧﻄّﻲ ﻣﻦ ⊥‪ V1⊥ + V2‬ﻳﻨﻌﺪم ﻋﻠﻰ ‪ V1 ∩ V2‬ﻓﻬﻮ إذن ﻋﻨﺼﺮ ﻣﻦ‬
‫ﻣﻦ اﻟﻮاﺿﺢ أ ّن ‪‬‬ ‫‪3‬‬

‫اﻟﻔﻀﺎء ⊥) ‪ . (V1 ∩ V2‬وﻣﻦ َﰒّ ⊥) ‪ .V1⊥ + V2⊥ ⊂ (V1 ∩ V2‬وﻟﻜﻦ ﻟ ّـﻤﺎ ﻛﺎن ‪ E‬ﻣﻨﺘﻬﻲ اﻟﺒُﻌﺪ‬
‫ﻛﺎن‬
‫) ⊥‪dim(V1⊥ + V2⊥ ) = dimV1⊥ + dimV2⊥ − dim(V1⊥ ∩ V2‬‬
‫⊥) ‪= 2 dim E − dimV1 − dimV2 − dim(V1 + V2‬‬
‫‪= dim E + dim(V1 + V2 ) − dimV1 − dimV2‬‬
‫) ‪= dim E − dim(V1 ∩ V2‬‬
‫⊥) ‪= dim(V1 ∩ V2‬‬
‫إذن ⊥) ‪.V1⊥ + V2⊥ = (V1 ∩ V2‬‬
‫‪103‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫‪ 4‬وأﺧﲑاً ﻣﻦ اﻟﻮاﺿﺢ أ ّن اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ﰲ ‪ W1 ∩ W2‬ﺗﻨﻌﺪم ﻋﻨﺪ ﻋﻨﺎﺻﺮ ‪ ،W1 + W2‬وﻣﻦ‬
‫َﰒّ ) ‪ .W1 + W2 ⊂ (W1 ∩ W2‬وﻟﻜﻦ ﻟ ّـﻤﺎ ﻛﺎن ‪ E‬ﻣﻨﺘﻬﻲ اﻟﺒُﻌﺪ ﻛﺎن‬
‫‪dim(W1 + W2 ) = dimW1 + dimW2 − dimW1 ∩ W2‬‬

‫) ‪= 2 dim E − dimW1 − dimW2 − dim(W1 + W2‬‬

‫‪= dim E + dim(W1 + W2 ) − dimW1 − dimW2‬‬

‫‪= dim E − dimW1 ∩ W2‬‬

‫) ‪= dim(W1 ∩ W2‬‬

‫إذن ) ‪.W1 + W2 = (W1 ∩ W2‬‬
‫‪ú‬‬ ‫وﺑﺬا ﻳﻜﺘﻤﻞ اﳊﻞ‪.‬‬

‫ﻓﻀﺎء ﺷﻌﺎﻋﻴّﺎً ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬وﻟﻴﻜﻦ ‪ f‬و ‪ g‬ﻣﻦ ∗ ‪ . E‬ﻧﻔﱰض أﻧّﻪ ‪ ،‬أﻳّﺎً‬
‫ً‬ ‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .6‬ﻟﻴﻜﻦ ‪E‬‬
‫ﻛﺎن ‪ x‬ﻣﻦ ‪ E‬ﻛﺎن ‪ . f (x ) g(x ) = 0‬أﺛﺒﺖ أ ّن ‪ f = 0‬أو ‪. g = 0‬‬
‫اﻟﺤـﻞ‬
‫اﻟﻔﺮض ﺑﺎﻟﻘﻮل إ ّن ‪ ، E ⊂ ker f ∪ ker g‬وﻣﻦ َﰒّ ‪ . E = ker f ∪ ker g‬وﻧﺴﺘﻨﺘﺞ ﻣﻦ‬
‫ﻳُﻘﺮأ ْ‬
‫ذﻟﻚ أﻣﺮﻳﻦ ‪:‬‬
‫ ّأوﻻً‪ .‬إ ّن ‪ ker f ∪ ker g‬ﻓﻀﺎءٌ ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ‪ ،‬وﻫﺬا ﻳﻘﺘﻀﻲ أ ّن‬
‫‪ ker f ⊂ ker g‬أو ‪. ker g ⊂ ker f‬‬
‫ ﺛﺎﻧﻴﺎً‪ .‬اﺳﺘﻨﺎداً إﱃ ﻣﺎ ﺳﺒﻖ‪ ،‬وإﱃ ﻛﻮن ‪ E = ker f ∪ ker g‬ﳒﺪ‬
‫‪E = ker f‬‬ ‫‪ E = ker g‬أو‬
‫وﻫﺬا ﻳﻌﲏ أ ّن‬
‫‪ g = 0‬أو ‪. f = 0‬‬
‫‪ú‬‬ ‫وﻫﻮ اﳌﻄﻠﻮب‪.‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪104‬‬

‫اﻟﺘﻤﺮﻳﻦ ‪ .7‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬أﺛﺒﺖ ّ‬

‫ﺻﺤﺔ اﻟﻘﻀﻴﺘﲔ اﻟﺘﺎﻟﻴﺘﲔ ‪:‬‬ ‫‪J‬‬
‫ﺣﺮة ﻣﻦ ﻋﻨﺎﺻﺮ ∗ ‪ ، E‬ﻓﺘﻮﺟﺪ ﲨﻠﺔ ) ‪ (x1, …, x k‬ﻣﻦ ﻋﻨﺎﺻﺮ‬
‫‪ : Pk‬ﻟﺘﻜﻦ ) ‪ (ℓ 1, …, ℓ k‬ﲨﻠﺔ ّ‬
‫‪ُ E‬ﲢﻘ‪‬ﻖ ‪ ℓ i (x j ) = δi j‬أﻳّﺎً ﻛﺎن ) ‪ (i, j‬ﻣﻦ ‪. ℕ2k‬‬
‫ﺣﺮة ﻣﻦ ﻋﻨﺎﺻﺮ ∗ ‪ . E‬وﻟﻴﻜﻦ ‪ ℓ‬ﺷﻜﻼً ﺧﻄﻴﺎً ﻣﻦ ∗ ‪ُ E‬ﳛﻘ‪‬ﻖ‬
‫‪ : Qk‬ﻟﺘﻜﻦ ) ‪ (ℓ 1, …, ℓ k‬ﲨﻠﺔ ّ‬
‫‪k‬‬ ‫‪k‬‬
‫‪ . ∩ ker ℓ i ⊂ ker ℓ‬ﻋﻨﺪﺋﺬ ﺗﻮﺟﺪ ﰲ ‪ K‬أﻋﺪاد ‪ُ (λi )1≤i ≤k‬ﲢﻘ‪‬ﻖ ‪. ℓ = ∑ λi ℓ i‬‬
‫‪i =1‬‬ ‫‪i =1‬‬

‫واﺳﺘﻨﺘﺞ أﻧّﻪ أﻳّﺎً ﻛﺎﻧﺖ اﳉﻤﻠﺔ ) ‪ (ℓ 1, …, ℓ k‬ﻣﻦ ﻋﻨﺎﺻﺮ ‪ ، E‬ﻫﻨﺎك ﺗﻜﺎﻓﺆ ﺑﲔ اﳋﺎﺻﺘﲔ‬
‫∗‬

‫‪k‬‬
‫و ) ‪ℓ ∈ vect ( ℓ 1, …, ℓ k‬‬ ‫‪∩ ker ℓ i ⊂ ker ℓ‬‬
‫‪i =1‬‬
‫اﻟﺤـﻞ‬
‫اﳋﺎﺻﺔ ‪ P1‬ﺻﺤﻴﺤﺔ‪ .‬ﻷﻧّﻪ إذا ﻛﺎن ‪ ℓ 1‬ﺷﻜﻼً ﺧﻄﻴّﺎً ﻏﲑ ﻣﻌﺪوم ﻋﻠﻰ ‪ ، E‬ﻛﺎن ‪ ℓ 1‬ﻏﺎﻣﺮاً‪،‬‬
‫ّ‬ ‫‬
‫ﻋﻨﺼﺮ ‪ x1‬ﻣﻦ ‪ُ E‬ﳛﻘ‪‬ﻖ ‪ . ℓ 1(x1 ) = 1‬وﻣﻨﻪ ‪. P1‬‬ ‫ِ‬
‫أي ُوﺟ َﺪ ٌ‬
‫ﺣﺮة ﻣﻦ ‪ ، E‬وﻟﻴﻜﻦ ‪ ℓ‬ﻋﻨﺼﺮاً‬
‫‪ . Pk ⇒ Qk‬ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﻨﻔﱰض أ ّن ) ‪ (ℓ 1, …, ℓ k‬ﲨﻠﺔ ّ‬
‫∗‬
‫‬
‫‪k‬‬
‫ﻣﻦ ∗ ‪ُ ، E‬ﳛﻘ‪‬ﻖ ‪ . ∩ ker ℓ i ⊂ ker ℓ‬ﺗﻮﺟﺪ اﺳﺘﻨﺎداً إﱃ ‪ Pk‬ﲨﻠﺔ ) ‪ُ (x1, …, x k‬ﲢﻘ‪‬ﻖ‬
‫‪i =1‬‬
‫ﻟﻨﻌﺮف‬
‫اﻟﺸﺮط ‪ . ℓ i (x j ) = δij‬ﻟﻴﻜﻦ ‪ x‬ﻋﻨﺼﺮاً ﻣﻦ ‪ ، E‬و ّ‬
‫‪. y = x − ∑ i =1 ℓ i ( x ) x i‬‬
‫‪k‬‬

‫‪k‬‬
‫ﻋﻨﺪﺋﺬ ﻧﺘﻴﻘ‪‬ﻦ ﻣﺒﺎﺷﺮة أ ّن ‪ y‬ﻳﻨﺘﻤﻲ إﱃ اﻟﺘﻘﺎﻃﻊ ‪ ∩ ker ℓ i‬ﻓﻬﻮ إذن ﻋﻨﺼﺮ ﻣﻦ ‪. ker ℓ‬‬
‫‪i =1‬‬
‫وﻋﻠﻴﻪ‬
‫‪‬‬ ‫‪k‬‬ ‫‪‬‬ ‫‪k‬‬
‫‪‬‬
‫) ‪0 = ℓ  x − ∑ ℓ i (x )x i  = ℓ(x ) − ∑ ℓ i (x )ℓ(x i‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪i =1‬‬ ‫‪‬‬ ‫‪i =1‬‬
‫‪k‬‬
‫= ‪ . ℓ‬ﻓﺎﻟﻘﻀﻴّﺔ ‪ Qk‬ﺻﺤﻴﺤﺔ‪.‬‬ ‫‪∑ ℓ(x i )ℓ i‬‬ ‫ﻳﺜﺒﺖ أ ّن‬
‫وﻫﺬا ُ‬
‫‪i =1‬‬

‫ﺣﺮة ﻣﻦ ‪ . E‬ﻋﻨﺪﺋﺬ‬ ‫ ‪ .Qk ⇒ Pk +1‬ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﻨﻔﱰض أ ّن ) ‪ (ℓ 1, …, ℓ k +1‬ﲨﻠﺔ ّ‬

‫∗‬

‫(‬ ‫)‬
‫ﻣﻬﻤﺎ ﺗﻜﻦ ‪ j‬ﻣﻦ ‪ ℕ k +1‬ﻓﺈ ّن اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ ℓ j‬ﻻ ﻳﻨﺘﻤﻲ إﱃ } ‪، vect ( ℓ i )i ∈ℕ \{ j‬‬
‫‪k +1‬‬
‫‪105‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫‪‬‬ ‫‪‬‬
‫ﻋﻨﺼﺮ‬
‫ٌ‬ ‫‪ ، ‬وﻋﻠﻴﻪ ﻳﻮﺟﺪ ﰲ ‪E‬‬ ‫∩‬ ‫⊂ ‪ker ℓ i ‬‬
‫اﻟﻔﺮض ‪ Qk‬ﻓﺈ ّن ‪/ ker ℓ j‬‬
‫واﺳﺘﻨﺎداً إﱃ ْ‬
‫} ‪ i ∈ ℕ k +1 \{ j‬‬ ‫‪‬‬
‫‪ُ xɶj‬ﳛﻘ‪‬ﻖ‬
‫∈ ‪ xɶj‬و ‪xɶj ∉ ker ℓ j‬‬ ‫∩‬ ‫‪ker ℓ i‬‬
‫} ‪i ∈ ℕ k +1 \{ j‬‬

‫‪1‬‬
‫اﳋﺎﺻﺔ‬
‫= ‪ ، x j‬ﺣﻘ‪‬ﻘﺖ اﳉﻤﻠﺔ ) ‪ّ (x1, x 2, …, x k +1‬‬ ‫ﻓﺈذا ﻋﺮﻓﻨﺎ ‪xɶ‬‬
‫ّ ‪ℓ j (xɶj ) j‬‬
‫‪∀(i, j ) ∈ ℕ2k +1,‬‬ ‫‪ℓ j (x i ) = δij‬‬
‫اص ∗‪ (Pk )k ∈ℕ‬و ∗‪ (Qk )k ∈ℕ‬ﺻﺤﻴﺤﺔ‪.‬‬
‫ﺻﺤﺔ ‪ . Pk +1‬إذن‪ ،‬ﻟﻘﺪ أﺛﺒﺘﻨﺎ أ ّن اﳋﻮ ّ‬
‫ﻳﺜﺒﺖ ّ‬
‫وﻫﺬا ُ‬
‫‪k‬‬

‫ﻣﻦ ﺟﻬﺔ أﺧﺮى‪ ،‬إ ّن اﻻﻗﺘﻀﺎء ‪ ℓ ∈ vect ( ℓ 1, …, ℓ k ) ⇒ ∩ ker ℓ i ⊂ ker ℓ‬و ٌ‬

‫اﺿﺢ‪.‬‬
‫‪i =1‬‬
‫وﺑﺎﻟﻌﻜﺲ‪ ،‬إذا ﻛﺎﻧﺖ ﲨﻴﻊ اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ‪ ℓ i‬ﻣﻌﺪوﻣﺔ ﻛﺎن اﻻﻗﺘﻀﺎء اﻟ ُـﻤﻌﺎﻛﺲ ﺻﺤﻴﺤﺎً وﺿﻮﺣﺎً‪.‬‬
‫ﻟﻨﻔﱰض إذن أ ّن واﺣﺪاً ﻋﻠﻰ اﻷﻗﻞ ﻣﻦ اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ﰲ اﳉﻤﻠﺔ ) ‪ (ℓ 1, …, ℓ k‬ﻏﲑ ﺻﻔﺮي‪ .‬وﻟﺘﻜﻦ‬
‫ﺣﺮة‪ .‬ﻋﻨﺪﺋﺬ‬‫‪ A‬أﻛﱪ ﳎﻤﻮﻋﺔ ﺟﺰﺋﻴّﺔ ﻣﻦ ‪ ℕ k‬ﺗﻜﻮن ﻋﻨﺪﻫﺎ اﳉﻤﺎﻋﺔ ‪ّ ( ℓ i )i ∈A‬‬
‫‪k‬‬
‫) ) ‪∩ ker ℓ i = ( { ℓ 1, …, ℓ k } ) = ( vect ( ℓ 1, …, ℓ k‬‬
‫‬ ‫‬

‫‪i =1‬‬

‫‪= ( vect ( ( ℓ i )i ∈A ) ) = ∩ ker ℓ i‬‬

‫‬

‫‪i ∈A‬‬
‫‪k‬‬
‫اﳋﺎﺻﺔ ‪ Qk‬ﰎ اﻹﺛﺒﺎت‪ ،‬ﻷﻧّﻪ ﻋﻨﺪﺋﺬ ﻧﺴﺘﻨﺘﺞ ﻣﻦ ‪ ∩ ker ℓ i ⊂ ker ℓ‬أ ّن‬
‫ﻓﺈذا اﺳﺘﻔﺪﻧﺎ ﻣﻦ ّ‬
‫‪i =1‬‬

‫‪ú‬‬ ‫‪ℓ ∈ vect ( ( ℓ i )i ∈A ) = vect‬‬ ‫) ) ‪(( ℓ‬‬

‫‪i i ∈ℕ‬‬
‫‪k‬‬

‫اﻟﺘﻤﺮﻳﻦ ‪ .8‬ﻟﻴﻜﻦ ‪ E‬ﻓﻀﺎءً ﺷﻌﺎﻋﻴّﺎً ﻣﻨﺘﻬﻲ اﻟﺒﻌﺪ ﻋﻠﻰ اﳊﻘﻞ ‪ ، K‬وﻟﺘﻜﻦ ) ‪ (ℓ 1, …, ℓ k‬ﲨﻠﺔ ّ‬
‫ﺣﺮة‬ ‫‪J‬‬
‫‪k‬‬
‫ﻣﻦ ﻋﻨﺎﺻﺮ ∗ ‪ . E‬أﺛﺒﺖ أ ّن ‪. dim ∩ ker ℓ i = dim E − k‬‬
‫‪i =1‬‬

‫ﺗﻄﺒﻴﻖ‪ّ .‬‬
‫ﻧﺘﺄﻣﻞ ﲨﻠﺔ ) ‪ (ℓ 1, …, ℓ k‬ﻣﻦ ﻋﻨﺎﺻﺮ ∗) ‪ ، (ℝn‬وﻧﻔﱰض وﺟﻮد ﺷﻌﺎع ﻏﲑ ﻣﻌﺪوم‬
‫‪ x‬ﰲ ‪ُ ℝn‬ﳛﻘ‪‬ﻖ ‪ . ∀k ∈ ℕ n , ℓ k (x ) = 0‬أﺛﺒﺖ اﻻرﺗﺒﺎط اﳋﻄّﻲ ﻟﻠﺠﻤﻠﺔ‬
‫) ‪. (ℓ 1, …, ℓ k‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪106‬‬

‫اﻟﺤـﻞ‬
‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﺪﻳﻨﺎ‬
‫‪k‬‬
‫) ) ‪∩ ker ℓ i = ( { ℓ 1, …, ℓ k } ) = ( vect(ℓ 1, …, ℓ k‬‬
‫‬ ‫‬

‫‪i =1‬‬
‫إذن‬
‫‪ k‬‬ ‫‪‬‬
‫‪‬‬
‫‪dim  ∩ ker ℓ i  = dim E − dim vect(ℓ 1, …, ℓ k ) = dim E − k‬‬
‫‪ i =1‬‬ ‫‪‬‬
‫ﺗﻄﺒﻴﻖ‪ .‬ﻧﺴﺘﻨﺘﺞ ﻣﻦ وﺟﻮد ﺷﻌﺎع ﻏﲑ ﻣﻌﺪوم ‪ُ x‬ﳛ ّﻘﻖ أ ّن ‪ ∀k ∈ ℕ n , ℓ k (x ) = 0‬أ ّن‬
‫‪ n‬‬ ‫‪‬‬
‫‪‬‬
‫‪dim  ∩ ker ℓ i  ≥ 1‬‬
‫‪ i =1‬‬ ‫‪‬‬
‫‪ n‬‬ ‫‪‬‬
‫‪‬‬
‫ﺣﺮة ﻟﻜﺎن ‪dim  ∩ ker ℓ i  = n − n = 0‬‬
‫وﻟﻜﻦ ﻟﻮ ﻛﺎﻧﺖ اﳉﻤﻠﺔ ) ‪ّ (ℓ 1, …, ℓ n‬‬
‫‪ i =1‬‬ ‫‪‬‬
‫‪ú‬‬ ‫اﺳﺘﻨﺎداً إﱃ ﻣﺎ ﺳﺒﻖ‪ .‬وﻋﻠﻴﻪ ﻻ ﺑُ ‪‬ﺪ أن ﺗﻜﻮن اﳉﻤﻠﺔ ) ‪ (ℓ 1, …, ℓ n‬ﻣﺮﺗﺒﻄﺔ‪.‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .9‬ﻟﻴﻜﻦ ] ‪ E = ℝ 2[X‬ﻓﻀﺎء ﻛﺜﲑات اﳊﺪود ذات اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ درﺟﺘﻬﺎ‬
‫اﳌﻌﺮﻓﺔ ﻛﻤﺎ ﻳﻠﻲ ‪:‬‬
‫ﻋﻦ ‪ ، 2‬وﻟﺘﻜﻦ ‪ ϕ1‬و ‪ ϕ2‬و ‪ ϕ3‬اﻟﻌﻨﺎﺻﺮ ﻣﻦ ‪ّ E‬‬
‫∗‬

‫‪1‬‬
‫= ) ‪ϕ1(P ) = P (1), ϕ2 (P ) = P ′(1), ϕ3 (P‬‬ ‫‪∫0 P(t ) d t‬‬
‫أﺛﺒﺖ أ ّن ) ‪ (ϕ1, ϕ2, ϕ3‬أﺳﺎس ﻟﻠﻔﻀﺎء اﻟﺜﻨﻮي ‪ ، E‬و ّ‬
‫ﻋﲔ أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ E‬ﻳﻜﻮن‬ ‫∗‬

‫) ‪ (ϕ1, ϕ2, ϕ3‬أﺳﺎﺳﻪ اﻟﺜﻨﻮي‪.‬‬

‫اﻟﺤـﻞ‬
‫ﻟﻨﺘﺄﻣﻞ اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ‬
‫ّ‬
‫)) ‪Φ : E → ℝ 3 , P ֏ (ϕ1(P ), ϕ2 (P ), ϕ3 (P‬‬
‫ﻏﺎﻣﺮ‪ ،‬ﻓﻴﻜﻮن ﻋﻨﺪﺋﺬ ﺗﻘﺎﺑﻼً ﻷ ّن ‪. dim E = 3‬‬
‫وﻟﻨﺜﺒﺖ أﻧّﻪ ٌ‬

‫ﻟﻴﻜﻦ )‪ (a,b, c‬ﻣﻦ ‪ ℝ 3‬ﻋﻨﺪﺋﺬ ُﳛﻘ‪‬ﻖ ﻛﺜﲑ اﳊﺪود‬

‫‪P = α + β(X − 1) + γ(X − 1)2‬‬
‫‪107‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫ﻳﺘﺤ ّﻘﻖ اﻟﺸﺮط )‪ Φ(P ) = (a,b, c‬إذا وﻓﻘﻂ إذا ﻛﺎن‬
‫‪‬‬ ‫‪‬‬
‫)‪ α, β, α − β + γ  = (a, b, c‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪3 ‬‬
‫أي إذا وﻓﻘﻂ إذا ﻛﺎن‬
‫‪3‬‬
‫‪α = a,‬‬ ‫‪β = b,‬‬ ‫‪γ = 3c + b − 3a‬‬
‫‪2‬‬
‫وﻣﻨﻪ‪ ،‬ﻓﺈ ّن ﻛﺜﲑ اﳊﺪود‬
‫‪‬‬ ‫‪3‬‬ ‫‪‬‬
‫) ‪P = a + b ( X − 1 ) +  3c + b − 3a  ( X − 1‬‬
‫‪2‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪‬‬ ‫‪3‬‬ ‫‪‬‬
‫‪= 3c + b − 2a + X ( 6a − 2b − 6c ) +  3c + b − 3a  X 2‬‬
‫‪2‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪‬‬

‫ﻫﻮ ﻛﺜﲑ اﳊﺪود اﻟﻮﺣﻴﺪ اﻟﺬي ُﳛ ّﻘﻖ )‪ . Φ(P ) = (a,b, c‬إذن ‪ٌ Φ‬‬
‫ﺗﻘﺎﺑﻞ ﺧﻄّﻲ‪.‬‬

‫وﻋﺮﻓﻨﺎ اﻷﺳﺎس ) ‪ E = (e1,e2,e3‬ﻛﻤﺎ ﻳﺄﰐ ‪:‬‬

‫ﻓﺈذا ﻛﺎن ) ‪ (ε1, ε2, ε3‬اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ ‪ّ ℝ‬‬
‫‪3‬‬

‫‪ϕ1 = Φ−1(ε1 ) = −2 + 6X − 3X 2‬‬

‫‪1‬‬ ‫‪3‬‬
‫= ) ‪ϕ2 = Φ−1(ε2‬‬ ‫‪− 2X + X 2‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪ϕ3 = Φ−1(ε3 ) = 3 − 6X + 3X 2‬‬

‫‪ú‬‬ ‫ﻛﺎن ) ‪ F = (ϕ1, ϕ2, ϕ3‬اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ‪. E‬‬

‫‪ J‬اﻟﺘﻤﺮﻳﻦ ‪ .10‬ﻟﻴﻜﻦ ] ‪ E = ℝ n [X‬ﻓﻀﺎء ﻛﺜﲑا ت اﳊﺪود ذا ت اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ‬

‫ﻧﺘﺄﻣﻞ ﺷﻜﻼً ﺧﻄﻴّﺎً ‪ ϕ‬ﻣﻦ ∗ ‪ُ E‬ﳛ ّﻘﻖ‬
‫درﺟﺘﻬﺎ ﻋﻦ ‪ ، n‬ﻧﻔﱰض أ ّن ‪ّ . n ≥ 2‬‬
‫‪∀P ∈ ℝ n −2[X ],‬‬ ‫‪ϕ((X − a )2 P ) = 0‬‬

‫ﻋﺪد ﺣﻘﻴﻘﻲ‪ .‬أﺛﺒﺖ أﻧّﻪ ﻳﻮﺟﺪ ﻋﺪدان ‪ λ‬و ‪ُ µ‬ﳛﻘ‪‬ﻘﺎن‬

‫ﺣﻴﺚ ‪ٌ a‬‬
‫‪∀P ∈ E ,‬‬ ‫) ‪ϕ(P ) = λP (a ) + µP ′(a‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪108‬‬

‫اﻟﺤـﻞ‬
‫ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟﻴﻜﻦ ‪ P‬ﻣﻦ ‪ . E‬اﺳﺘﻨﺎداً إﱃ ﻣﻨﺸﻮر ﺗﺎﻳﻠﻮر ﻟﺪﻳﻨﺎ‬
‫‪P = P (a ) + P ′(a )(X − a ) + (X − a )2Q‬‬
‫‪n‬‬
‫) ‪P (k )(a‬‬
‫= ‪ .Q‬وﻣﻦ َﰒّ ﻳﻜﻮن‬ ‫ﺣﻴﺚ ‪∑ k ! (X − a )k −2‬‬
‫‪k =2‬‬

‫) ‪ϕ(P ) = P (a )ϕ(1) + P ′(a )ϕ(X − a‬‬

‫‪ú‬‬ ‫ﻳﻜﻔﻲ إذن أن ﻧﻀﻊ )) ‪ (λ, µ) = (ϕ(1), ϕ(X − a‬ﻟﻴﺘﻢ اﻹﺛﺒﺎت‪.‬‬
‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .11‬ﻟﻴﻜﻦ ] ‪ E = ℝ 3[X‬ﻓﻀﺎء ﻛﺜﲑات اﳊﺪود ذات اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ‪ ،‬اﻟﱵ ﻻ ﺗﺰﻳﺪ‬
‫اﳌﻌﺮﻓﺔ ﻛﻤﺎ ﻳﻠﻲ ‪:‬‬
‫درﺟﺘﻬﺎ ﻋﻦ ‪ ، 3‬وﻟﺘﻜﻦ ‪ ϕ1‬و ‪ ϕ2‬و ‪ ϕ3‬و ‪ ϕ4‬اﻟﻌﻨﺎﺻﺮ ﻣﻦ ‪ّ E‬‬
‫∗‬

‫)‪ϕ1(P ) = P (0), ϕ2 (P ) = P (1‬‬

‫)‪ϕ3 (P ) = P ′(0), ϕ4 (P ) = P ′(1‬‬
‫‪ .1‬أﺛﺒﺖ أ ّن ) ‪ (ϕ1, ϕ2, ϕ3, ϕ4‬أﺳﺎس ﻟﻠﻔﻀﺎء ∗ ‪ ، E‬وﺣ ّﺪد أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ E‬ﻳﻜﻮن‬
‫اﻷﺳﺎس ) ‪َ (ϕ1, ϕ2, ϕ3, ϕ4‬‬
‫أﺳﺎﺳﻪ اﻟﺜﻨﻮي‪.‬‬ ‫ُ‬
‫‪1‬‬
‫= ) ‪ ψ(P‬ﺑﺪﻻﻟﺔ‬ ‫‪∫0 P(t )dt‬‬ ‫اﳌﻌﺮف ﺑﺎﻟﻌﻼﻗﺔ‬
‫اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ ψ‬ﻣﻦ ‪ّ ، E‬‬
‫∗‬
‫ﻋﱪ ﻋﻦ ّ‬
‫‪ّ .2‬‬
‫اﻟﺴﺎﺑﻖ‪.‬‬
‫اﻷﺳﺎس ّ‬
‫اﻟﺤـﻞ‬
‫ﻟﻨﺘﺄﻣﻞ اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ‬
‫‪ّ .1‬‬
‫) ) ‪Φ : E → ℝ 4 , P ֏ ( ϕ1(P ), ϕ2 (P ), ϕ3 (P ), ϕ4 (P‬‬
‫وﻟﻴﻜﻦ ) ‪ (ε1, ε2, ε3, ε4‬اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ ‪. ℝ 4‬‬
‫ﺟﺬر ﻣﻀﺎﻋﻒ ﻟﻜﺜﲑ اﳊﺪود ‪ ، P‬إذن ﻳُﻜﺘﺐ‬
‫اﻟﻌﺪد ‪ٌ 1‬‬
‫ اﻟﺸﺮط ‪ Φ(P1 ) = ε1‬ﻳﻘﺘﻀﻲ أ ّن َ‬
‫‪ ، P1‬ﰲ ﺣﺎل وﺟﻮدﻩ‪ ،‬ﺑﺎﻟﺸﻜﻞ )‪ (X − 1)2 (aX + b‬ﻓﺈذا اﺷﱰﻃﻨﺎ أﻳﻀﺎً ‪P1(0) = 1‬‬
‫و ‪ P1′(0) = 0‬اﺳﺘﻨﺘﺠﻨﺎ أ ّن ‪ b = 1‬و ‪ . a = 2‬إذن )‪P1 = (X − 1)2 (2X + 1‬‬
‫ﻫﻮ ﻛﺜﲑ اﳊﺪود اﻟﻮﺣﻴﺪ ﰲ ‪ E‬اﻟﺬي ُﳛﻘ‪‬ﻖ ‪. Φ(P1 ) = ε1‬‬
‫ﻋﺮﻓﻨﺎ ) ‪ P2 = P1(1 − X ) = X 2 (3 − 2X‬ﲢﻘ‪‬ﻘﻨﺎ ﻣﺒﺎﺷﺮة أ ّن ‪. Φ(P2 ) = ε2‬‬‫وإذا ّ‬ ‫‬
‫‪109‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫ﺟﺬر ﻣﻀﺎﻋﻒ ﻟﻜﺜﲑ اﳊﺪود ‪ ، P‬وأ ّن ‪0‬‬
‫اﻟﻌﺪد ‪ٌ 1‬‬
‫ ّأﻣﺎ اﻟﺸﺮط ‪ Φ(P3 ) = ε3‬ﻓﻴﻘﺘﻀﻲ أ ّن َ‬
‫ﺟﺬر ﺑﺴﻴﻂ ﻟﻪ‪ ،‬إذن ﻳُﻜﺘﺐ ‪ ، P3‬ﰲ ﺣﺎل وﺟﻮدﻩ‪ ،‬ﺑﺎﻟﺸﻜﻞ ‪ . a(X − 1)2 X‬ﻓﺈذا اﺷﱰﻃﻨﺎ‬
‫ٌ‬
‫أﻳﻀﺎً أن ﻳﻜﻮن ‪ P3′(0) = 1‬اﺳﺘﻨﺘﺠﻨﺎ أ ّن ‪ . a = 1‬إذن ‪ P3 = (X − 1)2 X‬ﻫﻮ ﻛﺜﲑ‬
‫اﳊﺪود اﻟﻮﺣﻴﺪ ﰲ ‪ E‬اﻟﺬي ُﳛﻘ‪‬ﻖ ‪. Φ(P3 ) = ε3‬‬
‫ﻋﺮﻓﻨﺎ )‪ P4 = −P3 (1 − X ) = X 2 (X − 1‬ﲢﻘ‪‬ﻘﻨﺎ ﻣﺒﺎﺷﺮة أ ّن ‪. Φ(P4 ) = ε4‬‬
‫وإذا ّ‬ ‫‬

‫وﻋﻠﻰ ﻫﺬا‪ ،‬ﻧﺮى أ ّن اﳉﻤﻠﺔ ) ‪ُ P = (P1, P2, P3, P4‬ﲢﻘ‪‬ﻖ ‪ ϕi (Pj ) = δij‬ﰲ ﺣﺎﻟﺔ ‪ i‬و ‪ j‬ﻣﻦ‬
‫‪ . ℕ 4‬إذن اﳉﻤﻠﺔ ) ‪ (ϕ1, ϕ2, ϕ3, ϕ4‬أﺳﺎس ﻟﻠﻔﻀﺎء ∗ ‪ E‬وﻫﻲ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس‬
‫) ‪. P = (P1, P2, P3, P4‬‬
‫‪4‬‬
‫= ‪ ψ‬إذن ﳒﺪ ﲝﺴﺎب ﺑﺴﻴﻂ‬ ‫‪∑ ψ(Pk )ϕk‬‬ ‫‪ .2‬ﻧﻌﻠﻢ أ ّن‬
‫‪k =1‬‬
‫‪1‬‬ ‫‪1‬‬
‫=‪ψ‬‬ ‫) ‪( ϕ1 + ϕ2 ) + ( ϕ3 − ϕ4‬‬
‫‪2‬‬ ‫‪12‬‬
‫‪ú‬‬ ‫وﻫﻲ اﻟﻨﺘﻴﺠﺔ اﳌﻄﻠﻮﺑﺔ‪.‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .12‬ﻟﻴﻜﻦ ] ‪ E = ℝ n [X‬ﻓﻀﺎء ﻛﺜﲑات اﳊﺪود ذات اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ‬
‫ﺣﻘﻴﻘﻲ ‪ a‬ﻧﻀﻊ ‪. ϕa : E → ℝ, P ֏ P (a ) :‬‬‫ّ‬ ‫درﺟﺘﻬﺎ ﻋﻠﻰ ‪ . n‬ﰲ ﺣﺎﻟﺔ ﻋﺪد‬
‫اﳊﻘﻴﻘﻲ ‪ ، a‬ﻛﺎن ‪ ϕa‬ﻋﻨﺼﺮاً ﻣﻦ ∗ ‪. E‬‬
‫ّ‬ ‫‪ .1‬ﲢ ّﻘﻖ أﻧّﻪ أﻳّﺎً ﻛﺎن اﻟﻌﺪد‬
‫‪ .2‬ﻟﺘﻜﻦ ‪ x 0 , x1, …, x n‬أﻋﺪاداً ﺣﻘﻴﻘﻴّﺔً ﳐﺘﻠﻔﺔً ﻣﺜﲎ ﻣﺜﲎ‪ .‬أﺛﺒﺖ أ ّن اﳉﻤﻠﺔ اﻵﺗﻴﺔ‬
‫ﻨﻮي‪.‬‬ ‫∗ ِ‬
‫) ‪ (ϕx 0 , ϕx1 , …, ϕxn‬ﻫﻲ أﺳﺎس ﻟﻠﻔﻀﺎء ‪ E‬وﺟ ْﺪ أﺳﺎﺳﻪ اﻟﺜّ ّ‬
‫‪ .3‬أﺛﺒﺖ أﻧّﻪ ﺗﻮﺟﺪ ﻣﺘﺘﺎﻟﻴﺔ ﻣﻨﺘﻬﻴﺔ وﺣﻴﺪة ‪ (λi )0≤i ≤n‬ﻣﻦ اﻷﻋﺪاد اﳊﻘﻴﻘﻴّﺔ ُﲢ ‪‬ﻘﻖ ‪:‬‬
‫‪1‬‬ ‫‪n‬‬
‫‪∀P ∈ E ,‬‬ ‫∑ = ‪∫ P(x )d x‬‬
‫‪i =0‬‬
‫) ‪λi P (x i‬‬
‫‪0‬‬

‫اﻟﺤـﻞ‬
‫أﻣﺮ ﺑﺴﻴﻂ ﻧﱰك ﺗﻔﺎﺻﻴﻠﻪ ﻟﻠﻘﺎرئ‪.‬‬
‫ﺷﻜﻞ ﺧﻄّﻲ ﻋﻠﻰ ‪ٌ E‬‬
‫‪ .1‬إﺛﺒﺎت أ ّن اﻟﺘﻄﺒﻴﻖ ‪ٌ ϕa‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪110‬‬

‫ﻟﻨﻌﺮف ﰲ ﺣﺎﻟﺔ ‪ k‬ﻣﻦ }‪ {0,1, …, n‬ﻛﺜﲑ اﳊﺪود ‪ ℓ k‬ﺑﺎﻟﻌﻼﻗﺔ‬

‫‪ّ .2‬‬
‫‪n‬‬ ‫‪ X − x j ‬‬
‫= ) ‪ℓk (X‬‬ ‫‪∏  x‬‬ ‫‪‬‬
‫‪j =0‬‬ ‫‪‬‬ ‫‪−‬‬
‫‪k‬‬ ‫‪x‬‬ ‫‪‬‬ ‫‪j‬‬
‫‪j ≠k‬‬

‫ﻳﺜﺒﺖ أ ّن‬
‫ﻋﻨﺪﺋﺬ ﻧﺘﻴﻘ‪‬ﻦ ﻣﺒﺎﺷﺮة أ ّن ‪ ϕxi (ℓ j ) = δij‬ﰲ ﺣﺎﻟﺔ ‪ i‬و ‪ j‬ﻣﻦ }‪ . {0,1, …, n‬وﻫﺬا ُ‬
‫أﺳﺎس ﻟﻠﻔﻀﺎء ∗ ‪ ، E‬وأ‪‬ﺎ ﰲ اﳊﻘﻴﻘﺔ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس‬
‫ٌ‬ ‫اﳉﻤﻠﺔ ) ‪(ϕx 0 , ϕx1 , … , ϕxn‬‬
‫) ‪. ( ℓ 0 , ℓ 1, …, ℓ n‬‬
‫‪ .3‬ﻟ ّـﻤﺎ ﻛﺎﻧﺖ ) ‪ (ϕx 0 , ϕx1 , …, ϕxn‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ∗ ‪ ، E‬أﻣﻜﻦ اﻟﺘﻌﺒﲑ ﻋﻦ اﻟﺸﻜﻞ اﳋﻄّﻲ‬
‫‪1‬‬
‫‪ψ : E → ℝ,‬‬ ‫֏ ‪P‬‬ ‫‪∫ P(t ) d t‬‬
‫‪0‬‬
‫ﺑﻄﺮﻳﻘﺔ وﺣﻴﺪة ﺑﻌﺒﺎرة ﺧﻄﻴّﺔ ﰲ ﻋﻨﺎﺻﺮ اﻷﺳﺎس ) ‪ (ϕx 0 , ϕx1 , …, ϕxn‬؛ أي ﺗﻮﺟﺪ ﺗﻮﺟﺪ ﻣﺘﺘﺎﻟﻴﺔ‬
‫‪n‬‬
‫ﻣﻨﺘﻬﻴﺔ وﺣﻴﺪة ‪ (λi )0≤i ≤n‬ﻣﻦ اﻷﻋﺪاد اﳊﻘﻴﻘﻴّﺔ ُﲢ ‪‬ﻘﻖ ‪ ، ψ = ∑ λi ϕx‬وﻫﺬا ﻳُﻜﺎﻓﺊ‬
‫‪i‬‬
‫‪i =0‬‬
‫‪1‬‬ ‫‪n‬‬
‫‪∀P ∈ E ,‬‬ ‫∫‬ ‫= ‪P (x )d x‬‬ ‫) ‪∑ λi P(xi‬‬
‫‪0‬‬ ‫‪i =0‬‬

‫‪ú‬‬ ‫ﻳﺘﻢ اﻹﺛﺒﺎت‪.‬‬

‫ﰲ اﳊﻘﻴﻘﺔ ) ‪ . λk = ψ(ℓ k‬وﺑﺬا ّ‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .13‬ﻟﻴﻜﻦ ] ‪ E = ℝ n [X‬ﻓﻀﺎء ﻛﺜﲑات اﳊﺪود اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ درﺟﺘﻬﺎ ﻋﻠﻰ ‪. n‬‬
‫ﻨﻮي ‪ (ek∗ )0≤k ≤n‬ﻟﻸﺳﺎس ‪. (ek )0≤k ≤n‬‬ ‫ِ‬
‫‪ .1‬ﻟﻴﻜﻦ ) ‪ ، ek = (X − a‬ﺟ ْﺪ اﻷﺳﺎس اﻟﺜّ ّ‬
‫‪k‬‬

‫‪1‬‬
‫֏ ‪ ϕ : P‬ﺑﺪﻻﻟﺔ ﻋﻨﺎﺻﺮ ﻫﺬا اﻷﺳﺎس‪.‬‬ ‫‪∫0 P(t )dt‬‬ ‫ﻋﱪ ﻋﻦ اﻟﺸﻜﻞ اﳋﻄّﻲ‬
‫وّ‬
‫اﳌﻌﺮف ﺑﺎﻟﻌﻼﻗﺔ ) ‪ ، ∆(P ) = P (X + 1) − P (X‬وﻟﻴﻜﻦ‬ ‫‪ .2‬ﻟﻴﻜﻦ اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ ∆ ّ‬
‫اﳌﻌﺮف ﺑﺎﻟﻌﻼﻗﺔ )‪ . ϕk (P ) = ∆k (P )(0‬أﺛﺒﺖ أ ّن ‪(ϕk )0 ≤k ≤n‬‬
‫اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ّ ϕk‬‬
‫اﻟﺜﻨﻮي‬
‫ّ‬ ‫أﺳﺎس ﻟﻠﻔﻀﺎء ∗ ‪ ، E‬وﻋﲔ اﻷﺳﺎس ‪ (ek )0≤k ≤n‬ﰲ ‪ E‬اﻟﺬي أﺳﺎﺳﻪ‬
‫‪. (ϕk )0 ≤k ≤n‬‬
 ‫‪111‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫اﻟﺤـﻞ‬
‫‪ .1‬ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻣﻬﻤﺎ ﻛﺎن ‪ P‬ﻣﻦ ‪ ، E‬أﻣﻜﻨﻨﺎ أن ﻧﻜﺘﺐ اﺳﺘﻨﺎداً إﱃ ﻣﻨﺸﻮر ﺗﺎﻳﻠﻮر‬
‫‪n‬‬ ‫‪n‬‬
‫) ‪P (k )(a‬‬ ‫) ‪P (k )(a‬‬
‫∑= ‪P‬‬ ‫= ‪(X − a )k‬‬ ‫‪∑ k ! ek‬‬
‫‪k =0‬‬ ‫‪k‬‬ ‫!‬ ‫‪k =0‬‬
‫وﻫﺬا ﻳﱪﻫﻦ ﻋﻠﻰ أ ّن‬
‫) ‪P (k )(a‬‬
‫‪∀P ∈ E ,‬‬ ‫= ) ‪ek∗ (P‬‬
‫!‪k‬‬
‫‪. (ek )0≤k ≤n‬‬ ‫ﻳﻌﺮف اﻷﺳﺎس اﻟﺜﻨﻮي ‪ (ek )0≤k ≤n‬ﻟﻸﺳﺎس‬
‫∗‬
‫وﻫﺬا ّ‬
‫‪1‬‬
‫֏ ‪ ϕ : P‬ﻓﻴﻤﻜﻦ اﻟﺘﻌﺒﲑ ﻋﻨﻪ ﺑﺪﻻﻟﺔ ﻫﺬا اﻷﺳﺎس ﻛﻤﺎ ﻳﻠﻲ ‪:‬‬ ‫ّأﻣﺎ اﻟﺸﻜﻞ اﳋﻄﻲ ‪∫0 P(t )dt‬‬
‫∗ ‪(1 − a )k +1 − (−a )k +1‬‬
‫‪n‬‬ ‫‪n‬‬
‫=‪ϕ‬‬ ‫∑‬ ‫∗‪ϕ(ek )ek‬‬ ‫=‬ ‫∑‬ ‫‪k +1‬‬
‫‪ek‬‬
‫‪k =0‬‬ ‫‪k =0‬‬

‫‪ .2‬ﻟﻨﻀﻊ ﺗﻌﺮﻳﻔﺎً ‪ e0 = 1‬وﻛﺬﻟﻚ‬

‫)‪X (X − 1)⋯(X − k + 1‬‬
‫‪∀k ∈ ℕ n ,‬‬ ‫= ‪ek‬‬
‫!‪k‬‬
‫ﻋﻨﺪﺋﺬ ﻧﻼﺣﻆ أ ّن ‪ ∆(e0 ) = 0‬و ‪ ∆(e1 ) = e0‬وأﻧّﻪ ﰲ ﺣﺎﻟﺔ ‪ 2 ≤ k ≤ n‬ﻟﺪﻳﻨﺎ‬
‫)‪(X + 1)(X )⋯(X − k + 2) X (X − 1)⋯(X − k + 1‬‬
‫= ) ‪∆(ek‬‬ ‫‪−‬‬
‫!‪k‬‬ ‫!‪k‬‬
‫)‪X (X − 1)⋯(X − k + 2‬‬
‫=‬ ‫‪= ek −1‬‬
‫!)‪(k − 1‬‬
‫وﻋﻠﻰ ﻫﺬا ﻧﺴﺘﻨﺘﺞ أ ّن‬
‫‪‬‬
‫‪‬‬‫‪ek −p : k > p‬‬
‫‪‬‬
‫‪‬‬
‫‪∆p (ek ) = ‬‬
‫‪ 1‬‬ ‫‪: k =p‬‬
‫‪‬‬
‫‪‬‬
‫‪ 0‬‬
‫‪‬‬ ‫‪: k <p‬‬
‫‪‬‬
‫وﻣﻦ َﰒّ‬
‫‪1 : k = p‬‬
‫‪‬‬
‫‪∆p (ek )(0) = ‬‬
‫‪‬‬
‫‪0 : k ≠ p‬‬
‫‪‬‬
‫‪‬‬
‫‪ú. (ek )0 ≤k ≤n‬‬ ‫ﻳﺜﺒﺖ أ ّن ‪ . ϕp (ek ) = δpk‬إذن ‪ (ϕk )0 ≤k ≤n‬ﻫﻮ اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس‬
‫وﻫﺬا ُ‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪112‬‬

‫اﻟﺘﻤﺮﻳﻦ ‪ .14‬ﻟﺘﻜﻦ ﻣﺘﺘﺎﻟﻴﺔ ﻛﺜﲑات اﳊﺪود ‪ّ (Pn )n ≥0‬‬

‫اﳌﻌﺮﻓﺔ ﻛﻤﺎ ﻳﻠﻲ‪:‬‬ ‫‪J‬‬
‫‪1‬‬
‫‪P0 (X ) = 1, P1(X ) = X , ∀n ≥ 2,‬‬ ‫‪X (X − n )n −1‬‬
‫= ) ‪Pn (X‬‬
‫!‪n‬‬
‫‪ .1‬ﲢ ّﻘﻖ أﻧّﻪ أﻳّﺎً ﻛﺎن ‪ 1 ≤ n‬ﻛﺎن )‪ . Pn (X ) = Pn −1(X − 1‬واﺳﺘﻨﺘﺞ أ ّن ‪:‬‬
‫‪′‬‬
‫‪∀k ∈ ℕ,‬‬ ‫‪∀n ≥ k ,‬‬ ‫) ‪Pn(k )(X ) = Pn −k (X − k‬‬
‫ﻧﻌﺮف ﻋﻠﻰ ] ‪ ℝ[X‬اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ ϕk‬ﺑﺎﻟﻌﻼﻗﺔ ‪:‬‬
‫‪ .2‬ﻟﺘﻜﻦ ‪ k‬ﻣﻦ ‪ّ ، ℕ‬‬
‫) ‪ϕk (P ) = P (k )(k‬‬
‫أوﺟﺪ ) ‪. ϕk (Pn‬‬
‫ﻃﺒﻴﻌﻲ ﻣﻮﺟﺐ ﲤﺎﻣﺎً‪ .‬وﻧﺮﻣﺰ ﺑﺎﻟﺮﻣﺰ ] ‪ E = ℝ m [X‬إﱃ ﻓﻀﺎء‬
‫ّ‬ ‫‪ .3‬ﻧﻔﱰض اﻵن أ ّن ‪ m‬ﻋﺪد‬
‫ﻛﺜﲑات اﳊﺪود ذات اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ درﺟﺘﻬﺎ ﻋﻠﻰ ‪ . m‬أﺛﺒﺖ أ ّن اﳉﻤﻠﺔ‬
‫ﻨﻮي‪.‬‬
‫) ‪ (P0, P1, …, Pm‬أﺳﺎس ﻟﻠﻔﻀﺎء ‪ . E‬وﻋﲔ أﺳﺎﺳﻪ اﻟﺜّ ّ‬
‫‪m‬‬
‫= ) ‪. ∀Q ∈ E , Q(X‬‬ ‫‪ .4‬أﺛﺒﺖ أ ّن ‪∑ Q(k )(k )Pk (X ) :‬‬
‫‪k =0‬‬
‫‪m‬‬
‫‪. ∀a ∈ ℝ,‬‬ ‫= ) ‪Pm (X + a‬‬ ‫‪ .5‬اﺳﺘﻨﺘﺞ أ ّن ‪∑ Pm −k (a )Pk (X ) :‬‬
‫‪k =0‬‬

‫اﻟﺤـﻞ‬
‫‪ .1‬ﻧﻼﺣﻆ ﻣﺒﺎﺷﺮة أ ّن‬
‫)‪ P1′(X ) = 1 = P0 (X − 1‬و )‪P2′(X ) = X − 1 = P1(X − 1‬‬
‫ﻟﻴﻜﻦ ‪ 3 ≤ n‬ﻋﻨﺪﺋﺬ‬
‫‪1‬‬
‫= ) ‪Pn′(X‬‬
‫!‪n‬‬
‫(‬ ‫) ‪(X − n )n −1 + (n − 1)X (X − n )n −2‬‬
‫‪1‬‬
‫) ‪= (X − n )n −2 (nX − n‬‬
‫!‪n‬‬
‫‪1‬‬ ‫‪n −2‬‬
‫=‬ ‫)‪( X − 1 − (n − 1) ) (X − 1‬‬
‫!)‪(n − 1‬‬
‫)‪= Pn −1(X − 1‬‬
‫ﻧﺜﺒﺖ ﺑﺎﻟﺘﺪرﻳﺞ ﻋﻠﻰ اﻟﻌﺪد ‪ k‬أ ّن‬
‫وﻫﻜﺬا ُ‬
‫‪∀k ∈ ℕ,‬‬ ‫‪∀n ≥ k ,‬‬ ‫) ‪Pn(k )(X ) = Pn −k (X − k‬‬
‫‪113‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫ﻧﻌﺮف ﻋﻠﻰ ] ‪ ℝ[X‬اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ ϕk‬ﺑﺎﻟﻌﻼﻗﺔ ) ‪. ϕk (P ) = P (k )(k‬‬ ‫‪ .2‬ﻟﺘﻜﻦ ‪ k‬ﻣﻦ ‪ّ ، ℕ‬‬
‫ﻋﻨﺪﺋﺬ ﻳﻜﻮن ﻟﺪﻳﻨﺎ‪ ،‬ﺑﺎﻻﺳﺘﻔﺎدة ﻣﻦ ﻧﺘﻴﺠﺔ اﻟﺴﺆال اﻟﺴﺎﺑﻖ وﻣﻦ ﻛﻮن ‪ ، deg Pn = n‬ﻣﺎ ﻳﺄﰐ ‪:‬‬
‫‪ ϕk (Pn ) = δnk‬و ‪ δnk‬ﻫﻮ رﻣﺰ ﻛﺮوﻧﻴﻜﺮ‪.‬‬
‫ﻃﺒﻴﻌﻲ ﻣﻮﺟﺐ ﲤﺎﻣﺎً‪ .‬وﻧﺮﻣﺰ ﺑﺎﻟﺮﻣﺰ ] ‪ E = ℝ m [X‬إﱃ ﻓﻀﺎء ﻛﺜﲑات‬
‫ّ‬ ‫‪ .3‬ﻧﻔﱰض اﻵن أ ّن ‪ m‬ﻋﺪد‬
‫ﻧﺘﺄﻣﻞ اﳉﻤﻠﺘﲔ‬
‫اﳊﺪود ذات اﻷﻣﺜﺎل اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ درﺟﺘﻬﺎ ﻋﻠﻰ ‪ . m‬ﻋﻨﺪﺋﺬ ّ‬
‫) ‪ P = (P0, P1, …, Pm‬ﰲ ‪ E‬و ) ‪ F = (ϕ0, ϕ1, …, ϕm‬ﰲ ∗ ‪ . E‬ﻧﺴﺘﻨﺘﺞ ﻣﻦ اﻟﺴﺆال‬
‫اﻟﺴﺎﺑﻖ أ ّن‬
‫‪∀(i, j ) ∈ {0,1, …, m}2 ,‬‬ ‫‪ϕi (Pj ) = δij‬‬

‫أﺳﺎس ﻟﻠﻔﻀﺎء ‪ E‬وأ ّن ‪ F‬ﻫﻮ أﺳﺎﺳﻪ اﻟﺜﻨﻮي‪.‬‬

‫ٌ‬ ‫وﻫﺬا ﻳﱪﻫﻦ أ ّن ‪P‬‬
‫‪ .4‬ﻣﻦ اﳌﻌﺮوف أ ّن‬

‫‪m‬‬ ‫‪m‬‬
‫‪∀Q ∈ E ,‬‬ ‫= ) ‪Q(X‬‬ ‫∑‬ ‫= ) ‪ϕk ,Q Pk (X‬‬ ‫) ‪∑ Q (k )(k )Pk (X‬‬
‫‪k =0‬‬ ‫‪k =0‬‬

‫‪ .5‬ﻟﻴﻜﻦ ‪ a‬ﻋﺪداً ﻣﻦ ‪ . ℝ‬ﻓﺈذا ﻃﺒّﻘﻨﺎ اﳌﺴﺎ واة اﻟﺴﺎﺑﻘﺔ ﰲ ﺣﺎﻟﺔ ) ‪،Q(X ) = Pm (X + a‬‬
‫اﻷول‪ ،‬وﺟﺪﻧﺎ‬
‫واﺳﺘﻔﺪﻧﺎ ﻣﻦ ﻧﺘﻴﺠﺔ اﻟﺴﺆال ّ‬
‫‪m‬‬
‫= ) ‪Pm (X + a‬‬ ‫) ‪∑ Pm(k )(a + k )Pk (X‬‬
‫‪k =0‬‬
‫‪m‬‬
‫=‬ ‫) ‪∑ Pm −k (a + k − k )Pk (X‬‬
‫‪k =0‬‬
‫‪m‬‬
‫=‬ ‫) ‪∑ Pm −k (a )Pk (X‬‬
‫‪k =0‬‬
‫وﳓﺼﻞ ﻣﻦ َﰒّ ﻋﻠﻰ اﻟﻨﺘﻴﺠﺔ اﻵﺗﻴﺔ‬
‫‪m‬‬
‫‪∀m ∈ ℕ,‬‬ ‫= ) ‪Pm (X + Y‬‬ ‫) ‪∑ Pm −k (Y )Pk (X‬‬
‫‪k =0‬‬
‫‪ú‬‬ ‫وﻫﻮ اﳌﻄﻠﻮب‪.‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪114‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .15‬ﻟﻴﻜﻦ ] ‪ E = ℝ n [X‬ﻓﻀﺎء ﻛﺜﲑات اﳊﺪود اﳊﻘﻴﻘﻴّﺔ اﻟﱵ ﻻ ﺗﺰﻳﺪ درﺟﺘﻬﺎ ﻋﻠﻰ ‪. n‬‬
‫وﻧﺘﺄﻣﻞ ﻛﺜﲑ ﺣﺪود ‪ Q‬ﻣﻦ ‪ E‬درﺟﺘﻪ ‪ ، n‬وأﻋﺪاداً ‪ x 0 , x1, …, x n‬ﳐﺘﻠﻔﺔ ﻣﺜﲎ ﻣﺜﲎ‪.‬‬
‫ّ‬
‫‪ .1‬أﺛﺒﺖ أ ّن اﳉﻤﻠﺔ ) ‪ (Q,Q ′,Q ′′, …,Q‬ﲨﻠﺔ ّ‬
‫ﺣﺮة‪.‬‬ ‫(‬‫‪n‬‬ ‫)‬

‫‪ .2‬ﻟﻴﻜﻦ ‪ f‬ﺷﻜﻼً ﺧﻄﻴّﺎً ﻋﻠﻰ ‪ . E‬أﺛﺒﺖ أﻧّﻪ ﺗﻮﺟﺪ ) ‪ (α0, α1, …, αn‬ﰲ ‪ُ ℝn +1‬ﲢ ّﻘﻖ‬
‫‪n‬‬
‫‪∀P ∈ E ,‬‬ ‫= ) ‪f (P‬‬ ‫)‪∑ αk P (k )(0‬‬
‫‪k =0‬‬

‫‪ .3‬ﻟﻴﻜﻦ ‪ f‬ﺷﻜﻼً ﺧﻄﻴّﺎً ﻋﻠﻰ ‪ . E‬ﻧﻔﱰض أ ّن‬

‫‪∀k ∈ {0,1, …, n },‬‬ ‫‪f (Q(X + x k )) = 0‬‬
‫أﺛﺒﺖ أ ّن ‪ . f = 0‬واﺳﺘﻨﺘﺞ أ ّن اﳉﻤﻠﺔ ‪ (Q(X + x k ))0≤k ≤n‬أﺳﺎس ﻟﻠﻔﻀﺎء ‪. E‬‬
‫اﻟﺤـﻞ‬
‫أن اﳉﻤﻠﺔ ) ) ‪(Q,Q ′,Q ′′, …,Q (n‬‬
‫‪ .1‬ﰲ اﳊﻘﻴﻘﺔ‪ ،‬ﻟ ّـﻤﺎ ﻛﺎن ‪ degQ (k ) = n − k‬اﺳﺘﻨﺘﺠﻨﺎ ّ‬
‫ﺣﺮة‪ .‬ﻷ ّن درﺟﺎت ﻛﺜﲑات اﳊﺪود اﻟﱵ ﺗﻜ ‪‬ﻮ‪‬ﺎ ﳐﺘﻠﻔﺔ ﻣﺜﲎ ﻣﺜﲎ‪.‬‬
‫ﲨﻠﺔٌ ّ‬
‫‪1‬‬
‫ﻟﻨﺘﺄﻣﻞ ﻛﺜﲑ ﺣﺪود ‪ P‬ﻣﻦ‬
‫= ‪ُ . αk‬ﰒّ ّ‬ ‫وﻟﻨﻌﺮف ) ‪f (X k‬‬
‫‪ .2‬ﻟﻴﻜﻦ ‪ f‬ﺷﻜﻼً ﺧﻄﻴّﺎً ﻋﻠﻰ ‪ّ . E‬‬
‫!‪k‬‬
‫ﻧﻜﺘﺐ‪ ،‬اﺳﺘﻨﺎداً إﱃ ﻣﻨﺸﻮر ﺗﺎﻳﻠﻮر‪ ،‬أ ّن‬
‫‪ E‬ﻋﻨﺪﺋﺬ ﳝﻜﻨﻨﺎ أن َ‬
‫‪n‬‬
‫‪1‬‬
‫= ‪P‬‬ ‫‪∑ P (k )(0) k ! X k‬‬
‫‪k =0‬‬
‫وﺑﺘﻄﺒﻴﻖ اﻟﺸﻜﻞ اﳋﻄّﻲ ‪ f‬ﻋﻠﻰ ﻃﺮﰲ ﻫﺬﻩ اﳌﺴﺎواة ﳒﺪ‬
‫‪n‬‬ ‫‪n‬‬
‫‪1‬‬
‫= ) ‪f (P‬‬ ‫)‪∑ P (k )(0‬‬ ‫!‪k‬‬
‫= ) ‪f (X k‬‬ ‫)‪∑ αk P (k )(0‬‬
‫‪k =0‬‬ ‫‪k =0‬‬

‫‪ .3‬ﻟﻴﻜﻦ ‪ f‬ﺷﻜﻼً ﺧﻄﻴّﺎً ﻋﻠﻰ ‪ . E‬وﻟﻨﻔﱰض أ ّن‬

‫)‪(H‬‬ ‫‪∀k ∈ {0,1, …, n },‬‬ ‫‪f (Q(X + x k )) = 0‬‬

‫ﻧﻌﻠﻢ اﺳﺘﻨﺎداً إﱃ ﻣﺎ ﺳﺒﻖ أﻧّﻪ ﺗﻮﺟﺪ أﻋﺪاد ) ‪ُ (α0, α1, …, αn‬ﲢﻘ‪‬ﻖ‬

‫‪n‬‬
‫‪∀P ∈ E ,‬‬ ‫= ) ‪f (P‬‬ ‫)‪∑ αiP (i )(0‬‬
‫‪i =0‬‬
‫‪115‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫اﻟﻔﺮض )‪ (H‬ﻳﻜﻮن ﻟﺪﻳﻨﺎ‬
‫واﺳﺘﻨﺎداً إﱃ ْ‬
‫‪n‬‬
‫‪∀k ∈ {0,1, …, n },‬‬ ‫‪∑ αiQ(i )(xk ) = 0‬‬
‫‪i =0‬‬
‫‪n‬‬
‫= ‪ S‬ﻻ ﺗﺘﺠﺎوز ‪ ، n‬وﻫﻮ ﻳﻨﻌﺪم ﻋﻨﺪ ‪ n + 1‬ﻧﻘﻄﺔ ﳐﺘﻠﻔﺔ‬ ‫) ‪∑ αiQ(i‬‬ ‫وﻟﻜﻦ درﺟﺔ ﻛﺜﲑ اﳊﺪود‬
‫ّ‬
‫‪i =0‬‬

‫اﺳﺘﻨﺎداً إﱃ ﻣﺎ ﺳﺒﻖ‪ ،‬ﻓﻼ ﺑُ ّﺪ أن ﻳﻜﻮن ‪ . S = 0‬وإذا اﺳﺘﻔﺪﻧﺎ ﻣﻦ اﻻﺳﺘﻘﻼل اﳋﻄّﻲ ﻟﻠﺠﻤﻠﺔ‬

‫) ) ‪ (Q,Q ′,Q ′′, …,Q (n‬اﺳﺘﻨﺘﺠﻨﺎ أ ّن ‪ ، α0 = α1 = ⋯ = αn = 0‬وﻫﺬا ﻳﻘﺘﻀﻲ أ ّن‬
‫‪.f = 0‬‬
‫ﻧﻜﻮن ﺑﺬﻟﻚ ﻗﺪ أﺛﺒﺘﻨﺎ أ ّن‬
‫) ) ‪( vect ( (Q(X + xk ))0≤k ≤n‬‬
‫‬
‫}‪= {0‬‬
‫إذن‬
‫‪vect ( (Q(X + x k ))0≤k ≤n ) = E‬‬

‫ﻓﺎﳉﻤﻠﺔ ‪ (Q(X + x k ))0≤k ≤n‬ﻣﻮﻟ‪‬ﺪة وﻋﺪد ﺣﺪودﻫﺎ اﳌﺨﺘﻠﻔﺔ ﻳﺴﺎوي ‪ ، n + 1‬أي ﻳﺴﺎوي‬
‫‪ú‬‬ ‫‪ . dim E‬وﻫﺬا ﻣﺎ ﻳﺜﺒﺖ ّأ‪‬ﺎ أﺳﺎس ﻟﻠﻔﻀﺎء ‪. E‬‬

‫‪J‬اﻟﺘﻤﺮﻳﻦ ‪ .16‬ﻟﺘﻜﻦ ‪ R‬ﳎﻤﻮﻋﺔ اﳌﺼﻔﻮﻓﺎت ) ‪ M = (aij‬ﻣﻦ )‪ Mn (ℝ‬اﻟﱵ ﲢ ّﻘﻖ ‪:‬‬

‫‪n‬‬ ‫‪n‬‬
‫‪∃s ∈ ℝ, ∀i ∈ ℕ n ,‬‬ ‫‪∑ aij‬‬ ‫‪= s,‬‬ ‫‪∀j ∈ ℕ n ,‬‬ ‫‪∑ aij‬‬ ‫‪=s‬‬
‫‪j =1‬‬ ‫‪i =1‬‬

‫ﻧﺮﻣﺰ ﺑﺎﻟﺮﻣﺰ ) ‪ δ(M‬إﱃ ‪. s‬‬

‫ﺋﻲ ﻣﻦ )‪ Mn (ℝ‬وأ ّن ‪ δ‬ﺷﻜﻞ ﺧﻄّ ّﻲ ﻋﻠﻰ ‪. R‬‬
‫ﺷﻌﺎﻋﻲ ﺟﺰ ّ‬
‫ّ‬ ‫‪ .1‬أﺛﺒﺖ أ ّن ‪ R‬ﻓﻀﺎء‬
‫‪ .2‬أﺛﺒﺖ أ ّن ﺟﺪاء ﺿﺮب ﻋﻨﺼﺮﻳﻦ ﻣﻦ ‪ R‬ﻫﻮ ﻋﻨﺼﺮ ﻣﻦ ‪. R‬‬

‫‪ .3‬ﻟﺘﻜﻦ اﳌﺼﻔﻮﻓﺔ ) ‪ J = (aij‬ﻣﻦ )‪ Mn (ℝ‬اﻟﱵ ُﲢ ّﻘﻖ ‪. ∀(i, j ) ∈ ℕ2n , aij = 1‬‬

‫أﺛﺒﺖ أ ّن ‪. (A ∈ R) ⇔ (∃s : AJ = JA = sJ ) :‬‬
‫‪ .4‬أﺛﺒﺖ أﻧّﻪ إذا ﻛﺎﻧﺖ اﳌﺼﻔﻮﻓﺔ ‪ A‬ﻣﻦ ‪ R‬ﻗَﻠﻮﺑﺔً ﻓﺈ ّن ‪. A−1 ∈ R‬‬
‫‪ .5‬أﺛﺒﺖ أ ّن ‪ ، R = ker δ ⊕ ℝJ‬وأوﺟﺪ ‪. dim R‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪116‬‬

‫‪ .6‬ﻟﺘﻜﻦ ‪ Rɶ‬ﳎﻤﻮﻋﺔ اﳌﺼﻔﻮﻓﺎت ) ‪ M = (aij‬ﻣﻦ )‪ Mn (ℝ‬اﻟﱵ ُﲢ ّﻘﻖ ‪:‬‬

‫‪n‬‬ ‫‪n‬‬
‫‪∃s ∈ ℝ, ∀i ∈ ℕ n ,‬‬ ‫‪∑ aij = s,‬‬ ‫‪∀j ∈ ℕ n ,‬‬ ‫‪∑ aij‬‬ ‫‪= s,‬‬
‫‪j =1‬‬ ‫‪i =1‬‬
‫‪n‬‬ ‫‪n‬‬

‫= ‪∑ akk‬‬ ‫‪∑ a k , n + 1− k‬‬ ‫‪=s‬‬

‫‪k =1‬‬ ‫‪k =1‬‬

‫ﺋﻲ ﻣﻦ )‪ Mn (ℝ‬واﺣﺴﺐ ﺑُﻌﺪﻩ‪.‬‬

‫ﺷﻌﺎﻋﻲ ﺟﺰ ّ‬
‫ّ‬ ‫أﺛﺒﺖ أ ّن ‪ Rɶ‬ﻓﻀﺎء‬
‫اﻟﺤـﻞ‬
‫ﻟﻨﻌﺮف ﻋﻠﻰ اﻟﻔﻀﺎء )‪ Mn (ℝ‬اﻷﺷﻜﺎل اﳋﻄﻴّﺔ ‪ (ρk )k ∈ℕ n‬و ‪ (λk )k ∈ℕ n‬ﻛﻤﺎ ﻳﻠﻲ ‪:‬‬
‫‪ّ .1‬‬
‫‪n‬‬
‫‪ρk : Mn (ℝ) → ℝ,‬‬ ‫= ) ‪M = (aij )(i, j )∈ℕ2 ֏ ρk (M‬‬
‫‪n‬‬
‫‪∑ akj‬‬
‫‪j =1‬‬
‫‪n‬‬
‫‪λk : Mn (ℝ) → ℝ,‬‬ ‫= ) ‪M = (aij )(i, j )∈ℕ2 ֏ λk (M‬‬
‫‪n‬‬
‫‪∑ aik‬‬
‫‪i =1‬‬

‫ﻋﻨﺪﺋﺬ ﳒﺪ ﻣﺒﺎﺷﺮة أ ّن‬

‫‪ n −1‬‬ ‫‪ ‬‬
‫‪n‬‬
‫‪‬‬
‫‪‬‬
‫‪R =  ∩ ker(ρk − ρn )  ∩  ∩ ker(λk − ρn ) ‬‬
‫‪ k =1‬‬ ‫‪  k =1‬‬ ‫‪‬‬

‫إذن ‪ R‬ﻫﻮ ﻓﻀﺎءٌ ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ ﻣﻦ )‪ . Mn (ℝ‬ﻛﻤﺎ ﻧﻼﺣﻆ أ ّن ‪ δ‬ﻳﻨﻄﺒﻖ ﻋﻠﻰ ﻣﻘﺼﻮر أ ‪‬‬
‫ي ﻣﻦ‬
‫ﺷﻜﻞ ﺧﻄّﻲ ﻋﻠﻰ‬
‫ٌ‬ ‫اﻷﺷﻜﺎل اﳋﻄﻴّﺔ اﻟﺴﺎﺑﻘﺔ ﻋﻠﻰ ‪ ، R‬ﻓﻤﺜﻼً ‪ ، δ = ρn R‬وﻫﺬا ﻳﺜﺒﺖ أ ّن ‪δ‬‬
‫‪.R‬‬
‫‪ A = (aij )(i, j )∈ℕ2‬و ‪ B = (bij )(i, j )∈ℕ2‬ﻣﻦ )‪ Mn (ℝ‬وﻟﻨﻔﱰض أ ّن‬ ‫ﻟﻨﺘﺄﻣﻞ ﻣﺼﻔﻮﻓﺘﲔ‬
‫‪ّ .2‬‬
‫‪n‬‬ ‫‪n‬‬

‫اﳌﺼﻔﻮﻓﺔ ‪ C = (cij )(i, j )∈ℕ2‬ﺗﺴﺎوي ‪ . AB‬ﻋﻨﺪﺋﺬ‪ ،‬أﻳّﺎً ﻛﺎن ‪ k‬ﻣﻦ ‪ ℕ n‬ﻛﺎن‬

‫‪n‬‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬

‫= ) ‪ρk (C‬‬ ‫‪∑ ckj‬‬ ‫=‬ ‫‪∑ ∑ ak ℓbℓj‬‬
‫‪j =1‬‬ ‫‪j =1 ℓ =1‬‬
‫‪n n‬‬ ‫‪n‬‬ ‫‪ n‬‬ ‫‪‬‬ ‫‪n‬‬
‫‪‬‬
‫=‬ ‫‪∑ ∑ ak ℓbℓj‬‬ ‫= ‪= ∑ ak ℓ  ∑ bℓj ‬‬ ‫) ‪∑ ak ℓ ρℓ (B‬‬
‫‪ℓ =1 j =1‬‬ ‫‪ℓ =1‬‬ ‫‪ j =1 ‬‬ ‫‪ℓ =1‬‬
117 ‫ﺗﻤﺮﻳﻨﺎت‬
n n n
λk (C ) = ∑ cik = ∑ ∑ ai ℓbℓk
i =1 i =1 ℓ =1
n n n  n 
n

= ∑ ∑ ai ℓbℓk = ∑ ℓk  ∑ i ℓ  =
b a ∑ λℓ (A)bℓk
ℓ =1 i =1 ℓ =1  i =1  ℓ =1

‫ ﻛﺎن‬ℕ n ‫ ﻣﻦ‬k ‫ اﺳﺘﻨﺘﺠﻨﺎ ﳑﺎ ﺳﺒﻖ أﻧّﻪ أﻳّﺎً ﻛﺎن‬R ‫ ﺗﻨﺘﻤﻴﺎن إﱃ‬B ‫ و‬A ‫ﻓﺈذا اﻓﱰﺿﻨﺎ أ ّن‬
n n
ρk (C ) = ∑ ak ℓ ρℓ (B ) = ∑ (ak ℓδ(B )) = δ(A)δ(B )
ℓ =1 ℓ =1
n n
λk (C ) = ∑ λℓ (A)bℓk = ∑ ( δ(A)bℓk ) = δ(A)δ(B )
ℓ =1 ℓ =1
. δ(C ) = δ(A)δ(B ) ‫ وﻳﻜﻮن‬، R ‫ إﱃ‬C ‫ ﺗﻨﺘﻤﻲ اﳌﺼﻔﻮﻓﺔ‬،‫وﻋﻠﻴﻪ‬

‫ وﻟﺘﻜﻦ‬. ∀(i, j ) ∈ ℕ2n , aij = 1 ‫ اﻟﱵ ُﲢ ّﻘﻖ‬Mn (ℝ) ‫ ﻣﻦ‬J = (aij ) ‫ ﻟﺘﻜﻦ اﳌﺼﻔﻮﻓﺔ‬.3
‫ ﻋﻨﺪﺋﺬ‬. Mn (ℝ) ‫ ﻣﻦ‬A = (aij )(i, j )∈ℕ2 ‫اﳌﺼﻔﻮﻓﺔ‬
n

 ρ1(A) ρ1(A) ⋯ ρ1(A)   λ1(A) λ2 (A) ⋯ λn (A) 

   
 ρ (A) ρ (A) ⋯ ρ (A)   λ (A) λ (A) ⋯ λ (A) 
AJ =  2 2 2  , JA =  1
  ⋮
2 n 

 ⋮ ⋮ ⋮   ⋮ ⋮ 
 ρ (A) ρ (A) ⋯ ρ (A)   λ (A) λ (A) ⋯ λ (A) 
 n n n   1 2 n 

‫ ﻳﻜﻮن‬A ∈ R ‫ وﰲ ﺣﺎﻟﺔ‬، ( A ∈ R ) ⇔ ( AJ = JA ) ‫ ﻧﺴﺘﻨﺘﺞ أ ّن‬،‫وﻋﻠﻴﻪ‬

AJ = JA = δ(A)J

‫ ﻋﻨﺪﺋﺬ ﻳﻜﻮن ﻟﺪﻳﻨﺎ‬.ٌ‫ﺎ ﻗَﻠﻮﺑﺔ‬‫ وﻟﻨﻔﱰض أ‬، R ‫ ﻣﻦ‬A ‫ ﻟﺘﻜﻦ اﳌﺼﻔﻮﻓﺔ‬.4

. ( A ∈ R ) ⇒ ( AJ = JA ) ⇒ (JA−1 = A−1J ) ⇒ A−1 ∈ R
1
.‫ ﰲ ﻫﺬﻩ اﳊﺎﻟﺔ‬δ(A−1 ) = ‫ وﻳﻜﻮن‬، R ‫ إﱃ‬A−1 ‫أي ﺗﻨﺘﻤﻲ‬
δ(A)
. ker δ ∩ ℝJ = {0} ‫ إذن‬δ(J ) = n ≠ 0 ‫ ﻟﻨﻼﺣﻆ أ ّن‬.5
‫ ﺗُﻜﺘﺐ ﺑﺄﺳﻠﻮب وﺣﻴﺪ ﺑﺎﻟﺸﻜﻞ‬R ‫ ﻣﻦ‬M ‫ﻛﻞ ﻣﺼﻔﻮﻓﺔ‬
 ‫ُﰒّ إ ّن‬
 δ(M )  δ(M )
M =  M − J  + J
 n  n
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ 118

‫ إذن ﻻ ﺑُ ّﺪ أن ﻳﻜﻮن‬. ( M − δ(nM ) J ) ∈ ker δ ‫ﺣﻴﺚ‬

R = ker δ ⊕ ℝJ
n n

∑ ρk = ∑ λk ‫ ﲟﻼﺣﻈﺔ أ ّن‬، F = vect ( ρ1, …, ρn −1, ρn , λ1, …, λn ) ‫ﻟﻴﻜﻦ‬

k =1 k =1
‫ﻧﺴﺘﻨﺘﺞ‬
F = vect ( ρ1 , …, ρn −1, ρn , λ1, …, λn )

εn′ = Enn ‫ﻌﺮف‬

ّ ‫ وﻟﻨ‬، Mn (ℝ) ‫( اﻷﺳﺎس اﻟﻘﺎﻧﻮﱐ ﰲ‬Eij )(i, j )∈ℕ2 ‫ ﻟﻴﻜﻦ‬،‫وﻣﻦ ﺟﻬﺔ أﺧﺮى‬ n

: ℕ n −1 ‫ ﻣﻦ‬k ‫ ﰲ ﺣﺎﻟﺔ‬εk′ = E1k − E1n + Enn ‫ و‬εk = Ek 1 − En,1 ‫و‬

k
 0 ↓
 0 ⋯ ⋯ 0 
   0 ⋯ 0 1 0 ⋯ 0 −1 
 ⋮ ⋮ ⋮  
  0
 0 0 ⋮  0 
   
εk =
k→  1

 0
0
0
0 ⋮
⋮
 εk′ = ⋮

⋮ 0 ⋮ 
⋮ 

   
 ⋮ ⋮ ⋮  0 0 
  
 0 0 ⋮  0 0 ⋯ ⋯ ⋯ ⋯ 0 1 
  
 
−1 0 ⋯ ⋯ 0
 

‫ ﻟﺪﻳﻨﺎ‬ℕ n−1 ‫ ﻣﻦ‬j ‫ﻋﻨﺪﺋﺬ ﻧﺘﻴ ّﻘﻦ ﺑﺴﻬﻮﻟﺔ أﻧّﻪ ﰲ ﺣﺎﻟﺔ‬

∀i ∈ ℕ n , ρ j (εi′) = 0 ‫∀ و‬i ∈ ℕ n −1, ρ j (εi ) = δij
‫ ﻟﺪﻳﻨﺎ‬ℕ n ‫ ﻣﻦ‬j ‫وﰲ ﺣﺎﻟﺔ‬
∀i ∈ ℕ n , λj (εi′) = δij ‫∀ و‬i ∈ ℕ n −1, λj (εi ) = 0

ّ ( ρ1, …, ρn −1, λ1, …, λn ) ‫ﺜﺒﺖ أ ّن اﳉﻤﻠﺔ‬

‫ ﻷﻧّﻪ إذا ﻛﺎن‬،‫ﺣﺮة‬ ُ ُ‫وﻫﺬا ﻳ‬
n −1 n
f = ∑ αi ρi + ∑ αi′λi
i =1 i =1

‫ﻛﺎن‬
∀k ∈ ℕ n , αk′ = f (εk′ ) ‫∀ و‬k ∈ ℕ n −1, αk = f (εk )
‫ ﻳﻘﺘﻀﻲ أ ّن‬f = 0 ‫ ﻓﺈ ّن‬،‫وﻋﻠﻴﻪ‬
. α1 = ⋯ = αn −1 = α1′ = ⋯ = αn′ = 0
119 ‫ﺗﻤﺮﻳﻨﺎت‬
‫ وﻣﻨﻪ‬، F ‫ ( أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء‬ρ1, …, ρn −1, λ1, …, λn ) ‫ﻮن اﳉﻤﻠﺔ‬ ‫إذن ﻻ ﺑُ ّﺪ أن ﺗﻜ‬
. dim F = 2n − 1
‫وﻟﻜﻦ‬
 n  
n


ker δ =  ∩ ker(ρk )  ∩  ∩ ker(λk ) 
 k =1   k =1 
= ( { ρ1, …, ρn −1, ρn , λ1, …, λn } )


= ( vect ( ρ1, …, ρn −1, ρn , λ1, …, λn ) )



= F
‫إذن‬
dim ker δ = dim Mn (ℝ) − dim F
= n 2 − 2n + 1 = (n − 1)2

‫ﻳﺜﺒﺖ أ ّن‬
ُ ‫وﻫﺬا‬
dim R = (n − 1)2 + 1 = n 2 − 2n + 2

: ‫ اﻟﱵ ُﲢ ّﻘﻖ‬Mn ( ℝ ) ‫ ﻣﻦ‬M = (aij ) ‫ ﳎﻤﻮﻋﺔ اﳌﺼﻔﻮﻓﺎت‬Rɶ ‫ ﻟﺘﻜﻦ‬.6

n n
∃s ∈ ℝ, ∀i ∈ ℕ n , ∑ aij = s, ∀j ∈ ℕ n , ∑ aij = s,
j =1 i =1
n n

∑ akk = ∑ a k , n + 1− k =s
k =1 k =1

‫ ﻋﻨﺪﺋﺬ ﻧﺘﻴ ّﻘﻦ ﻣﺒﺎﺷﺮة‬. n > 1 ‫ ﻟﺬﻟﻚ ﺳﻨﻔﱰض أ ّن‬، Rɶ = R = ℝJ ‫ ﻳﻜﻮن‬n = 1 ‫ﰲ ﺣﺎﻟﺔ‬
‫ﲔ‬‫ اﻟﺸﻜﻠﲔ اﳋﻄﻴ‬R0 = ker δ ‫ﻋﺮﻓﻨﺎ ﻋﻠﻰ‬ ّ ‫ وإذا‬، R ‫ ﻓﻀﺎءٌ ﺷﻌﺎﻋﻲ ﺟﺰﺋﻲ ﻣﻦ‬R ‫أ ّن‬
ɶ
n
τ : R0 → ℝ, M = (aij )(i, j )∈ℕ2 ֏ τ(M ) =
n
∑ aii
i =1
n
µ : Mn (ℝ) → ℝ, M = (aij )(i, j )∈ℕ2 ֏ µ(M ) =
n
∑ ain +1−i
i =1
ٍ
‫ﺑﺄﺳﻠﻮب ﳑﺎ ٍﺛﻞ ﳌﺎ ﺳﺒﻖ أ ّن‬ ‫أﺛﺒﺘﻨﺎ‬
ɶ = ( ker τ ∩ ker µ ) ⊕ ℝJ
R
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪120‬‬

‫وﻫﻨﺎ ﻧﻼﺣﻆ أﻧّﻪ ﰲ ﺣﺎﻟﺔ ‪ n = 2‬ﻟﺪﻳﻨﺎ ‪ ، dim R0 = 1‬وﻟﻜﻦ ‪ ، τ = −µ‬إذن‬

‫‪ . ker τ = ker µ‬وﻟﻜﻦ ‪ τ ≠ 0‬ﻓﻴﺠﺐ أن ﻳﻜﻮن }‪ ، ker τ = ker µ = {0‬وﻣﻦ َﰒّ‬
‫‪ ، Rɶ = ℝJ‬ﰲ ﻫﺬﻩ اﳊﺎﻟﺔ أﻳﻀﺎً‪.‬‬
‫وﻟﻨﻌﺮف اﳌﺼﻔﻮﻓﺘﲔ‬
‫ﻟﻨﺪرس إذن ﺣﺎﻟﺔ ‪ّ . n > 2‬‬
‫‪B = L − n1 J‬‬ ‫‪ A = I − n1 J‬و‬

‫ﺣﻴﺚ ‪ . L = (δi,n +1− j )(i, j )∈ℕ2‬ﻧﻼﺣﻆ ﻣﺒﺎﺷﺮة ّأ‪‬ﻤﺎ ﺗﻨﺘﻤﻴﺎن إﱃ ‪ ، R0 = ker δ‬ﻛﻤﺎ‬
‫‪n‬‬

‫ﻧﻼﺣﻆ ﻣﺎ ﻳﺄﰐ ‪:‬‬

‫ إذا ﻛﺎن ‪ n‬ﻋﺪداً زوﺟﻴّﺎً ﻛﺎن‬
‫‪ τ(A) = n − 1‬و ‪τ(B ) = −1‬‬
‫‪ µ(A) = −1‬و ‪µ(B ) = n − 1‬‬ ‫و‬
‫وﻫﺬا ﻳﺜﺒﺖ أ ّن اﳉﻤﻠﺔ ) ‪ّ ( τ, µ‬‬
‫ﺣﺮة ﰲ ﻫﺬﻩ اﳊﺎﻟﺔ‪.‬‬
‫ وإذا ﻛﺎن ‪ n‬ﻋﺪداً ﻓﺮدﻳﺎً ﻛﺎن‬
‫‪ τ(A) = n − 1‬و ‪τ(B ) = 0‬‬
‫و ‪µ(B ) = n − 1‬‬ ‫‪µ(A) = 0‬‬ ‫و‬
‫وﻫﺬا ﻳﱪﻫﻦ اﻻﺳﺘﻘﻼل اﳋﻄّﻲ ﻟﻠﺠﻤﻠﺔ )‪ (τ, µ‬ﰲ ﻫﺬﻩ اﳊﺎﻟﺔ أﻳﻀﺎً‪ .‬وﻣﻦ َﰒّ ﻳﻜﻮن‬

‫) )‪dim ( ker τ ∩ ker µ ) = dim ( vect(τ, µ‬‬

‫‬

‫)‪= dim δ − dim vect(τ, µ‬‬

‫‪= (n − 1)2 − 2‬‬

‫وﻋﻠﻴﻪ ﻧﺴﺘﻨﺘﺞ أ ّن‬

‫‪‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪: n ≤2‬‬
‫‪ɶ =‬‬
‫‪dim R‬‬ ‫‪‬‬
‫‪ n(n − 2) : n > 2‬‬
‫‪‬‬
‫‪‬‬
‫‪ú‬‬ ‫وﻫﻲ اﻟﻨﺘﻴﺠﺔ اﳌﻄﻠﻮﺑﺔ‪.‬‬
‫‪121‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬

‫ﻧﺬﻛﺮ ﺑﺄن ∗ ‪ E‬ﳝﺜّﻞ اﻟﻔﻀﺎء‬

‫ﻓﻀﺎءﻳْﻦ ﻣﻨﺘﻬﻴﻲ اﻟﺒﻌﺪ ﻋﻠﻰ ﺣﻘﻞ ‪ّ . K‬‬
‫َ‬ ‫‪ J‬اﻟﺘﻤﺮﻳﻦ ‪ .17‬ﻟﻴﻜﻦ ‪ E‬و ‪F‬‬
‫اﻟﺜﻨﻮي ﻟﻠﻔﻀﺎء ‪ ، E‬وﺑﺄ ّن ) ‪ L(E , F‬ﻫﻮ ﻓﻀﺎء اﻟﺘﻄﺒﻴﻘﺎت اﳋﻄّﻴﺔ ﻣﻦ ‪ E‬إﱃ ‪. F‬‬
‫ﻧﻌﺮف‪ ،‬ﰲ ﺣﺎﻟﺔ ‪ a‬ﻣﻦ ‪ F‬و ‪ f‬ﻣﻦ ∗ ‪ ، E‬اﻟﺘﻄﺒﻴﻖ ‪ f ⊗ a‬ﻣﻦ ) ‪ L(E , F‬ﻋﻠﻰ اﻟﻨﺤﻮ‬
‫ّ‬
‫اﻵﰐ‬
‫‪f ⊗ a : E → F : x ֏ f,x a‬‬
‫‪ .1‬ﰲ ﺣﺎﻟﺔ ‪ a‬ﻣﻦ ‪ ، F‬و ‪ f‬ﻣﻦ ∗ ‪ ، E‬ﻣﺎ رﺗﺒﺔ اﻟﺘﻄﺒﻴﻖ اﳋﻄّﻲ ‪ f ⊗ a‬؟‬
‫‪ .2‬أﺛﺒﺖ أﻧّﻪ إذا ﻛﺎن ‪ u‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴﺎً ﻣﻦ ) ‪ L(E , F‬رﺗﺒﺘﻪ ﺗﺴﺎوي ‪ ، 1‬ﻓﻴﻮﺟﺪ ‪ a‬ﻣﻦ ‪F‬‬
‫و ‪ f‬ﻣﻦ ∗ ‪ُ E‬ﳛﻘ‪‬ﻘﺎن ‪. u = f ⊗ a‬‬
‫‪ .3‬إذا ﻛﺎﻧﺖ ) ‪ A = (a1, a2 , …, am‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ ، F‬و ) ‪ F = (f1, …, fn‬أﺳﺎﺳﺎً‬
‫ﻟﻠﻔﻀﺎء ∗ ‪ . E‬ﻓﺄﺛﺒﺖ أ ّن اﳉﻤﻠﺔ ‪ (uij )(i, j )∈ℕ n ×ℕ m‬ﺣﻴﺚ ‪ ui j = fi ⊗ a j‬ﻫﻲ أﺳﺎس‬
‫ﻟﻠﻔﻀﺎء ) ‪. L(E , F‬‬
‫ﻛﻞ ﺗﻄﺒﻴﻖ ﺧﻄّﻲ ‪ u‬ﻣﻦ ) ‪ ، L(E , F‬ﻳُﺴﺎوي ﳎﻤﻮع ‪ p‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً‬ ‫‪ .4‬اﺳﺘﻨﺘﺞ ﳑﺎ ﺳﺒﻖ أ ّن ‪‬‬
‫ﻋﺮﻓﻨﺎ ) ‪. p = min ( dim E , dim F‬‬ ‫ﻛﻞ ﻣﻨﻬﺎ ‪ ، 1‬وﻗﺪ ّ‬
‫ﻋﻠﻰ اﻷﻛﺜﺮ رﺗﺒﺔ ‪‬‬
‫‪ .5‬أﺛﺒﺖ‪ ،‬ﻋﻠﻰ وﺟﻪ اﻟﺪﻗّﺔ‪ ،‬أﻧّﻪ إذا ﻛﺎن ‪ u‬ﻣﻦ ) ‪ L(E , F‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً رﺗﺒﺘﻪ ‪ ، r‬ﻓﺘﻮﺟﺪ‬
‫ﺗﻄﺒﻴﻘﺎت ﺧﻄﻴّﺔ ‪ u1‬و ‪ u2‬و … و ‪ ur‬ﻣﻦ ) ‪ُ ، L(E , F‬ﲢﻘ‪‬ﻖ‬
‫‪r‬‬
‫= ‪ u‬و ‪∀k ∈ ℕ r , rg uk = 1‬‬ ‫‪∑ uk‬‬
‫‪k =1‬‬

‫اﻟﺤـﻞ‬
‫‪ .1‬ﰲ ﺣﺎﻟﺔ ‪ a‬ﻣﻦ ‪ ، F‬و ‪ f‬ﻣﻦ ∗ ‪ ، E‬ﻧﻼﺣﻆ أﻧّﻪ إذا ﻛﺎن ‪ a = 0‬أو ‪ f = 0‬ﻛﺎن‬
‫‪ّ ، f ⊗ a = 0‬أﻣﺎ إذا ﻛﺎن ‪ a ≠ 0‬و ‪ f ≠ 0‬ﻓﻌﻨﺪﺋﺬ ﻳﻜﻮن ‪ ، Im(f ⊗ a ) = Ka‬وﻋﻠﻴﻪ‬
‫‪ rg(f ⊗ a ) = 1‬ﰲ ﻫﺬﻩ اﳊﺎﻟﺔ‪.‬‬
‫‪ .2‬ﻟﻴﻜﻦ ‪ u‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴﺎً ﻣﻦ ) ‪ L(E , F‬رﺗﺒﺘﻪ ‪ ، 1‬ﻓﻴﻮﺟﺪ ‪ a‬ﻣﻦ }‪ُ F \{0‬ﳛﻘ‪‬ﻖ‬
‫ﻟﻨﺘﺄﻣﻞ ﻋﻨﺼﺮاً ‪ e1‬ﻣﻦ ‪ُ E‬ﳛﻘ‪‬ﻖ ‪ ، u(e1 ) = a‬ﻋﻨﺪﺋﺬ ﻣﻦ اﻟﻮاﺿﺢ أ ّن‬‫‪ّ . Im u = Ka‬‬
‫} ‪ ، ker u ∩ Ke1 = { 0‬وﻟ ّـﻤﺎ ﻛﺎن‬

‫‪dim ker u = dim E − rg u = n − 1‬‬

‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪122‬‬

‫ﻟﻨﺘﺄﻣﻞ إذن أﺳﺎﺳﺎً ) ‪ (e2, …,en‬ﻟﻠﻔﻀﺎء ‪ ، ker u‬ﻓﺘﻜﻮن‬

‫أن ‪ّ . E = ker u ⊕ Ke1‬‬
‫اﺳﺘﻨﺘﺠﻨﺎ ّ‬
‫ﻟﻨﺘﺄﻣﻞ ا ﻷﺳﺎ س اﻟﺜﻨﻮي ) ∗‪(e1∗, …, en‬‬
‫ا ﳉﻤﻠﺔ ‪ E‬اﻟﺘﺎﻟﻴﺔ‪ (e1, …,en ) :‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ُّ ، E‬ﰒ ّ‬
‫ﻟﻸﺳﺎس ‪ . E‬ﻋﻨﺪﺋﺬ ﳒﺪ‬
‫‪ n‬‬ ‫‪‬‬
‫‪‬‬
‫‪∀x ∈ E , u(x ) = u  ∑ ek∗, x ek ‬‬
‫‪ k =1‬‬ ‫‪‬‬
‫‪n‬‬
‫=‬ ‫∑‬ ‫‪ek∗, x u(ek ) = e1∗, x u(e1 ) = e1∗, x a‬‬
‫‪k =1‬‬

‫أي إ ّن ‪ . u = e1∗ ⊗ a‬وﻫﻲ اﻟﻨﺘﻴﺠﺔ اﳌﻄﻠﻮﺑﺔ‪.‬‬

‫‪ .3‬ﻟﻴﻜﻦ ) ‪ A = (a1, a2 , …, am‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ ، F‬و ) ‪ F = (f1, …, fn‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء‬
‫∗ ‪ . E‬وﻟﻨﺜﺒﺖ أ ّن اﳉﻤﻠﺔ ‪ (uij )(i, j )∈ℕ n ×ℕ m‬ﺣﻴﺚ ‪ ui j = fi ⊗ a j‬ﻫﻲ أﺳﺎس ﻟﻠﻔﻀﺎء‬
‫) ‪ . L(E , F‬ﻣﻦ اﻟﻮاﺿﺢ أ ّن ﻋﺪد ﺣﺪود ﻫﺬﻩ اﳉﻤﻠﺔ ﻳﺴﺎوي ‪ nm‬أي ﻳﺴﺎوي ) ‪، dim L(E , F‬‬
‫ﺣﺮة‪ .‬ﻟﻨﺘﺄﻣﻞ إذن ﻋﺒﺎرة ﺧﻄﻴّﺔ ﻣﻌﺪوﻣﺔ ﺑﻌﻨﺎﺻﺮ ﻫﺬﻩ اﳉﻤﻠﺔ‪ ،‬وﻟﺘﻜﻦ‬
‫ﻟﺬﻟﻚ ﻳﻜﻔﻲ أن ﻧﺜﺒﺖ أ‪‬ﺎ ّ‬
‫‪n‬‬ ‫‪m‬‬

‫‪∑ ∑ λij uij‬‬ ‫‪=0‬‬

‫‪i =1 j =1‬‬

‫ﻧﺴﺘﻨﺘﺞ إذن أ ّن‬

‫‪m‬‬ ‫‪ n‬‬ ‫‪‬‬
‫‪‬‬
‫‪∀x ∈ E ,‬‬ ‫‪∑  ∑ ij i a j = 0‬‬
‫‪λ‬‬ ‫‪f‬‬ ‫(‬‫‪x‬‬ ‫)‬
‫‪j =1  i =1‬‬ ‫‪‬‬
‫ﺣﺮة‪ ،‬ﻧﺴﺘﻨﺘﺞ ﻣﻦ ذﻟﻚ أ ّن‬
‫وﻷ ّن اﳉﻤﻠﺔ ‪ّ A‬‬
‫‪n‬‬
‫‪∀j ∈ ℕ m , ∀ x ∈ E ,‬‬ ‫‪∑ λij fi (x ) = 0‬‬
‫‪i =1‬‬

‫أو‬
‫‪n‬‬
‫‪∀j ∈ ℕ m ,‬‬ ‫‪∑ λij fi‬‬ ‫‪=0‬‬
‫‪i =1‬‬

‫ﺣﺮة أﻳﻀﺎً ﰲ ∗ ‪ ، E‬إذن‬

‫وﻟﻜﻦ اﳉﻤﻠﺔ ‪ F‬ﲨﻠﺔ ّ‬
‫ّ‬
‫‪∀j ∈ ℕ m ,‬‬ ‫‪λ1 j = λ2 j = ⋯ = λnj = 0‬‬
‫ﺣﺮة‪.‬‬
‫واﳉﻤﻠﺔ ‪ّ (uij )(i, j )∈ℕ n ×ℕ m‬‬
‫‪123‬‬ ‫ﺗﻤﺮﻳﻨﺎت‬
‫‪ .4‬ﻟﻨﺤﺘﻔﻆ ﺑﺮﻣﻮز اﻟﺴﺆال اﻟﺴﺎﺑﻖ‪ .‬وﻟﻴﻜﻦ ‪ u‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً ﻣﻦ ) ‪ ، L(E , F‬ﻋﻨﺪﺋﺬ ﺗﻮﺟﺪ ﲨﻠﺔ ﻣﻦ‬
‫ﻋﻨﺎﺻﺮ ‪ K‬وﻟﺘﻜﻦ ‪ُ (λij )(i, j )∈ℕ n ×ℕ m‬ﲢﻘ‪‬ﻖ‬
‫‪n‬‬ ‫‪m‬‬
‫= ‪u‬‬ ‫) ‪∑ ∑ λij (fi ⊗ a j‬‬
‫‪i =1 j =1‬‬

‫وﻟﻜﻦ ﳝﻜﻦ ﻛﺘﺎﺑﺔ ﻫﺬﻩ اﻟﻌﺒﺎرة ﺑﺎﻟﺸﻜﻠﲔ اﳌﺘﻜﺎﻓﺌﲔ اﻟﺘﺎﻟﻴﲔ ‪:‬‬

‫‪n‬‬ ‫‪ m‬‬ ‫‪‬‬
‫‪m‬‬ ‫‪ n‬‬ ‫‪‬‬
‫‪‬‬
‫= ‪u = ∑ fi ⊗  ∑ λij a j ‬‬
‫‪ j =1‬‬ ‫‪‬‬
‫‪∑  ∑ λij fi  ⊗ a j‬‬
‫‪i =1‬‬
‫‪‬‬ ‫‪j =1  i =1‬‬
‫‪‬‬
‫‪bi‬‬ ‫‪gj‬‬

‫أو‬
‫‪n‬‬ ‫‪m‬‬
‫= ‪u‬‬ ‫= ‪∑ fi ⊗ bi‬‬ ‫‪∑ gj‬‬ ‫‪⊗ aj‬‬
‫‪i =1‬‬ ‫‪j =1‬‬

‫إذن ‪ u‬ﻳُﺴﺎوي ﳎﻤﻮع ‪ p‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً ﻋﻠﻰ اﻷﻛﺜﺮ رﺗﺒﺔ ‪‬‬

‫ﻛﻞ ﻣﻨﻬﺎ ‪ ، 1‬ﺣﻴﺚ ) ‪. p = min(n, m‬‬

‫‪ .5‬ﻟﻴﻜﻦ ‪ u‬ﻣﻦ ) ‪ L(E , F‬ﺗﻄﺒﻴﻘﺎً ﺧﻄﻴّﺎً رﺗﺒﺘﻪ ‪ r‬ﻓﻴﻜﻮن ‪ ، dim ker u = n − r‬ﳔﺘﺎر‬
‫) ‪ (er +1, …,en‬أﺳﺎﺳﺎً ﻟﻠﻔﻀﺎء ‪ ، ker u‬وﻧﺘ ‪‬ﻤﻤﻪ إﱃ أﺳﺎس‬
‫) ‪E = (e1, …, er , er +1, …, en‬‬
‫ﻟﻨﻌﺮف ﲨﻠﺔ اﻟﻌﻨﺎﺻﺮ ‪ (a j )j ∈ℕ r‬ﺑﺎﻟﻌﻼﻗﺎت ) ‪ . ak = u(ek‬وﻟﻴﻜﻦ‬
‫ﻟﻠﻔﻀﺎء ‪ُ . E‬ﰒّ ّ‬
‫) ∗‪E ∗ = (e1∗, …, er∗, er∗+1, …en‬‬
‫اﻷﺳﺎس اﻟﺜﻨﻮي ﻟﻸﺳﺎس ‪ . E‬ﻋﻨﺪﺋﺬ‬
‫‪n‬‬
‫‪∀x ∈ E ,‬‬ ‫= ‪x‬‬ ‫∑‬ ‫‪ek∗ , x ek‬‬
‫‪k =1‬‬

‫وﻣﻦ َﰒّ‬
‫‪n‬‬
‫‪∀x ∈ E ,‬‬ ‫= ) ‪u(x‬‬ ‫∑‬ ‫) ‪ek∗, x u(ek‬‬
‫‪k =1‬‬
‫‪r‬‬ ‫‪ r‬‬ ‫‪‬‬
‫‪‬‬
‫=‬ ‫∑‬ ‫) ‪ek∗, x u(ek ) =  ∑ ek∗ ⊗ ak  (x‬‬
‫‪k =1‬‬ ‫‪ k =1‬‬ ‫‪‬‬
‫اﻟﺜﻨﻮﻳّﺔ ﻓﻲ اﻟﻔﻀﺎءات اﻟﺸﻌﺎﻋﻴﺔ‬ ‫‪124‬‬

‫أو‬
‫‪r‬‬
‫‪∀x ∈ E ,‬‬ ‫= ‪u‬‬ ‫‪∑ ek∗ ⊗ ak‬‬
‫‪k =1‬‬
‫‪ú‬‬ ‫وﻫﻲ اﻟﻨﺘﻴﺠﺔ اﳌﻄﻠﻮﺑﺔ‪.‬‬

‫‪UIO‬‬
‫‪J[L‬‬
‫><‪M‬‬