|

|
page : 3/4
|



|
[¿¹Á¦ 1.1] ÀÇ
ÇØÁýÇÕÀ» »ý°¢ÇØ º¸ÀÚ.
|
<ÇØÁýÇÕ>
(1)
(2)
(3)
|
ÀÌÁ¦ ÀÌ·¯ÇÑ °ü°è¸¦ 3Â÷ÀÌ»óÀÇ ¿¬¸³¹æÁ¤½Ä¿¡¼ »ý°¢Çغ¸ÀÚ.
|
[Problem 1.1]
¼¼úÇϽÿÀ.
|

 [Ŭ¸¯Çϸé
´õ ūȸéÀ¸·Î ¹Þ¾Æº¸½Ç ¼ö ÀÖ½À´Ï´Ù.]
Sol) À§ÀÇ ¿¬¸³¹æÁ¤½ÄÀÇ ÇØÁýÇÕÀº ´ÙÀ½ÀÇ 3°¡Áö °æ¿ì Áß ÇϳªÀÓÀ» ±âÇÏÇÐÀûÀ¸·Î »ý°¢Çغ¸
¸é ½±°Ô ¾Ë ¼ö ÀÖ´Ù. ÀÌµé ¹æÁ¤½ÄÀÌ ³ªÅ¸³»´Â Æò¸éÀ» °¢°¢ H1, H2, H3¶ó ÇÏÀÚ.
¨ç ÇϳªÀÇ ÇØ(Unique solution)¸¦ °®´Â´Ù.
¾Æ·¡ÀÇ ±×¸²(a)¿Í °°ÀÌ ¼¼ °³ÀÇ Æò¸éÀÌ ÇÑ Á¡¿¡¼ ¸¸³ª´Â °æ¿ìÀÌ´Ù.
(¿¹)
¨è ÇØ¸¦ °®Áö ¾Ê´Â´Ù.(No solution)
¾Æ·¡ÀÇ ±×¸²(b)¿Í °°Àº °æ¿ìÀÌ´Ù.
(¿¹) (i) (ii) (iii) (iv)
¨é ¹«ÇÑÈ÷ ¸¹Àº ÇØ(many number of solutions)¸¦ °®´Â´Ù.
¾Æ·¡ÀÇ ±×¸²(c)¿Í °°Àº °æ¿ìÀÌ´Ù.
(¿¹) (i) (ii) (iii)
ÀÌ¿Í °°ÀÌ 8°¡ÁöÀÇ types of solution setÀÌ ÀÖÀ» ¼ö ÀÖ´Ù.
|
¿ì¸®´Â ÀÌÁ¦ ÀϹÝÀûÀ¸·Î
ÀÇ °æ¿ì¿¡ ´ëÇÏ¿© ¿¬±¸ÇÑ´Ù!


ÁÖ
¾ÆÀ̵ð¾î : ÇØ´Â º¯ÇÏÁö ¾Ê°Ô À¯ÁöÇÏ¸ç º¸´Ù ½¬¿î equivalent systemÀ¸·Î º¯È¯ÇÏ´Â
°ÍÀ» ÀÌ¿ëÇÑ´Ù. À̸¦ À§Çؼ ¾Æ·¡ÀÇ ¼¼°¡Áö ±â¹ýÀ» ÀÌ¿ëÇÑ´Ù.
ÇØ°¡ ¹Ù²îÁö ¾Ê´Â ¿¬¸³¹æÁ¤½ÄÀÇ ¼¼°¡Áö ¹æ¹ý
|
[Á¤ÀÇ]Argumented Matrix
|
ÀÓÀÇÀÇ Çà·Ä ¿Í ÀÓÀÇÀÇ º¤ÅÍ ¿Í ¸¦ ÀÌ¿ëÇÏ¿© Linear SystemÀ» ¾Æ·¡¿Í °°ÀÌ Ç¥±âÇÒ ¼ö ÀÖ´Ù.

ÀÌ
°æ¿ì À§ÀÇ Çà·Ä°ú º¤ÅÍ ¸¦ ÀÌ¿ëÇÏ¿© ´ÙÀ½°ú °°Àº Çà·ÄÀ» ¸¸µé ¼ö ÀÖ´Ù.

À̸¦
÷°¡Çà·Ä(Argumented Matrix)¶ó°í ÇÑ´Ù.
|
Elemetary Row Operations (for the augmented matrix) : [÷°¡Çà·Ä¿¡
´ëÇÑ ±âº» Ç࿬»ê]
|
[Theorem 1.1]
|
µÎ ¿¬¸³ ÀÏÂ÷¹æÁ¤½Ä(SLE'S)°¡ row equivalent °°Àº ÇØÁýÇÕÀ» °®´Â´Ù.
µÎ ¿¬¸³ ¹æÀû½ÄÀÇ
ÇØÁýÇÕÀº °°´Ù.
|
Proof) **
|
Ex. 1.3.
ÀÇ ÇØ¸¦ ±¸ÇϽÿÀ.
|
|
Sol)
Augmented matrix:
¿¬¸³¹æÁ¤½Ä°ú Augmented matrixÀÇ ºñ±³¸¦ ÅëÇÑ °¡¿ì½º ¼Ò°Å¹ýÀÇ ÀÌÇØ
©ç¡¡1Çà°ú 2ÇàÀÇ ±³È¯
©è 1Çà¿¡ -3¹èÇÏ¿© 3Çà¿¡ ´õÇϸé,
©é 2Çà¿¡ 1¹èÇÏ¿© 3Çà¿¡ ´õÇϸé,
©ê Normalize of the pivots
; Row-Echelon
Form
REF´Â °¡¿ì½º ¼Ò°Å¹ýÀ» ÅëÇÏ¿©
¾ò¾îÁø´Ù.
©ë 3Çà¿¡ -2¹èÇÏ¿© 1,2Çà¿¡ ´õÇϸé,
©ì 2Çà¿¡ -2¹èÇÏ¿© 1Çà¿¡ ´õÇϸé,
;
Reduced
Row-Echelon Form
RREF
´Â °¡¿ì½º Á¶¸£´Ü ¼Ò°Å¹ýÀ» ÅëÇÏ¿© ¾ò¾îÁø´Ù.
|

|
[Definition 1.2]
|
|

|
REF´Â °¡¿ì½º¼Ò°Å¹ýÀ» ÅëÇÏ¿© ¾ò¾îÁø´Ù.
RREF ´Â °¡¿ì½º Á¶¸£´Ü ¼Ò°Å¹ýÀ» ÅëÇÏ¿© ¾ò¾îÁø´Ù.
basic variables (with leading 1's)°ú free variables (without leading 1's)¿¡
´ëÇØ¼µµ ¾Ë¾ÆµÎÀÚ.
¾Æ·¡ÀÇ
Çà·Ä¿¡¼ 1, 2 column¿¡´Â 1ÀÌ °É·Á ÀÖÀ¸¹Ç·Î basic variableÀÌ
µÇÁö¸¸, ¼¼ ¹øÂ° column¿¡´Â 1ÀÌ ¾øÀ¸¹Ç·Î free variableÀÌ µÈ´Ù.
µû¶ó¼
À§ÀÇ ¿¹Á¦¿¡¼ , ´Â basic variableÀÌ µÇÁö¸¸, ´Â free variableÀÌ µÈ´Ù.

ÀÌ·¯ÇÑ °¡¿ì½º¼Ò°Å¹ýÀº °¡¿ì½º¼Ò°Å¹ý ¿¹Á¦¸¦ Å×½ºÆ®ÇÏ´Â °÷À» ÅëÇØ¼
Á÷Á¢ ÇØ º¼ ¼ö ÀÖ´Ù. À§ÀÇ ¿¹Á¦¸¦ ¹Ù·Î ÇØ´ç »çÀÌÆ®¿¡¼ µ¹·Áº» °á°úÀÌ´Ù.
- Gaussian Elimination Process
- Çà·ÄÀ̸§ : test
- Çà·ÄÀÇ Çà(row)ÀÇ Å©±â : 3
- Çà·ÄÀÇ ¿(col)ÀÇ Å©±â : 4

- Input Data
|
0 |
2 |
-1 |
1 |
|
4 |
-10 |
3 |
5 |
|
3 |
-3 |
0 |
6 |

- After Pivoting
|
4 |
-10 |
3 |
5 |
|
3 |
-3 |
0 |
6 |
|
0 |
2 |
-1 |
1 |

- Round 0 :
|
4 |
-10 |
3 |
5 |
|
0 |
4.5 |
-2.25 |
2.25 |
|
0 |
2 |
-1 |
1 |

- Round 1 :
|
4 |
-10 |
3 |
5 |
|
0 |
4.5 |
-2.25 |
2.25 |
|
0 |
0 |
0 |
0 |

- Round 2 :
|
4 |
-10 |
3 |
5 |
|
0 |
4.5 |
-2.25 |
2.25 |
|
0 |
0 |
0 |
0 |

- Round 3 :
|
4 |
-10 |
3 |
5 |
|
0 |
4.5 |
-2.25 |
2.25 |
|
0 |
0 |
0 |
0 |
°á°ú°¡ ´Ù¸¥ ÀÌÀ¯´Â ÃÖÃÊ ÇǺ¸ÆÃ¿¡¼ 3ÀÌ¾Æ´Ñ 4¸¦ ¼±ÅÃÇß±â
¶§¹®ÀÌ´Ù. ±×·¡µµ °¢ row°¡ equivalentÇϱ⠶§¹®¿¡
±× °á°ú´Â µ¿ÀÏÇÏ°Ô ³ªÅ¸³ª°Ô µÈ´Ù. |

|

Gauss
EliminationÀÇ ÃÖÃʹöÀüÀº ¾Õ¿¡¼ Àá½Ã ¾ð±ÞÇÑ °Í°ú °°ÀÌ
±¸Àå»ê¼ú(Îúíñß©âú:Nine Chapters of Mathematical
Art)¿¡ ¼Ò°³µÇ¾î ÀÖ´Ù. ÀÌ´Â ±â¿øÀü 200³â°æ¿¡ ¼Ò°³µÇ¾î
ÀÖÀ¸³ª ±×µ¿¾È Àß ¾È ¾Ë·ÁÁ® ¿Ô´Ù. °á±¹ À̰ÍÀÌ ¾Ë·ÁÁø
°ÍÀº µ¶ÀÏÀÇ Àú¸íÇÑ ¼öÇÐÀÚ Gauss¿¡ ÀÇÇØ¼¿´´Ù. ±×´Â À̰ÍÀ»
¼ÒÇ༺ÀÇ ±Ëµµ°è»ê¿¡ ÀÀ¿ëÇÏ¿© ¾Ë·ÁÁö°Ô µÈ °ÍÀÌ´Ù.
1801³â 1¿ù 1ÀÏ ½ÃÄ¥¸®¾ÆÀÇ Ãµ¹®ÇÐÀÚÀÎ Piazzi(1746-1826)´Â
ȼº°ú ¸ñ¼º»çÀÌ¿¡ ÀÖ´Â ¼ÒÀ§ ÀÒ¾î ¹ö¸° Ç༺À» ã°í ÀÖ¾ú°í,
±× °á°ú ¼ÒÇ༺ Ceres¸¦ ãÀ» ¼ö ÀÖ¾ú´Ù. ±×·¯³ª °üÃøÁß
¾à°£ÀÇ µ¥ÀÌÅ͸¸À» ³²°ÜµÎ°í ¼ÒÇ༺ Ceres´Â ÅÂ¾ç µÞ ÆíÀ¸·Î
»ç¶óÁö°í ¸»¾Ò´Ù. ÀÌ ¶§ Gauss´Â ÀÌ Ç༺ÀÇ ±Ëµµ¸¦ ÃÖ¼ÒÁ¦°ö¹ý(Least
Square Problem)À¸·Î Ç®¾ú´Âµ¥ À̸¦ Ç®±â À§ÇÑ °úÁ¤¿¡¼
ÀÌ¿ëÇÑ °ÍÀÌ ¹Ù·Î Gauss EliminationÀ̾ú´Ù.
°á±¹ ¼ÒÇ༺Àº GaussÀÇ ¿¹ÃøÇÑ ±Ëµµ»ó¿¡ ³ªÅ¸³µ°í, ¸¹Àº
»ç¶÷µéÀº ÀÌÁ¦¾ß Gauss Elimination ¹æ¹ý¿¡ ´ëÇÏ¿© °ü½ÉÀ»
°¡Áö°Ô µÇ¾ú´Ù. ÀÌ´Â ³ªÁß¿¡ W. Jordan¿¡ ÀÇÇÏ¿© Á» ´õ
°³¼±µÇ¾ú°í À̸¦ ±â¸®±â À§ÇÏ¿© Elimination¹æ¹ý¿¡ GaussÀÇ
À̸§À» ºÙÀÌ°Ô µÈ °ÍÀÌ´Ù.
|
ÀÌÁ¦
Çà·ÄÀ» Á¤ÀÇÇÏ°í ±× ¼ºÁúÀ» ¾Ë¾Æº¸ÀÚ.
|
[Definition]
|
|
Let
|

|

Çà·ÄÀ̶ó´Â ´Ü¾î´Â 1850³â¿¡ ¡°Ç×µéÀÇ Á÷»ç°¢Çü ¹è¿¡±ÀÌ µÇ°Ô ÇÏ´Â °³³äÀ» Á¤ÀÇÇÑ ¿µ±¹ÀÇ ¼öÇÐÀÚÀÌÀÚ º¯È£»çÀÎ James Sylvester ¿¡ ÀÇÇØ óÀ½ »ç¿ëµÇ¾ú´Ù.
Sylvester´Â Çà·Ä¿¡ ´ëÇÑ ±×ÀÇ ÀÛ¾÷À» 1858³â¿¡ ÃâÆÇµÈ Memoir on the Theory of Matrices ¶ó´Â Ã¥¿¡¼ Çà·Ä »ó¿¡¼ÀÇ ±âº» °è»êµéÀ» ¼Ò°³ÇÑ Ä£±¸ÀÌÀÚ ¿µ±¹ÀÇ ¼öÇÐÀÚÀÌ¸ç º¯È£»çÀÎ Arthur Cayley¿¡°Ô Àü´ÞÇß´Ù. À¯ÅÂÀÎ À̾ú´ø Sylvester´Â ¿µ±¹ÀÇ ±³È¸ÀÇ ¼¾à¿¡ ¼¸íÇÏ´Â °ÍÀ» °ÅÀýÇ߱⠶§¹®¿¡ ´ëÇÐ ÇÐÀ§¸¦ ¾òÁö ¸øÇß´Ù.
±×´Â ¹Ì±¹ ¹öÁö´Ï¾ÆÀÇ ´ëÇп¡¼ ±³¼öÁ÷À» ¾à¼Ó¹Þ¾ÒÁö¸¸ ¼ö¾÷½Ã°£¿¡ ½Å¹®À» Àаí ÀÖ¾ú±â ¶§¹®¿¡ ÇÑ ÇлýÀ» ÁöÆÎÀÌ·Î ¶§¸° ÀÌÈÄ¿¡ »çÀÓÇß´Ù. ÇлýÀ» Á׿´´Ù°í »ý°¢ÇÑ Sylvester´Â ù¹è¸¦ Ÿ°í ¿µ±¹À¸·Î µ¹¾Æ°¬´Ù. ´ÙÇàÈ÷µµ ±× ÇлýÀº Á×Áö ¾Ê°í ±âÀýÇßÀ» »ÓÀ̾ú´Ù. ±× ÈÄ ´Ù½Ã ¹Ì±¹ÀÇ Johns
Hopkins ´ëÇÐ ¼öÇаúÀÇ ÇаúÀåÀ¸·Î ÃʺùµÇ¾î ¹Ì±¹ ÃÖÃÊÀÇ ¼öÇבּ¸ ÀâÁöÀÎ American Jour. of Mathematics¸¦ ¸¸µé°í 19¼¼±â ¸»¿¡ ¹Ì±¹ ´ëÇп¡¼À» ¼öÇÐ ¿¬±¸ÀÇ ÀåÀ¸·Î ÀεµÇÏ¿´´Ù.
|

|
[Theorem 1.2]
|
|
Suppose that the sizes of are the same. Then the following rules of matrix arithmetic are valid:
°áÇÕ¹ýÄ¢
±³È¯¹ýÄ¢
|
Proof) À§ÀÇ Áõ¸íÀº ¸Å¿ì ½±´Ù. ½ÇÁ¦ Çà·ÄÀ» Çϳª Á¤Çؼ ±×
°ªÀ» °è»êÇØº¸¸é ½±°Ô ³ª¿À±â ¶§¹®ÀÌ´Ù. ¿©±â¼´Â 1¹ø¸¸À» Áõ¸íÇϰí
³Ñ¾î°¡µµ·Ï ÇÑ´Ù.
symmetric °ú skew-symmetric Çà·Ä¿¡
´ëÇØ¼µµ ¾Ë¾ÆµÎÀÚ.

À§ÀÇ NotationÀ» ÀÌ¿ëÇÏ¿© µÎ Çà·ÄÀÇ °öÀ» Ç¥ÇöÇÏ¸é ´ÙÀ½°ú °°ÀÌ
Ç¥ÇöÇÒ ¼ö ÀÖ´Ù.

|
[Notation]
|
|
Note : ÀÇ jth col
ÀÇ ith row
ÀÇ ijth entry
À̸¦ 3M- notation À̶ó ÇÑ´Ù. (Marcus, Minc, Moyles)
|

|
[Definition] : Identity Matrix
(´ÜÀ§Çà·Ä)
|
|
|
Note :
: µû¶ó¼
but : In general, (Example
1.4)

Proof)
< proof of (2) >
< proof of (5) >
matrix polynomial :
ÀÓÀÇÀÇ Polynomial¿¡¼ ¹ÌÁö¼ö°¡ Çà·ÄÀÎ polynomialÀ» matrix polynomialÀ̶ó°í
ÇÑ´Ù.
|
[Example]
|
|
Find for the matrix
|

|
[Problem 1.8]
|
|
Prove or disprove
is not a zero matrix and .
|
Proof) (¹Ý¿¹)
but
|
[Problem 1.9]
|
|
Show
|
Proof) Assume
|
[Problem 1.10]
|
|
Let
|
Proof) (1) : µû¶ó¼ symmetric.
: µû¶ó¼ symmetric.
Problem 1.10ÀÌ °¡Áö´Â ÀǹÌÁß¿¡¼ 3¹øÀÇ Àǹ̴ ¸ðµç Çà·ÄÀº symmetric
matrix¿Í skew-symmetric matrixÀÇ ÇÕÀ¸·Î ÀÌ·ç¾îÁø´Ù´Â Á¡À» º¸¿©ÁØ´Ù.
sgn()ÇÔ¼ö´Â permutation(ġȯ)¿¡ ´ëÇÑ ÇÔ¼öÀÌ´Ù. ÀÌ´Â ´ÙÀ½°ú °°ÀÌ
Á¤ÀǵȴÙ.

Proof)
A, B ÀÇ Çà·Ä½ÄÀÌ Á¤ÀÇ µÇ·Á¸é µÑ´Ù Á¤»ç°¢Çó·ÄÀ̰í, °ö¼À AB°¡ Á¤ÀÇ µÇ·Á¸é µÑ´Ù °°Àº Å©±â À̹ǷΠA, B ÀÇ Å©±â¸¦ n Â÷ÀÇ Á¤»ç°¢Çà·ÄÀ̶óÇÏÀÚ.
Let A= and B=
and let ith column of AB, jth row of AB .
(i) ÀϹݼºÀ» ÀÒÁö ¾Ê°í zero Çà·ÄÀÌ ¾Æ´Ñ Çà·Ä BÀÇ Ã¹ ¹øÂ° column ÀÌ nonzero vector¶ó °¡Á¤ÇÏÀÚ. ±×¸®°í ABÀÇ Ã¹ ¹øÂ° columnÀ» º¸¸é,
=
= = ( AB=0)
·Î Ç¥½Ã µÊÀ» ¾È´Ù. ÀÌ´Â column vectors of A µéÀÌ linerar dependent¸¦ ÀǹÌÇϰí , then det(A)=0,
(ii) °°Àº ¹æ¹ýÀ¸·Î ÀϹݼºÀ» ÀÒÁö ¾Ê°í AÀÇ Ã¹ ¹øÂ° row ÀÌ nonzero vector¶ó °¡Á¤ÇÏÀÚ. ±×¸®°í ABÀÇ Ã¹ ¹øÂ° row ¸¦ º¸¸é,
=
= = ( AB=0)
ÀÌ´Â row vectors of B µéÀÌ linerar dependent¸¦ ÀǹÌÇϰí , then det(B)=0. ¡á
|
[rankÀÇ Á¤ÀÇ] |
|
Çà·Ä ÀÇ basic variableÀÇ °³¼ö¸¦ Çà·Ä ÀÇ °è¼ö(rank)¶ó°í Çϰí À̸¦ ¶ó°í Ç¥½ÃÇÑ´Ù. À§ÀÇ Ex. 1.3¿¡¼
ÀÇ Ã·°¡Çà·Ä ¸¦ °¡¿ì½º ¼Ò°Å¹ýÀ» ÅëÇØ¸¦ ±¸Çϱâ À§ÇØ
Ç®¸é ´ÙÀ½°ú °°Àºµ¥ ;

¿©±â¼ REF Çà·ÄÀÇ nonzero leading oneÀÇ °³¼ö°¡ ¹Ù·Î ÁÖ¾îÁø Çà·ÄÀÇ °è¼ö°¡
µÈ´Ù. |

|

|
|
: À§ÀÇ note¿¡ ³ª¿À´Â "½ÇÁ¦·Î Çà·ÄÀÇ °è¼ö¸¦ ±¸ÇÒ ¶§´Â REF¸¦ ±¸ÇÏ¿© nonzero
leading oneÀÇ °³¼ö°¡ ¹Ù·Î ÁÖ¾îÁø Çà·ÄÀÇ °è¼ö°¡ µÈ´Ù."ºÎºÐÀ» Àß ¸ð¸£°Ú´Âµ¥¿ä. Nonzero leading oveÀÇ °³¼ö¸¦ ¾î¶»°Ô ¾Ë
¼ö ÀÖ´Â °ÇÁö ¼³¸íÇØ Áֽøé ÁÁ°Ú´Âµ¥¿ä. °¨»çÇÕ´Ï´Ù.
'nonzero leading one'Àº 0ÀÌ ¾Æ´Ñ 1À»(1ÀÌ ¾Æ´Ï´õ¶óµµ 1·Î ¸¸µé¾î ÁÖ¸é µÇ°ÚÁÒ?)
¼±Ç༱ºÐÀ¸·Î °¡Áö´Â ÇàÀ» ¸»ÇÕ´Ï´Ù. ±×¸®°í RREF´Â REF¿¡ ¾î¶² ¼±Ç༱ºÐÀ» °¡Áö´Â ¿ÀÇ ´Ù¸¥ ¼ººÐÀ» 0À¸·Î ¸¸µé¾î ÁÖ´Â °ÍÀ̱⠶§¹®¿¡
'nonzero leading one'ÀÇ °³¼ö°¡ º¯ÇÏÁö ¾ÊÀ¸¹Ç·Î, °è¼ö¸¸À» ±¸ÇÒ ¶§¿¡´Â RREF±îÁö ±¸ÇÒ Çʿ䰡 ¾øÀÌ REF¸¸À¸·Î °è¼ö¸¦ ±¸ÇÒ
¼ö ÀÖ½À´Ï´Ù.
|

|
[Exercise]
|
|

|

|
[Problem]
|
|
Find .
|

|
[Theorem 1.5]
|
|
¸ðµç ´Â either no solution,
exactly one solution
or infinity many solution °®´Â´Ù.
|
ÀÇ ÇüÅÂÀÇ ¿¬¸³¹æÁ¤½ÄÀÌ ÇØ¸¦ °¡Áú Á¶°Ç¿¡ ´ëÇØ¼´Â À§¿¡¼ ÃæºÐÈ÷ ¼³¸íÇØ µÎ¾ú´Ù.

|
[Definition]
|
|

|

|
[Definition 1.7]
|
|

|


|
[Definition 1.8]
|
|
ÀÌ invertible if
|
ÀÚ ÀÌ·¸´Ù¸é °ú¿¬ InvertibleÀÏ ¶§ Inverse MatrixÀÎ B´Â ¾î¶»°Ô ãÀ»
°ÍÀΰ¡°¡ ¹®Á¦ÀÌ´Ù ÀÌ ¹æ¹ýÀº Ç࿬»ê¿¡ ÀÇÇØ °¡´ÉÇÏ´Ù ¹Ù·Î ¾Æ·¡ÀÇ ¹æ¹ý´ë·Î
Gauss Elimination¿¡ ³ª¿À´Â ¼Ò°Å¹ýÀ» ÀÌ¿ëÇÏ¸é ¼Õ½±°Ô ±¸ÇÒ ¼ö ÀÖ´Ù.
ÀÌÁ¦ ¿ªÇà·ÄÀÇ ´Ù¸¥ ¼ºÁú¿¡ ´ëÇØ¼µµ ¾Ë¾Æº¸ÀÚ.
|
[Problem]
|
|
Prove or disprove the left inverse is unique.
|
Hint of Proof) ÀÌ ¹®Á¦¿¡ ´ëÇØ¼ ¾Æ·¡¿¡¼ ³ª¿Â´Ù. ÀÌ ¹®Á¦¸¦ ´Ù·ç±â
Àü¿¡ ÀÏ´Ü ¿ªÇà·ÄÀÇ Á¤ÀǸ¦ ¾Ë¾Æº¸°í ³Ñ¾î°¡ÀÚ.
Hint of Proof) ¿ªÇà·ÄÀÇ ¼ºÁúÀ» ÀÌ¿ëÇÏ¸é ¼Õ½±°Ô Ç® ¼ö ÀÖ´Ù. ¿¹¸¦
µé¸é 1¹øÀÇ °æ¿ì,
|
[Theorem 1.7]
|
|
|
Proof) ¶ó°í Çϸé,
À̾î¾ß ÇÑ´Ù.
µû¶ó¼
, , À̸ç,

µû¶ó¼
°¡ µÈ´Ù. ¡á
|
[Problem 1.15]
|
|
Is it true ?
|
Hint of Proof) ÀϹÝÀûÀ¸·Î True, False¸¦ ±¸ºÐÇÒ °æ¿ì False¸¦
»ý°¢ÇÏ´Â°Ô ´ëºÎºÐÀÌ´Ù. ±×·¯³ª ÀÌ ¹®Á¦´Â TrueÀÌ´Ù. µû¶ó¼ Áõ¸íÀ»
Çϵµ·Ï ÇÏ´Â°Ô ÁÁ´Ù.
|
[Problem]
|
|
Prove or disprove
For any matrix , not necessarily a square matrix,
the left inverse of is unique.
|
Proof)
Á¤¸®ÇÏ¸é ¸ðµç Çà·ÄÀÇ Left inverse´Â UniqueÇÏÁö ¾Ê´Â´Ù. ±×·¯³ª invertibleÀÎ
°æ¿ì¿¡´Â Ç×»ó uniqueÇÏ°Ô °áÁ¤µÇ¸ç invertibleÀÌ ¾Æ´Ñ non-square matrixÀÇ
°æ¿ì¿¡´Â uniqueÇÏÁö ¾ÊÁö¸¸, ±× ¾È¿¡ block matrixÁß uniqueÇÏ°Ô °áÁ¤µÇ´Â
ºÎºÐÀÌ ÀÖ´Ù.

|
[Definition 1.9]
|
|
¿¡ Elementary operation ÇÑ ¹ø ÇØ¼ ¾òÀº Çà·ÄÀ» Elementary matrices ¶ó ÇÑ´Ù.
|

|
[Definition 1.10]
|
|
permutation Çà·ÄÀº ÀÇ row µéÀ» permute ÇÏ¿© ¾ò¾îÁø Çà·ÄÀÌ´Ù.
|
±³Àç p.29¿¡ ³ª¿À´Â Problem 1.16°ú 1.17Àº ¹Ýµå½Ã ÇØ º¸±â ¹Ù¶ø´Ï´Ù.


ÀÌÁ¦±îÁöÀÇ ³»¿ëÀ» Á¾ÇÕÇØ º¸¸é º» TheoremÀ¸·Î ±× ³»¿ëÀÌ ¸ð¾ÆÁø´Ù.
|
[Theorem 1.8]
|
|
Let TFAE
(1) has a left inverse.
(2) has only the trivial soltion.
(3) is row-equivalent to .
(4) is a product of elementary matrices.
(5) is invertible.
(6) has a right inverse.
|





|
[Problem 1.8]
|
|
¼¼ elementary Çà·ÄÀÇ product ÀÇ ¿ªÇà·ÄÀ» ±¸ÇÏ´Â ¹®Á¦
Find the inverse of the product.
|
Sol) ' , ¶ó ÇÏÀÚ.
´ÙÀ½ Á¤¸®´Â Theorem 1.8¿¡ ÀÇÇÏ¿© ÀÚ¿¬½º·´°Ô À¯µµµÈ´Ù.
|
[Theorem 1.9]
|
|
ÀÌ nonsingular ´Â unique ÇØ °®´Â´Ù.
singular either no solution
or infinitely many ÇØ
|

ÀÇ row echlon formÀº ÀÌ´Ù.
ÀÌ factorizationÀº ¸Å¿ì Áß¿äÇÏ´Ù.
¿Ö³ÄÇϸé
i.e. ´Â forward substitution À¸·Î ½±°Ô solve.
¶Ç ´Â backward substitution À¸·Î ½±°Ô solve.
µû¶ó¼ ½±°Ô ¸¦ solve. ÇÒ ¼ö ÀÖ´Ù.
|
[Theorem]
|
|
: lower triangular matrix
: upper triangular matrix
If , then .
Let . Then
|
LÇà·ÄÀº µû¶ó¼ Elementary MatrixµéÀ» ±¸ÇÏ´Â °ÍÀÌ Áß¿äÇÏ´Ù. ¾Æ·¡ÀÇ
¿¹Á¦¸¦ º¸ÀÚ.
ÀÚ ±×·¯¸é LU-FactorizationÀÌ ¾î¶»°Ô ¿¬¸³¹æÁ¤½ÄÀÇ Ç®ÀÌ¿¡ ¾²ÀÌ´ÂÁö
¾Ë¾Æº¸ÀÚ.
|
[Example 1.11]
|
|
Solve by LU-factorization.
(°úÁ¤ ¼³¸í)
|

|
[Problem 1.23]
|
|
Determine an LU decomposition of the matrix

and then find solutions of Ax=b for (1) and (2)
|
Sol) (1)
|
[Problem 1.24]
|
|
: lower Çà·Ä
|
Pf. (1) Let A B = C (A, B, C´Â nÂ÷ Çà·ÄÀÌ¶ó °¡Á¤)
(2) A°¡ invertible ÇϹǷÎ
Ek. E1A=In for some elementary matrices (*)
A°¡ lower À̹ǷÎ
Ei(1 )´Â In¿¡¼ ERO¸¦ ÇÒ¶§
1st kind Çà ¿¬»ê kRi Ri ¿Í 3rd kind ¿¬»ê kRi +Rj Rj(i<j)¸¸ ÇÏ¸é µÇ¹Ç·Î
°¢°¢ÀÇ Ei (1 )´Â lower ÀÌ´Ù
By (*), A-1= Ek. E1 Àº »ï°¢ Çà·ÄµéÀÇ °öÀε¥
(1)¿¡¼ º¸¿´µíÀÌ lower ÀÇ °öÀº lower À̹ǷÎ
A-1 ´Â lower ÀÌ´Ù. ¡à
(3) If the diagonal entries are all 1's, then the same holds for their product and their inverse. <1> product : A B = C
|
[Theorem 1.10]
|
|
Let ÀÌ invertible , then the LDU factorization of
is unique up to a permutation.
(i.e For a fixed , the expression is unnique.)
|

|
[Problem 1.25]
|
|
¿¡ ´ëÇØ, µÇ´Â ¸¦ ±¸Ç϶ó.
What is the solution Ax=b for b=
|
Sol) The elementary matrices for Gaussian elimination of A are easily found to be
|
[Problem 1.26]
|
|
For all possible permutation matrix , find the factorization of
|
À̰ÍÀº °øÇпëÅøÀ» ÀÌ¿ëÇÏ¿© Á¢±ÙÇØ º¸µµ·Ï ÇÑ´Ù.
|
À§ÀÇ Çà·ÄÀÇ Ã³¸®°á°úÀÔ´Ï´Ù.
¿ø·¡Çà·Ä : Çà·Ä1
----------------------------------------------
1.0
2.0 3.0
2.0
4.0 2.0
1.0
1.0 1.0
----------------------------------------------
Çà·Ä1ÀÇ LÇà·Ä : ÇϻﰢÇà·Ä(lower triangle matrix)
----------------------------------------------
1.0
0.0 0.0
0.5
1.0 0.0
0.5
0.0 1.0
----------------------------------------------
Çà·Ä1ÀÇ UÇà·Ä : »ó»ï°¢Çà·Ä(upper triangle matrix)
----------------------------------------------
2.0
4.0 2.0
0.0
-1.0 0.0
0.0
0.0 2.0
----------------------------------------------
µÎ Çà·ÄÀ» °öÇÒ °æ¿ì Row°¡ ¹Ù²ï »ç½ÇÀ» ¾Ë ¼ö ÀÖ½À´Ï´Ù.
ÀÌ´Â PermutationÀ» ÃëÇÑ °á°ú°ªÀ̱⠶§¹®ÀÔ´Ï´Ù. Áï ÀÇ °á°ú¸¦ ¹Ý¿µÇÑ °ÍÀ̶ó´Â Á¡À» »ý°¢ÇÏ½Ã¸é µË´Ï´Ù.
|

ȸ·Î¿Í ÀÏÂ÷ ¿¬¸³¹æÁ¤½Ä : ¹ÌÀûºÐÇÐ ±³Àç (Review)
|
[Example]
|
|
´ÙÀ½ÀÇ °£´ÜÇÑ Àü±âȸ·Î ´ÙÀ̾î±×·¥À» º¸ÀÚ. ÀüÁö³ª ¹ßÀü±â¿¡¼ ¸¸µé¾î³»´Â Àü¾ÐÀ» ·Î ÀúÇ×À»  ·Î Ç¥½ÃÇÏÀÚ. ÀúÇ×Àº Àü±â¿¡³ÊÁö¸¦ ¿·Î ¹Ù²Ù¾î ÁØ´Ù. ½ÇÁ¦·Î, Àü¿±â³ª ¿ÀºìÀº ÀúÇ×ÀÇ ¿ªÇÒÀ» ÇÑ´Ù. ±×¸®°í ȸ·Î»óÀÇ °¢ °æ·Î¿¡ È帣´Â Àü·ùÀÇ ¾çÀ» ·Î ³ªÅ¸³»ÀÚ. Àü¾ÐÀº º¼Æ®·Î, ÀúÇ×Àº ¿À¿È(ohms)À¸·Î ÃøÁ¤ÇÑ´Ù. Àü·ù´Â ¾ÏÆä¾î·Î ÃøÁ¤Çϴµ¥, Àü·ù°¡ È»ìÇ¥ÀÇ ¹Ý´ë¹æÇâÀ¸·Î È帣¸é

±× Àü·ù´Â À½ÀÇ °ªÀ» °®´Â´Ù. Àü¾Ð°ú ÀúÇ×ÀÌ ÁÖ¾îÁú ¶§, Àü·ùÀÇ °ªÀ» °è»êÇϱâ À§ÇÏ¿© ´ÙÀ½°ú °°Àº KirchhoffÀÇ ¹ýÄ¢À» ÀÌ¿ëÇÑ´Ù.
(1) ȸ·ÎÀÇ °¢ °æ·Î°¡ ¸¸³ª´Â ±³Á¡(junction)¿¡¼ÀÇ Àü·ùÀÇ ÇÕÀº 0ÀÌ´Ù(´Ù½Ã ¸»ÇÏÀÚ¸é, ±³Á¡À¸·Î Èê·¯ µé¾î¿À´Â ¸ðµç Àü·ù´Â ¸ðµÎ ´Ù½Ã Èê·¯ ³ª°¡°Ô µÈ´Ù).
(2) Àüü ȸ·ÎÀÇ °¢°¢ÀÇ ´ÝÈù °æ·Î¿¡¼´Â °æ·Î»óÀÇ Àü¾Ð µéÀÇ ÇÕÀº ÀúÇ× ¿Í Àü·ù ÀÇ °öµéÀÇ ÇÕ°ú Ç×»ó °°´Ù( ).
Àü·ù ´Â ¸ðµÎ ±³Á¡ ·Î Èê·¯ µé¾î¿À¹Ç·Î, ù ¹øÂ° ¹ýÄ¢¿¡ ÀÇÇØ À» ¾ò´Â´Ù. ÀÌ Ã¹ ¹øÂ° ¹ýÄ¢À» ±³Á¡ ¿¡ Àû¿ëÇØµµ °°Àº ½ÄÀ» ¾ò´Â´Ù.
±×¸²¿¡¼ ù ¹øÂ° ´ÝÈù(closed) ȸ·Î¸¦ ½Ã°è ¹æÇâÀ¸·Î µ¹¾Æ°¡¸é, Àü¾ÐÀÇ ÇÕÀº , ÀúÇ×ÀÇ ÇÕÀº ÀÌ µÇ¹Ç·Î, µÎ ¹øÂ° ¹ýÄ¢¿¡ ÀÇÇÏ¿©, . ¸¶Âù°¡Áö·Î µÎ ¹øÂ° ´ÝÈù(closed) ȸ·Î¿¡¼ À» ¾ò´Â´Ù.
ÀÌ·¸°Ô ¾òÀº ¼¼ ¹æÁ¤½Ä
À» Çà·Ä·Î ³ªÅ¸³»¸é
ÀÌ µÇ°í °£´ÜÇÑ °è»êÀ» ÇÏ¿©(¿ªÇà·ÄÀ»
±¸ÇÏ´Â ¹æ¹ýÀÌ´Ù.)
À» ¾ò´Â´Ù. µû¶ó¼ ÁÖ¾îÁø ÀúÇ× µé°ú Àü¾Ð µé·Î °¢ °æ·ÎÀÇ Àü·ù °¢°¢ÀÇ ¸¦ Ç¥½ÃÇÒ ¼ö ÀÖ´Ù.
|
¾ÏÈ£È¿Í º¹È£È °úÁ¤¿¡¼ Çà·ÄÀÇ °ö : ¼±´ë ±³Àç
http://matrix.skku.ac.kr/sglee/sglee-crypto/index.htm

Çà·ÄÀ» ÀÌ¿ëÇÑ ¾ÏÈ£ÀÇ ¿¹Á¦ :
Input-Output Çà·Ä, Leontief Çà·Ä I-A


¸ðµÎ°¡ Á¦Ãâ ÇÒ °úÁ¦ (´ÙÀ½ ÁÖ ÀÌ ½Ã°£ ±³Å¹ ¾Õ):
1.10 Exercises: 1.4(2), 1.6, 1.8, 1.10, 1.17, 1.20, 1.24, 1.29.
À§ÀÇ ¹®Á¦ ÇǺ¿À» (3rd typeÀ¸·Î) ¾à°£ Á¦ÇÑÇÏ¿© ¼öÁ¤ ÇÒ ÇÊ¿ä ÀÖÀ½!
¾ÕÀÇ ¹®Á¦µéÀº ¸ÃÀº »ç¶÷ÀÌ °¢ÀÚ À¥¿¡ Q&A ¿¡ Á¦Ãâ ¹× ¼öÁ¤°ú Åä·ÐÀ»
Çϼ¼¿ä.
¿¬½À¹®Á¦ ´ä¾ÈÀº
Next Page¸¦ Click Çϼ¼¿ä!
|
page : 3/4
|

|
|