교사용 지도 · 48차시

고급대수 선형대수
48차시 운영 설계

수업·탐구 프레젠테이션 32차시와 평가·피드백 12–15차시로 구성한다. 남는 1–4차시는 학교 일정, 결손 보충, 재설명에 배정한다.

32차시 프레젠테이션 첫 수업 열기

A50분 수업 구성

설명을 먼저 길게 하지 않는다. 학생이 값을 바꾸고 패턴을 말한 뒤, 그 관찰을 수식과 조건으로 정리한다. 마지막에는 같은 구조를 다른 현상으로 옮겨 보게 한다.

예측 · 5분

계산 전에 결과의 방향, 해의 개수, 보존될 양을 먼저 적는다.

조작 · 15분

위젯이나 손계산으로 예를 바꾸어 본다. 정답 확인보다 반례 찾기에 시간을 쓴다.

공식화 · 12분

관찰에서 필요한 정의와 식을 꺼낸다. 기호는 현상에 이름을 붙이는 순서로 도입한다.

정당화 · 10분

왜 그런지 증명하고, 가정을 하나 지웠을 때 생기는 반례를 비교한다.

전이 · 6분

같은 수학이 쓰이는 새 맥락을 짝과 설명한다.

성찰 · 2분

페이지 끝의 출구 질문에 수식이나 예를 넣어 한 문장으로 답한다.

개념 경로

개념의 선수 관계

실선은 선수 관계, 점선은 다른 과목으로 넘어가는 사고 허브다. 노드를 누르면 해당 수업 자료로 이동한다.

32차시 학습 경로

32차시 수업·탐구안

‘활동’은 학생이 직접 계산하거나 조작할 과제다. ‘출구 질문’은 해당 차시의 개념 이해를 확인하는 문항이다.

도입 · 선형 모델의 범위

01 · 도입

활동

현상 카드를 먼저 분류하고, 반례 하나로 판단을 수정한다.

출구 질문

평행이동은 왜 선형변환이 아닌가?

linalg:linear-mappings

02 · 도입

활동

확대 배율과 진폭을 바꾸며 오차가 커지는 경계를 기록한다.

출구 질문

“선형이다”와 “선형으로 근사한다”는 어떻게 다른가?

hub:linearization

1단계 · 공간과 좌표

03 · Unit 1

활동

서로 다른 대상에서 덧셈과 스칼라배를 직접 만든다.

출구 질문

벡터를 ‘화살표’라고만 정의하면 놓치는 예는?

field-and-vector-space

04 · Unit 1

활동

공리 하나를 바꾼 연산에서 성립하지 않는 계산을 찾는다.

출구 질문

공리가 여러 사례를 한 번에 다루게 하는 까닭은?

field-and-vector-space

05 · Unit 1

활동

벡터 두 개의 모든 일차결합을 그린 뒤 부분공간을 판정한다.

출구 질문

부분공간이 반드시 원점을 포함하는 이유는?

field-and-vector-space

06 · Unit 1

활동

평면을 생성하는 세 벡터에서 종속인 벡터를 제거한다.

출구 질문

생성집합과 기저는 무엇이 다른가?

basis-and-dimension

07 · Unit 1

활동

기저를 바꾸어 벡터와 좌표의 차이를 확인한다.

출구 질문

기저가 바뀌어도 변하지 않는 것은 무엇인가?

basis-and-dimension

08 · Unit 1

활동

잔차가 기준 방향과 직교할 때 거리가 최소임을 실험한다.

출구 질문

벡터공간만으로 각도를 말할 수 없는 이유는?

scalar-products-and-orthogonality

2단계 · 방정식과 변환

09 · Unit 2

활동

같은 식을 직선의 교점, 열의 결합, 원상의 문제로 설명한다.

출구 질문

Ax=b에서 해가 있다는 말은 b가 어디에 있다는 뜻인가?

matrices-and-linear-equations

10 · Unit 2

활동

계산 전에 유일해·무한해·무해를 예측하고 소거로 확인한다.

출구 질문

피벗의 수는 무엇을 세는가?

matrices-and-linear-equations

11 · Unit 2

활동

격자를 직선으로 누르는 변환에서 핵과 상을 표시한다.

출구 질문

정의역의 차원은 어디로 나뉘는가?

linear-mappings

12 · Unit 2

활동

같은 변환을 두 기저에서 기록해 서로 다른 행렬을 얻는다.

출구 질문

행렬이 달라도 같은 변환일 수 있는가?

linear-maps-and-matrices

13 · Unit 2

활동

회전과 반사를 바꿔 적용하고 결과가 같은 조건을 찾는다.

출구 질문

AB에서 먼저 작용하는 행렬은 어느 쪽인가?

linear-maps-and-matrices

14 · Unit 2

활동

전단·반사·투영에서 넓이와 방향을 먼저 예측한다.

출구 질문

det A=0이 역변환 불가능과 같은 말인 까닭은?

determinants

15 · Unit 2

활동

회전·닮음·일반 가역변환에서 보존되는 성질을 분류한다.

출구 질문

허용하는 변환이 많아지면 불변량은 어떻게 되는가?

hub:symmetry-groups

3단계 · 고유구조와 대각화

16 · 스펙트럼

활동

벡터 방향을 바꾸며 고유방향을 찾고 고윳값을 계산한다.

출구 질문

왜 det(A−λI)=0이어야 하는가?

eigenvalues-and-characteristic-polynomial

17 · 스펙트럼

활동

대칭행렬, 전단행렬, 회전행렬의 고유공간을 비교한다.

출구 질문

고윳값이 존재해도 대각화되지 않는 예는?

triangulation-and-primary-decomposition

18 · 스펙트럼

활동

2×2와 3×3 행렬에서 P, D, Aⁿ을 계산한다.

출구 질문

P의 열과 D의 대각 원소는 각각 무엇인가?

linear-maps-and-matrices → spectral

4단계 · 행렬 분해와 최적화

19 · 분해

행렬 분해의 목적과 선택

LU, Cholesky, QR, 고유분해, SVD, Schur, 극분해를 목적별로 구분한다.

활동

연립방정식, 최소제곱, 반복, 압축 문제에 알맞은 분해를 선택한다.

출구 질문

모든 정사각행렬에 고유분해 대신 Schur 분해를 적용할 수 있는 이유는?

triangulation-and-primary-decomposition

20 · 분해

활동

전진·후진대입으로 해를 구한 뒤 xᵀHx−2bᵀx의 최솟값을 계산한다.

출구 질문

H=LLᵀ이면 이차형식이 음수가 될 수 없는 이유는?

positive-definite-forms

21 · 최적화

활동

네 점의 회귀직선을 구하고 잔차가 열공간에 직교함을 확인한다.

출구 질문

잔차의 제곱합을 미분한 식과 직교 조건이 같은 이유는?

scalar-products-and-orthogonality

22 · 최적화

활동

각도를 바꾸어 이차형식의 그래프를 그리고 미분값 0과 고유방향을 맞춘다.

출구 질문

Rayleigh 몫이 최소·최대 고윳값 사이에 놓이는 이유는?

spectral-theorem

23 · 최적화

활동

5x²+4xy+2y²를 6u²+v²로 바꾸고 헤세 행렬로 최소점을 계산한다.

출구 질문

양의 정부호 헤세 행렬이 엄격한 최솟값을 보장하는 이유는?

dual-space-and-bilinear-forms

24 · 분해

활동

단위원의 변환과 rank-1 복원을 비교하고 Frobenius 오차를 계산한다.

출구 질문

가장 작은 특잇값부터 버리는 근사가 최적인 이유는?

spectral-decomposition

25 · 통계

활동

네 점의 공분산을 계산하고 1차원 투영의 설명분산과 복원오차를 비교한다.

출구 질문

PCA의 최대분산 문제와 최소 재구성오차 문제가 같은 이유는?

spectral-theorem → data-analysis

5단계 · 동역학과 모델링

26 · 반복

활동

피보나치 행렬의 거듭제곱과 점화식을 계산한다.

출구 질문

최소다항식은 거듭제곱 계산을 어떻게 더 줄이는가?

polynomials-of-operators

27 · 반복

활동

두 상태의 분포 변화를 그리고 PageRank의 순간이동 항을 계산한다.

출구 질문

감쇠항은 PageRank의 존재성과 수렴을 어떻게 안정화하는가?

prob:markov-chains uses eigenvalues

28 · 공학

결합진동과 정규모드

강성행렬의 고유벡터를 진동 모양, 고윳값을 각진동수의 제곱으로 해석한다.

활동

두 질량의 동상·역상 모드를 계산하고 초기상태를 두 모드로 분해한다.

출구 질문

고윳값과 실제 각진동수를 구분해야 하는 이유는?

spectral-theorem → normal-modes

29 · 그래프

활동

작은 그래프에서 Lf와 fᵀLf를 계산하고 확산을 반복한다.

출구 질문

고윳값이 큰 모드가 확산에서 먼저 사라지는 이유는?

spectral-graph-theory

30 · 제어·AI

상태공간·제어·시퀀스 모델

현재 상태와 입력으로 다음 상태를 계산하고 도달가능성과 안정성을 판정한다.

활동

위치·속도 모형의 두 단계 입력을 계산하고 목표상태 도달 여부를 확인한다.

출구 질문

제어 모형과 AI 상태공간 모형에서 행렬 A가 공통으로 나타내는 것은?

linear-dynamical-systems

31 · 비선형

국소 선형화·Newton·Koopman

Jacobian과 헤세 행렬로 근과 최솟값을 갱신하고 특징공간의 선형화를 구분한다.

활동

x²−2=0의 Newton 반복과 비선형 궤도의 국소 선형근사를 비교한다.

출구 질문

상태공간 선형화와 특징공간 선형화는 무엇이 다른가?

hub:linearization

32 · 종합

활동

여섯 주제 중 하나를 골라 작은 수치 예시를 완성하고 네 문장으로 발표한다.

출구 질문

모델의 결론을 검증하려면 어떤 계산과 반례가 필요한가?

uses · instance-of · limitation

B48차시 운영 배치

수업·탐구 32차시

1–18차시는 기본 구조와 대각화, 19–25차시는 행렬 분해와 최적화, 26–32차시는 동역학·AI·모델링으로 편성한다. 각 프레젠테이션은 50분 한 차시를 기준으로 하되 계산 속도에 따라 두 차시로 확장할 수 있다.

평가·피드백 12–15차시

수행평가 설계·자료 수집·중간 점검·발표·재제출에 8–11차시, 지필평가와 해설에 4차시를 배정한다. 남는 1–4차시는 결손 보충, 학교 행사, 계산 재연습에 사용한다. 평가는 32개 학생용 발표자료와 별도 운영한다.

진단 질문

오개념을 드러내는 질문

정답을 제시하기 전에 학생이 현재 어떻게 생각하는지 확인한다.

오개념	진단 질문	반례 또는 활동	도달할 문장
벡터는 화살표다	두 다항식을 더한 결과도 ‘벡터 덧셈’이라 부를 수 있을까?	다항식·소리 탭에서 같은 공리를 확인한다.	벡터는 연산과 공리로 정해진다.
좌표가 벡터 자체다	기저를 바꾸면 벡터도 바뀌는가?	같은 점을 두 기저의 좌표로 쓴다.	벡터는 같고 좌표 표현이 달라진다.
행렬곱은 순서를 바꿔도 된다	회전 뒤 반사와 반사 뒤 회전은 같은가?	합성 실험실에서 두 파이프라인을 겹친다.	행렬곱은 변환의 순서를 기록한다.
고윳값이 있으면 대각화된다	전단행렬에는 고유벡터가 몇 개나 필요한가?	전단과 대칭행렬의 고유방향 수를 비교한다.	공간을 채우는 고유기저가 있어야 대각화된다.
반복하면 언제나 한 방향만 남는다	두 고윳값의 절댓값이 같으면?	90° 회전과 주기 2 마르코프 연쇄를 본다.	유일한 지배 고윳값과 해당 초기 성분이 필요하다.

평가

수학적 모델링 루브릭

계산 결과보다 구조를 선택하고 조건을 설명하는 과정을 더 비중 있게 평가한다.

평가 요소	4 · 구조를 스스로 선택	3 · 구조를 정확히 사용	2 · 일부 연결	1 · 절차만 수행
대상과 표현 25%	공간·스칼라·입출력·기저를 타당하게 정하고 대안을 비교한다.	주어진 대상을 올바른 벡터·행렬로 표현한다.	표현은 있으나 차원이나 기저 설명이 불완전하다.	행렬을 적었지만 각 성분의 뜻을 설명하지 못한다.
계산과 검증 25%	손계산과 시뮬레이션을 교차 검증하고 오차를 분석한다.	계산이 정확하고 예를 바꾸어 결과를 확인한다.	핵심 계산 일부가 맞지만 검증이 부족하다.	계산 절차에 오류가 많거나 결과만 제시한다.
조건과 정당화 30%	정리의 가정을 확인하고 실패 사례나 반례까지 설명한다.	결론이 성립하는 이유를 정의·정리와 연결한다.	직관은 있으나 조건이나 논리가 빠진다.	“그래프가 그렇게 나왔다”만 근거로 쓴다.
해석과 전이 20%	모형의 한계를 밝히고 다른 맥락의 같은 구조로 옮긴다.	계산 결과를 원래 현상의 언어로 정확히 해석한다.	수학 결과와 현상 설명의 연결이 부분적이다.	수치만 보고하고 의미를 해석하지 않는다.

개념 경로의 근거와 교사용 확인 목록

선수 관계. field-and-vector-space → basis-and-dimension → linear-mappings, matrices-and-linear-equations + linear-mappings → linear-maps-and-matrices → determinants → eigenvalues, eigenvalues + symmetric/hermitian/unitary → spectral-theorem.

과목 간 전이. 전미분은 선형사상, 야코비안은 그 행렬 표현이다. 접공간은 벡터공간, 제1기본형식은 내적, 주곡률은 형상작용소의 고윳값이다. 마르코프 연쇄와 스펙트럴 그래프 이론은 고윳값을 장기 거동과 구조 판정에 쓴다.

수업 전 확인. 발표 모드에서 장면 순서가 맞는지, 인터넷 없이도 핵심 설명이 남는지, 위젯의 초기값이 오늘의 질문을 잘 드러내는지, 출구 질문에 필요한 개념을 실제로 다뤘는지 확인한다.