[선형대수학] Lesson 0

Linear Independence → Analysis

선형독립은 왜 푸리에/조화/복소해석학과 연결될까?

스크립트 없이도 수식이 반듯하게 보이는 MathML과, 텍스트 대신 SVG로 만든 개념 지도로 정리했습니다.

1) 개념 요약

핵심 통찰 — 선형독립은 단지 벡터들의 관계가 아니라, 함수공간에서의 기저 독립성으로 일반화된다. 푸리에/조화/복소해석학은 “무한히 많은 선형독립 기저함수들의 선형결합”으로 세계를 표현하는 시도다.

• 선형독립 : “다른 것들의 선형결합으로 표현 불가”.
• 다항식 공간 : $\{1,x,x^2,\dots \}$ 는 기저이며 선형독립.
• 내적·직교 : 함수공간에서 ⟨f,g⟩, 직교는 간섭 없음.
• 힐베르트공간 : 무한차원 내적공간, $L^2$ 의 완비성.
• 푸리에 급수/변환 : {e^inx}, {sin nx, cos nx}는 정규직교기저.
• 복소해석과 연결 : e^ix = cos x + i sin x.

2) 개념 지도 (SVG 이미지)

3) 단계별 수식 흐름 (MathML)

① 선형독립

$$a_1{v}_1+a_2{v}_2+\cdots +a_n{v}_n=0$$ 가 항상 성립하려면 $a_1=a_2=\cdots =a_n=0$ 이어야 한다.

예: 다항식 기저 $\{1,x,x^2\}$ 는 선형독립.

② 내적공간

함수공간의 내적:

$$⟨f,g⟩={\int }_a^{b}f\left(x\right)g\left(x\right)dx$$

길이/각도: $\Vert f\Vert =\sqrt{⟨f,f⟩},\cos \theta =\frac{⟨f,g⟩}{\Vert f\Vert \Vert g\Vert }$

③ 정규직교기저

직교: $⟨f,g⟩=0$. 투영을 통한 계수:

$$f=\sum _{}^{}{c}_i{v}_i,c_i=⟨f,v_i⟩$$

④ 힐베르트공간

$L^2\left(\right[-\pi ,\pi \left]\right)=\{f:{\int }_{-\pi }^{\pi }{\left|f\right(x\left)\right|}^{2}dx<\infty \}$ — 완비(극한이 공간 안에 존재).

⑤ 푸리에 해석학

정규직교성:

$${\int }_{-\pi }^{\pi }{e}^{i(m-n)x}dx=\{\begin{array}{l}0\text{(}m\ne n\text{)}\\ 2\pi \text{(}m=n\text{)}\end{array}$$

전개/계수:

$$f\left(x\right)=\sum _{n=-\infty }^{\infty }{c}_n{e}^{inx},c_n=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f\left(x\right)e^{-inx}dx$$

⑥ 조화해석학(일반화)

$$f\left(x\right)={\int }_{-\infty }^{\infty }c\left(\xi \right)e^{i\xi x}d\xi$$

⑦ 복소해석과 연결

$e^{ix}=\cos \hspace{0.17em}x+i\hspace{0.17em}\sin \hspace{0.17em}x$

4) 대응표

선형대수 개념	해석학에서의 대응	직관
선형결합	함수의 합/중첩	신호의 겹침
선형독립	서로 다른 주파수	중복 없는 진동
기저	삼각/지수/조화 기저	표현의 원자들
차원	독립 주파수의 개수	표현 자유도
내적	$⟨f,g⟩={\int }_a^{b}f\left(x\right)g\left(x\right)dx$	함수 간 각도
직교	간섭 없음	신호 분리

5) 한 문장 요약

선형독립은 해석학의 심장에서 “함수들이 서로 다른 주파수를 가진다”는 사실로 다시 나타난다. 푸리에/조화/복소해석학은 그 무한차원적 확장이다.

이 문서는 스크립트 없이 동작하는 MathML & SVG 버전입니다.

#선형대수학 #푸리에해석 #조화해석 #복소해석 #힐베르트공간