Linear Algebra Pretension #1

‫��‬ ‫�‬ ‫��‬
‫��ﻢ اﷲ ا�� ﻦ ا � ﻢ‬
‫ﺟﺒﺮ ﺧﻄﻲ‬
‫ﺳﻴﺪ ﺭﺿﺎ ﻣﻘﺪﺳﻲ‬
‫ﺍﻋﺪﺍﺩ‪ ،‬ﺑﺮﺩﺍﺭﻫﺎ ﻭ ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺁﻧﻬﺎ‬
‫ﻣﻔﻬﻮﻡ ﻋﺪﺩ‬
‫ﺍﻋﺪﺍﺩ ﻃﺒﻴﻌﻲ ﻭ ﺍﻋﻤﻞ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺁﻧﻬﺎ‬
‫ﺍﻋﺪﺍﺩ ﮔﻮﻳﺎ ﻭ ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﺁﻧﻬﺎ‬

‫ﻣﻔﻬﻮﻡ ﻋﺪﺩ‬
‫ﻧﻤﺎﻳﺶ ﻫﻨﺪﺳﻲ ﺍﻋﺪﺍﺩ ﮔﻮﻳﺎ‬
‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﭘﺎﺭﻩﺧﻂﻫﺎ‬

‫ﺟﻤﻊ ﭘﺎﺭﻩ‌ﺧﻂﻫﺎ‬
‫ﺿﺮﺏ ﭘﺎﺭﻩﺧﻂﻫﺎ‬
‫‪a‬‬ ‫‪b‬‬
‫‪b‬‬ ‫‪‬‬ ‫‪1‬‬
‫‪a‬‬ ‫‪a.b‬‬
‫ﺭﻭﺷﻬﺎﻱ ﺩﻳﮕﺮ ﺑﺮﺍﻱ ﺗﻌﺮﻳﻒ ﺿﺮﺏ ﺩﻭ ﭘﺎﺭﻩﺧﻂ‬
‫‪a‬‬ ‫‪1‬‬ ‫‪b‬‬
‫‪a.b‬‬
‫‪a.b‬‬
‫‪b‬‬
‫‪1‬‬ ‫‪a‬‬
‫ﺳﺎﺩﮔﻲ ﺟﻤﻊ ﻧﺴﺒﺖ ﺑﻪ ﺿﺮﺏ‬

‫ﺑﺮﺍﻱ ﺟﻤﻊ ﺩﻭ ﭘﺎﺭﻩﺧﻂ ﺑﺮﺧﻼﻑ ﺿﺮﺏ ﺁﻧﻬﺎ ﺑﻪ ﭘﺎﺭﻩﺧﻂ ﻣﻘﻴﺎﺱ ﻧﻴﺎﺯﻱ ﻧﻴﺴﺖ‬
‫ﺳﺎﺩﮔﻲ ﺟﻤﻊ ﻧﺴﺒﺖ ﺑﻪ ﺿﺮﺏ‬

‫ﺑﺮﺍﻱ ﺟﻤﻊ ﺩﻭ ﭘﺎﺭﻩﺧﻂ ﺑﺮﺧﻼﻑ ﺿﺮﺏ ﺁﻧﻬﺎ ﺑﻪ ﭘﺎﺭﻩﺧﻂ ﻣﻘﻴﺎﺱ ﻧﻴﺎﺯﻱ ﻧﻴﺴﺖ‬
‫ﺍﻋﺪﺍﺩ ﻏﻴﺮ ﮔﻮﻳﺎ‬

‫ﭘﺎﺭﻩﺧﻂﻫﺎﻳﻲ ﻛﻪ ﻣﺘﻨﺎﻇﺮ ﺍﻋﺪﺍﺩ ﮔﻮﻳﺎ ﻧﻴﺴﺘﻨﺪ‬
‫‌‬
‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻣﺠﻤﻮﻋﻪ ﺟﺪﻳﺪ ﺑﻪ ﻛﻤﻚ ﺭﻭﺵ ﻫﻨﺪﺳﻲ‬
‫‪2‬‬
‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻧﻘﺎﻁ ﻳﻚ ﺧﻂ‬

‫‪ .1‬ﺍﻧﺘﺨﺎﺏ ﻣﺒﺪﺃ ﻭ ﺍﻫﻤﻴﺖ ﺁﻥ‬
‫‪O‬‬ ‫‪A‬‬

‫‪ .2‬ﺟﻤﻊ ﺩﻭ ﻧﻘﻄﻪ ‪ A‬ﻭ ‪B‬‬
‫‪B‬‬ ‫‪O‬‬ ‫‪A‬‬
‫‪AB‬‬

‫‪ .3‬ﺿﺮﺏ ﺩﻭ ﻧﻘﻄﻪ ‪ A‬ﻭ ‪B‬‬
‫ﻟﺰﻭﻡ ﺍﻧﺘﺨﺎﺏ ﻭﺍﺣﺪ‬
‫‪B‬‬ ‫‪O‬‬ ‫‪X‬‬ ‫‪A‬‬
‫‪A.B‬‬

‫‪ .4‬ﺿﺮﺏ ﻳﻚ ﻧﻘﻄﻪ ﺩﺭ ﻳﻚ ﻋﺪﺩ!‬
‫ﺑﺮ ﺧﻼﻑ ﺿﺮﺏ ﺩﻭ ﭘﺎﺭﻩﺧﻂ ﺑﺮﺍﻱ ﺿﺮﺏ ﻳﻚ ﻋﺪﺩ ﺩﺭ ﻳﻚ ﭘﺎﺭﻩﺧﻂ ﻧﻴﺎﺯﻱ ﺑﻪ ﺍﻧﺘﺨﺎﺏ ﻭﺍﺣﺪ ﻧﻴﺴﺖ‬
‫‪O‬‬ ‫‪A‬‬ ‫‪2A‬‬ ‫‪3A‬‬

‫‪1‬‬
‫‪A‬‬
‫‪2‬‬
‫ﻣﻌﺮﻓﻲ ﺳﺎﺧﺘﺎﺭﻫﺎﻱ ﺟﺒﺮﻱ ﻣﺸﺎﺑﻪ ﺑﺮﺍﻱ ﺻﻔﺤﻪ ﻭ ﻓﻀﺎ‬

‫ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺍﺳﻜﺎﻟﺮ‪.‬‬
‫‪AB‬‬
‫‪B‬‬ ‫‪3A‬‬
‫‪2A‬‬
‫‪A‬‬
‫‪O‬‬
‫‪A‬‬
‫‪O‬‬
‫ﻧﻤﺎﻳﺶ ﺑﻌﻀﻲ ﺍﺷﻜﺎﻝ ﻫﻨﺪﺳﻲ ﺑﻪ ﻛﻤﻚ ﺳﺎﺧﺘﺎﺭ ﺟﺒﺮﻱ‬

‫ﺧﻂ ﮔﺬﺭﻧﺪﻩ ﺍﺯ ‪ A‬ﻛﻪ ﺑﺎ ‪ v‬ﺗﻮﻟﻴﺪ ﻣﻲﺷﻮﺩ‬
‫‪A‬‬ ‫‪A  tv‬‬
‫‪v‬‬
‫‪tv‬‬
‫‪O‬‬
‫ ﺑﺮﺩﺍﺭﻫﺎ ﻭ ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺁﻧﻬﺎ‬،‫ﺍﻋﺪﺍﺩ‬
B
A  t(B  A)  (1  t )A  tB
A
A  t(B  A)
B A
t(B  A)
O
‫‪B‬‬
‫‪A  t(B  A)  (1  t )A  tB‬‬
‫‪A‬‬
‫)‪A  t(B  A‬‬
‫‪AB‬‬ ‫)‪ P  A  t(B  A‬ﻧﻘﻄﻪﺍﯼ ﺩﻟﺨﻮﺍﻩ ﺍﺯ ﺧﻂ‬
‫‪B A‬‬
‫)‪t(B  A‬‬
‫‪O‬‬
B
A  t(B  A)  (1  t )A  tB
A
A  t(B  A)
AB ‫ ﻧﻘﻄﻪﺍﯼ ﺩﻟﺨﻮﺍﻩ ﺍﺯ ﺧﻂ‬P  A  t(B  A)
B A  
t(B  A) AP  P  A  t(B  A)  tAB
O
B
A  t(B  A)  (1  t )A  tB
A
A  t(B  A)
B A  
t(B  A) AP  P  A  t(B  A)  tAB
O
 
PB  (1  t )AB
B
A  t(B  A)  (1  t )A  tB
A
A  t(B  A)
B A  
t(B  A) AP  P  A  t(B  A)  tAB
O
 
PB  (1  t )AB
0  t  1 ‫( ﺧﻮﺍﻫﺪ ﺑﻮﺩ ﻛﻪ ﺩﺭ ﺁﻥ‬1  t )A  tB ‫ ﺩﻗﻴﻘ ًﺎ ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻃﻲ ﺑﻪ ﺻﻮﺭﺕ‬AB ‫ﭘﺎﺭﻩﺧﻂ‬

‫ﻣﻲﺗﻮﺍﻥ ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ‬

‫‪AB‬‬
‫‪.‬‬ ‫‪ .1‬ﻭﺳﻂ ﭘﺎﺭﻩﺧﻂ ‪ AB‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬
‫‪2‬‬

‫‪AB‬‬
‫‪2‬‬
‫‪A  B C‬‬
‫‪.‬‬ ‫‪ .2‬ﻣﺤﻞ ﺑﺮﺧﻮﺭﺩ ﻣﻴﺎﻧﻪﻫﺎﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬
‫‪3‬‬

‫‪AB‬‬
‫‪2‬‬
‫‪A  B C‬‬
‫‪.‬‬ ‫‪ .2‬ﻣﺤﻞ ﺑﺮﺧﻮﺭﺩ ﻣﻴﺎﻧﻪﻫﺎﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬
‫‪3‬‬
‫ﺿﺮﺍﻳﺐ ﺣﻘﻴﻘﻲ ‪ b ، a‬ﻭ ‪ c‬ﻭﺟﻮﺩ ﺩﺍﺭﻧﺪ ﻛﻪ‬ ‫ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﺭﻭﻱ ﻳﻚ ﺧﻂ‬
‫‪ a  b  c  0‬ﻭ ‪aA  bB  cC  0‬‬ ‫‪‬‬ ‫ﻗﺮﺍﺭ ﺩﺍﺭﻧﺪ‬
‫‪ .4‬ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﻧﻘﻄﻪ ‪ A‬ﻣﻲﮔﺬﺭﺩ ﻭ ﺑﺎ ﺩﻭ ﺑﺮﺩﺍﺭ ﻧﺎﺻﻔﺮ ﻭ ﻏﻴﺮ ﻫﻢ ﺭﺍﺳﺘﺎﻱ ‪ v1, v2‬ﺗﻮﻟﻴﺪ ﻣﻲﺷﻮﺩ‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬

‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫‪ .5‬ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﻣﻲﮔﺬﺭﺩ‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t 3C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t 3C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t 3C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬
‫‪ .6‬ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻁ ﺩﺭﻭﻥ ﻳﺎ ﺭﻭﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬
‫}‪{ aA  bB  cC : a  b  c  1 , 0  a, b, c  1‬‬
‫}‪{ aA  bB  cC : a  b  c  1 , 0  a, b, c  1‬‬
‫‪A‬‬
‫‪sA  (1  s )(tB  (1  t )C )  sA  (1  s )tB  (1  s )(1  t )C‬‬
‫‪C‬‬
‫‪B‬‬ ‫‪tB  (1  t )C‬‬
‫}‪{ aA  bB  cC : a  b  c  1 , 0  a, b, c  1‬‬
‫‪A‬‬
‫‪sA  (1  s )(tB  (1  t )C )  sA  (1  s )tB  (1  s )(1  t )C‬‬
‫‪C‬‬
‫‪B‬‬ ‫‪tB  (1  t )C‬‬
‫}‪{ aA  bB  cC : a  b  c  1 , 0  a, b, c  1‬‬
‫‪ .7‬ﭼﻬﺎﺭ ﻧﻘﻄﻪ ‪ C ، B ، A‬ﻭ ‪ D‬ﺭﻭﻱ ﻳﻚ ﺻﻔﺤﻪ ﻗﺮﺍﺭ ﺩﺍﺭﻧﺪ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ ﺿﺮﺍﻳﺐ ﺣﻘﻴﻘﻲ ‪ c ، b ، a‬ﻭ‬
‫‪ d‬ﻭﺟﻮﺩ ﺩﺍﺷﺘﻪ ﺑﺎﺷﻨﺪ ﻛﻪ ‪ a  b  c  d  1‬ﻭ ‪. aA  bB  cC  dD  0‬‬
‫ﻭﺍﺑﺴﺘﻪ ﺑﻮﺩﻥ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺍﺳﻜﺎﻟﺮ ﻧﻘﺎﻁ ﺑﻪ ﻣﺒﺪﺃ‬
‫‪P1‬‬ ‫‪ P  A  B‬ﺯﻣﺎﻧﯽ ﮐﻪ ‪ O1‬ﻣﺒﺪﺃ ﺍﺳﺖ‬

‫‪A‬‬
‫‪O2‬‬ ‫‪ P2  A  B‬ﺯﻣﺎﻧﯽ ﮐﻪ ‪ O1‬ﻣﺒﺪﺃ ﺍﺳﺖ‬
‫‪P2‬‬
‫‪O1‬‬ ‫‪B‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫ﺣﺎﺻﻞ ﻋﺒﺎﺭﺕ ‪ aA  bB‬ﺯﻣﺎﻧﻲ ﻛﻪ‬

‫‪‬‬
‫‪aOA  bOB  OP‬‬
‫‪ O‬ﻣﺒﺪﺃ ﺍﺳﺖ ﺑﺮﺍﺑﺮ ﻧﻘﻄﻪ ‪ P‬ﺍﺳﺖ‬
‫‪1‬‬ ‫‪1‬‬
‫‪ A  B‬ﻧﻘﻄﻪ ﻭﺳﻂ ﭘﺎﺭﻩﺧﻂ ‪ AB‬ﺍﺳﺖ ﻭ ﺑﻨﺎﺑﺮﺍﻳﻦ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺧﻮﺍﻫﺪ ﺑﻮﺩ‪.‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪A‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪O2‬‬ ‫‪A B‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪O1‬‬ ‫‪B‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ A  B‬ﻧﻘﻄﻪ ﻭﺳﻂ ﭘﺎﺭﻩﺧﻂ ‪ AB‬ﺍﺳﺖ ﻭ ﺑﻨﺎﺑﺮﺍﻳﻦ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺧﻮﺍﻫﺪ ﺑﻮﺩ‪.‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪A‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪O2‬‬ ‫‪A B‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪O1‬‬ ‫‪B‬‬
‫ﻗﻀﻴﻪ‪ .‬ﻋﺒﺎﺭﺕ ‪ aA  bB‬ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ ‪. a  b  1‬‬
. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬
  

A aO1A  bO1B  O1P ‫ ﻓﺮﺽ ﻛﻨﻴﺪ‬.‫ﺍﺛﺒﺎﺕ‬
O2      
aO2A  bO2B  a(O2O1  O1A)  b(O2O1  O1B )
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
  

O2      
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
  

O2      
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
  

O2      
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
  

O2      
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
  

O2      
  
B  (a  b)O2O1  aO1A  bO1B
O1  
 (a  b)O2O1  O1P
 
 (a  b  1)O2O1  O2P
‫ﻗﻀﻴﻪ‪ .‬ﻋﺒﺎﺭﺕ ‪ a1A1  a2A2    ak Ak‬ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬
‫‪a1  a2    ak  1‬‬
‫‪ n‬ﻭ ﺻﻔﺤﻪ‌ﻫﺎﻱ ﺗﻌﻤﻴﻢ ﻳﺎﻓﺘﻪ ﺩﺭ ﺁﻥ‬

‫ﻣﺨﺘﺼﺎﺕ ﺩﻛﺎﺭﺗﻲ ﻭ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺩﺭ ﺍﻳﻦ ﻣﺨﺘﺼﺎﺕ‬
‫‪AB‬‬
‫‪B‬‬
‫‪rA‬‬ ‫) ‪A  B  (x1, y1)  (x 2 , y2 )  (x1  x 2 , y1  y2‬‬
‫‪A‬‬
‫)‪rA  r (x1, y1)  (rx1, ry1‬‬
‫‪x2‬‬ ‫‪x1‬‬ ‫‪rx1‬‬

‫ﺑﻨﺎﺑﺮﺍﻳﻦ ﺧﻂ ﺑﺎ ﺍﻋﺪﺍﺩ ﺣﻘﻴﻘﻲ ﻭ ﺻﻔﺤﻪ ﺑﺎ ﺩﻭﺗﺎﻳﻲﻫﺎﻱ ﻣﺮﺗﺐ ﻭ ﻓﻀﺎ ﺑﺎ ﺳﻪﺗﺎﻳﻲﻫﺎﻱ ﻣﺮﺗﺐ ﺍﺯ ﺁﻥ ﺍﻋﺪﺍﺩ‬
‫ﻣﺸﺨﺺ ﻣﻲﺷﻮﻧﺪ‪.‬‬
‫} ‪n  {(x1,..., x n ) : x i  ‬‬

‫} ‪n  {(x1,..., x n ) : x i  ‬‬
‫‪A  B : (x1  y1,..., x n  yn ),‬‬ ‫) ‪rA : (rx1,..., rx n‬‬

‫} ‪n  {(x1,..., x n ) : x i  ‬‬
‫‪A  B : (x1  y1,..., x n  yn ),‬‬ ‫) ‪rA : (rx1,..., rx n‬‬
‫ﺍﻋﻀﺎﻱ ‪ n‬ﺭﺍ ﮔﺎﻫﻲ ﻧﻘﻄﻪ ﻭ ﮔﺎﻫﻲ ﺑﺮﺩﺍﺭ ﻣﻲﻧﺎﻣﻴﻢ!‬

‫ﺧﻂ ﻭ ﺻﻔﺤﻪ ﺩﺭ ‪n‬‬

‫ﺍﮔﺮ ) ‪ A  (a1,..., an‬ﻭ ) ‪v  (b1,..., bn‬‬
‫} ‪{ A  tv | t   }  {(a1  tb1 ,..., an  tbn ) | t  ‬‬


‫ﺍﮔﺮ ) ‪ A  (a1,..., an‬ﻭ ) ‪v  (b1,..., bn‬‬
‫} ‪{ A  tv | t   }  {(a1  tb1 ,..., an  tbn ) | t  ‬‬
‫ﻣﻲﮔﺬﺭﺩ ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫ﺧﻄﻲ ﻛﻪ ﺍﺯ ﺩﻭ ﻧﻘﻄﻪ ‪ A‬ﻭ ‪‌ B‬‬
‫} ‪{ A  t(B  A) : t   }  {(1  t )A  tB : t  ‬‬

‫}‪ { aA  bB : a  b  1‬‬

‫ﺍﮔﺮ ) ‪ A  (a1,..., an‬ﻭ ) ‪v  (b1,..., bn‬‬
‫} ‪{ A  tv | t   }  {(a1  tb1 ,..., an  tbn ) | t  ‬‬
‫ﻣﻲﮔﺬﺭﺩ ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫ﺧﻄﻲ ﻛﻪ ﺍﺯ ﺩﻭ ﻧﻘﻄﻪ ‪ A‬ﻭ ‪‌ B‬‬
‫} ‪{ A  t(B  A) : t   }  {(1  t )A  tB : t  ‬‬

‫}‪ { aA  bB : a  b  1‬‬
n ‫ﺧﻂ ﻭ ﺻﻔﺤﻪ ﺩﺭ‬

‫ ﺑﺎﺷﺪ ﺁﻧﮕﺎﻩ‬AB ‫ ﻧﻘﻄﻪﺍﻱ ﺭﻭﻱ ﺧﻂ‬P  (1  t )A  tB ‫ﺍﮔﺮ‬
 
AP  P  A  t(B  A)  tAB
 
BP  P  B  (1  t )(A  B )  (1  t )AB
n ‫ﺧﻂ ﻭ ﺻﻔﺤﻪ ﺩﺭ‬

‫ ﺑﺎﺷﺪ ﺁﻧﮕﺎﻩ‬AB ‫ ﻧﻘﻄﻪﺍﻱ ﺭﻭﻱ ﺧﻂ‬P  (1  t )A  tB ‫ﺍﮔﺮ‬
 
AP  P  A  t(B  A)  tAB
 
BP  P  B  (1  t )(A  B )  (1  t )AB
{(1  t )A  tB : 0  t  1} AB ‫ﭘﺎﺭﻩﺧﻂ‬

‫ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﻧﻘﻄﻪ ‪ A‬ﻣﻲﮔﺬﺭﺩ ﻭ ﺑﺎ ﺑﺮﺩﺍﺭﻫﺎﻱ ‪ v1‬ﻭ ‪ v2‬ﺗﻮﻟﻴﺪ ﻣﻲﺷﻮﺩ‬
‫‌‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬


‫‌‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﻣﻲﮔﺬﺭﺩ ﺑﺮﺍﺑﺮﺍﺳﺖ ﺑﺎ‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t2C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬

‫‌‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t2C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬

‫‌‬
‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬
‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪ {(1  t1  t2 )A  t1B  t2C : t1, t2  ‬‬
‫}‪ { aA  bB  cC : a  b  c  1‬‬

‫ﺻﻔﺤﻪ ﺗﻌﻤﻴﻢ ﻳﺎﻓﺘﻪﺍﻱ ﻛﻪ ﺍﺯ ﻧﻘﻄﻪ ‪ A‬ﻣﻲﮔﺬﺭﺩ ﻭ ﺑﺎ ﺑﺮﺩﺍﺭﻫﺎﻱ ‪ v1 ,..., vk‬ﺗﻮﻟﻴﺪ ﻣﻲﺷﻮﺩ‬
‫} ‪{ A  t1v1  t2v2    tk vk | ti  ‬‬

‫ﺯﻳﺮﻓﻀﺎﻫﺎﻱ ‪n‬‬
‫ﺻﻔﺤﻪﻫﺎﻳﻲ ﻛﻪ ﺍﺯ ﻣﺒﺪﺃ ﻣﻲﮔﺬﺭﻧﺪ‬
‫} ‪{ t1v1  t2v2    tk vk | ti  ‬‬

‫} ‪{ t1v1  t2v2    tk vk | ti  ‬‬
‫ﺗﺤﺖ ﺟﻤﻊ ﺑﺮﺩﺍﺭﻱ ﻭ ﺿﺮﺏ ﺍﺳﻜﺎﻟﺮ ﺑﺴﺘﻪ ﺍﻧﺪ‪.‬‬

‫} ‪{ t1v1  t2v2    tk vk | ti  ‬‬
‫ﺯﻳﺮﻓﻀﺎ‪ :‬ﺯﻳﺮ ﻣﺠﻤﻮﻋﻪ ﻧﺎﺗﻬﻲ ‪ n‬ﻛﻪ ﺗﺤﺖ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺑﺴﺘﻪ ﺍﺳﺖ‪.‬‬
‫} ‪{ t1v1  t2v2    tk vk | ti  ‬‬
‫ﺯﻳﺮﻓﻀﺎ‪ :‬ﺯﻳﺮ ﻣﺠﻤﻮﻋﻪ ﻧﺎﺗﻬﻲ ‪ n‬ﻛﻪ ﺗﺤﺖ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺑﺴﺘﻪ ﺍﺳﺖ‪.‬‬
‫‪ V  n‬ﺯﻳﺮﻓﻀﺎ ﺍﺳﺖ ﺍﮔﺮ ﻧﺎﺗﻬﻲ ﺑﺎﺷﺪ ﻭ‬
‫‪v1, v2  V , r  ‬‬ ‫‪:‬‬ ‫‪v1  rv2  V‬‬

‫ﺻﻔﺤﻪﻫﺎﻱ ‪ n‬ﻛﻪ ﺍﺯ ﻣﺒﺪﺃ ﻣﻲﮔﺬﺭﻧﺪ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺍﻧﺪ‪.‬‬
‫ﻼ ﺟﺒﺮﻱ ﺍﺳﺖ ﻭ ﺑﻴﺎﻥ ﺳﺎﺩﻩﺗﺮﻱ ﻧﺴﺒﺖ ﺑﻪ ﺗﻌﺮﻳﻒ ﺻﻔﺤﻪ ﺩﺍﺭﺩ‪.‬‬
‫ﺗﻌﺮﻳﻒ ﺯﻳﺮﻓﻀﺎ ﺗﻌﺮﻳﻔﻲ ﻛﺎﻣ ً‬
‫‪t1v1    tk vk  V‬‬ ‫‪‬‬ ‫‪v1,..., vk  V‬‬ ‫‪ V‬ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﻭ‬


‫ﺗﺮﻛﻴﺐ ﺧﻄﻲ ‪ k‬ﺑﺮﺩﺍﺭ ‪v1,..., vk‬‬ ‫•‬

‫ﺗﺮﻛﻴﺐ ﺧﻄﻲ ‪ k‬ﺑﺮﺩﺍﺭ ‪v1,..., vk‬‬ ‫•‬
‫ﻗﺮﺍﺭ ﺩﺍﺩ‪ :‬ﺗﺮﻛﻴﺐ ﺧﻄﻲ ﺻﻔﺮﺗﺎ ﺑﺮﺩﺍﺭ ﺑﺮﺍﺑﺮ ﺻﻔﺮ ﺍﺳﺖ!‬ ‫•‬
‫ﻭﻳﮋﮔﻲﻫﺎﻱ ﺯﻳﺮﻓﻀﺎﻫﺎﻱ ‪n‬‬

‫‪ n‬ﻭ } ‪ {0‬ﺩﻭ ﺯﻳﺮ ﻓﻀﺎﻱ ‪ n‬ﻫﺴﺘﻨﺪ‪) .‬ﺯﻳﺮ ﻓﻀﺎﻫﺎﻱ ﺑﺪﻳﻬﻲ(‬ ‫•‬

‫• ﻫﺮ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺷﺎﻣﻞ ﻣﺒﺪﺃ ﺍﺳﺖ‪.‬‬

‫• ﺍﺷﺘﺮﺍﻙ ﻫﺮ ﺗﻌﺪﺍﺩ ﺯﻳﺮﻓﻀﺎﻱ ‪ ، n‬ﺧﻮﺩ ﺯﻳﺮﻓﻀﺎﻳﻲ ﺍﺯ ‪ n‬ﺍﺳﺖ‪.‬‬

‫‪v1, v2 ‬‬ ‫‪V‬‬ ‫‪ v1, v2  V‬‬ ‫‪ v1  rv2  V‬‬ ‫‪ v1  rv2 ‬‬ ‫‪V‬‬

‫‪v1, v2 ‬‬ ‫‪V‬‬ ‫‪ v1, v2  V‬‬ ‫‪ v1  rv2  V‬‬ ‫‪ v1  rv2 ‬‬ ‫‪V‬‬

‫‪v1, v2 ‬‬ ‫‪V‬‬ ‫‪ v1, v2  V‬‬ ‫‪ v1  rv2  V‬‬ ‫‪ v1  rv2 ‬‬ ‫‪V‬‬

‫‪v1, v2 ‬‬ ‫‪V‬‬ ‫‪ v1, v2  V‬‬ ‫‪ v1  rv2  V‬‬ ‫‪ v1  rv2 ‬‬ ‫‪V‬‬

‫ﻛﻮﭼﻚﺗﺮﻳﻦ ﺯﻳﺮﻓﻀﺎﻱ ﺷﺎﻣﻞ ‪S  n‬‬ ‫•‬

‫‪S ‬‬ ‫ﺯﻳﺮﻓﻀﺎﻱ ﺗﻮﻟﻴﺪ ﺷﺪﻩ ﺗﻮﺳﻂ ﻣﺠﻤﻮﻋﻪ ‪: S‬‬

‫‪S   { t1v1    tl vl‬‬ ‫} ‪| l  N  {0} , vi  S‬‬ ‫•‬

‫‪S   { t1v1    tl vl‬‬ ‫} ‪| l  N  {0} , vi  S‬‬ ‫•‬
‫} ‪  {0‬‬ ‫•‬


‫‪S   { t1v1    tl vl‬‬ ‫} ‪| l  N  {0} , vi  S‬‬ ‫•‬
‫} ‪  {0‬‬ ‫•‬

‫ﺍﮔﺮ ‪ S‬ﻧﺎﻣﺘﻨﺎﻫﻲ ﺑﺎﺷﺪ ﻳﻚ ﺗﺮﻛﻴﺐ ﺧﻄﻲ ﺍﺯ ﺍﻋﻀﺎﻱ ‪ S‬ﺩﺭ ﻭﺍﻗﻊ ﺗﺮﻛﻴﺒﻲ ﺧﻄﻲ ﺍﺯ ﻣﺘﻨﺎﻫﻲ ﻋﻀﻮ ﺁﻥ ﺍﺳﺖ‪.‬‬
‫ﺗﻮﺟﻪ‪ .‬ﻣﺠﻤﻮﻉ ﻧﺎﻣﺘﻨﺎﻋﻲ ﻫﻴﭻ ﻣﻌﻨﻲﺍﻱ ﻧﻤﻲ ‌ﺩﻫﺪ‪.‬‬

‫ﺍﮔﺮ ‪ R  S  n‬ﺁﻧﮕﺎﻩ ‪R  S   n‬‬ ‫•‬

‫ﺍﮔﺮ ‪ R  S  n‬ﺁﻧﮕﺎﻩ ‪R  S   n‬‬ ‫•‬
‫‪V   V‬‬ ‫ﺍﮔﺮ ‪ V  n‬ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺑﺎﺷﺪ ﺁﻧﮕﺎﻩ‬ ‫•‬

‫ﺍﮔﺮ ‪ R  S  n‬ﺁﻧﮕﺎﻩ ‪R  S   n‬‬ ‫•‬
‫‪V   V‬‬ ‫ﺍﮔﺮ ‪ V  n‬ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺑﺎﺷﺪ ﺁﻧﮕﺎﻩ‬ ‫•‬
‫ﺍﮔﺮ ‪ V‬ﻭ ‪ W‬ﺩﻭ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺑﺎﺷﻨﺪ ﺁﻧﮕﺎﻩ ﻣﺠﻤﻮﻋﻪ‬ ‫•‬
‫} ‪V  W : { v  w | v  V , w  W‬‬
‫‪V  W   V  W‬‬ ‫ﻧﻴﺰ ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺍﺳﺖ ﻭ ﺩﺍﺭﻳﻢ‬

‫ﺍﺛﺒﺎﺕ‪.‬‬
‫‪ V  W‬ﻧﺎﺗﻬﻲ ﺍﺳﺖ‬ ‫•‬
.‫ﺍﺛﺒﺎﺕ‬
‫ ﻧﺎﺗﻬﻲ ﺍﺳﺖ‬V  W •
u, u '  V  W  u  v  w, u '  v ' w ' : v, v '  V , w, w '  W

 u  ru '  (v  rv ')  (w  rw ')  V  W

 u  ru '  (v  rv ')  (w  rw ')  V  W

 u  ru '  (v  rv ')  (w  rw ')  V  W
V W

 u  ru '  (v  rv ')  (w  rw ')  V  W

 u  ru '  (v  rv ')  (w  rw ')  V  W
‫‪u, u '  V  W‬‬ ‫‪ u  v  w, u '  v ' w ' : v, v '  V , w, w '  W‬‬
‫‪ u  ru '  (v  rv ')  (w  rw ')  V  W‬‬
‫‪ V  W‬ﺯﻳﺮﻓﻀﺎﻳﻲ ﺍﺯ ‪ n‬ﺷﺎﻣﻞ ﺩﻭ ﺯﻳﺮﻓﻀﺎﻱ ‪ V‬ﻭ ‪ W‬ﺍﺳﺖ‪.‬‬ ‫•‬

‫‪ u  ru '  (v  rv ')  (w  rw ')  V  W‬‬

‫ﻫﺮ ﺯﻳﺮﻓﻀﺎﻱ ﺷﺎﻣﻞ ‪ V‬ﻭ ‪ W‬ﺑﺎﻳﺪ ﻣﺠﻤﻮﻉﻫﺎﻳﻲ ﺑﻪ ﺷﻜﻞ ‪ v  w‬ﺭﺍ ﻛﻪ ‪ v  V‬ﻭ ‪ w  W‬ﺍﺳﺖ‬ ‫•‬
‫ﺩﺍﺷﺘﻪ ﺑﺎﺷﺪ‪.‬‬
‫‪ u  ru '  (v  rv ')  (w  rw ')  V  W‬‬

‫ﻫﺮ ﺯﻳﺮﻓﻀﺎﻱ ﺷﺎﻣﻞ ‪ V‬ﻭ ‪ W‬ﺑﺎﻳﺪ ﻣﺠﻤﻮﻉﻫﺎﻳﻲ ﺑﻪ ﺷﻜﻞ ‪ v  w‬ﺭﺍ ﻛﻪ ‪ v  V‬ﻭ ‪ w  W‬ﺍﺳﺖ‬ ‫•‬
‫ﺩﺍﺷﺘﻪ ﺑﺎﺷﺪ‪.‬‬
‫‪ V  W ‬ﻛﻮﭼﻚﺗﺮﻳﻦ ﺯﻳﺮﻓﻀﺎﻱ ﺷﺎﻣﻞ ‪ V‬ﻭ ‪ W‬ﺍﺳﺖ‪.‬‬
‫ﻣﻌﻴﺎﺭﻱ ﺑﺮﺍﻱ ﺑﺰﺭﮔﻲ ﺻﻔﺤﻪﻫﺎﻱ ﺗﻌﻴﻢ ﻳﺎﻓﺘﻪ‬
‫} ‪{ A  t1v1  t2v2    tk vk | ti  ‬‬
‫ﺗﻌﺪﺍﺩ ﺑﺮﺩﺍﺭﻫﺎﻱ ﺗﻮﻟﻴﺪ ﻛﻨﻨﺪﻩ ﻳﻚ ﺻﻔﺤﻪ ﺗﻌﻤﻴﻢ ﻳﺎﻓﺘﻪ ﺑﻪ ﻧﻈﺮ ﻣﻌﻴﺎﺭ ﻣﻮﺭﺩ ﻧﻈﺮ ﻣﻲﺁﻳﺪ‪.‬‬
‫ﭼﻨﺪ ﻧﻜﺘﻪ‬
‫ﻣﻤﻜﻦ ﺍﺳﺖ ﺑﺮﺩﺍﺭﻫﺎﻱ ﺯﺍﺋﺪ ﻭﺟﻮﺩ ﺩﺍﺷﺘﻪ ﺑﺎﺷﻨﺪ‪.‬‬ ‫•‬
‫• ﻣﻤﻜﻦ ﺍﺳﺖ ﺑﺮﺩﺍﺭﻫﺎﻱ ﺯﺍﺋﺪ ﻭﺟﻮﺩ ﺩﺍﺷﺘﻪ ﺑﺎﺷﻨﺪ‪.‬‬
‫ﺭﺍﻩ ﺣﻞ‪ .‬ﺣﺬﻑ ﺑﺮﺩﺍﺭ ﺯﺍﺋﺪ‪.‬‬
‫ﻣﻤﻜﻦ ﺍﺳﺖ ﻣﺠﻤﻮﻋﻪﻫﺎﻱ ﺑﺪﻭﻥ ﺑﺮﺩﺍﺭ ﺯﺍﺋﺪ ﻣﺘﻔﺎﻭﺗﻲ ﻳﻚ ﺻﻔﺤﻪ ﺭﺍ ﺗﻮﻟﻴﺪ ﻛﻨﻨﺪ‪.‬‬ ‫•‬
‫• ﻣﻤﻜﻦ ﺍﺳﺖ ﻣﺠﻤﻮﻋﻪﻫﺎﻱ ﺑﺪﻭﻥ ﺑﺮﺩﺍﺭ ﺯﺍﺋﺪ ﻣﺘﻔﺎﻭﺗﻲ ﻳﻚ ﺻﻔﺤﻪ ﺭﺍ ﺗﻮﻟﻴﺪ ﻛﻨﻨﺪ‪.‬‬
‫ﺩﺭ ﺍﺩﺍﻣﻪ ﻧﺸﺎﻥ ﻣﻲﺩﻫﻴﻢ ﻛﻪ ﺗﻌﺪﺍﺩ ﺍﻋﻀﺎﻱ ﺍﻳﻦ ﻧﻮﻉ ﻣﺠﻤﻮﻋﻪﻫﺎ ﺑﺮﺍﺑﺮﻧﺪ‪.‬‬
‫ﻣﺠﻤﻮﻋﻪﻫﺎﻱ ﻣﻮﻟﺪﻱ ﻛﻪ ﻫﻴﭻ ﻋﻀﻮ ﺯﺍﺋﺪ ﻧﺪﺍﺭﻧﺪ ﻭ ﺍﺳﺘﻘﻼﻝ ﺧﻄﻲ‬

‫‌‬
‫ﺑﺮﺩﺍﺭ ‪ vi‬ﺩﺭ ﻣﺠﻤﻮﻋﻪ } ‪ {v1,..., vk‬ﺯﺍﺋﺪ ﺍﺳﺖ ﺍﮔﺮ‬
‫‪v1,..., vk  v1,..., vi 1, vi 1,..., vk ‬‬

‫ﻫﻴﭻﻳﻚ ﺍﺯ ﺑﺮﺩﺍﺭﻫﺎﻱ ‪ v1,.., vk‬ﺯﺍﺋﺪ ﻧﻴﺴﺘﻨﺪ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬
‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬

‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬
‫ﺍﺛﺒﺎﺕ ﻋﻜﺲ ﻧﻘﻴﺾ ﮔﺰﺍﺭﻩ ﺑﺎﻻ‬

‫ﻗﺴﻤﺖ ﺍﻭﻝ‬
‫‪vk  v1,..., vk 1  vk  t1v1    tk 1vk 1‬‬

‫‪ t1v1    tk 1vk 1  (1)vk  0‬‬
‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬

‫‪vk  v1,..., vk 1  vk  t1v1    tk 1vk 1‬‬

‫‪ t1v1    tk 1vk 1  (1)vk  0‬‬
‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬

‫‪vk  v1,..., vk 1  vk  t1v1    tk 1vk 1‬‬

‫‪ t1v1    tk 1vk 1  (1)vk  0‬‬
‫ ﺯﺍﺋﺪ ﻧﻴﺴﺘﻨﺪ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬v1,.., vk ‫ﻫﻴﭻﻳﻚ ﺍﺯ ﺑﺮﺩﺍﺭﻫﺎﻱ‬
t1v1    tk vk  0  t1    tk  0
‫ﻗﺴﻤﺖ ﺩﻭﻡ‬
t1v1    tk vk  0, tk  0  t1v1    tk 1vk 1  tk vk

t1 tk 1
 vk  v1    vk 1  vk  v1,..., vk 1
tk tk
t1v1    tk vk  0  t1    tk  0

t t
 vk  1 v1    k 1 vk 1  vk  v1, ..., vk 1
tk tk
t1v1    tk vk  0  t1    tk  0

t1 tk 1
 vk  v1    vk 1  vk  v1,..., vk 1
tk tk
t1v1    tk vk  0  t1    tk  0

t1 tk 1
 vk  v1    vk 1  vk  v1,..., vk 1
tk tk
‫ﻣﺠﻤﻮﻋﻪ ﻣﺴﺘﻘﻞ ﺧﻄﻲ‬
‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬
‫ﻣﺠﻤﻮﻋﻪﺍﻱ ﻛﻪ ﻋﻀﻮ ﺯﺍﺋﺪ ﻧﺪﺍﺭﺩ‬

‫ﻣﺠﻤﻮﻋﻪ ﻣﺴﺘﻘﻞ ﺧﻄﻲ‬
‫‪t1v1    tk vk  0‬‬ ‫‪‬‬ ‫‪t1    tk  0‬‬
‫ﻣﺠﻤﻮﻋﻪﺍﻱ ﻛﻪ ﻋﻀﻮ ﺯﺍﺋﺪ ﻧﺪﺍﺭﺩ‬

‫ﻣﺠﻤﻮﻋﻪ ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬
‫ﻭﻳﮋﮔﻲﻫﺎﻱ ﻣﺠﻤﻮﻋﻪﻫﺎﻱ ﻣﺴﺘﻘﻞ ﺧﻄﻲ‬
‫‪  .1‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‪.‬‬


‫‪v 0‬‬ ‫‪‬‬ ‫‪ {v} .2‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬

‫‪v 0‬‬ ‫‪‬‬ ‫‪ {v} .2‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬
‫ﻫﻴﭻ ﻛﺪﺍﻡ ﻣﻀﺮﺏ ﺩﻳﮕﺮﻱ ﻥﻳﺴﺘﻦﺩ‬ ‫‪‬‬ ‫‪ {v1, v2 } .3‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬

‫‪v 0‬‬ ‫‪‬‬ ‫‪ {v} .2‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬
‫ﻫﻴﭻ ﻛﺪﺍﻡ ﻣﻀﺮﺏ ﺩﻳﮕﺮﻱ ﻥﻳﺴﺘﻦﺩ‬ ‫‪‬‬ ‫‪ {v1, v2 } .3‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬
‫ﺍﻱ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‪.‬‬
‫‪ .4‬ﻫﺮ ﺯﻳﺮﻣﺠﻤﻮﻋﻪ ﻳﻚ ﻣﺠﻤﻮﻋﻪ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺧﻮﺩ ﻣﺠﻤﻮﻋﻪ ‌‬
‫)ﺩﺭ ﻧﺘﻴﺠﻪ ﻫﺮ ﻣﺠﻤﻮﻋﻪ ﺷﺎﻣﻞ ﻳﻚ ﻣﺠﻤﻮﻋﻪ ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‪ ،‬ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ ﺍﺳﺖ‪(.‬‬
‫‪ {v1,..., vk } .5‬ﻣﺲﺕﻗﻞ ﺧﻄﻲ ﻭ ‪vk 1  n‬‬

‫‪vk 1  v1,..., vk ‬‬ ‫‪‬‬ ‫}‪ {v1,..., vk 1‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬
‫‪ {v1,..., vk } .5‬ﻣﺲﺕﻗﻞ ﺧﻄﻲ ﻭ ‪. vk 1  n‬‬

‫‪. vk 1  v1,..., vk ‬‬ ‫‪‬‬ ‫}‪ {v1,..., vk 1‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ‬

‫‪t1v1  0‬‬ ‫‪‬‬ ‫}‪ {v1,..., vk 1‬ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬

‫‪ t1v1    tk 1vk 1  0‬ﻭ ﻫﻤﻪ ‪ ti‬ﻫﺎ ﺻﻔﺮ ﻧﻴﺴﺘﻨﺪ‬ ‫‪‬‬ ‫}‪ {v1,..., vk 1‬ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬

‫‪t1v1  0‬‬ ‫‪tk 1  0‬‬

‫‪ t1v1    tk vk  0  0‬ﻭ ﻫﻤﻪ ‪ ti‬ﻫﺎ ﺻﻔﺮ ﻧﻴﺴﺘﻨﺪ‬ ‫‪‬‬ ‫‪tk 1  0‬‬

‫‪ t1v1    tk vk  0  0‬ﻭ ﻫﻤﻪ ‪ ti‬ﻫﺎ ﺻﻔﺮ ﻧﻴﺴﺘﻨﺪ‬ ‫‪‬‬ ‫‪tk 1  0‬‬
‫} ‪ {v1,..., vk‬ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬ ‫‪‬‬
. vk 1  n ‫{ ﻣﺲﺕﻗﻞ ﺧﻄﻲ ﻭ‬v1,..., vk } .5

vk 1  v1,..., vk   ‫{ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‬v1,..., vk 1}
. vk 1  v1,..., vk   ‫{ ﻣﺴﺘﻘﻞ ﺧﻄﻲ‬v1,..., vk 1}
‫ ﻫﺎ ﺻﻔﺮ ﻧﻴﺴﺘﻨﺪ‬ti ‫ ﻭ ﻫﻤﻪ‬t1v1    tk 1vk 1  0  ‫{ ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬v1,..., vk 1}
‫ ﻫﺎ ﺻﻔﺮ ﻧﻴﺴﺘﻨﺪ‬ti ‫ ﻭ ﻫﻤﻪ‬t1v1    tk vk  0  0  tk 1  0
‫{ ﻭﺍﺑﺴﺘﻪ ﺧﻄﻲ‬v1,..., vk } 
t1 tk
vk 1  v1    vk  vk 1  v1,..., vk 
tk 1 tk 1
‫ﺭﻭﺵ ﻋﻤﻠﻲ ﺑﺮﺍﻱ ﺳﺎﺧﺘﻦ ﻣﺠﻤﻮﻋﻪﻫﺎﻱ ﻣﺴﺘﻘﻞ ﺧﻂ‬
‫‪v1  0‬‬
‫‪v2‬‬
‫‪v1  0‬‬ ‫‪v1‬‬

‫‪v3‬‬
‫‪v2‬‬
‫‪v2‬‬
‫‪v1‬‬ ‫‪‬‬
‫‪v1  0‬‬ ‫‪v1‬‬
‫ﭘﺎﻳﻪ ﻭ ﺑ‪‬ﻌﺪ‬
‫} ‪ {v1,..., vk‬ﺭﺍ ﻳﻚ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ﺯﻳﺮﻓﻀﺎﻱ ‪ V‬ﮔﻮﻳﻴﻢ ﻫﺮﮔﺎﻩ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺑﺎﺷﺪ ﻭ ‪ V‬ﺭﺍ ﺗﻮﻟﻴﺪ ﻛﻨﺪ‪.‬‬
‫ﻣﺜﺎﻝ‪ {e1  (1,0,...,0),..., en  (0,...,0, 1)} .‬ﻳﻚ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ‪ n‬ﺍﺳﺖ‪.‬‬

‫‪t1e1    tnen  0‬‬ ‫‪‬‬ ‫‪(t1,..., tn )  0  t1    tn  0‬‬

‫‪t1e1    tnen  0‬‬ ‫‪‬‬ ‫‪(t1,..., tn )  0  t1    tn  0‬‬
‫‪v  (a1,..., an )  n‬‬ ‫‪:‬‬ ‫‪v  a1e1    anen‬‬

‫ﻓﺮﺽ ﻛﻨﻴﺪ ‪ V  v1,..., vk ‬ﻭ ‪ {w1,..., wl }  V‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‪.‬‬

‫‪. l  k .1‬‬
‫‪ {v1,..., vk } .2‬ﺭﺍ ﻣﻲﺗﻮﺍﻥ ﺑﺎ ﺣﺬﻑ ﺑﻌﻀﻲ ﺍﺯ ﺍﻋﻀﺎﻳﺶ ﺑﻪ ﻳﻚ ﭘﺎﻳﻪ ‪ V‬ﺗﻘﻠﻴﻞ ﺩﺍﺩ‪.‬‬
‫‪ {w1,..., wl } .3‬ﺭﺍ ﻣﻲﺗﻮﺍﻥ ﺑﺎ ﺍﺿﺎﻓﻪ ﻛﺮﺩﻥ ﺑﺮﺩﺍﺭﻫﺎﻳﻲ ﺑﻪ ﻳﻚ ﭘﺎﻳﻪ ‪ V‬ﮔﺴﺘﺮﺵ ﺩﺍﺩ‪.‬‬
‫‪ V .4‬ﺩﺍﺭﺍﻱ ﭘﺎﻳﻪ ﺍﺳﺖ ﻭ ﻫﺮ ﺩﻭ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ‪ V‬ﺩﺍﺭﺍﻱ ﺗﻌﺪﺍﺩ ﺍﻋﻀﺎﻱ ﺑﺮﺍﺑﺮ ﻫﺴﺘﻨﺪ‪.‬‬
‫} ‪{w1,..., wl‬‬
‫} ‪{v1,..., vi ,.., vk‬‬

‫} ‪{w1,..., wl‬‬
‫} ‪{v1,..., vi ,.., vk‬‬
‫‪w1, v2,..., vk   V‬‬

‫} ‪{w1,..., wl‬‬ ‫} ‪{w2,..., wl‬‬
‫} ‪{v1,..., vi ,.., vk‬‬ ‫} ‪{w1, v2,..., vi ,.., vk‬‬
‫‪w1, v2,..., vk   V‬‬

{w1,..., wl } {w2,..., wl }
{v1,..., vi ,.., vk } {w1, v2,..., vi ,.., vk }
w1, v2,..., vk   V w1, w2 , v 3 ,..., vk   V

{w1,..., wl } {w2,..., wl }
{v1,..., vi ,.., vk } {w1, v2,..., vi ,.., vk } 

w1, v2,..., vk   V w1, w2 , v 3 ,..., vk   V
{w1,..., wl } {w2,..., wl }
{v1,..., vi ,.., vk } {w1, v2,..., vi ,.., vk } 

w1, v2,..., vk   V w1, w2 , v 3 ,..., vk   V
{wi 1,..., wl }
{w1,..., wi , vi 1,..., v j ,..., vk }

{w1,..., wl } {w2,..., wl }
{v1,..., vi ,.., vk } {w1, v2,..., vi ,.., vk } 

w1, v2,..., vk   V w1, w2 , v 3 ,..., vk   V
{wi 1,..., wl }
{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V

{w1,..., wl } {w2,..., wl }
{v1,..., vi ,.., vk } {w1, v2,..., vi ,.., vk } 

w1, v2,..., vk   V w1, w2 , v 3 ,..., vk   V
{wi 1,..., wl }
{w1,..., wi , vi 1,..., v j ,..., vk } 

w1,...,, wi , wi 1, vi 2,..., vk   V
{wi 1,..., wl }
?
{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V

{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 
{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V

{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

wi 1  t1w1    ti wi  ti 1vi 1    tk vk
{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V

{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

{w1,..., wi , vi 1,..., v j ,..., vk }
‫ ﺻﻔﺮ ﻧﻴﺴﺖ‬ti 1,..., tk ‫ﻳﻜﻲ ﺍﺯ ﺿﺮﺍﻳﺐ‬
w1,...,, wi , wi 1, vi 2,..., vk   V
{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V
t1 ti 1 ti 2 tk

vi 1  w1    wi  wi 1  vi 2    vk
ti 1 ti 1 ti 1 ti 1 ti 1
{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V
t1 ti 1 ti 2 tk

vi 1  w1    wi  wi 1  vi 2    vk
ti 1 ti 1 ti 1 ti 1 ti 1
v  w1,..., wi , wi 1, vi 2 ,..., vk 
i 1
{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V
t1 ti 1 ti 2 tk

vi 1  w1    wi  wi 1  vi 2    vk
ti 1 ti 1 ti 1 ti 1 ti 1
v  w1,..., wi , wi 1, vi 2 ,..., vk 
i 1
w1,..., wi , wi 1, vi 2,..., vk   w1,..., wi , wi 1, vi 1, vi 2,..., vk 

 w1,..., wi , vi 1, vi 2,..., vk   V
{wi 1,..., wl } wi 1  V  w1,..., wi , vi 1,..., vk 

{w1,..., wi , vi 1,..., v j ,..., vk }
w1,...,, wi , wi 1, vi 2,..., vk   V
t1 ti 1 ti 2 tk

vi 1  w1    wi  wi 1  vi 2    vk
ti 1 ti 1 ti 1 ti 1 ti 1
v  w1,..., wi , wi 1, vi 2 ,..., vk 
i 1
w1,..., wi , wi 1, vi 2 ,..., vk   w1,..., wi , wi 1, vi 1, vi 2,..., vk 

 w1,..., wi , vi 1, vi 2,..., vk   V
‫ﻓﺮﺽ ﻛﻨﻴﺪ ‪ V  v1,..., vk ‬ﻭ ‪ {w1,..., wl }  V‬ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺍﺳﺖ‪.‬‬

‫‪. l  k .1‬‬
‫‪ {v1,..., vk } .2‬ﺭﺍ ﻣﻲﺗﻮﺍﻥ ﺑﺎ ﺣﺬﻑ ﺑﻌﻀﻲ ﺍﺯ ﺍﻋﻀﺎﻳﺶ ﺑﻪ ﻳﻚ ﭘﺎﻳﻪ ‪ V‬ﺗﻘﻠﻴﻞ ﺩﺍﺩ‪.‬‬
‫‪ {w1,..., wl } .3‬ﺭﺍ ﻣﻲﺗﻮﺍﻥ ﺑﺎ ﺍﺿﺎﻓﻪ ﻛﺮﺩﻥ ﺑﺮﺩﺍﺭﻫﺎﻳﻲ ﺑﻪ ﻳﻚ ﭘﺎﻳﻪ ‪ V‬ﮔﺴﺘﺮﺵ ﺩﺍﺩ‪.‬‬
‫‪ V .4‬ﺩﺍﺭﺍﻱ ﭘﺎﻳﻪ ﺍﺳﺖ ﻭ ﻫﺮ ﺩﻭ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ‪ V‬ﺩﺍﺭﺍﻱ ﺗﻌﺪﺍﺩ ﺍﻋﻀﺎﻱ ﺑﺮﺍﺑﺮ ﻫﺴﺘﻨﺪ‪.‬‬
‫ﺩﺭ ﻣﻮﺭﺩ ﺻﻔﺤﻪﻫﺎﻳﻲ ﺍﺳﺖ ﻛﻪ ﺍﺯ ﻣﺒﺪﺃ ﻣﻲﮔﺬﺭﻧﺪ‬

‫ﻫﺮ ﻣﺠﻤﻮﻋﻪ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ﺩﺭ ‪ n‬ﺑﻴﺸﺘﺮ ﺍﺯ ‪ n‬ﻋﻀﻮ ﻧﻤﻲﺗﻮﺍﻧﺪ ﺩﺍﺷﺘﻪ ﺑﺎﺷﺪ‬

‫ﻫﺮ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺩﺍﺭﺍﻱ ﭘﺎﻳﻪﺍﻱ ﺍﺳﺖ ﻛﻪ ﺗﻌﺪﺍﺩ ﺍﻋﻀﺎﻳﺶ ﺍﺯ ‪ n‬ﺑﻴﺸﺘﺮ ﻧﻴﺴﺖ‪.‬‬


‫ﻫﺮ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﻳﻚ ﺻﻔﺤﻪ ﺗﻌﻤﻴﻢ ﻳﺎﻓﺘﻪ ﺍﺳﺖ‪.‬‬
‫) ‪ dim(V‬ﺑ‪‬ﻌﺪ ﺯﻳﺮﻓﻀﺎﻱ ‪V  n‬‬

‫ﻫﺮ ﻣﺠﻤﻮﻋﻪ ﻣﺴﺘﻘﻞ ﺧﻄﻲ ‪ k‬ﻋﻀﻮﻱ ﺩﺭ ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ k‬ﺑﻌﺪﻱ ﻳﻚ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ﺁﻥ ﺍﺳﺖ‪.‬‬
‫ﻫﺮ ﻣﺠﻤﻮﻋﻪ ﻣﻮﻟﺪ ‪ k‬ﻋﻀﻮﻱ ﺩﺭ ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ k‬ﺑﻌﺪﻱ ﻳﻚ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ﺁﻥ ﺍﺳﺖ‪.‬‬

‫ﻫﺮ ﻣﺠﻤﻮﻋﻪ ﻣﻮﻟﺪ ‪ k‬ﻋﻀﻮﻱ ﺩﺭ ﻳﻚ ﺯﻳﺮﻓﻀﺎﻱ ‪ k‬ﺑﻌﺪﻱ ﻳﻚ ﭘﺎﻳﻪ ﺑﺮﺍﻱ ﺁﻥ ﺍﺳﺖ‪.‬‬
‫ﻧﻬﺎ ﺯﻣﺎﻧﻲ‬
‫ﺍﮔﺮ ‪ V  W  n‬ﺩﻭ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺑﺎﺷﻨﺪ‪ ،‬ﺁﻧﮕﺎﻩ ) ‪ dim(V )  dim(W‬ﻭ ﺗﺴﺎﻭﻱ ﺕ‬
‫ﺍﺗﻔﺎﻕ ﻣﻲﺍﻓﺘﺪ ﻛﻪ ‪ V  W‬ﺑﺎﺷﺪ‪.‬‬
‫ﻗﻀﻴﻪ‪ .‬ﻓﺮﺽ ﻛﻨﻴﺪ ‪ V ,W  n‬ﺩﻭ ﺯﻳﺮﻓﻀﺎﻱ ‪ n‬ﺑﺎﺷﻨﺪ‪ .‬ﺩﺭ ﺍﻳﻦ ﺻﻮﺭﺕ‬
‫‪dim(V  W )  dim(V  W )  dimV  dimW .‬‬

‫‪V W‬‬
‫‪V‬‬
‫} ‪{u1,..., uk‬‬
‫‪V W‬‬ ‫‪W‬‬

‫‪V W‬‬
‫‪V‬‬
‫} ‪{v1,..., vs‬‬
‫} ‪{u1,..., uk‬‬
‫‪V W‬‬ ‫‪W‬‬

‫‪V W‬‬
‫‪V‬‬
‫} ‪{v1,..., vs‬‬
‫} ‪{u1,..., uk‬‬ ‫} ‪{w1,..., wr‬‬
‫‪V W‬‬ ‫‪W‬‬

V W x  V W 
V
x  v  w, v  V,w  W
{v1,..., vs } k s
v   ai ui   bi vi
{u1,..., uk } {w1,..., wr } i 1 i 1
k r
w   ai*ui   ci wi
i 1 i 1
V W W
V W x  V W 
V
x  v  w, v  V,w  W
{v1,..., vs } k s
{u1,..., uk } {w1,..., wr } i 1 i 1
k r
i 1 i 1
V W W
V W x  V W 
V
x  v  w, v  V,w  W
{v1,..., vs } k s
{u1,..., uk } {w1,..., wr } i 1 i 1
k r
i 1 i 1
V W W
V W x  V W 
V
x  v  w, v  V,w  W
{v1,..., vs } k s
{u1,..., uk } {w1,..., wr } i 1 i 1
k r
i 1 i 1
V W W
k r s
x  v w   (ai  ai* )ui   bi wi   ci vi
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi
i 1 i 1 i 1
V W
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi V W
i 1 i 1 i 1
V W
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
i 1 i 1 i 1
V W
r k k r
 ci wi   di ui   di ui   ci wi  0
i 1 i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
i 1 i 1 i 1
V W
r k k r
i 1 i 1 i 1 i 1
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
i 1 i 1 i 1
V W
r k k r
i 1 i 1 i 1 i 1
d1  ...  dk  c1  ...  cr  0
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi  
0  ci wi V W
i 1 i 1 i 1
V W
k s r
 ai ui   bi vi   ci wi  0
i 1 i 1 i 1
k s r
 ai ui   bi vi  
0  ci wi V W
i 1 i 1 i 1
V W
a1  ...  ak  b1  ...  bs  0
W1  W2  {0} .1
w
w2 dim(W1  W2 )  dim(W1)  dim(W2 ) .2
W1
w1
O
W2
‫‪W1  W2  {0} .1‬‬

‫‪w‬‬
‫‪w2‬‬ ‫‪dim(W1  W2 )  dim(W1)  dim(W2 ) .2‬‬
‫‪ . 3‬ﺍﺟﺘﻤﺎﻉ ﭘﺎﻳﻪﻫﺎﻱ ‪ W1‬ﻭ ‪ W2‬ﭘﺎﻳﻪﺍﻱ ﺑﺮﺍﻱ ‪ W1  W2‬ﺧﻮﺍﻫﺪ ﺑﻮﺩ‬
‫‪W1‬‬
‫‪w1‬‬
‫‪O‬‬
‫‪W2‬‬
‫‪W1  W2  {0} .1‬‬

‫‪w‬‬
‫‪w2‬‬ ‫‪dim(W1  W2 )  dim(W1)  dim(W2 ) .2‬‬
‫‪ w  W1  W2‬ﻧﻤﺎﻳﺶ ﻳﻜﺘﺎﻳﻲ ﺑﻪ ﺻﻮﺭﺕ‬ ‫‪ .4‬ﻫﺮ ﻋﻀﻮ‬
‫‪W1‬‬
‫‪w1‬‬
‫‪O‬‬ ‫‪ w  w1  w2‬ﺩﺍﺭﺩ ﻛﻪ ﺩﺭ ﺁﻥ ‪ w1  W1‬ﻭ ‪w2  W2‬‬
‫‪W2‬‬
‫‪W1  W2  {0} .1‬‬

‫‪w‬‬
‫‪w2‬‬ ‫‪dim(W1  W2 )  dim(W1)  dim(W2 ) .2‬‬
‫‪W1‬‬
‫‪w1‬‬
‫‪W2‬‬
‫‪w  w1  w2  w1  w2‬‬ ‫‪ w1  w1  w2  w2‬‬

‫‪W1  W2  {0} .1‬‬

‫‪w‬‬
‫‪w2‬‬ ‫‪dim(W1  W2 )  dim(W1)  dim(W2 ) .2‬‬
‫‪W1‬‬
‫‪w1‬‬
‫‪W2‬‬
‫‪w  w1  w2  w1  w2‬‬ ‫‪ w1  w1  w2  w2‬‬

‫‪W1  W2  {0} .1‬‬

‫‪w‬‬
‫‪w2‬‬ ‫‪dim(W1  W2 )  dim(W1)  dim(W2 ) .2‬‬
‫‪W1‬‬
‫‪w1‬‬
‫‪W2‬‬
‫‪w  w1  w2  w1  w2‬‬ ‫‪ w1  w1  w2  w2‬‬
‫‪W1‬‬ ‫‪W2‬‬
‫‪W2‬‬ ‫‪w‬‬
‫‪w‬‬
‫‪w2‬‬ ‫‪w2‬‬
‫‪W1‬‬
‫‪W1‬‬ ‫‪w1‬‬
‫‪w1‬‬
‫‪O‬‬ ‫‪O‬‬
‫‪W2‬‬
‫‪w2‬‬
‫‪w2‬‬
‫‪w‬‬
‫‪u‬‬
‫‪W1‬‬ ‫‪O‬‬
‫‪w1‬‬
‫‪W2‬‬
‫‪w1‬‬

Linear Algebra Pretension #1

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Linear Algebra Pretension #1

Uploaded by

Copyright:

Available Formats

‫��‬ ‫�‬ ‫��‬

‫ﺍﻋﺪﺍﺩ ﮔﻮﻳﺎ ﻭ ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﺁﻧﻬﺎ‬

‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﭘﺎﺭﻩﺧﻂﻫﺎ‬

‫ﺭﻭﺷﻬﺎﻱ ﺩﻳﮕﺮ ﺑﺮﺍﻱ ﺗﻌﺮﻳﻒ ﺿﺮﺏ ﺩﻭ ﭘﺎﺭﻩﺧﻂ‬

‫‪a‬‬ ‫‪1‬‬ ‫‪b‬‬

‫ﺳﺎﺩﮔﻲ ﺟﻤﻊ ﻧﺴﺒﺖ ﺑﻪ ﺿﺮﺏ‬

‫ﺳﺎﺩﮔﻲ ﺟﻤﻊ ﻧﺴﺒﺖ ﺑﻪ ﺿﺮﺏ‬

‫ﺍﻋﺪﺍﺩ ﻏﻴﺮ ﮔﻮﻳﺎ‬

‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻧﻘﺎﻁ ﻳﻚ ﺧﻂ‬

‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻧﻘﺎﻁ ﻳﻚ ﺧﻂ‬

‫‪B‬‬ ‫‪O‬‬ ‫‪A‬‬

‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻧﻘﺎﻁ ﻳﻚ ﺧﻂ‬

‫‪B‬‬ ‫‪O‬‬ ‫‪X‬‬ ‫‪A‬‬

‫ﺍﻋﻤﺎﻝ ﺟﺒﺮﻱ ﺭﻭﻱ ﻧﻘﺎﻁ ﻳﻚ ﺧﻂ‬

‫‪O‬‬ ‫‪A‬‬ ‫‪2A‬‬ ‫‪3A‬‬

‫ﻣﻌﺮﻓﻲ ﺳﺎﺧﺘﺎﺭﻫﺎﻱ ﺟﺒﺮﻱ ﻣﺸﺎﺑﻪ ﺑﺮﺍﻱ ﺻﻔﺤﻪ ﻭ ﻓﻀﺎ‬

‫ﻧﻤﺎﻳﺶ ﺑﻌﻀﻲ ﺍﺷﻜﺎﻝ ﻫﻨﺪﺳﻲ ﺑﻪ ﻛﻤﻚ ﺳﺎﺧﺘﺎﺭ ﺟﺒﺮﻱ‬

‫‪A‬‬ ‫‪A  tv‬‬

0  t  1 ‫( ﺧﻮﺍﻫﺪ ﺑﻮﺩ ﻛﻪ ﺩﺭ ﺁﻥ‬1  t )A  tB ‫ ﺩﻗﻴﻘ ًﺎ ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻃﻲ ﺑﻪ ﺻﻮﺭﺕ‬AB ‫ﭘﺎﺭﻩﺧﻂ‬

‫ﻣﻲﺗﻮﺍﻥ ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ‬

‫ﻣﻲﺗﻮﺍﻥ ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ‬

‫ﻣﻲﺗﻮﺍﻥ ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ‬

‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬

‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬

‫‪ .5‬ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﻣﻲﮔﺬﺭﺩ‬

‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬

‫‪ .5‬ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﻣﻲﮔﺬﺭﺩ‬

‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫} ‪{ A  t1v1  t2v2 | t1, t2  ‬‬

‫‪ .5‬ﺻﻔﺤﻪﺍﻱ ﻛﻪ ﺍﺯ ﺳﻪ ﻧﻘﻄﻪ ‪ B ، A‬ﻭ ‪ C‬ﻣﻲﮔﺬﺭﺩ‬

‫} ‪{ A  t1(B  A)  t2 (C  A) : t1, t2  ‬‬

‫‪ .6‬ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻁ ﺩﺭﻭﻥ ﻳﺎ ﺭﻭﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫‪ .6‬ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻁ ﺩﺭﻭﻥ ﻳﺎ ﺭﻭﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫‪sA  (1  s )(tB  (1  t )C )  sA  (1  s )tB  (1  s )(1  t )C‬‬

‫‪ .6‬ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻁ ﺩﺭﻭﻥ ﻳﺎ ﺭﻭﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫‪sA  (1  s )(tB  (1  t )C )  sA  (1  s )tB  (1  s )(1  t )C‬‬

‫‪ .6‬ﻣﺠﻤﻮﻋﻪ ﻧﻘﺎﻁ ﺩﺭﻭﻥ ﻳﺎ ﺭﻭﻱ ﻣﺜﻠﺚ ‪ ABC‬ﺑﺮﺍﺑﺮ ﺍﺳﺖ ﺑﺎ‬

‫ﻭﺍﺑﺴﺘﻪ ﺑﻮﺩﻥ ﺟﻤﻊ ﻭ ﺿﺮﺏ ﺍﺳﻜﺎﻟﺮ ﻧﻘﺎﻁ ﺑﻪ ﻣﺒﺪﺃ‬

‫‪P1‬‬ ‫‪ P  A  B‬ﺯﻣﺎﻧﯽ ﮐﻪ ‪ O1‬ﻣﺒﺪﺃ ﺍﺳﺖ‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫ﺣﺎﺻﻞ ﻋﺒﺎﺭﺕ ‪ aA  bB‬ﺯﻣﺎﻧﻲ ﻛﻪ‬

‫‪A‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪A‬‬ ‫‪1‬‬ ‫‪1‬‬

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

. a  b  1 ‫ ﻣﺴﺘﻘﻞ ﺍﺯ ﻣﺒﺪﺃ ﺍﺳﺖ ﺍﮔﺮ ﻭ ﺗﻨﻬﺎ ﺍﮔﺮ‬aA  bB ‫ ﻋﺒﺎﺭﺕ‬.‫ﻗﻀﻴﻪ‬

  

‫‪ n‬ﻭ ﺻﻔﺤﻪ‌ﻫﺎﻱ ﺗﻌﻤﻴﻢ ﻳﺎﻓﺘﻪ ﺩﺭ ﺁﻥ‬

‫‪x2‬‬ ‫‪x1‬‬ ‫‪rx1‬‬

‫} ‪n  {(x1,..., x n ) : x i  ‬‬

‫} ‪n  {(x1,..., x n ) : x i  ‬‬

‫‪A  B : (x1  y1,..., x n  yn ),‬‬ ‫) ‪rA : (rx1,..., rx n‬‬

‫} ‪n  {(x1,..., x n ) : x i  ‬‬

‫‪A  B : (x1  y1,..., x n  yn ),‬‬ ‫) ‪rA : (rx1,..., rx n‬‬

‫ﺍﻋﻀﺎﻱ ‪ n‬ﺭﺍ ﮔﺎﻫﻲ ﻧﻘﻄﻪ ﻭ ﮔﺎﻫﻲ ﺑﺮﺩﺍﺭ ﻣﻲﻧﺎﻣﻴﻢ!‬

‫ﺧﻂ ﻭ ﺻﻔﺤﻪ ﺩﺭ ‪n‬‬