무브

오르비

아톰

내 태그

내 태그 설정

입시
학습
생활
클럽
직업·취업
Epioptimus
Centurion

Канчё [1020565] · MS 2020 · 쪽지

2024-02-13 15:36:50
조회수 8,396

신기한 수학적 대상들 (ft. 프리드버그 선형대수학)

게시글 주소: https://snu.orbi.kr/00067231862

1. 다항식의 나눗셈 정리 (division algorithm for polynomials)


자연수 n과 음이 아닌 정수 m이 있다.


n차 다항식 f(x)와 m차 다항식 g(x)에 대하여


다음을 만족하는 다항식 q(x)와 r(x)가 유일하게 존재한다.




이때 r(x)의 차수는 m보다 작다.



--> 이것을 통해 수학(상) (22개정부터는 공통수학1) 에서 다루는


다항식의 나눗셈 결과가 유일함을 확인할 수 있습니다.


수능까지 도달했다가 고1 과외를 위해 복습해보신 분들은


한 번쯤 '이 결과가 유일한가'라는 질문을 스스로에게


던져보지 않으셨을까 생각해봅니다. 저는 그랬습니다.









2. 다항식의 인수분해의 유일성


차수가 자연수인 임의의 다항식 f(x)에 대하여


다음을 만족하는 유일한 상수 c, 서로 다른 유일한


기약(irreducible, 차수가 자연수이고 어떤 체의 원소를 계수로 가지며, 


자연수 차수를 가지는 다항식의 곱으로 표현되지 않는 성질) 모닉(monic, 


최고차항의 계수가 1인 다항식. 일차식) 다항식

, 유일한 자연수

가 존재한다.



--> 이것을 통해 마찬가지로 다항식을 인수분해한 결과가


유일함을 확인하고 넘어갈 수 있습니다.







3. 복소수에 관한 이야기



- 복소평면은 우리가 일반적으로 사용하는 직교좌표계에서와 마찬가지로


두 축으로 구성된다. x축 자리에 실수축, y축 자리에 허수축이 위치하곤 한다.


따라서 어떤 복소수의 실수부, 허수부는 각각 복소평면에 대응되는 벡터의


종점의 x좌표, y좌표가 된다.


- 복소수는 복소평면의 벡터로 생각할 수 있다.


- 복소수의 덧셈은 벡터의 덧셈에 대응한다.


- 복소수의 곱셈 결과에 해당하는 벡터는 각 벡터(복소수)가 


실수축의 양의 방향과 이루는 각의 크기를 모두 더한 크기의 각을 지닌다.


- 이외에 아래의 식을 확인하라!




이때 e^(i@)는 복소평면에서 크기가 1이고 


실수축의 양의 방향과 이루는 각의 크기가 @인 벡터이다.


즉, 단위벡터이다.


따라서 모든 복소수를 다음과 같이 이해할 수 있다.





--> 고등학교 1학년 교육과정 밖의 내용이 조금 섞여있지만


이를 이해함으로써 복소수에 대한 보다 넓은 시야를 갖출 수 있습니다.








4. 대수학의 기본 정리


먼저 미적분학의 기본 정리(the fundamental theorem of calculus)는 다음과 같다.


FTC1:




FTC2:




비슷한 이름인 대수학의 기본 정리(the fundamental theorem of algebra)는


다음과 같다.


복소수체 C에 대한 벡터공간 P의 다항식





--> 이를 통해 복소수 범위에서 모든 다항식은


식의 값이 0이 되도록 하는 독립변수값이 존재함을 알 수 있습니다.


보통 고등학교 수학에서는 실수 범위에서 이야기를 이어가기에


차수가 홀수인 다항식은 사잇값 정리(the intermediate value theorem)를 통해


근의 존재성을 직관적으로 확인할 수 있는 데에서 그치지만,


대수학의 기본 정리를 확인함으로써 복소수 차원에서 다항식은


항상 해를 갖는다는 사실을 보다 명확히 인식할 수 있겠습니다.











5. 체, 벡터공간, 다항식에 대하여


먼저 체의 정의는 다음과 같습니다.



그리고 벡터공간의 정의는 다음과 같습니다.



이에 따른 다항식의 정의가 다음과 같습니다.





--> 이를 통해 수학(상)에서 다항식을 공부할 때


다항식의 무엇이냐라는 정의에 대한 질문에 보다


체계적으로 답할 수 있을 것이라 생각합니다.


이전에 위키백과에서 확인한 바로는


f(x)=0의 경우 차수를 정의하지 않거나 -무한대로 정의한다고


확인했던 기억이 있는데 프리드버그 선형대수학 교재에서는


-1차로 정의하고 있네요!








p.s. 수학을 공부하다 보면 A를 설명하기 위해 B가 필요한데


B를 설명하기 위해서는 A가 필요한 그러한 상황을


맞이할 수 있다고 느꼈습니다. 물론 배움이 부족하여 그렇게


느끼는 것일테지만 이러한 상황에서 수학적 대상이라는 표현이


도움이 될 수 있다는 생각이 들었습니다.


물론 수학적 대상이라는 것도 인간이 언어를 발명하고


수학과 대상이라는 단어의 의미를 정의한 후에 


비로소 의미를 지니게 된 표현이겠지만...


인간은 내가 직접 감각하는 것들 외에는


어떠한 개념의 유래, 발생 과정 등에 대해


확신을 갖지 못할 때가 있지 않습니까?


어느 정도는 이해하지 못했다는 느낌을 안고 넘어가는 것도


학습을 이어가는 데에 도움이 될 수 있지 않을까 하는 생각을 해봅니다.

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

Канчё [1020565]

쪽지 보내기

  • 응애... · 1233158 · 02/13 15:40 · MS 2023

    고딩때 벡터 배울 때 벡터의 연산을 합이랑 스칼라곱을 배우는데
    이걸 일반화시켜서 합이랑 스칼라곱이 잘 작동하는 공간의 원소를 벡터
    내적도 뒤에 보면 똑같이 일반화함

    좋아요 1 답글 달기 신고
  • Канчё · 1020565 · 02/13 15:46 · MS 2020

    n-tuple에 대해 같은 순서에 해당하는 원소끼리 곱하여 모두 더한다 <-- n차원 벡터공간에서의 내적의 정의

    좋아요 0 답글 달기 신고
  • KWSK · 1211033 · 02/13 16:45 · MS 2023

    field를 선대에서도 언급하고 가나요? 선대본지 오래돼서 가물가물

    좋아요 0 답글 달기 신고
  • Канчё · 1020565 · 02/13 18:28 · MS 2020

    강의는 아직 들어보지 못해 잘 모르겠습니다, 본문에 활용한 교재의 경우 첫 단원에서 벡터 공간을 정의할 때 체를 언급하고 맨 뒷 부분 부록에 소개해두었더라고요!

    좋아요 0 답글 달기 신고
  • KWSK · 1211033 · 02/13 18:47 · MS 2023

    잘 기억은 안나는데 프리드버그가 확실히 수학과에서 쓰기 좋다던데 세밀하네요... 선대군엔 있었던거같기도? 없었던거같기도. 제가 배울때 썼던 strang에는 없었던거같음.

    좋아요 1 답글 달기 신고
  • lim(x→∞) · 1072721 · 02/16 19:41 · MS 2021
    좋아요 0 답글 달기 신고
  • Канчё · 1020565 · 02/17 00:21 · MS 2020

    먼 나라 이웃 나라

    좋아요 0 답글 달기 신고
글쓰기
오르비 1347629번째 회원 가입
ddna
1,422,072 건의 게시물이
블록체인에 디지털 공증되었습니다.
901,751
497,321
22,267
574
159

오늘의 추천 글

2025 수능D - 8

오르비 플레이

오르비 RARE

오르비 과외시장
Move
our corporate site
Orbi Class
on-line classes
Atom
educational books & resources
Gae9
humor and fun

© 2000-2024 Move Inc.

orbisoptimus (v17-38ba2b)