표지연습문제 PRNG(Pseudorandom Number Generator) : 진정한의미의 random number 는 물론정의하기나름이겠지만 존재할수없다. 따라서인위적으로만든 random number를 pseudorandom number라고부른다. 표지연습문제 :

Size: px
Start display at page:

Download "표지연습문제 PRNG(Pseudorandom Number Generator) : 진정한의미의 random number 는 물론정의하기나름이겠지만 존재할수없다. 따라서인위적으로만든 random number를 pseudorandom number라고부른다. 표지연습문제 :"

Transcription

1 표지연습문제 PRNG(Pseudorandom Number Generator) : 진정한의미의 random number 는 물론정의하기나름이겠지만 존재할수없다. 따라서인위적으로만든 random number를 pseudorandom number라고부른다. 표지연습문제 : 표지그림은 PRNG 의하나인 LCG(Linear Congruence Generator) 를이용하여만들어졌다. 즉, x 1 = 에서시작하여 x n+1 ax n + b (mod N) 을이용해 ( 보기 의표기법참조 ), x 2, x 3,... 을구한후모두 10-digit 자연수의 형태 로나타낸것이다. 따라서, 모든 row 에는각각 5 개의 10-digit 형태 의수가있다. 예를들어, x 2 = 이고, x 21 = 이다 ( 따라서 x 21 은실제는 9자리수 ). 이때, 자연수 a, b 와 N 을구하라. Hint : ( 가 ) 답은유일하지않을수도있다. 유일할수도있고. ( 나 ) 모범답안 을위해서는, 사실은, x 1,..., x 5 다섯개의정보만있으면충분하다. ( 물론 x 1,..., x 5 로부터추정한 a, b 와 N 이 x 145 까지생성하는것을확인해야한다.) 이런문제를푸는방법을흔히 GCD attack 이라고부른다. ( 보통 Excel은큰수를다루지못하므로, Mathematica 를이용할것을추천한다.) 첨부 : cover data.xlsx ( 알수없는이유로 xlsx file 은 열기 가잘되지않는다. 이 file 을 저장 하기바란다.) 1

2 1.2 : 행간소사다리꼴 우리는 행간소사다리꼴 과 row-reduced echelon form 이라는용어를사용하고있다. 1 그런데, 특히영문표현은 reduced row echelon form 또는 hyphen을사용한 reduced row-echelon form 이라는용어가더많이사용되는듯하다. ( 가끔 row canonical form 이라는용어도사용되지만, 독자들에게권하고싶지않다.) 원래 row echelon form 의 non-zero row의첫번째 non-zero component를 1로 reduce 한것을 reduced row echelon form 이라고부르는것같다. 저자는 elementary row operation을사용해 reduce 했음을강조하는의미에서 row-reduced 라는표현을사용하였다. 따라서, 저자는오히려우리말표현 행간소사다리꼴 을영어로번역했다고할수있다. 2 만약 reduced row echelon form 을직역한다면 간소행사다리꼴 이되기때문이다. 3 1 [I, 초판 ] 에서는별생각없이 사다리꼴 을 사다리꼴 로쓰는오류를범했었다. 2 저자는 행간소사다리꼴 이라는용어를이일해선생님의선형대수학책에서배웠다. 3 실제로 기약행사다리꼴 이라는용어도사용되는것같다. 2

3 보조정리 의귀납법증명 다음은 [I, 초판 ] 에실렸던 [ 보조정리 의귀납법증명 ] 이다 : 보조정리 Vector space V 가 finite -basis B = {v 1,..., v m } 을갖는다고 하자. 이때, 만약 C = {w 1,..., w n } V 이고 m < n 이면, C 는일차종속이다. 증명 : 물론우리는 C = {w 1,..., w n+1 } 인경우만생각하면충분하다 ( 왜그 런가?). 간편한표기법을위하여여기에서는 n = 3 인경우만증명하기로한다. ( 증명의본질은 n = 3 인경우에모두포함되어있다.) 이제 {w 1, w 2, w 3, w 4 } 가 일차독립이라고가정해보자. 그러면 {v 1, v 2, v 3 } 가기저이므로, w 1 = a 1 v 1 + a 2 v 2 + a 3 v 3 인 a 1, a 2, a 3 F 가존재한다. 이때 a i 중적어도하나는 0 이아니므로 ( 왜그런 가?), 우리는 (after renumbering) a 1 0 이라고가정할수있다. 그러면, 가되고, 따라서 임을알수있다. 다음에는, v 1 = 1 a 1 w 1 + a 2 a 1 v 2 + a 3 a 1 v 3 V = v 1, v 2, v 3 = w 1, v 2, v 3 w 2 = b 1 w 1 + b 2 v 2 + b 3 v 3 인 b 1, b 2, b 3 F 가존재하고, b 2 = 0 = b 3 일수는없으므로 ( 왜그런가?), b 2 0 이라고가정할수있다. 따라서, v 2 를 {w 1, w 2, v 3 } 의일차결합으로쓸수있고, 가된다. V = w 1, v 2, v 3 = w 1, w 2, v 3 이제같은작업을 w 3 에대해반복하면 ( 독자들은이부분을임의의 n 의경우에귀납법으로증명해보기바란다. [4, Old Version, p. 51] 참조 ), V = v 1, v 2, v 3 = w 1, w 2, w 3 가된다. 그러므로, w 4 는 {w 1, w 2, w 3 } 의일차결합으로쓸수있다. 그러나이 는우리가증명을시작할때 {w 1, w 2, w 3, w 4 } 가일차독립이라고한가정에모순 이다. 3

4 위 [ 보조정리 의귀납법증명 ] 은얼핏그증명법을외워야할것으로생각하기쉽다. 그러나위증명법은사실우리가중학교에서배운것이다. 즉, w j = a 1j v a nj v n, (j = 1,..., n + 1) 에서 v i 들을차례로소거하여 w j 들만의식을만든것이다. 다시말하면, 보조정리 의증명은본질적으로따름정리 의두번째증명과유사하다. 4

5 정리 의증명에의추가 Comment 다음 comment 는 [ I, 초판 ] 에포함되어있었는데, 어찌어찌하여 [ I, 개정판 ] 에는빠졌다. 정리 의증명에의추가 comment : 독자들은정리 의증명에서 [S 의 linearly independent subset 중에서원소수가 maximum인집합 ] 이라는기발한 idea 에기가죽을지도모른다. 그러나사실이 idea 는 Zorn s Lemma 의 idea 이다. 훗날 Zorn s Lemma 를배우게되면, 이증명법은우리의 본능 이된다. 5

6 version : 행간소사다리꼴의유일성증명 : THE Proof 마침내행간소사다리꼴의유일성에관한 THE Proof 가발견되었다. 4 음쪽에 holzmann/notes/reduceduniq.pdf 다 를추가한다. 5 이 pdf file 에는 2002 년 10 월 15 일에작성되었다는기록이있다. [I, 3.8] 의귀납법증명이나이문서의뒤에등장하는두개의증명 ( 5.4 : 행간소사다리꼴의유일성, 추가증명 (1) (2)) 에게는이제 Holzmann의 THE Proof 가얼마나아름답고명쾌한지를극적으로보여주는쑥스러운역할만이남게되었다. Holzmann의증명에열렬한박수를보낸다! 그리고, Holzmann 의증명에서우리는 [I, 16 쪽 ] 의 철학자의시도 가드디어 결국 그위용을뽐내고있음을발견할수있다. 따라서 Holzmann 의증명 은당연히 [I, 1.2] 에등장할수있게되었다. 참고 1 : 노파심에서다음쪽의증명에관한보충설명을하나추가한다. R, S가다음쪽 Holzmann의증명에서와같을때, R, S에는 zero-column이없다고가정할수있다. 왜냐하면, zero-column 은 elementary row operation 으로부터아무런영향을받지않기때문이다. 참고 2 : Holzmann의증명마지막단락에있는 augmented matrix 의뜻은자명하다. 즉연립방정식 ( ) AX = B 의 augmented matrix 는 ( m (n+ 1) ) -행렬 (A, B) 이다. ([I, 13쪽 ] 참조.) 4 이값진정보를찾아내알려준홍진교수에게감사. 5 Since I do not know the mail address of Prof. Holzmann, I am not able to obtain approval for reproducing the document here. I believe, however, Prof. Holzmann would be happy to find THE Proof here. 6

7 Uniqueness of Reduced Row Echelon Form Many introductory linear algebra books either fail to mention this result, omit its proof, or present a proof which is unnecessarily complicated or uses arguments beyond the context in which the result occurs. Here s a proof which, hopefully, suffers from none of these deficiencies. Theorem: The reduced (row echelon) form of a matrix is unique. Proof (W.H. Holzmann): If a matrix reduces to two reduced matrices R and S, then we need to show R = S. Suppose R S to the contrary. Then select the first (leftmost) column at which R and S differ and also select all leading 1 columns to the left of this column, giving rise to two matrices R and S. For example, if R = and S = , then In general, R = and S = [ In R r ] = O 0 or I n 0 1 O 0., and [ In S s ] = O 0 or I n 0 1 O 0.. It follows that R and S are (row) equivalent since deletion of columns does not affect row equivalence, and that they are reduced but not equal. Now interpret these matrices as augmented matrices. The system for R has a unique solution r or is inconsistent, respectively. Similarly, the system for S has a unique solution s or is inconsistent, respectively. Since the systems are equivalent, r = s or both systems are inconsistent. Either way R = S, a contradiction.

8 3.8 : 연습문제추가 보조정리 다음에연습문제추가. 연습문제 : 다음두집합 [rank 가 r 인 (m n)- 행간소사다리꼴전체집합 ] 과그리고 [ M 1,n (F ) 의 r-dimensional subspace 전체집합 ] 사이에 one-to-one correspondence 가존재함을보여라. 8

9 4.2 : 연습문제추가 연습문제 에 ( 다 ) 항과 ( 라 ) 항추가. 연습문제 ( 다 ) L(M m,n (F ), M m,n (F )) 의모든원소를 λ A 의형태로나타낼수있는가? ( 라 ) λ A 가 isomorphism이기위한필요충분조건은 A 가가역행렬인것임을보여라. 9

10 기본정리의증명에관해 다음은 [I, 초판 ] 의기본정리 ( 정리 5.3.3) 아래註에있었던내용이다. 이註는어찌어찌하다가개정판에는실리지않았다. 이註가 큰도움 ( 위안?) 이되었다 거나 교재에서가장 (?) 기억에남는표현이었다 는몇몇독자의 mail을받았던기억이나이곳에다시올린다. [I, 초판 ] 정리 아래註 : 기본정리 ( 정리 5.2.2와정리 5.3.3) 의증명은 기계 가하는증명이다. 그렇지만, 지금단계에서기본정리의증명을이해할수없거나, 혼자힘으로기본정리를증명할수없다고해서실망할필요는없다. 이증명은 달리기훈련 을하다보면 즉, mathematical maturity 가쌓이게되면 어느날자신도모르는사이에저절로혼자힘으로할수있게되는그런종류의증명이다. 그러므로, 먼저기본정리의내용과그결과들 ( 5.4의내용 ) 을이해하고, 표기법에익숙해질필요가있다. 10

11 5.4 : Rank Theorem 의 Elementary Proof [I] 의중심 story 중하나는 F 의선택과무관하고행간소사다리꼴을이용 하지않는 Rank Theorem 의증명이다. ( 명제 참조.) 저자는다음증명을정경훈교수로부터배웠다. 이증명은 F 의선택과무관 하고행간소사다리꼴을이용하지않는 elementary proof 이다. 저자는이증 명을보고정말깜짝놀랐다. 관찰 : A M m,n (F ) 이고, B M r,n (F ) 라고하자. 만약 { [A] 1,..., [A] m } [B] 1,..., [B] r 이면, A = CB 인 C M m,r (F ) 가존재한다. 증명 : 인해보라. [A] i = r j=1 c ij [B] j 일때 ( 단, c ij F ), 6 C = (c ij ) 로놓으면된다. 확 다음증명은그 motivation 을잘모르겠다. ( 이증명은 A = CB 일때 L A = L C L B 를생각하므로, 보기 다음에위치하면적당할것이다.) Rank Theorem 의증명 ( 정경훈 ) : 행렬 A M m,n (F ) 의 row rank 가 r 일 때, 7 { [A] i1,..., [A] ir } 을 A 의 row space 의 basis 라고하자. 또 B Mr,n (F ) 를그의 j-th row 가 [A] ij 인행렬로정의하자 ( 단, j = 1,..., r). 그러먼위관찰 에의해, A = CB 인 C M m,r (F ) 가존재할것이다. 이때 C 는 (m r)- 행렬 이므로, C 의 column rank 는 r 보다클수없다. 한편 L A = L C L B 이므로, im L A im L C 이다. 따라서 [column rank of A] [column rank of C ] r = [row rank of A] 가된다. 즉, 임의의 A M m,n (F ) 에대해, [column rank of A] [row rank of A] 가성립한다는뜻이다. 이제 A 대신 A t 를생각하면, 도얻는다. [row rank of A] [column rank of A] 6 Column 이아닌 row 를다루고있으므로, i, j 의역할이보통때와는다르다. 7 만약 A = 0 이면, 아무것도증명할것이없으므로, A 0 이라고가정한다. 11

12 5.4 : 행간소사다리꼴의유일성, 추가증명 (1) 다음증명은 Friedberg-Insel-Spence(Linear Algebra, 4th ed., Pearson, 2002) 에서발췌하였다. 우리에게는이증명은보기 다음에위치할것이다. 실 제로이증명은보기 에몇줄만더하면된다. 보기 (im L A 의 basis 찾기 ) A M m,n (F ) 일때 im L A 의기저를찾 는체계적인방법을알아보자. 이를위해 A 로부터만들어진행간소사다리꼴 R 을생각한다. 따라서 EA = R 인가역행렬 (elementary matrix 들의곱 ) E M m,m (F ) 가존재한다. 다음, rk(r) = r 이라고놓고, [ 최초의 1] 이나타나는 R 의 column 들을 { [R] k 1,..., [R] k r} 이라고표기하면, {f1,..., f r } 이 im L R 의 basis 가되는것은당연하다 ( 단, {f 1,..., f m } 은 F m 의표준기저 ). 이제위보 기 을조금 modify하면, isomorphism L 1 E 는 im L R 의기저를 im L A 의 기저로옮긴다. 그런데, L 1 E f i = L 1 E (L Re ki ) = L A e ki = [A] k i, (i = 1,..., r) 이므로, { [A] k1,..., [A] kr } 이 im LA 의 basis 가된다. 참고 : 보기 에는 [R] k i = f i 라는사실이 너무당연하여 분명히기록 되어있지않다. 행간소사다리꼴의유일성증명 : 보기 의표기법을계속사용하자. 이제 { [A] k 1,..., [A] r} k 이 im LA 의 basis 이고, im L A 는 [A 의 column space] 와같으므로, [A] j = d 1j [A] k1 + + d rj [A] kr, (j = 1,..., n) 인 d ij F 가 ( 유일하게 ) 존재할것이다. 또, EA = R 이므로, L E [A] j = [R] j 인것은당연하다. 따라서, [R] k i = f i 이므로, [R] j = L E [A] j = d 1j [R] k1 + + d rj [R] kr = d 1j f d rj f r, (j = 1,..., n) 이된다. 이를달리표현하면, 행렬 A 가 ( 즉, A 의 column들이 ) R 을 ( 즉, R 의 column들을 ) 완전히결정한다는뜻이다. 그러므로 A 로부터만들어진행간소사다리꼴 R 은유일하다. 12

13 5.4 : 행간소사다리꼴의유일성, 추가증명 (2) 다음증명은 [I, 초판, 5.6] 에실렸던내용이다. 저자는이증명을이일해선 생님 [3] 께배웠다. 연습문제 : 아래정리 A 의증명에는 Rank Theorem 이필요한가? 이제 V = F n, W = F m 이라고하고, 제1장의 row-reduced echelon form을다시생각해보자. 우리는행렬 A M m,n (F ) 에 elementary row operation을시행하는것은그에대응하는 elementary matrix를 A 의왼쪽에곱하는것과같다는것을알고있다 ( 관찰 참조 ). 그런데, elementary matrix 들은가역이므로, A 에 elementary row operation 을유한번시행하는것은결국 A 의왼쪽에가역행렬 U 를곱하는것과같다. 이제가역행렬 U 를 [transition matrix [I] F C 하자 ( 단, F 는 F m 의표준기저 ). 즉, for some basis C of F m ] 으로인식 U = [I] F C 라고하면, 기본정리에의해, 로쓸수있다. UA = [I] F C [L A] E F = [L A] E C 이제, 우리의새로운언어로제 1 장의정리 을번역하면다음과같다. 정리 A. ( 정리 의再해석 ) A M m,n (F ) 이면, [L A ] C E 가 row-reduced echelon form 인 F m 의기저 C 가존재한다. 이때, A 의 row-reduced echelon form 은 유일하게결정된다. 증명은다음쪽으로미루고, 우선 : 주의 B. 위정리는 A 의 row-reduced echelon form 이유일하다는뜻이지, F m 의기저 C 가유일하다는뜻은아니다. 13

14 정리 A 의증명 : [ 존재성 ] 우선, dim im L A = r 이라고표기하자. 또, V 0 = 0, V k = e 1,..., e k F n, (k = 1,..., n) 이라고표기하자. 그러면, 인것은당연하다. 또, L A (V 1 ) L A (V 2 ) L A (V n ) = im L A F m dim L A (V k ) dim L A (V k 1 )+ 1, (k = 1,..., n) 인것도분명하고, 이때, dim L A (V k ) = dim L A (V k 1 ) + 1 일필요충분조건은 L A (e k ) / L A (V k 1 ) 인것이다. 그런데, dim im L A = r 이므로, dim L A (V k ) dim L A (V k 1 ) 인 dimension jump 가일어나는횟수는정확히 r - 번일것이다. 이 dimension jump 가일어나는경우를 L A (e ki ) / L A (V ki 1), (i = 1,..., r) 이라고놓자 ( 물론, k 1 < k 2 < < k r ). 그리고, 이제 이라고표기하자. 그러면, L A (e ki ) = Y i F m, (i = 1,..., r) Y i / L A (V ki 1) = Y 1,..., Y i 1, (i = 1,..., r) ( 단, Y 0 = 0) 이므로, {Y 1,..., Y r } 은 F m 의일차독립인부분집합이다. 다음에 는 {Y 1,..., Y r } 을 F m 의기저 C = {Y 1,..., Y m } 으로확장하자 (Basis Extension Theorem). 이제우리는 [L A ] C E 가다음과같은모습 즉, row-reduced echelon form 의모습 인것을확인할수있다 : [L A ] E C = k 1 k 2 k

15 ( 위행렬에서, 굵은 0 이나 는여러 column을계속할수도있다 ( 없을수도 있고 ) 는뜻이고, 는무언가 (zero 이건 non-zero 이건 ) 있다는뜻이다. 맨윗줄 의 k 1, k 2, k 3 는물론 column의번호를의미한다.) 따라서, row-reduced echelon form 의 existence 가 ( 한번더 ) 증명되었다. [ 유일성 ] 그런데, 위의존재성증명을다시잘살펴보면, 행렬 A 가주어지 면, dimension jump 가일어나는위치 k 1,..., k r 이유일하게결정되고, 따라서 {Y 1,..., Y r } 도유일하게결정되는것을알수있다. 이제 {Y 1,..., Y r } 을 F m 의기저 C = {Y 1,..., Y m } 으로확장하는방법은유일하지않지만, 이기저의 {Y r+1,..., Y m } 부분은 row-reduced echelon form 에아무런영향도주지못한 다. 왜냐하면, {Y 1,..., Y r } 이 im L A 의기저이므로, A 의 row-reduced echelon form 의아랫쪽 (n r)-개의행은 zero 이기때문이다. 마침내, row-reduced echelon form 의 uniqueness 가증명되었다. 15

16 5.4 : 연습문제추가 다음은명제 의일반화이다. 연습문제 a. {v 1,..., v n } 이벡터공간 V 의 basis 일때, w j = n i=1 a ijv i 라고하자 ( 단, 1 j r n). 이때 A = (a ij ) M n,r (F ) 로놓고, 다음조건 (1) {w 1,..., w r } 은일차독립. (2) {[A] 1,..., [A] r } 은일차독립. ( 즉, A 는 full rank 를갖는다.) 은동치임을보여라. 위연습문제는 ( 가 ) 명제 의증명 (i) 과그역증명을흉내낼수도있고, ( 나 ) 보기 을흉내낼수도있다. ( 이때아마관찰 가필요할것이다.) 독자들은두가지방법모두연습해보기바란다. 그러고보니, 더일반적인 statement 도가능하다. 연습문제 b. {v 1,..., v n } 이벡터공간 V 의 basis 일때, w j = n i=1 a ijv i 라고하자 ( 단, 1 j r n). 이때 A = (a ij ) M n,r (F ) 로놓으면, 임을보여라. dim w 1,..., w r = rk(a) 16

17 5.5 : Change of Basis 5.5 의제목은 Change of Bases 이다. 본문중에도 기저변환 (change of bases) 의정보 라는문구가있다. 그런데, 아마도 Change of Basis 가맞는표현인것같다. ( 기저가하 나뿐이면바꿀수가없는데.) 17

18 : Conjugacy Problem 5.6 은 5.5 와비교해볼때 약간의차이가있다. 즉, 5.6 에는 5.5 의 닮은 함수 ( 정의 5.5.9( 가 ) 항과연습문제 ) 에대응하는 similar function 에관한이야기가생략되어있다. Similar function 에관한내용은 뭐매우어렵다고할수는없겠지만 무언가 ( 선형대수와는별로관련이없는 ) 새로운발상이필요하다고판단되어 ( 고의로 ) 생략하였고, 이제이곳에방학숙제로올린다. 먼저정의부터분명히하자. 정의 : f, g : S S 가 ( 단순히 ) 함수일때, 다음 commutative diagram S φ S f g S φ S 을갖는 bijection φ : S S 가존재하면, f g 로표기하고, f, g 는 similar function 이라고부르자. 이때 은물론 equivalence relation이다 ( 확인해보라 ). 방학숙제 : Similar function 들의 equivalence class 를 ( 모두 ) 묘사하라. Hint : 지금너무많은시간을투자할필요는없다. 후에 symmetric group S n 의 conjugacy class 를공부하게되면, 먼저 f, g 가 bijection 인경우부터생각해보라. (Conjugacy class 는정의 참조. Symmetric group S n 의 conjugacy class 는, 예를들어, [ N. Jacobson, Basic Algebra I, Second Edition, p ] 참조. 8 ) 우리는위방학숙제와 similar matrix( 또는 similar linear operator) 를분류 하는문제등을흔히 similarity problem 이라고부른다. 한편 similarity problem 과연습문제 등을통틀어 ( 넓은의미의 ) conjugacy problem 이라고 부르는것같다. 9 8 σ τ S n if and only if σ, τ have the same cycle type. 9 어떤 group 의 conjugacy class 를찾는것이좁은의미의 conjugacy problem. 18

19 6.2 : 연습문제추가 다음결과는제 151 쪽에꼭포함되었어야하는데, 어찌어찌하다가누락 되었다. 10 연습문제 : 보기 ( 가 ) 항에서, [L] B B = (a ij) 로놓으면, [L] B σ B σ = (I σ ) 1 [L] B B I σ = (a σ(i),σ(j) ) 임을보여라. ( 즉, [L] Bσ B σ 의 (i, j)- 성분은 a σ(i),σ(j).) 아마, 연습문제 을풀면서, 스스로위결과를증명한독자들도많았을 것이다. 다음연습문제는노파심에서추가하였다. 연습문제 : 다음엉터리주장은무엇이잘못되었는가? [ 엉터리주장 ]: 연습 문제 ( 나 ) 항의 statement 는 false 이다. 이면, 즉, A M n,n (F ) 이고 σ S n AI σ 는 ( [A] σ(1),..., [A] σ(n)) 이아니고 ( [A] σ 1 (1),..., [A] σ 1 (n) ) 이라고 하는것이맞다. 왜냐하면, 예를들어, 만약 σ = τ 1 τ 2 라면 ( 단, τ 1, τ 2 는 transposition), AI τ1 = ( [A] τ 1(1),..., [A] τ 1(n) ) 이고, 따라서 AI σ = (AI τ1 )I τ2 = ( [A] τ 2 τ 1 (1),..., [A] τ 2 τ 1 (n) ) 이기때문이다 ( 관찰 ( 나 ) 항참조 ). 물론, 이때 τ 2 τ 1 = σ 저자가깜박했다. 19

20 표기법 표기법 7.1.2에서 T LM 이라고하면, dim V = n 이라고했으므로, V 는물론 f.d.v.s. 이다. 게다가 A M n,n (F ) 일때, A = L A 로 identify한다는우리의철학 즉, 선형대수학의기본정리 도물론 f.d.v.s. 일때의이야기이다. ( 선형대수학의기본정리 를무한차원으로확장하려면, ( )-matrix를정의해야만할것이다.) 예를들어, 연습문제 8.2.5는만약 V 와 W 가무한차원이라면 true 가아니다. ( 즉, 연습문제 8.2.5에는 V 가 f.d.v.s. 라는가정이필수적이다.) 반례를찾아보라. 20

21 7.4 : Caley-Hamilton Theorem 의막가파式증명 Caley-Hamilton Theorem 의막가파式증명은그오류에대해단한점의의혹 도남겨서는안된다. 저자의경험에의하면, 한교실에한명쯤은끝까지우기 는막가파가있다. ( 그한명이가끔은 lecturer 일때도있다.) 보기 : A = (a ij ) M n,n (F ) 일때, ψ A (t) F [t] 를 t a 11 a 12 a 13 a 1n a 21 t a 22 a 23 a 2n ψ A (t) = tr(ti A) = tr a n1 a n2 a n3 t a nn 로정의하자. 11 막가파들은 ψ A (A) = tr(ai A) = tr(a A) = tr(0) 이므로 ψ A (A) = 0 이라고억지를부릴것이다. 그러나, ψ A (t) = tr(ti A) = (t a 11 )+ + (t a nn ) = nt tr(a) 임은명백하고, 따라서, ψ A (A) = na tr(a) I 가된다. 다른보기도얼마든지많이있다. 보기 : A = (a ij ) M n,n (F ) 일때, π A (t) F [t] 를 π A (t) = [ (ti A) 의 (1, 2)- 성분 ] 으로정의하자. 막가파들은이번에도 π A (A) 는 (AI A) 의 (1, 2)- 성분, 즉 zero matrix 의 (1, 2)- 성분 이라고우길것이다. 그러나, π A (t) = a 12, π A (A) = a 12 I 임에는의심의여지가없다. 더이상장황한설명은필요하지않을것이다. 막가파들은애당초 ϕ A (A), ψ A (A), π A (A) 등은 scalar 라고오해하고있으니말이다. 11 ψ A (t) 는 similarity relation의 invariant이기도하다. 21

22 7.4 : Adjoint Matrix 를이용한 Caley-Hamilton Theorem 의증명 다음은 [I, 초판 ] 에실렸던내용이다. 저자는이증명을이일해선생님 [3] 께배웠다. Caley-Hamilton Theorem 은행렬식에관한내용이므로, 행렬식의완결판 이라고할수있는 classical adjoint를이용하는증명이있는것은당연하다. Adjoint matrix 를이용한 Caley-Hamilton Theorem 의증명 : 간편한표기 법을위하여 T = A M n,n (F ) 라고하자. ( 그렇게가정해도좋은이유는무엇인 가?) 그리고, 행렬 (ti A) 의 adjoint matrix 를 B(t) 라고표기하자. ( 유식한척 하자면, (ti A) 와 B(t) 등을 F [t]- 위의행렬로본다. 12 ) 이제, adjoint matrix 의 정의를살펴보면, B(t) 의모든좌표들이 (t 에관해 ) (n 1)- 차이하의 degree 를 갖는다항식임을알수있다. 따라서, B(t) = B 0 + tb t n 1 B n 1, ( 단, B 0, B 1,..., B n 1 M n,n (F )) 로표현할수있을것이다. (B i 에는 t 가나타나지않는다.) 그런데, adjoint matrix 에관한정리 에의하면, 이다. 그러므로, 로표기하고, 위식의양변을비교하면, 를얻는다. B(t)(tI A) = det(ti A) I = ϕ A (t) I ϕ A (t) = t n + a n 1 t n a 1 t + a 0 B 0 A = a 0 I B 0 B 1 A = a 1 I. B n 2 B n 1 A = a n 1 I B n 1 = I 이식들의양변에각각 ( 위에서부터차례대로 ) I, A, A 2,..., A n 을 ( 오른쪽에 ) 곱해모두더하면, 0 = ϕ A (A) 를얻는다. 12 이증명이읽기에벅차면, 내년으로 matrix algebra M n,n (F [t]) 가익숙해진후로 미루 어도좋다. 22

23 7.5 : 연습문제추가 다음은연습문제 의결과이다. 연습문제 a. T LM 이다음조건 tr(t ) = n, T m = I, (for some integer m 1) 을만족시키면 ( 물론 n = dim V ), T = I 임을보여라. Hint : T 를 triangularize 하면, T 가 unipotent 임을보일수있다. ( 이때아래연습문제 b 가필요할것이다.) 그리고연습문제 를적용. 다음연습문제는정말초보적이지만, 아마도그리익숙하지는않을것이다. 연습문제 b. α 1,..., α r C 가다음조건 α α r = α α r 을만족시키면, α i = c i β, (i = 1,..., r) 인 β C와 0 c 1,..., c r R 이존재함을보여라. 물론이때 β = 1 이라고해도 OK. Hint : r 에관한귀납법. 참고사항두개. 참고 : ( 가 ) 연습문제 b 는이 document 의연습문제 a 의특수한경우이다. ( 나 ) ( 현대대수학 1 을수강한후에읽어보라.) 연습문제 a 의명제는 char(f ) > 0 이면, true 가아니다. 23

24 7.6 : Direct Sum 의 Associativity 7.6의 direct sum에서확인해두어야할사항들이있다. 이내용은출판물에포함시키기에는좀어색 ( 지저분 ) 하여이곳에올린다. 13 ( 아래의모든벡터공간은 V 의부분공간이고, 예를들어, w i W i, u U.) Commutativity : U W = W U. 뜻풀이 : 우리는 U W = 0 일때, U + W = U W 의표기법을사용한다. 마찬가지로우리는 W U = 0 일때, W + U = W U 의표기법을사용한다. 즉, U W = W U 의뜻은 U W = 0 = W U 이고, U +W = W + U 라는것이다. 연습문제 : σ S k 일때, 다음등식 W 1 W k = W σ(1) W σ(k) 의의미를설명하라. Associativity : (W 1 W 2 ) W 3 = W 1 W 2 W 3 = W 1 (W 2 W 3 ). 뜻풀이 : 예를들어, U = W 1 W 2 로놓으면, U 의모든원소는 (w 1 + w 2 ) 의꼴로유일하게쓸수있다. 그리고 (W 1 W 2 ) W 3 = U W 3 의모든원소는 (u+ w 3 ) 의꼴로유일하게쓸수있으므로, 결국 (W 1 W 2 ) W 3 의모든원소는 (w 1 +w 2 )+w 3 의꼴로유일하게쓸수있다. 한편, (W 1 +W 2 +W 3 ) 의모든원소는 (w 1 + w 2 + w 3 ) 의꼴로유일하게쓸수있다. 그말이그말 ( 종이가아깝다 ). 따라서, (W 1 W 2 ) W 3 = W 1 W 2 W 3. 오른쪽등식도마찬가지. 연습문제 : 만약 V = W 1 W k 이고, 이면, W i = U i1 U i2 U ihi, (i = 1,..., k) 로쓸수있음을설명하라. V = U 11 U 1h1 U k1 U khk 13 이내용은 현대대수학 강좌에서 internal direct sum 과 external direct sum 은본질적으로 같음을배우면더욱분명해진다. [II, 제 9 장 ] 참조. 24

25 관찰 의 Elementary Proof 관찰 F n 의모든 subspace 는 solution space of ( ) AX = 0 for some A M m,n (F ). ( 물론이런 A 와 m 은유일하지않다.) 이관찰의증명은 direct sum 과 natural projection 을이용하는것이우리의 취향 이다. 그렇지만, 물론, direct sum을모르고도이관찰을증명할수있다. Elementary Proof : W F n 일때, W = ker L A 인행렬 A M m,n (F ) 를찾아야한다. 우선 {X 1,..., X r } 을 W 의 basis 라고하고, 이를 extend 하여 F n 의 basis {X 1,..., X r, Y 1,..., Y m } 을찾는다. 다음 linear map L : F n F m 을 L(X i ) = 0, L(Y j ) = f j, (1 i r, 1 j m) 로정의하자 ( 단, {f 1,..., f m } 은 F m 의표준기저 ). 그러면, 기본정리에의해 L = L A 인 A M m,n (F ) 가존재하고, 이때 ker L = ker L A = W 인것은자명. 25

26 보기 보기 8.1.3의설명에약간의 gap 이있는것같다. 즉, α C 가 f(t) R[t] 의 root이면, α C 도 f(t) 의 root이지만, 아직 f(t) 의 non-real root가짝수개인것을알수없다. 왜냐하면, non-real root α 와 α 의 multiplicity가다를수도있기때문이다 ( 물론그런일은일어나지않지만 ). 이제이 gap 을메워보자. 만약 f(t) 가 non-real root α 와 α 를갖는다면, f(t) = (t α)(t α)f 1 (t) 인 f 1 (t) C[t] 가존재할것이다. 이때 f 1 (t) R[t] 임을보일수있다면, 이런작업을계속하거나또는수학적귀납법으로증명을끝낼수있을것이다. 그러나 f 1 (t) R[t] 임은자명하지않다. 뭐어렵지도않지만. 명제 : f(t) R[t] 가 non-real root α( 와 α) 를가질때, g(t) = (t α)(t α) R[t] 로놓자. 그러면, g(t) divides f(t) in R[t]. 증명 : R[t] 의 division algorithm 을이용한다. 이제 f(t) = g(t)q(t)+ r(t), deg(r) 1 인 q(t), r(t) R[t] 가존재할것이다. 이등식의양변을 α 에서 evaluate 하면, g(α) = 0 이므로, 0 = f(α) = g(α)q(α)+ r(α) = r(α) 가된다. 그러나 α / R 을 root으로갖는 1-차이하의실계수다항식은 zero 뿐이다. 즉, r(t) = 0. 독자들은위명제의증명과정리 의증명및보기 의논의와비교해보기바란다. 14 참고 : 위명제의증명은내년에 현대대수학 을수강한후에는우리의 사고방식 이된다. 즉, g(t) = (t α)(t α) = irr(α, R) 이고, f(α) = 0 이므로, g(t) divides f(t) in R[t]. 14 이들은모두저자가 학부대수학의반 이라고부르는 argument이다. 26

27 보조정리 의증명 내년에 [ II, 제 5 장 ] 을공부한후, [ Euclidean domain, PID 또는 UFD 에서 는 irreducible 이면 prime] 이라는명제를알게되면, 보조정리 의증명은 k = 2 인경우만생각하면충분하다는것을보일수있다. 뿐만아니라, k = 2 일때는보조정리 의증명도 ( 훨씬 ) 더간단하다. 연습문제 : ( 가 ) 보조정리 를 k = 2 라고가정하고증명하라. ( 나 ) ([II, 제 5 장 ] 을공부한후 ) 보조정리 는 k = 2 일때만증명하면충분 함을설명하라. 사족 15 : 제8장여러곳에 ( 특히, 다항식의 ) 소인수분해와관련된지식이필요하지만 3학년의대수학강좌를기대하면서 선형대수학강좌에서는이부분을적당히넘어가는것이上策이다. 16 Monic polynomial들만생각하는것이요령일수도있다. 15 사족 = 畵蛇添足 = 쓸데없는군짓을하여도리어잘못되게함을이르는말. 16 중고등학생때는모든것을적당히넘어갔었다! 27

28 8.6 : h i 와 r ij 는 Similarity Relation 의 Invariant 233 쪽마지막단락에서 자연수 h i 와 r ij 가 similarity relation 의 invariant 임은당연하다 라고한것은, 물론, 같은것은같다 는우리의철학이다. 그렇 지만누가증명을 ( 종이를아끼지말고 ) 써보라고강요한다면. 관찰 : h i 와 r ij 는 similarity relation의 invariant 이다. 증명 : T S LM 이라고하면, φ T = S φ 인 V 의 automorphism φ 가존재한다. 이제 T 에관한 cyclic decomposition 이 V = U 1 U h 라고하자. 이때 U j 는 T -cyclic이므로, U j = F [t]w j 인 w j V 가존재할것이다. 그리고 T 에관한 w j 의 minimal polynomial을 m T w j (t) = p j (t) r j 로놓자 ( 단, p j (t) 는기약다항식 ). 우리는 S 에관한 cyclic decomposition도같은자연수 h, r j 를갖는것을보여야한다. 우선 V = φ(v ) = φ(u 1 ) φ(u h ) 임을설명하는것은진짜종이낭비이다. 이때 φ f(t ) = f(s) φ, (f(t) F [t]) 인것도자명하므로, φ(u j ) = φ ( F [T ]w j ) = F [S]φ(wj ) 가된다. 17 이는 φ(u j ) 가 S-cyclic 이라는뜻이다. 마지막으로, f(s) ( φ(w j ) ) = φ ( f(t )(w j ) ), (f(t) F [t]) 이므로, T 에관한 w j 의 annihilator ideal I T w j 와 S 에관한 φ(w j ) 의 annihilator ideal I S φ(w j ) 는같다. 따라서 mt w j (t) = p j (t) rj = m S φ(w j ) (t). 17 F [T ]w j 의표기법은별로좋은표기법은아니지만, 그의미는분명하다. 28

29 정의 : Partition Function 정의 에서저자가 partition function 을 π(n) 으로표기한것은 standard notation이아니다. 18 전통적으로 partition function은 p(n) 으로표기한다. ( 한편, x 가양의실수일때, 전통적으로 π(x) 는 x 보다작거나같은 (positive) prime number의개수를의미한다.) 다만 학부대수학 에서는 prime number p, irreducible polynomial p(t) 등에서 p 가너무많이사용되어 ( 임시방편으로 ) partition function을 π(n) 으로표기하였다. 18 이를지적해준홍진교수에게감사. 29

30 따름정리 과 Conjugate Partition 우리는흔히 partition 을그림으로나타낸다. 예를들어 (12 의 ) partition (5, 3, 3, 1) 은다음그림처럼 Young diagram 또는 Ferrers diagram Young diagram Ferrers diagram 으로나타낸다. 우리는 Young diagram을더즐겨사용하는데, 그이유는 Young diagram의 정사각형 box 들 안에무언가 ( 대개자연수 ) 를써넣을수있기때문이다. 19 그런데, 위그림들은 partition의 part들을 가로줄 로나타낸것이다. 그러나, 어떤이들은 취향에따라 세로줄 을선호할수도있을것이다. 즉, 아래 [ 그림 3] 은 [ 그림 1] 을 세로줄 로그린것이다. [ 그림 1] 로부터 [ 그림 3] 을얻으려면, [ 그림 2] 의 diagonal bullet 들을기준 ( 대칭축 ) 으로뒤집으면 ( 대칭이동하면 ) 된다 ( 행렬의 transpose처럼행과열을바꾸었다고생각할수도있다 ). [ 그림 1] [ 그림 2] [ 그림 3] 요즘유행은 가로줄 을선호하는듯하므로, 우리도유행을따르기로하자. 그러면, 위 [ 그림 1] 은 partition (5, 3, 3, 1) 을의미하고, [ 그림 3] 은 partition (4, 3, 3, 1, 1) 을의미한다. 이때 partition (4, 3, 3, 1, 1) 을 partition (5, 3, 3, 1) 의 conjugate partition 이라고부른다 Young diagram 의 정사각형 box 들 안에무언가를써넣은그림은 Young tableau 라고부른 다. Tableau 의복수형은 tableaux. 20 물론 conjugate partition 이자기자신인 self-conjugate partition 들도있다. 예를들면, (2, 2), (3, 2, 1) 등. 30

31 그런데, e 의 partition (r 1,..., r h ) 의 conjugate partition 을 (s 1,..., s f ) 라고 놓을때, r j 들로부터 s c 들을어떻게묘사할수있을까? 답은연습문제 에 주어져있다. 21 ( 물론 f = r 1 이고 h = s 1 인것은자명. 왜그런가?) 관찰 : s c = [r j c 인 j 의개수 ]. 증명 : 매우상식적 (!) 이다. ( 그림을그려보면자명하다는뜻. 더이상의설명 은피차시간낭비.) 한편, 두번뒤집으면원래상태로돌아오므로 즉, conjugate 의 conjugate 는자기자신이므로 같은방법으로 (s 1,..., s f ) 로부터 (r 1,..., r h ) 를복구할 수있을것이다. 이제따름정리 을다시읽어보기바란다. 21 일부러연습문제 에서와같은표기법을사용하였다. 31

32 대각화가능한경우의분해정리 T LM 이 diagonalizable 인경우에 T 에관한 V 의 primary decomposition 과, 특히, cyclic decomposition, 그리고 Jordan canonical form이어떻게되는지 수강생의질문을받았다. 이제다시살펴보니, 교재에서는 primary decomposition에관해서만보기 8.3.1( 가 ) 항에서 (Primary Decomposition Theorem을소개하기전에 ) 간단히언급했을뿐이다. 이질문에의답은두개의분해정리를이해하는좋은보기이므로, 교재에포함되었어도좋았을것으로생각되어이곳에 종이를아낌없이사용하면서 친절히답하기로한다. 답은물론 대각행렬은아무리분해해도대각행렬 이라는것이다. 이제 T LM 이 diagonalizable 이라고하고, 구체적으로살펴보자. 우선, 따름정리 8.4.1(Primary Decomposition Theorem 의따름정리 ) 에의해 m T (t) = (t λ 1 ) (t λ k ) 가된다 ( 물론 λ i F 이고, λ i λ k if i j). 즉, 표기법 에서 라는뜻이다. 따라서 p i (t) = t λ i, f i = 1, (i = 1,..., k) ϕ T (t) = (t λ 1 ) e1 (t λ k ) e k 로쓸수있다. 그리고, 물론 ker(t λ i I) = Eλ T i, (i = 1,..., k) 이므로, T 가 diagonalizable 이면 primary decomposition 과 eigen-space decomposition 은같다 ( 보기 8.3.1( 가 ) 항참조 ). 이때 T 의행렬표현은 λ 1 I e1 0 T 0 λ k I ek 가된다 (220쪽의 block diagonal matrix ( ) 참조 ). 32

33 다시표기법 8.3.2에서와같이 W i = ker(t λ i I) = Eλ T i, T i = T Wi, (i = 1,..., k) 로간단히표기하면, T acts as a scalar on each W i. 즉, T i = λ i I Wi, dim W i = e i, (i = 1,..., k) 가된다. 또 ϕ Ti (t) = (t λ i ) ei, m Ti (t) = t λ i, (i = 1,..., k) 인것도당연하다. 이제 Cyclic Decomposition Theorem을각각의 T i 에적용할 차례이다. 먼저, 다음참고사항은거의자명하다. ( 이참고사항도교재에서한 번쯤언급했었다면좋았을것같다.) 참고 : U W i 일때, U 가 T -cyclic 이라는말과 T i -cyclic 이라는말은같은말 이다. 또 0 u W i 이면, u 는 T 의 eigen-vector이고 T i 의 eigen-vector이기 도하다 (eigen-value는물론 λ i ). 그런데, 만약 0 u W i 이면, F [t]u = u 는 1-dimensional T -cyclic subspace인 것도거의자명하다 ( 연습문제 ). 따라서 {u i1,..., u iei } 를 W i 의 ( 임의의 ) basis 라고할때, U ij = u ij 로표기하면, W i = u i1 u iei = U i1 U iei, (i = 1,..., k) 가 W i 의 cyclic decomposition이된다. 물론 dim U ij = 1, ϕ T Uij (t) = m T Uij (t) = t λ i 이다. 즉 8.6의표기법을사용하면, 모든 i, j 에대해 r ij = 1 이된다. 따라서 T i 에대응하는 e i 의 partition은 (1,..., 1) 이다 (235쪽및정의 참조 ). 그리고 t λ i F [t] 의 companion matrix 는 ij = λ i M 1,1 (F ) 이다 (234쪽 block diagonal matrix ( i ) 참조 ). 마지막으로 Jordan canonical form도생각해보자. 이제 236쪽과같이 N i = T i λ i I, (i = 1,..., k) 로놓으면, 물론 N i = 0 이다. 한편 0 LM 의 cyclic decomposition은자명하다 ( 왜그런가?). 즉 T i 의 Jordan canonical form도 i = λ i I ei. 이를표기법 8.7.4를이용해나타내면, i = J (1,...,1) 이된다. 33

34 연습문제 : 도움말 연습문제 은제법분량이많다. 22 tip 을마련하였다. 독자들의시간절약을위해몇가지 연습문제 을푸는방법은본질적으로두가지가있을것이다. [ 방법 1] : 답의후보의개수를줄여가는 ad hoc( 주먹구구 ) method. [ 방법 2] : 연습문제 와따름정리 을이용하는 theoretical method. 표기법 8.7.4의 J (r1,...,r h ) 를계속사용하고, 간단히 J = J (r1,...,r h ) 로표기하자. 우리는 deg(m J ) = r 1 임을잘알고있다. 또 A = λi + N c 또는 A = λi + N c + N 6 로놓자. 우리는 N 7 = 0 인것과, a 1일때, N a 이어떤모양인지알고있으므로 ( 연습문제 참조 ), deg(m A ) 와 rk(a λi) a 를구할수있다. 물론같은방법으로 rk(j λi) a 을구할수있고, 따라서 dim ker(j λi) a 도구할수있다. [ 방법 1] : (i) 예를들어, c = 2라고하자. 그러면 deg(m A ) = 4이므로, A의 Jordan canonical form J 에대응하는 partition의첫 part는 4로시작해야한다. 즉, J 의후보는 J (4,3), J (4,2,1), J (4,1,1,1) 뿐이다. 그런데 rk(a λi) = 5이고, J 의세후보중 rk(j λi) = 5인것은 J (4,3) 뿐이다. (ii) 예를들어, c = 3이라고하자. 그러면 deg(m A ) = 3이고 rk(a λi) = 4 이므로, 이경우에는아직도 J (3,3,1), J (3,2,2) 의두후보가남는다. 그래서연습문제 에서처럼 rk(a λi) 2 = 1인것도조사해야한다. 23 답은 J (3,3,1). [ 방법 2] : 연습문제 와따름정리 을적용하려면, dim ker(a λi) a 을구해야한다 ( 단, a 1). 다시예를들어, c = 2라고하자. 그러면, 연습문제 의표기법을사용할때, s 1 = 2, s 2 = 2, s 3 = 2, s 4 = 1이된다. 24 따라서 (s 1,..., s f ) = (2, 2, 2, 1). 이제 Young diagram을그려보면, (2, 2, 2, 1) 의 conjugate partition은 (4, 3) 임을알수있다. 25 답은 J (4,3). 22 이제생각해보니, c = 6인경우도추가할수있겠다. 23 [ 방법1] 을사용하면, rk(a λi) 2 을조사해야하는경우는 c = 3일때뿐이다. 24 이경우 rk(a λi) 3 = 1까지구해야한다. 25 Conjugate partition은이문서의앞부분참조. 34

35 8.7 : 점화식 ( 보기 계속 ) Jordan canonical form J 의 착한 점하나는 물론 diagonal matrix 만은못 하지만 J m 을쉽게계산할수있다는것이다. 연습문제 참조. 보기 의 linear recurrence sequence x n+2 = ax n + bx n+1, (n 1) ( ) 0 1 에서행렬 A = M 2,2 (F ) 의 characteristic polynomial ϕ A (t) 가重根 a b λ F 를갖는경우를생각하자. 즉, ϕ A (t) = t 2 bt a = (t λ) 2, b 2 + 4a = 0, 2λ = b 라고가정하자. 그러면, A 는대각화할수없으므로 ( 왜그런가?), ( ) ( ) λ 1 λ n U 1 AU =, A n nλ n 1 = U 0 λ 0 λ n 인 U M 2,2 (F ) 가존재할것이다. U 1 연습문제 : 위에서 U M 2,2 (F ) 를구하고, 임을보여라. x n+2 = nλ n+1 x 1 + (n+ 1)λ n x 2, (n 1) 35

36 정리 ( 가 ) 항 : 증명추가 정리 ( 가 ) L(0) = 0 인 R n 의 rigid motion L 은 linear map. 이정리는 宇宙의神秘를푸는첫열쇠 이니, 당연히다양한설명과증명이 가능하다. [I, 개정판 ] 에는두가지증명이있다. 첫번째증명 : 이증명을저자는 [M. Artin, Algebra] 에서배웠다. 이증명은기본정리와연습문제 9.2.7이우리에게중요한 motivation임이잘드러나도록고안된 다분히교육적인 증명이라고할수있다 ( 연습문제 참조 ). 어쨌든, 첫번째증명에는 Dimension Theorem 과기본정리뿐만아니라, 연습문제 9.2.7이결정적인역할을하고있다. 두번째증명 : 이증명은정경훈교수가제안한것이다. 이증명을위해서는관찰 9.2.8의 ( 다 ) 항과 ( 라 ) 항의준비만으로충분하다. 이두번째증명은첫번째증명보다간단해보이지만, 다시들여다보아도아무런 motivation도발견할수가없다. 그런의미에서이두번째증명은매우難解한증명이라고생각된다. 이제세번째증명을소개한다. 이증명은이호주박사가제안한것이다. 이 증명은그성격으로보아, 사실은, 번째증명이라고부르고싶다. 이증명을 위해서는관찰 의조건 (5) 를먼저증명해야한다. 26 세번째증명 : B = { L(e 1 ),..., L(e n ) } 은 R n 의 orthonormal basis 이므로 ( 관 찰 9.2.8( 라 ) 항 ), linear operator M : R n R n 을 M(e i ) = L(e i ), (i = 1,..., n) 으로정의하자 (Linear Extension Theorem). 이제 L = M 임을보이면된다. 그런데관찰 9.3.4의조건 (5) 에의하면, M 도 rigid motion이다 ( 물론 M(0) = 0). 따라서, X R n 이면, 관찰 9.2.8( 다 ) 항에의해, L(X), L(ei ) = X, e i = M(X), M(e i ) = M(X), L(e i ), (i = 1,..., n) 이된다. 즉, L(X) M(X) B = 0, 이므로, L = M. 26 물론, 정리 을모르더라도, 관찰 를증명할수있다. 36

37 다음네번째증명은 [ Friedberg-Insel-Spence, Linear Algebra] 을조금달리 표현한것이다. 이증명은매우난해한두번째증명보다더난해하다. 끝까지 계산으로확인하기전에는그진위조차자신할수없을지경이다. 27 네번째증명 : 이증명을위해서는사실관찰 의 ( 다 ) 항의준비만으로충 분하다. 이제, X, Y R n 이면, L(X + Y ) L(X) L(Y ), L(X + Y ) L(X) L(Y ) = L(X + Y ), L(X + Y ) L(X + Y ), L(X) L(X + Y ), L(Y ) L(X), L(X + Y ) + L(X), L(X) + L(X), L(Y ) L(Y ), L(X + Y ) + L(Y ), L(X) + L(Y ), L(Y ) = X + Y, X + Y X + Y, X X + Y, Y = 0 X, X + Y + X, X + X, Y Y, X + Y + Y, X + Y, Y 이므로, L(X + Y ) L(X) L(Y ) = 0. 그리고, X R n, c R 이면, L(cX) cl(x), L(cX) cl(x) = L(cX), L(cX) L(cX), cl(x) cl(x), L(cX) + cl(x), cl(x) = cx, cx c cx, X c X, cx + c 2 X, X = 0 이므로, L(cX) cl(x) = 0. 증명끝! 앞네개의증명은모두 rigid motion 의연속성을비롯한어떤 geometric intuition 도필요로하지않는다. 이제마지막으로그래도 geometric proof 라 고부를만한증명을하나소개한다. 먼저준비가필요하다. 다음연습문제는 geometrically obvious! ( 그림을그려보라.) 연습문제 : 벡터의 내분점 / 외분점 은길이 ( 또는거리 ) 에의해결정된다. 즉, X, Y R n, t R 일때, 다음조건 (1) Z = tx + (1 t)y (2) Z X = 1 t X Y and Z Y = t X Y 은동치임을보여라. 27 이네번째증명은 [I, 초판 ] 에도실려있었다. 37

38 다섯번째증명 : 면, 앞연습문제에의해 (i) X, Y R n 이고 0 t 1 일때, Z = tx +(1 t)y 로놓으 Z X = 1 t X Y, Z Y = t X Y 이다. 이제 L 은 rigid motion 이므로, L(Z) L(X) = Z X = 1 t X Y = (1 t) L(X) L(Y ) 이고, 마찬가지로 L(Z) L(Y ) = t L(X) L(Y ) 가된다. 다시앞연습문제에의하면, 이는 L ( tx + (1 t)y ) = L(Z) = tl(x)+ (1 t)l(y ) 라는뜻이다. 즉, rigid motion 은길이 ( 거리 ) 를보존하므로, 벡터의 내분점 / 외 분점 도 보존 한다고말할수있다. (ii) 이제 X R n, c R 이면, L(0) = 0 이므로, 앞 (i) 항에의해, 가된다. L(cX) = L ( cx + (1 c)0 ) = cl(x)+ (1 c)l(0) = cl(x) (iii) 또, X, Y R n 이면, 앞 (i) 항과 (ii) 항에의해, L(X + Y ) = L ( 1 2 (2X)+ 1 2 (2Y )) = 1 2 L(2X)+ 1 2 L(2X) = L(X)+ L(Y ) 임을알수있다. 다음은 제10장을공부한후 독자들에게맡긴다. 연습문제 : 앞세번째, 네번째및다섯번째증명은 inner product space(over R) 에서도유효한가? ( 필요하다면, standard basis 대신 orthonormal basis 를생각. 정리 참조.) 38

39 10.2 : 연습문제추가 다음은관찰 (Cauchy-Schwarz Inequality 와 Triangle Inequality) 의결 과이다. 연습문제 a. Inner product space V 의 vector v 1,..., v r 이다음조건 v v r = v v r 을만족시키면, v i = c i w, (i = 1,..., r) 인 w V 와 0 c 1,..., c r R 이존재함을보여라. 물론이때 w = 1 이라고해 도 OK. Hint : r 에관한귀납법. 39

40 10.5 : Inner Product Space Isomorphism 의정의 다음내용은수업중한수강생의질문에답하면서알게된것이다. 연습문제 : V, W 가 inner product space 일때, 함수 φ : V W 가다음조건 φ(u), φ(v) = v, w, (u, v V ) 을만족시키면, 28 보여라. φ 를 inner product preserving function 이라고부르자. 다음을 ( 가 ) v V 이면, φ(v) = v. ( 나 ) v V 일때, φ(v) = 0 if and only if v = 0. ( 특별히, φ(0) = 0.) ( 다 ) u, v V 이면, φ(u) φ(v) if and only if u v. 29 ( 라 ) φ 는 orthonormal basis 를 orthonormal basis 로보낸다. 저자는이제 가장난해한증명 이었던정리 ( 가 ) 항의네번째증명의본질을이해하게되었다! 명제 : Inner product preserving function 은 linear map. 증명 : (i) 이문서의 [ 정리 ( 가 ) 항 : 증명추가 ] 의네번째증명을다시쓰 면된다 (complex conjugation 을몇개추가하고 ). 즉, 이네번째증명에는오직 inner product preserving condition( 즉, 관찰 9.2.8( 다 ) 항 ) 만있으면된다. 30 (ii) 위연습문제의 ( 라 ) 항을이용하면, 정리 ( 가 ) 항의두번째증명도유효 하다. 확인해보기바란다. 따라서, 만약 (V, W 가 f.d.v.s. 이고 ) dim V = dim W 이면, inner product preserving function 은항상 vector space isomorphism 이다 ( 비둘기집원리 ). 즉, 이경우에는 inner product space isomorphism 과 inner product preserving function 은같다. 연습문제 : φ : V W 가 inner product preserving function 이면, 임을보여라. φ(u) φ(v) = v w, (u, v V ) 28 이조건만으로는 φ 가 ( 아직 ) 연속함수인것도알수없다. 29 사실 φ 는사잇각을보존함을알수있다. 30 이증명에는앞연습문제도 φ(0) = 0 도 필요하지않다. 40

41 F = R 일때, 10.7 과미적분학 F = R 일때, Least Squares Approximation(LSA) 과 Minimal Solution Problem(MSP) 은최솟값문제이므로, 당연히미적분학 gradient 와 Lagrange multiplier 을이용해설명할수도있다. ( 응용분야 예를들어, 통계학, 경 제학, 공학등 에서는대개 ( 제법수준높은책에서도 ) 미적분학을선호한다.) 주의 : R n 의모든벡터는 column vector 이다. 따라서 gradient vector 도물론 column vector. 아마다음명제가익숙한독자들은별로많지않을것으로짐작한다. 그러나 응용분야에서는 routine. 증명은생략한다. 명제 (Lagrange multipliers with multiple constraints) : f, g 1,..., g k : R n R 이미분가능한 n- 변수함수들일때, S = {X R n g i (X) = 0 for all i = 1,... k} 로표기하자. 만약 f 가 S- 위에서 maximum 또는 minimum f(x 0 ) 를갖는다면 ( 물론 X 0 S), 31 다음등식 grad f(x 0 ) λ 1 grad g 1 (X 0 ) λ k grad g k (X 0 ) = 0 을만족시키는 λ 1,..., λ k R 이존재한다. 32 이제 LSA 문제를설명해보자. ( 명제 과명제 의표기법을계속 사용한다.) n- 변수함수 f : R n R 을 f(x) = AX B 2 = AX B, AX B, (X R n ) 으로정의하면, 아래연습문제에의해 grad f(x) = 2A t (AX B), (X R n ) 이된다. 이때 f 가 f(x 0 ) 에서최솟값을가지려면, 0 = grad f(x 0 ) = 2A t (AX 0 B) 이어야한다. 즉, A t AX 0 = A t B. 단, 최솟값의존재는명제 처럼 혹 은그림으로 설명해야한다 (AX 0 는 B 에서 im A 에내린수선의발 ). 31 이때 maximum 또는 minimum 의존재여부는따로설명해야한다. 32 엄밀하게하자면, grad g i (X 0 ) 0 인 i 가적어도하나는있어야한다. 41

42 연습문제 : 위 LSA 문제에서 임을보여라. grad f(x) = 2A t (AX B), (X R n ) 특히통계학에서는 LSA problem에서 g(x) = x x n, (X R n ) 으로정의하고, g(x 0 ) = 0 이라는 constraint 를추가할때가있다. 이는 X 0 의좌표들의평균을 0 으로 normalize 하자는것이다. 만약 g(x 0 ) = 0 일때 f(x 0 ) 가최솟값이라면, Lagrange 승수법을이용해다음연립방정식 0 = grad f(x 0 ) λ grad g(x 0 ) = 2A t (AX 0 B) λ(1,..., 1) t 을풀면된다. 물론 W = {X R n x x n = 0} 으로표기하면, AX 0 는 B 에서 im ( ) L A W = AW 에내린수선의발이다. 따라서, AW 의 orthonormal basis 를구해관찰 를적용해도된다 ( 연습문제 참조 ). 다음은 MSP. ( 이번에는명제 의표기법을계속사용한다.) 이문제는 f(x) = X 2, grad f(x) = 2X (X R n ) 일때, m-개의 n-변수함수들 g i (X) = [ (AX B) 의 i-좌표 ] = ( j a ) ijx j bi, (X R n, 1 i m) 을생각하면된다. 이때 grad g i (X) = ([A] i ) t, (X R n ) 임은쉽게확인할수있다. 이제만약 [ g i (X 0 ) = 0 for all i] 일때 f(x 0 ) 가최솟값이라면, Lagrange 승수법에의해 0 = grad f(x 0 ) i λ i grad g i (X 0 ) = 2X 0 i λ i([a] i ) t 인 λ i 가존재할것이다. ( 최솟값의존재는 X 0 가원점에서 ( ) AX = B 의해집합에내린수선의발이라고설명한다.) 그런데, 2X 0 = i λ i([a] i ) t = A t (λ 1,..., λ m ) t 이므로 ( 확인해보라 ), X 0 im A t 이증명은 grad g i (X 0 ) 이모두 0이더라도 즉, A = 0이고 B = 0이더라도 성립한다. 이때 X 0 = 0 im A t. 42

43 12.2 : 연습문제추가 다음연습문제는행여나독자들을헷갈리게할까염려되어 한참망설이다가 본문에서는제외하였다. ( 지금다시보니, 뭐그리헷갈릴것도없다.) 먼저표기법 를다시분명히한다. 표기법 H, K G 일때, 로표기하면자연스럽다. HK = {hk G h H, k K} 아래연습문제들은연습문제 다음에위치하면적당할것같다. 연습문제 a. 만약 N G 이면, x, y G 일때, 집합으로서 (xn)(yn) 과 (xy)n 은같음을보여라. 따라서 quotient group G/N 의 binary operation 을 x y = xy 로정의하는것은더욱자연스럽다. 연습문제 b. 다음조건 (1) N G. (2) (xn)(yn) = (xy)n as sets, for all x, y G. 은동치임을보여라. 43

44 13.4 : Lorentz Group A. Einstein의 Special (Theory of) Relativity를아는체하고싶지는않다 ( 잘모른다 ). 다만, 참지못하고, Lorentz group 과관련된몇개의 comment 를간단히소개한다. 34 독자들은우선연습문제 에서자연스러운 embedding O(1, 1) O(3, 1) 은세개가있음에유의하기바란다. 아래 comment 들을읽기전에먼저 [ FIS] =[ Friedberg-Insel-Spence(Linear Algebra, 4th ed., Pearson, 2002), 6.9] 의 linear algebra viewpoint (of) the essence of Einstein s theory 를공부하기바란다. (Space-time R 4 의 event ( 의정의 ) 에관한질문은전문가에게.) 참고 a. 다. 확인해보라. [FIS, Theorem 6.41 의 Corollary] 는 B v O(3, 1) 이라는뜻이 참고 b. [ FIS, Theorem 6.42] 에등장하는 Special Relativity 의 essence 1 1 v 0 0 v 2 1 v B v = O(3, 1) v 1 1 v v 2 에대응하는 O(1, 1) 의원소는 ( 1 1 v 2 v 1 v 2 v 1 v v 2 ) SO (1, 1) 이다 ( 자연스러운 embedding O(1, 1) O(3, 1) 을생각 ). 사족 35 : 결국 Special Relativity 는 O(3, 1) 에관한공부이다. 그리고 linear algebra viewpoint 에서, 만약 O(4) 가아니라면, 그다음엔 O(3, 1) 을생각하 는것은너무나당연하다. 우리는흔히다음과같이말한다 : Special Relativity 는꼭 A. Einstein 이아니었더라도누군가발견했을것이다. 다만, General (Theory of) Relativity 는. 34 Special Relativity 의역사 특히 H. Lorentz s 1904 model 에관해서는 wikipedia 참조. 35 사족 = 畵蛇添足 = 쓸데없는군짓을하여도리어잘못되게함을이르는말. 44

45 관찰 : 증명추가 V 가 f.d.v.s. 일때, 함수 ψ V : V V 가 natural isomorphism 임을증명하 려면, 관찰 가필요하다. 관찰 v V 일때, [f(v) = 0 for all f V ] 이면, v = 0. [I] 의증명과별차이는없지만, 그래도다음증명을선호하는독자들도있을것이다. 증명 : 만약 v 0 이라면, V 의 basis {v = v 1, v 2,... v n } 이존재할것이다 (Basis Extension Theorem). 그런데, v (v) = v 1 (v 1 ) = 1 0 이므로, 가정에모순. 45

46 정리 ( 나 ) 항의 Elementary Proof 우리가소위 duality 라고부르는정리 ( 나 ) 항의 elementary proof 를소 개한다. ( 정리 ( 가 ) 항의증명은항상 elementary.) 우리는본문에서, ( 가 ) 항의증명의 거울에비친 image 를보며, ( 나 ) 항을 ( 본질적으로같은 ) 두가지방법으로요란스럽게증명했었다. 그렇지만, 물론 거울 이필요없는 elementary proof 도가능하다. ( 독자들은 ( 거의 ) 1년동안의경험으로, elementary proof 가불가능한선형대수의명제가있다면오히려깜짝놀랄일임을느끼고있을것이다.) 정리 ( 나 ) V 가 f.d.v.s. 일때, Y V 이면, dim Y perp = dim V dim Y. Elementary Proof : Y 의 basis 라고놓자. 그러면, B = {v 1,..., v n } 을 V 의 basis 라고하고, {f 1,..., f r } 은 f i = j a ij v j, (1 i r) 인 a ij F 가존재할것이다. 이제 A = (a ij ) M r,n (F ) 로표기하면, rk(a) = r 이된다. 36 한편, v = k b k v k V 이면, 이므로, f i (v) = ( j a ij v j )( k b k v k ) = j a ij b j = [A] i [v] B, (1 i r) v Y perp f i (v) = 0 for all i [A] i [v] B = 0 for all i [v] B ker L A 임을알수있다. 따라서, dim Y perp = dim ker L A = dim V rk(a) = dim V r = dim V dim Y 이다 ( 왜그런가?). 36 이 document 의연습문제 b 참조. 지금은그때와 i, j 의역할이바뀌어있다. Elementary proof 는 ( 대개 ) 이렇게 trick 을포함하고있다. 46

47 13.8 : 관찰추가 Dual map L 의행렬표현은 L 의행렬표현의 transpose 에대응된다 ( 관 찰 ). 37 특별히 : 관찰 a. A M m,n (F ) 이면, 가성립한다. E, F 를각각 F n, F m 의 standard basis 라고하자. 이때, 만약 [(L A ) ] F E = ([L A] E F )t = A t 그렇다면, linear map 의 대표선수 인 L A 의 dual map (L A ) 는어떤 linear map 일까? (L A ) 와 L A t 를 identify 할수있을까? 이를설명하기위해서는우선, (F n ) 와 F n 을 naturally identify 해야한다. 그런데, A M m,n (F ) 일때, L A 는 standard basis 의세계에살고있으므로, 물론 natural isomorphism φ F n 보 : F n (F n ) 를생각하는것은당연하다 ( 단, 보 = 보통내적 = BE I ). 이때, 관찰 에의해, 이고, 이는 [φ F n 보 ]E E = [BI E ] E = I φ F n 보 (e i) = e i, (i = 1,..., n) 라는뜻 ( 연습문제 참조 ). 즉, φ F n 보 : F n (F n ) 는여러모로 natural. 관찰 b. A = (a ij ) M m,n (F ) 일때, 다음사각형 F m L A t F n F n φ F m 보 φ F n 보 (F m ) (L A ) (F n ) 은 commutative diagram 이다. 즉, (L A ) = L A t. 증명 : 독자들에게맡긴다. 이결과는, 선형사상들의행렬표현을생각하면, 위 관찰 a 와동치이다. 37 이추가사항에는 natural isomorphism φ V B 가등장하므로, 13.8에위치해야한다. 47

48 앞의논의에서우리는모든걸오른손잡이 (left notation) 의세계에서설명했 다. 그런데, 오른손잡이의 거울에비친 image 는왼손잡이 (right notation) 가아닐까? 38 한편, 왼손잡이에게 vector 는 row vector 를의미하 고, 왼손잡이세계에서 linear map 의 대표선수 는 R A 이다. 정의 : A M m,n (F ) 일때, linear map R A : M 1,m (F ) M 1,n (F ) 를 R A (Y t ) = Y t A, (Y F m ) 으로정의한다. 우리는항상 F n, F m 의 standard basis 를각각 E, F 로표기해왔다. 물론 F = F 1 의 standard basis 는 {1}. 관찰 c. A = (a ij ) M m,n (F ) 일때, 다음사각형 (L A ) (F m ) (F n ) Ψ F {1} M 1,m (F ) M 1,n (F ) R A 은 commutative diagram 이다. 즉, (L A ) = R A. Ψ E {1} 증명 : 독자들에게맡긴다. 아래연습문제참조. 이다. 위에서, Ψ{1} E, Ψ {1} F 는물론기본정리 ( 정리 5.2.3) 에서정의한 isomorphism들 연습문제 : 위관찰에서, 예를들어, isomorphism Ψ E {1} : (F n ) M 1,n (F ) 는 으로정의되어있음을보여라. Ψ E {1} (e i ) = (e i) t, (1 i n) 독자들은위관찰 b 와관찰 c 의 identification 중어느것이더 멋있어보이는가? ( 기본정리의 Ψ B C 는 basis B, C 의선택에 depend 하므로 natural isomorphism은아니다. 하기야뭐, 시비를걸자면, φ V B 도 bilinear form B 의선택에 depend 한다.) 38 우리가 거울 을정의한적이없으므로, 이 comment 에목숨을걸필요는없다. 48

49 앞논의의뿌리에는다음 ( 거의자명한 ) 관찰이자리잡고있다. ( 이관찰은 L A 를정의하면서소개할수도있었겠지만, 독자들이사각형에익숙해지기를기 다려이제야밝힌다.) 다음관찰에서 isomorphism t 와 t 은각각 t(a) = A t, (A M m,n (F )) t (A, X) = (X t, A t ), (A M m,n (F ), X F n ) 으로정의되어있고, 함수 λ 와 ρ 는각각 λ(a, X) = L A (X) = AX, (A M m,n (F ), X F n ) ρ(y t, B) = R B (Y t ) = Y t B, (B M n,m (F ), Y F m ) 으로정의되어있다. 관찰 : ( 오른손잡이선형대수와왼손잡이선형대수 ) A = (a ij ) M m,n (F ) 일 때, 다음사각형 F n L A F m F m t M 1,n (F ) M 1,m (F ) R A t t 은 commutative diagram 이다. 이를달리표현하면, 다음 commutative diagram M m,n (F ) F n λ F m F m t M 1,n (F ) M n,m (F ) M 1,m (F ) ρ t 을얻는다. 증명 : 거의자명. 위두사각형에서, 2 층에는오른손잡이들이살고있고, 1층에는왼손잡이들이살고있다. 위관찰은 3 층에서내려다보면 선형대수는본질적으로하나뿐이라는말을현학적으로 ( 사각형으로 ) 표현한것이다 다시읽어보니싱겁기짝이없다. 간을좀하자면, [II, 2.3] 을공부한독자들은 F 가 skew-field이면어떻게될지생각해보라. 49

50 13.8 : 연습문제추가 V 가 f.d.v.s. 일때, L(V, V ) 를묘사하는방법은물론수없이많을것이다. 그중하나를소개한다. ( 이내용은연습문제 다음에위치하면적당할듯.) 독자들은 B = {v 1,..., v n } 이 V 의 basis 일때, M n,n (F ) 의 standard basis {e ij } 에대응하는 L(V, V ) 의 standard basis {E ij } 는 E ij (v k ) = δ jk v i, (1 i, j, k n) 으로정의되어있음을기억할것이다. 이때물론 [E ij ] B B = e ij, (1 i, j n) 이다 ( 관찰 및보기 참조 ). 다음연습문제는 5.1에서도가능했을것이다. 연습문제 : 고정된 L L(V, V ) 에대해, 함수 h L : L(V, V ) F 를 h L (M) = tr(m L), (M L(V, V )) 로정의하자. 다음을보여라. ( 가 ) L L(V, V ) 이면, h L L(V, V ). ( 나 ) h L = 0 이면, L = 0. ( 다 ) E ij = h E ji. ( 라 ) 결론은 L(V, V ) = { h L L L(V, V ) }. 이제이를 13.8 의언어로번역해보자. 즉, L = L(V, V ) 의 symmetric bilinear form B : L L F 를 B(M, L) = tr(m L), (L, M L) 로정의하고, natural isomorphism φ L B : L L 를생각하자는뜻이다. 이때 φ L B (L)(M) = B(M, L) = tr(m L) = h L(M), (L, M L) 임은물론이다. 40 ( 위연습문제 ( 나 ) 항에의해, B 는 non-degenerate.) 따라서, 위연습문제 ( 라 ) 항은 φb L 가 surjection이라는뜻이다. 40 원래는 φ L 로표기해야하지만 ( 표기법 참조 ), font 의크기 ( 높이 ) 문제로인하여 h L 로표 기했다. 50

51 독자들중에는연습문제 의 (positive definite) trace form 을기억하고있는이들도있을것이다. 그러나, L(V, V ) 의경우에는연습문제 를흉내내는건좀골치아프다 ( 왜그럴까?). 물론 M n,n (F ) 의경우에는연습문제 를흉내낼수있다. 이제 M = M n,n (F ) 의 bilinear form C : M M F 를 C(A, A ) = tr(a t A ), (A, A M) 로정의하고, φ M C : M M 를생각하자. ( 연습문제 와비교해보라. 지금은 positive definiteness 를포기하고, 임의의 field F 에적용할수있는정의를택하였다.) 연습문제 : 다음을보여라. ( 가 ) C 는 non-degenerate symmetric bilinear form. ( 나 ) 따라서 φ M C 는 isomorphism. ( 다 ) e ij = φm C (e ij). 란다. 독자들은앞쪽의연습문제 ( 다 ) 항과지금의연습문제 ( 다 ) 항을비교해보기바 51

52 13.8 : Rank Theorem 총정리 이내용을 [I, 개정판 ] 에포함시키고싶은마음이굴뚝같았지만, 좀유치해보 여. 그래도미련이남아이곳에올린다. [I] 의가장중요한 story( 즉, climax) 는, 물론, dual map 을이용한 transpose map/adjoint map 의정의이다. 그리고, field F 의선택과무관하고행간소사다리꼴을이용하지않는 Rank Theorem의 고상한 증명도중요 story 중하나이다. 이제 Rank Theorem의증명을정리해보자. ( 가 ) 4.5와 5.4 : Dimension Theorem과행간소사다리꼴을이용. ( 나 ) 10.3 : Dimension Theorem 과 inner product space 의 Perp Theorem 을이용. 이때 Perp Theorem 은 Gram-Schmidt Orthogonalization 의결과이므로, F = R 또는 F = C. ( 단, F = C 인경우는지나치게 폭력적 이어서사실상논외.) ( 다 ) 13.8 : Dimension Theorem과 F n 의 보통내적 에관한 Perp Theorem 을이용. 이때 Perp Theorem 의증명은 duality 와 = perp 를이용하므로, F 의선택과는무관. 이 document 의 [ 5.4 : Rank Theorem 의 Elememtary Proof ( 정경훈교수의증명 )] 은우리의 고상한 story의 훼방꾼 이라고할수있다. 그러나, 어차피정경훈교수의증명은기억이잘나지않고, 몇년후에도기억할수있는 Rank Theorem의증명은 = perp 뿐이다! ㅋㄷㅋㄷ. 52

53 제 장 : 참고추가 다음참고사항은노파심에서추가하였다. ( F n,, ) 이 inner product space 이고, A M n,n (F ) 일때, 참고서적들에는 AX, Y 또는 AX, X 의표현이자주등장한다 ( 단, X, Y F n ). 이는물론관 찰 과관련된내용일수도있고, 또 : 참고 : ( 가 ) R n -공간에 dot product가주어져있고, A 가 symmetric matrix일때, AX, Y 를우리의언어로번역하면 AX, Y = B A E (X, Y ), (X, Y Rn ) 이다. ( 나 ) C n -공간에 Hermitian dot product가주어져있고, A 가 self-adjoint matrix이면 AX, Y = HE A(X, Y ), (X, Y Cn ) 가된다. ( 다 ) 즉, AX, Y 의표현은 symmetric bilinear form이나 Hermitian form이라는용어를정의하지않고도이를나타낼수있는 elementary language. 53

54 명제 및명제 그리고관찰 같다. 다음참고사항은독자들도눈치채고있겠지만, 노파심에서추가하였다. 명제 과명제 을흉내내어, 관찰 을다시 state 하면다음과 관찰 ( 가 ) F = R 일때, A M m,n (R) 이면, A t 는다음등식 AX, Y = X, A t Y, (X R n, Y R m ) 을만족시키는유일한 M n,m (R) 의행렬이다 ( 단,, 는 R n 과 R m 의 dot product). ( 나 ) F = C 일때, A M m,n (C) 이면, A 는다음등식 AX, Y = X, A Y, (X C n, Y C m ) 을만족시키는유일한 M n,m (C) 의행렬 ( 단,, 는 C n 과 C m 의 Hermitian dot product). 다시말해, 명제 과명제 을각각 transpose map과 adjoint map 의정의로간주할수있듯이, 41 우리는위관찰 의 ( 가 ) 항과 ( 나 ) 항을각각 transpose matrix와 adjoint matrix의정의로볼수있다. 즉, 위관찰은 transpose matrix 와 adjoint matrix 를 characterize 하고있다. 참고 : 현대대수학 을수강한독자들을위한참고사항. ( 가 ) F 가임의의 field 일때, 42, 를 F n 과 F m 의 보통내적 이라고하면, 위 ( 가 ) 항은 transpose matrix를정의하고있다. ( 나 ) F 가 involution을갖는 field 일때, 43, 를 F n 과 F m 의 Hermitian dot product라고하면, 위 ( 나 ) 항은 adjoint matrix를정의하고있다. 41 실제로대부분의 학부 2 학년선형대수학 교재에서 transpose operator 와 adjoint operator 를그렇게정의한다. 42 물론임의의 field 는 C 를포함한다. 43 예를들어, [II, 보기 및연습문제 ] 참조. 54

55 [I, 초판, 15.4] : 왜 Non-degenerate 인경우만? ( 이내용은 [I, 초판, 15.4] 에실렸었다. [I, 개정판머리말 ] 참조. 혹관심이 있는독자를위해이곳에올린다.) 이節에서는왜우리가 symmetric bilinear form 과 Hermitian form 이 non-degenerate 인경우만다루면충분한지에대하 여설명한다. 이節의내용은쬐끔수준이높다. 44 우리는임의의 Hermitian form 에관한정보는 non-degenerate Hermitian form 으로부터얻을수있음을설명하고자한다. ( 그리고, complex conjugation 을지워버리면, group 의경우에관한설명이된다. 45 ) 이節의내용에서 symmetric bilinear form 과 orthogonal (V, H) 를유한차원 Hermitian space 라고하자. 그리고, C = {v 1,..., v m } 을 V 의 basis 라고놓고, 이를 V 의 basis B = {v 1,..., v n } 으로확장하자. 이제, D = {v m+1,..., v n } 이라고놓고, W 를 D 가 generate 하는 V 의 subspace 라 고하면, V = V W 가된다. ( 이때, 이런 W V 는유일하지않다.) 이제, ( ) 0 0 기저 B에관한 H 의행렬은 [H] B = 의형태가된다 ( 단, 0 [H W W ] D H W W : W W C 는 H 의 restriction). 그런데, 만약 w W W 이 면, w V 이므로 ( 왜그런가?), w = 0 이어야한다. 따라서, H W W 는 W 의 non-degenerate Hermitian form. 그러므로, W 의 unitary geometry 만이해 하면, V 전체의 unitary geometry 를이해할수있다고말할수있을것이다. 그런데, 이때, U(V, H) 를 U(W, H W W ) 로부터어떻게복구할수있을까? 관찰 L U(V, H) 이면, V 는 V 의 L-invariant subspace 이다. 다시 말해, L(V ) = V 이고, 따라서 L V GL(V ) 이다. 증명 : v V 일때, Lv V 인것을보이면충분하다. 즉, [H(Lv, u) = 0 for all u V ] 인것을보여야한다. 이제, V 의임의의원소 u 는 Lu 의꼴이므로, 이다. H(Lv, u) = H(Lv, Lu ) = H(v, u ) = 0 44 아마도, 이節의내용을강의시간에다룰수있을만큼진도표가여유있지는않을것이다. 45 사실은, 저자가이미이節에서 complex conjugation 을모두지워버렸다. 이節에나타나는 막대기 들은모두 quotient space 를위한 magic bar 들뿐이다. 따라서, 이節에서 H 는 B 로, U 는 O 로, 그리고 C 는 F 로읽어도된다. 55

56 그러므로, 보기 8.2.6에서와같이, L U(V, H) 이면, ( ) [L] B B = [L V ] C C 0? 의꼴이된다. 이때, [ ] 부분은어쩔수없다손치더라도, [?] 부분은어떻게 unitary operator 로인식될수있을까? ( 항상, W 는 L-invariant subspace 가아닐수있다는것이문제이다.) 이경우에, 간략한표기법을위하여 ( 임시방편으로 ) [ ] = [L] D C 로표기하면그럴듯할것이다. 지금, 이場面에서 quotient space 라는단어가떠오른독자들은칭찬받을만하다. 바로이런경우를위해서우리는 quotient space 의개념을준비한것이다 ( 12.5의 사고방식 참조 ). 이제, 제12장에서맛을들인 bar notation을사용하여, V = V/V 로표기하면, B = {v m+1,..., v n } 는 V 의 basis 가된다 ( 연습문제 참조 ). 그리고, 우리는 V 에도 Hermitian space 의구조를주려고한다. 물론, 가장자연스러운방법은 H : V V C 를 H (v, w) = H(v, w), (v, w V ) 로정의하는것이다. 이때에도 H 의 well-definedness 라는단어가떠오른독자들은칭찬받아마땅하다. 관찰 H 는 well-defined 된 V 의 Hermitian form 이다. 증명 : Well-definedness 만보이면, 나머지는우리의 magic bar 가스스로알아서처리해준다. ( 아직믿음이부족하다면, 확인해볼수밖에없다.) H 의 welldefinedness 를위해서는다음질문 : v = v, w = w 이면, H (v, w) = H (v, w ) 인가? 또는, v v, w w V 이면, H(v, w) = H(v, w ) 인가? 에답하여야한다. 이제, v v = x V, w w = y V 로놓으면, H(v, w) = H(x + v, y + w ) = H(v, w ) 이므로증명끝. 56

57 다음 story 는독자들도예상하고있었을것이다. 관찰 H 는 non-degenerate 이고, [H ] B = [H W W ] D 이다. 증명 : 우선 [H ] B = [H W W ] D 인것은당연하고 ( 확인해보라 ), H W W 는 non-degenerate 이므로증명끝. ( 다음과같이직접증명하는것이사실은더쉽다. 즉, [ H (v, w) = 0 for all v V ] 이면, [H(v, w) = 0 for all v V ] 이고, 따라서 w V.) 이제, 다시 L U(V, H) 라고하자. 이때, 함수 L : V V 를 L (v) = L(v), (v V ) 로정의하면, V 는 V 의 L-invariant subspace 이므로, 관찰 에의해 L 는 well-defined linear operator가된다. 연습문제 L U(V, H) 이면, L U(V, H ) 임을보여라. 다음명제는우리가이節에서 quotient space 를도입할때부터기대하고있 었던것이다. 그리고, 이節의결론이기도하다. 명제 함수 Λ : U(V, H) GL(V ) M m,n m (C) U(V, H ) 를 Λ(L) = ( L V, [L] D C, L), (L U(V, H)) 로정의하면, 46 Λ 는 bijection 이다. 증명 : 독자들의 maturity 를한번 test해보기로하자. 저자에게는아래여백이부족하다. ㅎㅎ. 46 [ ] = [L] D C 는앞 page에서소개한임시표기법. 57

58 명제 ( 나 ) 항 : 미적분학 (Lagrange multiplier) 을이용한증명 다음은미적분학 (Lagrange multiplier) 을이용한명제 ( 나 ) 항의증명이 다. ( 응용분야 예를들어, 통계학, 경제학, 공학등 에서는대개 ( 제법수 준높은책에서도 ) 미적분학을선호한다.) 명제 ( 나 ). A M n,n (R) 이 symmetric 일때, n-변수함수 f : R n R 을 f(x) = X t AX, (X R n ) 으로정의하자. 만약 n-변수함수 f 가 unit sphere S = { X R n X = 1 } 위에서 maximum f(x 1 ) 을갖는다면 ( 물론 X 1 S), 47 X 1 은 A 의 eigen-vector. 증명 : n- 변수함수 g : R n R 을 g(x) = X 2, (X R n ) 으로정의하면, 아래연습문제에의해 grad f(x) = 2AX, grad g(x) = 2X, (X R n ) 이된다. 이때 X 1 S 이면, grad g(x 1 ) 0 이므로, Lagrange 승수법에의해 2AX 1 = grad f(x 1 ) = λ grad g(x 1 ) = 2λX 1, (X R n ) 인 λ R 이존재할것이다. 연습문제 : 위명제 ( 나 ) 의증명에서 grad f(x) = 2AX, (X R n ) 임을보여라. ( 이때 A 가 symmetric matrix 라는가정이필요하다.) 연습문제 : 위명제 ( 나 ) 과그증명에서 A 의 eigen-vector X 1 에대응하는 eigen-value λ 1 은 A 의 (real) eigen-value 중가장큰것 ( 중하나 ) 임을보여라. 47 Unit sphere S 는 compact set(closed and bounded set in R n ) 이므로, 연속함수 f 는항상 S- 위에서최댓값을갖는다. 58

59 15.3 : 주의추가 다음주의사항은 7.2(184쪽 ) 에서잠깐언급했지만, 15.3에서도다시강조해야할것이다. 주의 : Complex symmetric matrix는대각화가불가능할수도있다. F = C 일때, real symmetric matrix 에대응하는개념은 self-adjoint matrix 이다. ( ) 2 i 연습문제 : 연습문제 ( 나 ) 항을다시풀어보라. 즉, 는대각화가 i 4 불가능함을보여라. ( 이행렬은 symmetric 이지만, not self-adjoint 이고 not normal.) 또독자들은혹 real symmetric matrix 의 Spectral Theorem 을 real normal matrix의경우로 generalize 할수있지않을까기대할수도있겠지만, 책에없는명제는 ( 대개 ) true 가아니다. ( ) 1 1 연습문제 : ( 가 ) 행렬은 R-위에서대각화가불가능함을보여라. ( 이 1 1 행렬은 not symmetric 이지만, normal 이다. 일반적으로, real skew-symmetric matrix는당연히 normal. 48 ) ( 나 ) 행렬 은 R-위에서대각화가불가능함을보여라. ( 이행렬은 not symmetric 이고 not skew-symmetric 이지만, normal 이다. 확인해보라.) 48 Not symmetric 인 real normal (2 2)-matrix 는 skew-symmetric matrix 뿐이다. 이증명은 독자들에게맡긴다. 59

60 15.3 : 연습문제추가 다음은연습문제 을보충한것이다. 연습문제 라고하자. F = R 이고, B 가유한차원 quadratic space (V, B) 의기저 ( 가 ) 다음조건 (1) B 는 positive definite( 즉, v 0 이면, B(v, v) > 0). (2) J = [B] B 의 eigen-value 는모두 positive real number. 은동치임을증명하라. 우리는이런 J 를 positive definite (symmetric) matrix 라고부른다. ( 나 ) 다음조건 (1) B 는 positive semi-definite( 즉, B(v, v) 0 for all v V ). (2) J = [B] B 의 eigen-value 는모두 non-negative real number. 은동치임을증명하라. 우리는이런 J 를 positive semi-definite (symmetric) matrix라고부른다. ( 다 ) J 가 positive semi-definite 이면, K 2 = J 인 positive semi-definite matrix K M n,n (R) 이존재함을보여라. 독자들은연습문제 에서도 positive semi-definite Hermitian form 과 positive semi-definite (self-adjoint) matrix 를정의할수있을것이다. (1) J 는 positive semi-definite (self-adjoint) matrix. (2) J = A A 인 A M n,n (C) 존재. 은동치임을보여라. 연습문제 b. A M n,n (C) 일때, 만약 (A A AA ) 가 positive semidefinite (self-adjoint) matrix 이면, A 는 normal matrix 임을보여라. 연습문제 c. J, K M n,n (C) 가 positive semi-definite (self-adjoint) matrix 일때, 만약 J 2 = K 2 이면, J = K 임을보여라 Hint: λ 0 일때, E J λ EJ2 λ 2 이므로, 결국 E J λ = EJ2 λ 2. 60

선형대수

선형대수 fundamentals: ; ; 1, 1, basis; ; complement, sum, direct sum; ; isomorphism ; quotient space ; quotient space ; duality: linear function, coordinate function linear function characterization; dual space,

More information

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x 체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x m, b m 0 F, m > 0 에대해 f(x) = g(x)q(x) + r(x) 을만족하는

More information

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut 경영학을 위한 수학 Fial Eam 5//(토) :-5: 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오.. (각 6점) 다음 적분을 구하시오 4 ( ) (a) ( )4 8 8 (b) d이 성립한다. d C C log log (c) 이다. 양변에 적분을 취하면 log C (d) 라 하자. 그러면 d 4이다. 9 9 4 / si (e) cos si

More information

제 3강 역함수의 미분과 로피탈의 정리

제 3강 역함수의 미분과 로피탈의 정리 제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (

More information

Microsoft PowerPoint - 26.pptx

Microsoft PowerPoint - 26.pptx 이산수학 () 관계와그특성 (Relations and Its Properties) 2011년봄학기 강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계

More information

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표 Vector Differential: 벡터 미분 Yonhee Lee October 7, 08 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표기법을 정의하는 방법이다 보통 스칼라(scalar)에 대한 미분은 일분수 함수 f : < < 또는 다변수 함수(function

More information

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에대하여 AB=BA 1 가성립한다 2 3 (4) 이면 1 곱셈공식및변형공식성립 ± ± ( 복호동순 ), 2 지수법칙성립 (은자연수 ) < 거짓인명제 >

More information

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0)

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0) FGB-P8-3 8 학번수학과권혁준 8 년 5 월 9 일 Lemma p 를 C[, ] 에속하는음수가되지않는함수라하자. 이때 y C, C[, ] 가미분방정식 y t + ptyt, t,, y y 을만족하는해라고하면, y 는, 에서연속적인이계도함수를가지게확 장될수있다. Proof y 은 y 의도함수이므로미적분학의기본정리에의하여, y 은 y 의어떤원시 함수와적분상수의합으로표시될수있다.

More information

(Hyunoo Shim) 1 / 24 (Discrete-time Markov Chain) * 그림 이산시간이다연쇄 (chain) 이다왜 Markov? (See below) ➀ 이산시간연쇄 (Discrete-time chain): : Y Y 의상태공간 = {0, 1, 2,..., n} Y n Y 의 n 시점상태 {Y n = j} Y 가 n 시점에상태 j 에있는사건

More information

Microsoft PowerPoint - MDA 2008Fall Ch2 Matrix.pptx

Microsoft PowerPoint - MDA 2008Fall Ch2 Matrix.pptx Mti Matrix 정의 A collection of numbers arranged into a fixed number of rows and columns 측정변수 (p) 개체 x x... x 차수 (nxp) 인행렬matrix (n) p 원소 {x ij } x x... x p X = 열벡터column vector 행벡터row vector xn xn... xnp

More information

Microsoft PowerPoint Relations.pptx

Microsoft PowerPoint Relations.pptx 이산수학 () 관계와그특성 (Relations and Its Properties) 2010년봄학기강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계

More information

제 5강 리만적분

제 5강 리만적분 제 5 강리만적분 리만적분 정의 : 두실수, 가 을만족핚다고가정하자.. 만일 P [, ] 이고 P 가두끝점, 을모두포함하는유핚집합일때, P 을 [, ] 의분핛 (prtitio) 이라고핚다. 주로 P { x x x } 로나타낸다.. 분핛 P { x x x } 의노름을다음과같이정의핚다. P x x x. 3. [, ] 의두분핛 P 와 Q 에대하여만일 P Q이면 Q

More information

작용소의 행렬표현과 그 응용

작용소의 행렬표현과 그 응용 작용소의행렬표현과그응용 이영주 무등수학강연회 2012 년 4 월 27 일 차례 차례 용어 ( 행렬, 행렬식 ) 의유래 선형작용소에대한행렬표현 곱작용소소개 응용 : 제로곱문제와교환문제 행렬 (Matrix)? 행렬의개념은 The Nine Chapters on the Mathematical Art (BC 300-AD 200) 에서처음이용 ( 처음것의하나, 둘째것의

More information

2018 년수학임용고시기출풀이 ( 대수학, 해석학, 복소해석, 위상수학, 정수론, 선형대수, 미적분학 ) - 하이어에듀 - 구준모강사 1

2018 년수학임용고시기출풀이 ( 대수학, 해석학, 복소해석, 위상수학, 정수론, 선형대수, 미적분학 ) - 하이어에듀 - 구준모강사 1 8 년수학임용고시기출풀이 ( 대수학 해석학 복소해석 위상수학 정수론 선형대수 미적분학 ) - 하이어에듀 - 구준모강사 8년 수학 임용고시 기출풀이 (안내) 제가 작성한 8년 수학 임용시험 기출 풀이 참고 답안입니다. 8년 임용 시험을 치르신 분들과 앞으로 준비 하시는 분들께 참고가 되었으면 좋겠습니다. 혹시 풀이에 오류가 있다면 제 이메일(junmomath8@gmail.com)

More information

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로 3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로성립한다. Theorem 7 두함수 f : X Y 와 g : X Y 에대하여, f = g f(x)

More information

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과 함수공간 함수공간, 점열린위상 Definition.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function spce) 이라한다. F(X, Y ) 는다음과같이적당한적집합과같음을볼수있다. 각 x X에대해 Y x = Y 라하자. 그리고 F := Y x x X 이라하자.

More information

제 12강 함수수열의 평등수렴

제 12강 함수수열의 평등수렴 제 강함수수열의평등수렴 함수의수열과극한 정의 ( 점별수렴 ): 주어진집합 과각각의자연수 에대하여함수 f : 이있다고가정하자. 이때 을집합 에서로가는함수의수열이라고한다. 모든 x 에대하여 f 수열 f ( x) lim f ( x) 가성립할때함수수열 { f } 이집합 에서함수 f 로수렴한다고한다. 또 함수 f 을집합 에서의함수수열 { f } 의극한 ( 함수 ) 이라고한다.

More information

OR MS와 응용-03장

OR MS와 응용-03장 o R M s graphical solution algebraic method ellipsoid algorithm Karmarkar 97 George B Dantzig 979 Khachian Karmarkar 98 Karmarkar interior-point algorithm o R 08 gallon 000 000 00 60 g 0g X : : X : : Ms

More information

TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X

TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X Y 가전사함수일때, T Y = {U Y f 1 (U) is open set in X} 로정의하면

More information

Vector Space Vector space : 모든 n 차원컬럼벡터의집합 : {, :, } (, 2), (2, 5), (-2.4, 3), (2.7, -3.77), (,), 이차원공간을모두채움 : {,, :,, } (2,3,4), (3,2,-5), Vector spa

Vector Space Vector space : 모든 n 차원컬럼벡터의집합 : {, :, } (, 2), (2, 5), (-2.4, 3), (2.7, -3.77), (,), 이차원공간을모두채움 : {,, :,, } (2,3,4), (3,2,-5), Vector spa Seoul National University Vector Space & Subspace Date Name: 김종권 Vector Space Vector space : 모든 n 차원컬럼벡터의집합 : {, :, } (, 2), (2, 5), (-2.4, 3), (2.7, -3.77), (,), 이차원공간을모두채움 : {,, :,, } (2,3,4), (3,2,-5),

More information

31. 을전개한식에서 의계수는? 를전개한식이 일 때, 의값은? 을전개했을때, 의계수와상수항의합을구하면? 을전개했을때, 의 계수는? 를전개했을때, 상수항을 구하여라. 37

31. 을전개한식에서 의계수는? 를전개한식이 일 때, 의값은? 을전개했을때, 의계수와상수항의합을구하면? 을전개했을때, 의 계수는? 를전개했을때, 상수항을 구하여라. 37 21. 다음식의값이유리수가되도록유리수 의값을 정하면? 1 4 2 5 3 26. 을전개하면상수항을 제외한각항의계수의총합이 이다. 이때, 의값은? 1 2 3 4 5 22. 일때, 의값은? 1 2 3 4 5 27. 를전개하여간단히 하였을때, 의계수는? 1 2 3 4 5 23. 를전개하여 간단히하였을때, 상수항은? 1 2 3 4 5 28. 두자연수 와 를 로나누면나머지가각각

More information

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770>

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770> 삼각함수. 삼각함수의덧셈정리 삼각함수의덧셈정리 삼각함수 sin (α + β ), cos (α + β ), tan (α + β ) 등을 α 또는 β 의삼각함수로나 타낼수있다. 각 α 와각 β 에대하여 α >0, β >0이고 0 α - β < β 를만족한다고가정하 자. 다른경우에도같은방법으로증명할수있다. 각 α 와각 β 에대하여 θ = α - β 라고놓자. 위의그림에서원점에서거리가

More information

Microsoft PowerPoint - 27.pptx

Microsoft PowerPoint - 27.pptx 이산수학 () n-항관계 (n-ary Relations) 2011년봄학기 강원대학교컴퓨터과학전공문양세 n-ary Relations (n-항관계 ) An n-ary relation R on sets A 1,,A n, written R:A 1,,A n, is a subset R A 1 A n. (A 1,,A n 에대한 n- 항관계 R 은 A 1 A n 의부분집합이다.)

More information

public key private key Encryption Algorithm Decryption Algorithm 1

public key private key Encryption Algorithm Decryption Algorithm 1 public key private key Encryption Algorithm Decryption Algorithm 1 One-Way Function ( ) A function which is easy to compute in one direction, but difficult to invert - given x, y = f(x) is easy - given

More information

CS322 중간고사.docx

CS322 중간고사.docx Midterm Fall 2014 2014 년 10 월 10 월 21 일화요일오후 1:00 2:30 전산학동 E3-1 1501 호 ( 제 1 공동강의실 ) Prof. Choe, Kwang-Moo : : Grading Result: Problem Total 1 /10 /10 2 /10 /10 /10 /30 3 /5 /10 /15 4 /10 /15 /15 /40

More information

HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M.

HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. 오늘할것 5 6 HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. Review: 5-2 7 7 17 5 4 3 4 OR 0 2 1 2 ~20 ~40 ~60 ~80 ~100 M 언어 e ::= const constant

More information

PowerPoint Presentation

PowerPoint Presentation 5 불대수 IT CookBook, 디지털논리회로 - 2 - 학습목표 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환 04.

More information

Chapter4.hwp

Chapter4.hwp Ch. 4. Spectral Density & Correlation 4.1 Energy Spectral Density 4.2 Power Spectral Density 4.3 Time-Averaged Noise Representation 4.4 Correlation Functions 4.5 Properties of Correlation Functions 4.6

More information

<3130C0E5>

<3130C0E5> Redundancy Adding extra bits for detecting or correcting errors at the destination Types of Errors Single-Bit Error Only one bit of a given data unit is changed Burst Error Two or more bits in the data

More information

완비거리공간 완비거리공간 Definition 0.1. (X, d) 는거리공간일때 X의점렬 < a n > 이모든 ɛ > 0에대해 n o N such that n, m > n o = d(a n, a m ) < ɛ 을만족하면이점렬을코시열 (Cauchy sequence) 이라

완비거리공간 완비거리공간 Definition 0.1. (X, d) 는거리공간일때 X의점렬 < a n > 이모든 ɛ > 0에대해 n o N such that n, m > n o = d(a n, a m ) < ɛ 을만족하면이점렬을코시열 (Cauchy sequence) 이라 완비거리공간 완비거리공간 Definition 0.1. (X, d) 는거리공간일때 X의점렬 < a n > 이모든 ɛ > 0에대해 n o N such that n, m > n o = d(a n, a m ) < ɛ 을만족하면이점렬을코시열 (Cauchy sequence) 이라한다. Example 0.2. < a n > 이 p에수렴하는점렬이면모든 ɛ > 0에대해 n

More information

<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770>

<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770> 25 강. 수열의극한참거짓 2 두수열 { }, {b n } 의극한에대한 < 보기 > 의설명중옳은것을모두고르면? Ⅰ. < b n 이고 lim = 이면 lim b n =이다. Ⅱ. 두수열 { }, {b n } 이수렴할때 < b n 이면 lim < lim b n 이다. Ⅲ. lim b n =0이면 lim =0또는 lim b n =0이다. Ⅰ 2Ⅱ 3Ⅲ 4Ⅰ,Ⅱ 5Ⅰ,Ⅲ

More information

예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = B = >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = >> tf = (A==B) % A

예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = B = >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = >> tf = (A==B) % A 예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = 1 2 3 4 5 6 7 8 9 B = 8 7 6 5 4 3 2 1 0 >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = 0 0 0 0 1 1 1 1 1 >> tf = (A==B) % A 의원소와 B 의원소가똑같은경우를찾을때 tf = 0 0 0 0 0 0 0 0 0 >> tf

More information

01

01 2019 학년도대학수학능력시험 9 월모의평가문제및정답 2019 학년도대학수학능력시험 9 월모의평가문제지 1 제 2 교시 5 지선다형 1. 두벡터, 모든성분의합은? [2 점 ] 에대하여벡터 의 3. 좌표공간의두점 A, B 에대하여선분 AB 를 로외분하는점의좌표가 일때, 의값은? [2점] 1 2 3 4 5 1 2 3 4 5 2. lim 의값은? [2점] 4. 두사건,

More information

2

2 rev 2004/1/12 KAIST 2 6 7 1 13 11 13 111 13 112 18 113 19 114 21 12 24 121 24 122 26 13 28 131 28 132 30 133 (recurrence) 34 134 35 4 2 39 21 39 211 39 212 40 22 42 221, 42 222 43 223, 45 224 46 225, 48

More information

λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z)

λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z) λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z) Simple Type System - - 1+malloc(), {x:=1,y:=2}+2,... (stuck) { } { } ADD σ,m e 1 n 1,M σ,m e 1 σ,m e 2 n 2,M + e 2 n

More information

제1장 군 제1절 소개와 예 제2절 이항연산 2.1 보기. 다음은 정수방정식 a + x = b를 푸는 과정이다. (1) 준식에 a를 더하여 ( a) + (a + x) = ( a) + b. (2) 결합법칙을 사용하면 (( a) + a) + x = ( a) + b. (3)

제1장 군 제1절 소개와 예 제2절 이항연산 2.1 보기. 다음은 정수방정식 a + x = b를 푸는 과정이다. (1) 준식에 a를 더하여 ( a) + (a + x) = ( a) + b. (2) 결합법칙을 사용하면 (( a) + a) + x = ( a) + b. (3) 제장 군 제절 소개와 예 제절 이항연산. 보기. 다음은 정수방정식 + x = b를 푸는 과정이다. () 준식에 를 더하여 ( ) + ( + x) = ( ) + b. () 결합법칙을 사용하면 (( ) + ) + x = ( ) + b. () ( ) + = 임을 이용하면 + x = ( ) + b. (4) + x = x 이므로 x = ( ) + b. 이를 유리수방정식

More information

(72) 발명자 정진곤 서울특별시 성북구 종암1동 54-398 이용훈 대전광역시 유성구 어은동 한빛아파트 122동 1301 호 - 2 -

(72) 발명자 정진곤 서울특별시 성북구 종암1동 54-398 이용훈 대전광역시 유성구 어은동 한빛아파트 122동 1301 호 - 2 - (51) Int. Cl. (19) 대한민국특허청(KR) (12) 등록특허공보(B1) H04B 7/04 (2006.01) H04B 7/02 (2006.01) H04L 1/02 (2006.01) (21) 출원번호 10-2007-0000175 (22) 출원일자 2007년01월02일 심사청구일자 2008년08월26일 (65) 공개번호 10-2008-0063590 (43)

More information

슬라이드 1

슬라이드 1 장연립방정식을 풀기위한반복법. 선형시스템 : Guss-Sedel. 비선형시스템 . 선형시스템 : Guss-Sedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j b j j j

More information

고 학년도 9월고수학 1 전국연합학력평가영역문제지 1 1 제 2 교시 수학영역 5 지선다형 3. 두다항식, 에대하여 는? [ 점 ] 1. 의값은? ( 단, ) [ 점 ] 다항식 이 로인수분해될때, 의값은? ( 단,,

고 학년도 9월고수학 1 전국연합학력평가영역문제지 1 1 제 2 교시 수학영역 5 지선다형 3. 두다항식, 에대하여 는? [ 점 ] 1. 의값은? ( 단, ) [ 점 ] 다항식 이 로인수분해될때, 의값은? ( 단,, 고 208학년도 9월고수학 전국연합학력평가영역문제지 제 2 교시 수학영역 5 지선다형 3. 두다항식, 에대하여 는? [ 점 ]. 의값은? ( 단, ) [ 점 ] 2 3 2 3 4 5 4 5 2. 다항식 이 로인수분해될때, 의값은? ( 단,, 는상수이다.) [ 점 ] 4. 좌표평면위의두점 A, B 사이의거리가 일때, 양수 의값은? [ 점 ] 2 3 4 5 2

More information

문제지 제시문 2 보이지 않는 영역에 대한 정보를 얻기 위하여 관측된 다른 정보를 분석하여 역으로 미 관측 영역 에 대한 정보를 얻을 수 있다. 가령 주어진 영역에 장애물이 있는 경우 한 끝 점에서 출발하여 다른 끝 점에 도달하는 최단 경로의 개수를 분석하여 장애물의

문제지 제시문 2 보이지 않는 영역에 대한 정보를 얻기 위하여 관측된 다른 정보를 분석하여 역으로 미 관측 영역 에 대한 정보를 얻을 수 있다. 가령 주어진 영역에 장애물이 있는 경우 한 끝 점에서 출발하여 다른 끝 점에 도달하는 최단 경로의 개수를 분석하여 장애물의 제시문 문제지 2015학년도 대학 신입학생 수시모집 일반전형 면접 및 구술고사 수학 제시문 1 하나의 동전을 던질 때, 앞면이나 뒷면이 나온다. 번째 던지기 전까지 뒷면이 나온 횟수를 라 하자( ). 처음 던지기 전 가진 점수를 점이라 하고, 번째 던졌을 때, 동전의 뒷면이 나오면 가지고 있던 점수를 그대로 두고, 동전의 앞면이 나오면 가지고 있던 점수를 배

More information

PowerPoint Presentation

PowerPoint Presentation 컴퓨터비전 및 패턴인식 연구회 2009.2.12 Support Vector Machines http://cespc1.kumoh.ac.kr/~nonezero/svm ws cvpr.pdf 금오공과대학교 컴퓨터공학부 고재필 1 Contents Introduction Optimal Hyperplane Soft-Margin SVM Nonlinear SVM with Kernel

More information

2013unihangulchar {45380} 2unihangulchar {54617}unihangulchar {44592} unihangulchar {49328}unihangulchar {50629}unihangulchar {51312}unihangulchar {51

2013unihangulchar {45380} 2unihangulchar {54617}unihangulchar {44592} unihangulchar {49328}unihangulchar {50629}unihangulchar {51312}unihangulchar {51 Proem Se 4 산업조직론 (ECM004N) Fall 03. 독점기업이 다음과 같은 수요함수를 각각 가지고 있는 두 개의 소비자 그룹에게 제품을 공급한다고 하자. 한 단위 제품을 생산하는 데 드는 비용은 상수 이다. 다음 질문에 답하시오. P = A B Q P = A B Q () 두 그룹에 대하여 가격차별을 하고자 할 때 각 그룹의 균형생산량(Q, Q )과

More information

슬라이드 제목 없음

슬라이드 제목 없음 물리화학 1 문제풀이 130403 김대형교수님 Chapter 1 Exercise (#1) A sample of 255 mg of neon occupies 3.00 dm 3 at 122K. Use the perfect gas law to calculate the pressure of the gas. Solution 1) The perfect gas law p

More information

........pdf 16..

........pdf 16.. Abstract Prospects of and Tasks Involving the Policy of Revitalization of Traditional Korean Performing Arts Yong-Shik, Lee National Center for Korean Traditional Performing Arts In the 21st century, the

More information

LIDAR와 영상 Data Fusion에 의한 건물 자동추출

LIDAR와 영상 Data Fusion에 의한 건물 자동추출 i ii iii iv v vi vii 1 2 3 4 Image Processing Image Pyramid Edge Detection Epipolar Image Image Matching LIDAR + Photo Cross correlation Least Squares Epipolar Line Matching Low Level High Level Space

More information

<C7A5C1F620BEE7BDC4>

<C7A5C1F620BEE7BDC4> 연세대학교 상경대학 경제연구소 Economic Research Institute Yonsei Universit 서울시 서대문구 연세로 50 50 Yonsei-ro, Seodaemun-gS gu, Seoul, Korea TEL: (+82-2) 2123-4065 FAX: (+82- -2) 364-9149 E-mail: yeri4065@yonsei.ac. kr http://yeri.yonsei.ac.kr/new

More information

1 11 111 111-1 p, q, r A, B, C (1 p

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 Verilog: Finite State Machines CSED311 Lab03 Joonsung Kim, joonsung90@postech.ac.kr Finite State Machines Digital system design 시간에배운것과같습니다. Moore / Mealy machines Verilog 를이용해서어떻게구현할까? 2 Finite State

More information

152*220

152*220 152*220 2011.2.16 5:53 PM ` 3 여는 글 교육주체들을 위한 교육 교양지 신경림 잠시 휴간했던 우리교육 을 비록 계간으로이지만 다시 내게 되었다는 소식을 들으니 우 선 반갑다. 하지만 월간으로 계속할 수 없다는 현실이 못내 아쉽다. 솔직히 나는 우리교 육 의 부지런한 독자는 못 되었다. 하지만 비록 어깨너머로 읽으면서도 이런 잡지는 우 리

More information

7. 인실수 에대하여 log 의지표를 이라할때, 옳 은것을보기에서모두고르면? ( 단, 는 를넘지않는최대의정수이다.) 7 ) ㄱ. log ㄴ. log 의지표는 이다. ㄷ. log log 이면 은 자리의정수 이다. 10. 다음은어느인터넷사이트의지도상단에있는버튼의기능을설명한

7. 인실수 에대하여 log 의지표를 이라할때, 옳 은것을보기에서모두고르면? ( 단, 는 를넘지않는최대의정수이다.) 7 ) ㄱ. log ㄴ. log 의지표는 이다. ㄷ. log log 이면 은 자리의정수 이다. 10. 다음은어느인터넷사이트의지도상단에있는버튼의기능을설명한 제 2 교시 2008 년 5 월고 3 모의고사문제지 성명수험번호 3 1 먼저수험생이선택한응시유형의문제지인지확인하시오. 문제지에성명과수험번호를정확히기입하시오. 답안지에수험번호, 응시유형및답을표기할때는반드시 수험생이지켜야할일 에따라표기하시오. 단답형답의숫자에 0 이포함된경우, 0 을 OMR 답안지에반드시표기해야합니다. 문항에따라배점이다르니, 각물음의끝에표시된배점을참고하시오.

More information

장연립방정식을풀기위한반복법 12.1 선형시스템 : Gauss-Seidel 12.2 비선형시스템 12.1 선형시스템 : Gauss-Seidel (1/10) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정

장연립방정식을풀기위한반복법 12.1 선형시스템 : Gauss-Seidel 12.2 비선형시스템 12.1 선형시스템 : Gauss-Seidel (1/10) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정 . 선형시스템 : GussSedel. 비선형시스템. 선형시스템 : GussSedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. GS 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j j b j j 여기서 j b j j j 현재반복단계

More information

프로덕트 아이덴티티의 유형별 특성에 관한 연구

프로덕트 아이덴티티의 유형별 특성에 관한 연구 A Study on specific characteristic pattern of Product Identity - - - - (Smart & So ft) (Balance of Reason and Feeling). - - - - - - - - - - - - - (Originality),

More information

Microsoft PowerPoint - ch03ysk2012.ppt [호환 모드]

Microsoft PowerPoint - ch03ysk2012.ppt [호환 모드] 전자회로 Ch3 iode Models and Circuits 김영석 충북대학교전자정보대학 2012.3.1 Email: kimys@cbu.ac.kr k Ch3-1 Ch3 iode Models and Circuits 3.1 Ideal iode 3.2 PN Junction as a iode 3.4 Large Signal and Small-Signal Operation

More information

정수론 - (Number Theory)

정수론 - (Number Theory) 정수론 (Number Theory) 정주희 (Jeong, Joohee) Kyungpook National University 2017 년 9 월 4 일. 자연대 101 정주희 (Jeong, Joohee) (K.N.U.) 정수론 2017 년 9 월 4 일 1 / 36 목차 1 최대공약수 2 부정방정식과합동식 3 페르마의정리와오일러의정리 4 원시근, 이산로그,

More information

미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26

미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26 미분기하학 II-16 복소평면의 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26 자, 이제 H 2 의등장사상에대해좀더자세히알아보자. Definition 선형분수변환이란다음형식의사상을뜻한다. Example f (z) = az +

More information

5Àå-1.hwp

5Àå-1.hwp 51 연립일차방정식과행렬 52 행렬연산의성질 5 3 Gauss 소거법과 Gauss-Jordan 54 소거법 역행렬 라플라스 (Pierre-Simon Laplacc, 1749~1827) 나폴레옹이그의논문에신이언급되지않았다는까다로운지적을했을때라플라스는 " 폐하, 저는그가설이필요치않았습니다" 라고대답했다. 그리고미국의천문학자나다니엘보우디취는라플라스의논문을영역할때

More information

2013 학년도수학성취도측정시험 (2013학년도수시모집및외국인특별전형합격자대상 ) 2012년 12월 18일, 고사시간 90분 1번부터 11번까지는단답형이고, 12번부터 16번까지는서술형입니다. 답안지는깨끗한글씨로바르게작성하되, 단답형은답만쓰고, 서술형은풀이과정과답을명시

2013 학년도수학성취도측정시험 (2013학년도수시모집및외국인특별전형합격자대상 ) 2012년 12월 18일, 고사시간 90분 1번부터 11번까지는단답형이고, 12번부터 16번까지는서술형입니다. 답안지는깨끗한글씨로바르게작성하되, 단답형은답만쓰고, 서술형은풀이과정과답을명시 학년도수학성취도측정시험 (학년도수시모집및외국인특별전형합격자대상 년 월 8일, 고사시간 9분 번부터 번까지는단답형이고, 번부터 번까지는서술형입니다. 답안지는깨끗한글씨로바르게작성하되, 단답형은답만쓰고, 서술형은풀이과정과답을명시하시오. 총배점은 점이고, 각문항의배점은, 기본문제 (-번 각 점, 발전문제 (7-번 각 7점, 심화문제 (4번-번 각 점입니다. x x

More information

untitled

untitled 5. hamks@dongguk.ac.kr (regular expression): (recognizer) : F(, scanner) CFG(context-free grammar): : PD(, parser) CFG 1 CFG form : N. Chomsky type 2 α, where V N and α V *. recursive construction ) E

More information

산선생의 집입니다. 환영해요

산선생의 집입니다. 환영해요 Biped Walking Robot Biped Walking Robot Simulation Program Down(Visual Studio 6.0 ) ). Version.,. Biped Walking Robot - Project Degree of Freedom : 12(,,, 12) :,, : Link. Kinematics. 1. Z (~ Diablo Set

More information

<B3EDB9AEC0DBBCBAB9FD2E687770>

<B3EDB9AEC0DBBCBAB9FD2E687770> (1) 주제 의식의 원칙 논문은 주제 의식이 잘 드러나야 한다. 주제 의식은 논문을 쓰는 사람의 의도나 글의 목적 과 밀접한 관련이 있다. (2) 협력의 원칙 독자는 필자를 이해하려고 마음먹은 사람이다. 따라서 필자는 독자가 이해할 수 있는 말이 나 표현을 사용하여 독자의 노력에 협력해야 한다는 것이다. (3) 논리적 엄격성의 원칙 감정이나 독단적인 선언이

More information

Microsoft PowerPoint - LA_ch6_1 [호환 모드]

Microsoft PowerPoint - LA_ch6_1 [호환 모드] Chapter 6 선형변환은무질서한과정과공학제어시스템의설계에관한연구에사용된다. 또한전기및음성신호로부터의소음여과와컴퓨터그래픽등에사용된다. 선형변환 Liear rasformatio 6. 6 변환으로서의행렬 Matrices as rasformatios 6. 변환으로서의행렬 6. 선형연산자의기하학 6.3 핵과치역 6.4 선형변환의합성과가역성 6.5 컴퓨터그래픽 si

More information

Page 2 of 5 아니다 means to not be, and is therefore the opposite of 이다. While English simply turns words like to be or to exist negative by adding not,

Page 2 of 5 아니다 means to not be, and is therefore the opposite of 이다. While English simply turns words like to be or to exist negative by adding not, Page 1 of 5 Learn Korean Ep. 4: To be and To exist Of course to be and to exist are different verbs, but they re often confused by beginning students when learning Korean. In English we sometimes use the

More information

RVC Robot Vaccum Cleaner

RVC Robot Vaccum Cleaner RVC Robot Vacuum 200810048 정재근 200811445 이성현 200811414 김연준 200812423 김준식 Statement of purpose Robot Vacuum (RVC) - An RVC automatically cleans and mops household surface. - It goes straight forward while

More information

2005 7

2005 7 2005 7 ii 1 3 1...................... 3 2...................... 4 3.................... 6 4............................. 8 2 11 1........................... 11 2.................... 13 3......................

More information

비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2

비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 비트연산자 1 1 비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 진수법! 2, 10, 16, 8! 2 : 0~1 ( )! 10 : 0~9 ( )! 16 : 0~9, 9 a, b,

More information

도형의닮음 1 강 - 닮은도형과닮음중심 사이버스쿨우프선생 닮음도형 : 일정한비율로확대또는축소하였을때닮음모양의도형 기호 : ABCD A'B'C'D' [ 예제 1 ] 그림에서와같이두닮은도형 ABCD 와 A'B'C'D' 에서대응점, 대

도형의닮음 1 강 - 닮은도형과닮음중심 사이버스쿨우프선생   닮음도형 : 일정한비율로확대또는축소하였을때닮음모양의도형 기호 : ABCD A'B'C'D' [ 예제 1 ] 그림에서와같이두닮은도형 ABCD 와 A'B'C'D' 에서대응점, 대 도형의닮음 1 강 - 닮은도형과닮음중심 사이버스쿨우프선생 www.cyberschool.co.kr 닮음도형 : 일정한비율로확대또는축소하였을때닮음모양의도형 기호 : '''' [ 예제 1 ] 그림에서와같이두닮은도형 와 '''' 에서대응점, 대응변을말하여라. ' ' ' ' [ 풀이] 대응점 : 와 ', 와 ', 와 ', 와 ' 대응변 : 와 '', 와 '', 와 '',

More information

일반각과호도법 l 삼각함수와미분 1. 일반각 시초선 OX 로부터원점 O 를중심으로 만큼회전이동한위치에동경 OP 가있을때, XOP 의크기를나타내는각들을 ( 은정수 ) 로나타내고 OP 의일반각이라한다. 2. 라디안 rad 반지름과같은길이의호에대한중심각의 크기를 라디안이라한

일반각과호도법 l 삼각함수와미분 1. 일반각 시초선 OX 로부터원점 O 를중심으로 만큼회전이동한위치에동경 OP 가있을때, XOP 의크기를나타내는각들을 ( 은정수 ) 로나타내고 OP 의일반각이라한다. 2. 라디안 rad 반지름과같은길이의호에대한중심각의 크기를 라디안이라한 일반각과호도법 l 1. 일반각 시초선 OX 로부터원점 O 를중심으로 만큼회전이동한위치에동경 OP 가있을때, XOP 의크기를나타내는각들을 ( 은정수 ) 로나타내고 OP 의일반각이라한다. 2. 라디안 rad 반지름과같은길이의호에대한중심각의 크기를 라디안이라한다. 3. 호도법과육십분법 라디안 라디안 4. 부채꼴의호의길이와넓이 반지를의길이가 인원에서중심각이 인 부채꼴의호의길이를

More information

<4D F736F F D20BEE7C0DABFAAC7D0C0C720B1E2C3CA20C1DFB0A3B0EDBBE73120B4E4BEC8>

<4D F736F F D20BEE7C0DABFAAC7D0C0C720B1E2C3CA20C1DFB0A3B0EDBBE73120B4E4BEC8> . (5점) 다음과불확정성원리 (uncertainty principle) 를관계지어설명하시오. 가 (0점) Fourier transform (0줄이내 ) (Gaussian 함수를이용하여설명. 풀이에대한해석만정확하다면어떤함수를사용해도상관은없음 ) Ψ e 라두고이를 Fourier Transform 하면 gk π e e d 한편, 적분내부의수식을정리해보면 e e

More information

2018년 수학성취도 측정시험 모범답안/채점기준/채점소감 (2018학년도 수시모집, 정시모집 및 외국인특별전형 합격자 대상) 2018년 2월 13일, 고사시간 90분 2018년 1번 x3 + x2 + x 3 = x 1 x2 1 lim. [풀이] x3 + x2 + x 3

2018년 수학성취도 측정시험 모범답안/채점기준/채점소감 (2018학년도 수시모집, 정시모집 및 외국인특별전형 합격자 대상) 2018년 2월 13일, 고사시간 90분 2018년 1번 x3 + x2 + x 3 = x 1 x2 1 lim. [풀이] x3 + x2 + x 3 8년 수학성취도 측정시험 모범답안/채점기준/채점소감 (8학년도 수시모집, 정시모집 및 외국인특별전형 합격자 대상) 8년 월 일, 고사시간 9분 8년 번 x + x + x x x lim. [풀이] x + x + x (x )(x + x + ) lim x x x (x )(x + ) x + x + lim x x+ limx x + x + limx x + 6 lim 8년

More information

예제 1.1 ( 경기값과공정한경기 ) >> A = [5 3 9; 8 10 11; 6 2 8], P = [0 1 0], Q = [1 0 0]' % 3x3 행렬경기 A = 5 3 9 8 10 11 6 2 8 P = 0 1 0 Q = 1 0 0 >> E = P * A * Q % 경기자 R은항상 2행을선택하고 C는항상 1열을선택하면, % R은 $8을얻는것이보장되고

More information

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for 2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon

More information

Python과 함께 배우는 신호 해석 제 5 강. 복소수 연산 및 Python을 이용한 복소수 연산 (제 2 장. 복소수 기초)

Python과 함께 배우는 신호 해석 제 5 강. 복소수 연산 및 Python을 이용한 복소수 연산      (제 2 장. 복소수 기초) 제 5 강. 복소수연산및 을이용한복소수연산 ( 제 2 장. 복소수기초 ) 한림대학교전자공학과 한림대학교 제 5 강. 복소수연산및 을이용한복소수연산 1 배울내용 복소수의기본개념복소수의표현오일러 (Euler) 공식복소수의대수연산 1의 N 승근 한림대학교 제 5 강. 복소수연산및 을이용한복소수연산 2 복소수의 4 칙연산 복소수의덧셈과뺄셈에는직각좌표계표현을사용하고,

More information

벡터(0.6)-----.hwp

벡터(0.6)-----.hwp 만점을위한 수학전문가남언우 - 벡터 1강 _ 분점의위치벡터 2강 _ 벡터의일차결합 3강 _ 벡터의연산 4강 _ 내적의도형적의미 5강 _ 좌표를잡아라 6강 _ 내적의활용 7강 _ 공간도형의방정식 8강 _ 구의방정식 9강 _2014년수능최고난도문제 좌표공간에 orbi.kr 1 강 _ 분점의위치벡터 01. 1) 두점 A B 이있다. 평면 에있는점 P 에대하여 PA

More information

untitled

untitled 180-196 통계청 통계분석연구 2001 년가을 ( 제 6 권제 2 호 ) 비중심위사르트분포의왜도 ( 歪度 ) 에 관한연구 강철 * 박상돈 ** 비중심 (non-central) χ 2 -분포의다변량버전 (version) 인비중심위사르트 (non-central Wishart) 분포는다변량통계분포에서중요한역할은한다. 이논문에서는이러한비중심위사르트분포의중요한특성인왜도

More information

C# Programming Guide - Types

C# Programming Guide - Types C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 03 모델변환과시점변환 01 기하변환 02 계층구조 Modeling 03 Camera 시점변환 기하변환 (Geometric Transformation) 1. 이동 (Translation) 2. 회전 (Rotation) 3. 크기조절 (Scale) 4. 전단 (Shear) 5. 복합변환 6. 반사변환 7. 구조변형변환 2 기하변환 (Geometric Transformation)

More information

<30325FBCF6C7D05FB9AEC7D7C1F62E687770>

<30325FBCF6C7D05FB9AEC7D7C1F62E687770> 고1 2015학년도 9월고수학 1 전국연합학력평가영역문제지 1 1 제 2 교시 수학영역 1. 두복소수, 에대하여 의값은? ( 단, ) [2 점 ] 1 2 3 4 5 3. 좌표평면위의두점 P, Q 사이의거리는? [2 점 ] 1 2 3 4 5 2. 두다항식, 에대하여 를간단히하면? [2점] 4. 에서이차함수 의최댓값을, 최솟값을 이라할때, 의값은? [3점] 1

More information

<B1B9BEEE412E687770>

<B1B9BEEE412E687770> 201 학년도대학수학능력시험 6 월모의평가문제및정답 2016 학년도대학수학능력시험 6 월모의평가문제지 1 제 2 교시 5 지선다형 1. 두행렬 성분은? [2 점 ] 에대하여행렬 의 3. lim 의값은? [2점] 1 2 3 4 5 1 2 3 4 5 2. 의값은? [2점] 1 2 3 4 5 4. 공차가 인등차수열 에대하여 의값은? [3 점 ] 1 2 3 4 5

More information

cha4_ocw.hwp

cha4_ocw.hwp 제 4장 확률 우리는 일상생활에서 확률이라는 용어를 많이 접하게 된다. 확률(probability)는 한자어로 확실할 확( 確 ), 비율 률( 率 )로 해석된다. 로또당첨확률, 야구 한국시리즈에서 특정 팀이 우승 할 확률, 흡연자가 폐암에 걸릴 확률, 집값이 오를 확률 등 수없이 많은 확률들이 현대생활 에서 사용되어지고 있다. 대부분의 일간신문에는 기상예보

More information

수리영역 5. 서로다른두개의주사위를동시에던져서나온두눈의수의곱 이짝수일때, 나온두눈의수의합이 또는 일확률은? 5) 의전개식에서상수항이존재하도록하는모든자 연수 의값의합은? 7) 다음순서도에서인쇄되는 의값은? 6) 8. 어떤특산

수리영역 5. 서로다른두개의주사위를동시에던져서나온두눈의수의곱 이짝수일때, 나온두눈의수의합이 또는 일확률은? 5) 의전개식에서상수항이존재하도록하는모든자 연수 의값의합은? 7) 다음순서도에서인쇄되는 의값은? 6) 8. 어떤특산 제 2 교시 2008 학년도 10 월고 3 전국연합학력평가문제지 수리영역 성명수험번호 3 1 먼저수험생이선택한응시유형의문제지인지확인하시오. 문제지에성명과수험번호를정확히기입하시오. 답안지에수험번호, 응시유형및답을표기할때는반드시 수험생이지켜야할일 에따라표기하시오. 단답형답의숫자에 0 이포함된경우, 0 을 OMR 답안지에반드시표기해야합니다. 문항에따라배점이다르니,

More information

Page 2 of 6 Here are the rules for conjugating Whether (or not) and If when using a Descriptive Verb. The only difference here from Action Verbs is wh

Page 2 of 6 Here are the rules for conjugating Whether (or not) and If when using a Descriptive Verb. The only difference here from Action Verbs is wh Page 1 of 6 Learn Korean Ep. 13: Whether (or not) and If Let s go over how to say Whether and If. An example in English would be I don t know whether he ll be there, or I don t know if he ll be there.

More information

이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다

이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다 이장에서사용되는 MATLAB 명령어들은비교적복잡하므로 MATLAB 창에서명령어를직접입력하지않고확장자가 m 인 text 파일을작성하여실행을한다. 즉, test.m 과같은 text 파일을만들어서 MATLAB 프로그램을작성한후실행을한다. 이와같이하면길고복잡한 MATLAB 프로그램을작성하여실행할수있고, 오류가발생하거나수정이필요한경우손쉽게수정하여실행할수있는장점이있으며,

More information

Microsoft Word - FunctionCall

Microsoft Word - FunctionCall Function all Mechanism /* Simple Program */ #define get_int() IN KEYOARD #define put_int(val) LD A val \ OUT MONITOR int add_two(int a, int b) { int tmp; tmp = a+b; return tmp; } local auto variable stack

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 Chapter Radar Cross Section ( R C S ) 엄효준교수 한국과학기술원 Contents.1. RCS Definition.. RCS Prediction Methods.3. RCS Dependency on Aspect Angle and Frequency.4. RCS Dependency on Polarization.5. RCS of Simple

More information

소성해석

소성해석 3 강유한요소법 3 강목차 3. 미분방정식의근사해법-Ritz법 3. 미분방정식의근사해법 가중오차법 3.3 유한요소법개념 3.4 편미분방정식의유한요소법 . CAD 전처리프로그램 (Preprocessor) DXF, STL 파일 입력데이타 유한요소솔버 (Finite Element Solver) 자연법칙지배방정식유한요소방정식파생변수의계산 질량보존법칙 연속방정식 뉴톤의운동법칙평형방정식대수방정식

More information

<4D F736F F F696E74202D2035BBF3C6F2C7FC5FBCF8BCF6B9B0C1FA2E BC8A3C8AF20B8F0B5E55D>

<4D F736F F F696E74202D2035BBF3C6F2C7FC5FBCF8BCF6B9B0C1FA2E BC8A3C8AF20B8F0B5E55D> 5. 상평형 : 순수물질 이광남 5. 상평형 : 순수물질 상전이 phase transition 서론 ~ 조성의변화없는상변화 5. 상평형 : 순수물질 전이열역학 5. 안정성조건 G ng ng n G G 자발적변화 G < 0 G > G or 물질은가장낮은몰Gibbs 에너지를갖는상 가장안정한상 으로변화하려는경향 5. 상평형 : 순수물질 3 5. 압력에따른Gibbs

More information

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속 1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속 2 1.1 함수를표현하는네가지방법 함수 f : D E 는집합 D 의각원소 x 에집합 E 에속하는단하나의원소 f(x) 를 대응시키는규칙이다.

More information

Chapter 5

Chapter 5 POSTCH 이성익교수의 양자세계에관한강연 - 4 장 - 편집도우미 : POSTCH 학부생정윤영 Chpter 4 One-Diensionl Potentils du x x= u x u x + = V, x < = V, x> du x = ( V) u( x) x, ( ) du

More information

untitled

untitled (shared) (integrated) (stored) (operational) (data) : (DBMS) :, (database) :DBMS File & Database - : - : ( : ) - : - : - :, - DB - - -DBMScatalog meta-data -DBMS -DBMS - -DBMS concurrency control E-R,

More information

= ``...(2011), , (.)''

= ``...(2011), , (.)'' Finance Lecture Note Series 사회과학과 수학 제2강. 미분 조 승 모2 영남대학교 경제금융학부 학습목표. 미분의 개념: 미분과 도함수의 개념에 대해 알아본다. : 실제로 미분을 어떻게 하는지 알아본다. : 극값의 개념을 알아보고 미분을 통해 어떻게 구하는지 알아본다. 4. 미분과 극한: 미분을 이용하여 극한값을 구하는 방법에 대해 알아본다.

More information

Microsoft PowerPoint - 7-Work and Energy.ppt

Microsoft PowerPoint - 7-Work and Energy.ppt Chapter 7. Work and Energy 일과운동에너지 One of the most important concepts in physics Alternative approach to mechanics Many applications beyond mechanics Thermodynamics (movement of heat) Quantum mechanics...

More information

Microsoft PowerPoint - AC3.pptx

Microsoft PowerPoint - AC3.pptx Chapter 3 Block Diagrams and Signal Flow Graphs Automatic Control Systems, 9th Edition Farid Golnaraghi, Simon Fraser University Benjamin C. Kuo, University of Illinois 1 Introduction In this chapter,

More information

untitled

untitled 3. hmks@dongguk.c.kr..,, Type 3 (N. Chomsky) RLG : A tb, A t LLG : A Bt, A t where, A,B V N nd t V T *. LLG RLG,. ) G : S R S c R Sb L(G) = { n cb n n } is cfl. () A grmmr is regulr if ech rule is i) A

More information

ºÎ·ÏB

ºÎ·ÏB B B.1 B.2 B.3 B.4 B.5 B.1 2 (Boolean algebra). 1854 An Investigation of the Laws of Thought on Which to Found the Mathematical Theories of Logic and Probabilities George Boole. 1938 MIT Claude Sannon [SHAN38].

More information

13-darkenergy

13-darkenergy Special Topics in Nuclear and Particle Physics Astroparticle Physics Lecture 13 Inflation & Dark Energy Dec., 15 Sun Kee Kim Seoul National University (CMB) : 1 1 LSS? (Horizon problem) LSS sound horizon

More information

2002년 2학기 자료구조

2002년 2학기 자료구조 자료구조 (Data Structures) Chapter 1 Basic Concepts Overview : Data (1) Data vs Information (2) Data Linear list( 선형리스트 ) - Sequential list : - Linked list : Nonlinear list( 비선형리스트 ) - Tree : - Graph : (3)

More information

삼성955_965_09

삼성955_965_09 판매원-삼성전자주식회사 본 사 : 경기도 수원시 영통구 매탄 3동 416번지 제조원 : (주)아이젠 삼성 디지털 비데 순간온수 세정기 사용설명서 본 제품은 국내(대한민국)용 입니다. 전원, 전압이 다른 해외에서는 품질을 보증하지 않습니다. (FOR KOREA UNIT STANDARD ONLY) 이 사용설명서에는 제품보증서가 포함되어 있습니다. 분실되지 않도록

More information

6장정렬알고리즘.key

6장정렬알고리즘.key 6 : :. (Internal sort) (External sort) (main memory). :,,.. 6.1 (Bubbble Sort).,,. 1 (pass). 1 pass, 1. (, ), 90 (, ). 2 40-50 50-90, 50 10. 50 90. 40 50 10 비교 40 50 10 비교 40 50 10 40 10 50 40 10 50 90

More information

Infinity(∞) Strategy

Infinity(∞) Strategy 반복제어 표월성 passwd74@cherub.sungkyul.edu 개요 for() 문 break문과 continue문 while문 do-while문 for() 문 for() 문형식 for( 표현식1; 표현식2; 표현식3) 여러문장들 ; 표현식 1 : 초기화 (1 번만수행 ) 표현식 2 : 반복문수행조건 ( 없으면무한반복 ) 표현식 3 : 반복문수행횟수 for()

More information