From 60ca9749f731f71f7f967dfac4380fcb95a17def Mon Sep 17 00:00:00 2001 From: songyc macbook Date: Thu, 6 Aug 2026 22:14:36 +0900 Subject: [PATCH] =?UTF-8?q?3=EC=9E=A5=20=EC=99=84=EC=A0=84=20=EC=A2=85?= =?UTF-8?q?=EB=A3=8C:=20=EC=8B=B1=ED=81=AC=EB=A1=9C=20=EB=B6=80=EC=97=AC?= =?UTF-8?q?=EB=90=9C=20=EC=B9=B4=EB=93=9C=20id=20=EB=B0=98=EC=98=81=20+=20?= =?UTF-8?q?CLAUDE.md=20=EA=B0=B1=EC=8B=A0=20(=EB=AA=A8=EB=8D=B8=EB=AA=85?= =?UTF-8?q?=20=EA=B7=9C=EC=B9=99=C2=B7=ED=8A=B8=EB=9F=AC=EB=B8=94=EC=8A=88?= =?UTF-8?q?=ED=8C=85=C2=B7=EB=AA=A8=EB=B0=94=EC=9D=BC=20=ED=94=8C=EB=A1=9C?= =?UTF-8?q?=EC=9A=B0=C2=B7=EC=A7=84=ED=96=89=EC=83=81=ED=99=A9)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01G8rNxLqi5rYjRamC8uwiJW --- CLAUDE.md | 8 ++++++-- Major Study/pages/3.1 벡터공간과 부분공간.md | 6 ++++++ .../pages/3.2 소거법을 이용한 영공간 계산 A = CR.md | 6 +++++- Major Study/pages/3.3 Ax = b의 완전해.md | 4 ++++ Major Study/pages/3.4 독립, 기저, 차원.md | 1 + Major Study/pages/3.5 4가지 기본 부분공간의 차원.md | 4 ++++ 6 files changed, 26 insertions(+), 3 deletions(-) diff --git a/CLAUDE.md b/CLAUDE.md index d1c3fa5..40205bf 100755 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -11,7 +11,10 @@ disable-anki-sync:: true - `Programming/` — 코딩 (알고리즘·자료구조·언어). Anki 프로파일 **Programming** - `Major Study/` — 전공 (스트랭 선형대수학). Anki 프로파일 **Major Study** - 각 그래프는 자기 `pages/ assets/ logseq/ journals/`를 가진다. **그래프 간 `[[링크]]`·`((uuid))` 참조는 불가능**하다. -- **Anki 동기화 규칙**: 그래프↔프로파일 1:1. 플러그인은 "그 순간 Anki에 열려 있는 프로파일"에 싱크하므로, **싱크 전에 반드시 짝이 맞는 프로파일이 열려 있는지 확인**한다 (Claude가 AnkiConnect `deckNames`로 확인 가능). 싱크 미리보기에서 **create/delete가 0이 아니면 진행 금지** (잘못된 프로파일 신호). 프로파일을 나눈 이유: 플러그인이 "현재 그래프에 없는 카드 = 삭제 대상"으로 취급해, 한 프로파일을 공유하면 서로의 카드를 지우려 들기 때문. +- **Anki 동기화 규칙**: 그래프↔프로파일 1:1. 플러그인은 "그 순간 Anki에 열려 있는 프로파일"에 싱크하므로, **싱크 전에 반드시 짝이 맞는 프로파일이 열려 있는지 확인**한다 (Claude가 AnkiConnect `deckNames`로 확인 가능). 싱크 미리보기에서 **새로 만든 카드 수보다 create가 많거나 delete가 0이 아니면 진행 금지**. 프로파일을 나눈 이유: 플러그인이 "현재 그래프에 없는 카드 = 삭제 대상"으로 취급해, 한 프로파일을 공유하면 서로의 카드를 지우려 들기 때문. +- **⚠️ 노트 유형(모델) 이름은 그래프 이름에 종속된다**: 플러그인은 `{그래프명}Model`(공백→`_`)이라는 노트 유형만 자기 카드로 인식한다. 현재: `English_StudyModel` / `ProgrammingModel` / `Major_StudyModel` (2026-08-06 그래프 분리 때 기존 `LogseqModel`에서 개명해 이전 완료). **그래프 폴더명을 바꾸면 카드 매칭이 전부 깨지므로 절대 변경 금지.** 증상: 싱크 미리보기에 기존 카드까지 전부 create로 뜸. +- 싱크 트러블슈팅: ① 기존 카드가 전부 create로 뜨면 → 모델명 불일치 또는 잘못된 프로파일. ② Anki에 모달 창(프로필 전환 등)이 떠 있으면 AnkiConnect 조회가 실패해 전량 create로 오표시된다. ③ 모델명은 눈이 아니라 AnkiConnect `modelNames`로 비교할 것 (개명 시 개행문자가 딸려 들어간 사례 있음). +- AnkiWeb: 프로파일별 별도 계정 3개 사용 (계정 하나 = 컬렉션 하나라서). 모바일 동기화는 각 프로파일이 자기 계정으로. - 저장소 루트에는 그래프 폴더 3개와 `CLAUDE.md`, `.gitignore`, `.claude/`만 둔다 (분리 전 잔재는 2026-08-06 정리 — 옛 Index Page·설정 등은 태그 `before-graph-split`에서 복원 가능). - ## 작업 흐름 (중요) id:: 6a5cd2bb-6915-4aec-bfb8-88d45154e0ef @@ -143,7 +146,7 @@ disable-anki-sync:: true - **해답집**: `Major Study/assets/solution_1784335983942_0.pdf` — 스트랭 6판 공식 영문 솔루션 (전 챕터). 문제 번호는 한국어판과 동일하다. 각 챕터의 "Problem Set x.y" 헤더로 위치를 찾는다 (1장 해답: PDF 2~18쪽). - **PDF 읽는 법**: 단원 PDF는 스캔+OCR본이라 텍스트 레이어의 수식이 깨져 있다. 정리할 때는 **Read 도구로 페이지를 시각적으로 읽는다** (pdftoppm/poppler 설치됨). 이미지 추출·edn 좌표 파싱은 PyMuPDF(`import fitz`, 설치됨)를 쓴다. - **쪽번호 오프셋**: 1장 PDF는 책 쪽번호 = PDF 쪽번호 + 18. 2장 PDF는 책 쪽번호 = PDF 쪽번호 + 70. 단원 PDF마다 오프셋이 다를 수 있으니 첫 몇 쪽으로 확인할 것. -- **진행 상황**: 1장·2장 완전히 완료. 3장 정리·복습·2차 하이라이트 완료 — 남은 단계: **그래프 분리 후 첫 싱크 검증 → 사용자 Anki 카드화 → Claude 카드 검토**. 그래프 분리(2026-08-05)와 Anki 프로파일 이사(복습기록 유지 검증 완료)는 끝났고, 사용자가 Logseq에 새 그래프 3개 등록 예정. 3장 쪽번호 오프셋: 책 쪽 = PDF 쪽 + 130. 다음 신규 단원: **4장** (GoodNotes 플로우 첫 적용 — 링크 전 검증 필수). 2장에서 확립되어 이후 장에도 적용할 방식: ① 새 행렬의 **정확한 형태를 🧩 표시 블록으로 명시**, ② 「단순 요약 금지」의 쉬운 재구성 원칙(숫자 예제 먼저·단계 지도·흔한 오해 교정), ③ 필요시 자작 SVG 그림. 복습 중 사용자가 이해 안 되는 부분을 요청하면 해당 블록만 보강하는 패턴이 반복된다. +- **진행 상황**: **1~3장 완전히 완료** (3장: 정리·복습·카드 19장 추가, 총 65장. 2026-08-06 싱크 검증 통과). 그래프 3분할·Anki 프로파일 3분할·모델명 이전·AnkiWeb 계정 분리·모바일 Working Copy 전환 모두 완결. 다음 신규 단원: **4장** — GoodNotes 필기 플로우 첫 적용 (사용자가 필기 완료된 PDF를 내보내 오면 ① 링크 전 검증 필수, ② 쪽번호 오프셋 새로 확인, ③ 필기·여백 메모를 정리에 반영). 3장 쪽번호 오프셋은 책 쪽 = PDF 쪽 + 130 이었음. 2장에서 확립되어 이후 장에도 적용할 방식: ① 새 행렬의 **정확한 형태를 🧩 표시 블록으로 명시**, ② 「단순 요약 금지」의 쉬운 재구성 원칙(숫자 예제 먼저·단계 지도·흔한 오해 교정), ③ 필요시 자작 SVG 그림. 복습 중 사용자가 이해 안 되는 부분을 요청하면 해당 블록만 보강하는 패턴이 반복된다. - ## Logseq 앱 동기화 주의 - Logseq 앱이 페이지를 열어둔 상태에서 파일을 밖에서 수정하면, 앱이 캐시된 옛 블록을 표시하다가 **옛 내용을 파일에 되써버릴 수 있다** (부분 롤백 발생). - 페이지 파일을 수정한 후에는 사용자에게 **Logseq 재색인(Re-index)** 을 안내한다. 수정 직후 "고쳤는데 그대로다"라는 피드백이 오면 파일을 다시 읽어 롤백 여부부터 확인한다. @@ -156,4 +159,5 @@ disable-anki-sync:: true - 사용자는 `logseq YYYYMMDD` 형식으로 스냅샷 커밋을 해왔다. - 작업 후 워킹 트리를 깨끗하게 유지한다. 커밋은 사용자가 요청할 때만. - `.DS_Store`, `._*`(macOS AppleDouble 파일 전체), `bak/`은 gitignore 처리되어 있다. 이 외장 SSD에서는 macOS가 `._*` 파일을 수시로 생성하므로, git 변동사항에 `._`로 시작하는 파일이 보이면 추적 대상에서 빠졌는지 확인한다 (`git rm --cached`). +- 모바일(아이폰·아이패드)은 **Working Copy 앱**이 Logseq 앱 폴더에 링크된 리포로 pull 하는 구조다 (읽기 전용 운용, "Discard → Pull" 단축어). 모바일에서 생긴 커밋되지 않은 변경은 신경 쓰지 않는다. - 이 볼륨은 **exFAT**라 macOS의 파일명 유니코드 정규화가 적용되지 않는다. git 인덱스는 **디스크 실제 바이트 기준**(한글 파일명은 대부분 NFD)으로 유지한다 (커밋 fbbdf62에서 통일). 한글 파일명의 유령 리네임/이중 등록(NFC↔NFD)이 다시 보이면, NFC 쪽 인덱스 항목만 `git rm --cached`로 제거하고 커밋한다. 셸에서 한글 파일명을 grep/glob으로 찾을 때는 정규화 불일치로 매칭이 실패할 수 있으니 타임스탬프 등 ASCII 부분으로 매칭하는 것이 안전하다. \ No newline at end of file diff --git a/Major Study/pages/3.1 벡터공간과 부분공간.md b/Major Study/pages/3.1 벡터공간과 부분공간.md index 94051c7..a03e41c 100755 --- a/Major Study/pages/3.1 벡터공간과 부분공간.md +++ b/Major Study/pages/3.1 벡터공간과 부분공간.md @@ -72,21 +72,27 @@ deck:: Logseq/전공공부/선형대수학 - 📌 원문 (기저 예고, p.132): ((6a685b10-625e-4ab7-a79f-76f40b0f0ba6)) / ((6a685b18-d976-44bd-b7b6-d36e4770223b)) - ### ❓ 스스로 점검 - 부분집합과 부분공간의 차이를 한 문장으로 말하라. #card + id:: 6a746749-1723-4720-abdd-e57c5e916591 - 부분집합은 벡터들을 그냥 골라 담은 것(조건 없음), 부분공간은 그중 $v+w$ 와 $cv$ 에 닫혀 있어서 그 자체로 벡터공간이 되는 것. - 부분공간 판정법 2가지는? 이것만 확인하면 8가지 조건은 왜 자동인가? #card + id:: 6a746749-05c4-49f2-95a8-e003d810edae - ① $v + w$ 가 안에 있다 ② $cv$ 가 안에 있다. - 연산 자체를 원래 벡터공간에서 물려받으므로 교환·결합법칙 등은 자동 성립. - 왜 모든 부분공간은 영벡터를 포함해야 하는가? 이 사실로 즉시 탈락시킬 수 있는 집합의 예는? #card + id:: 6a746749-bc47-479e-a224-2248454ecf62 - 판정법 ②에 $c = 0$ 을 넣으면 $0v = 0$ 이 포함되어야 하기 때문. 원점을 지나지 않는 직선·평면은 즉시 탈락. - $\mathbb{R}^3$ 의 부분공간을 전부 나열하라. #card + id:: 6a746749-5939-40fd-8bfb-acd80cc197f8 - $\mathbf{Z}$ (영벡터만), 원점 지나는 직선 $\mathbf{L}$, 원점 지나는 평면 $\mathbf{P}$, $\mathbb{R}^3$ 전체. - 제1사분면은 어느 판정 조건에서 탈락하는가? 제1∪제3사분면은? #card + id:: 6a746749-148c-4376-8b09-ac2a905582c6 - 제1사분면: 스칼라곱($c = -1$)에서 탈락. 제1∪제3사분면: 덧셈에서 탈락 (예: $(2,3)+(-3,-2) = (-1,1)$). - 열공간 $\mathbf{C}(A)$ 의 정의는? $Ax = b$ 의 해가 존재할 필요충분조건을 열공간의 언어로 말하라. - $A$ 의 열들의 모든 선형결합(= 가능한 모든 $Ax$)의 집합. 해 존재 ⟺ $b$ 가 $\mathbf{C}(A)$ 안에 있다. - "$A$ 의 열들의 집합"은 왜 부분공간이 아닌가? 가역행렬 전체의 집합은 왜 부분공간이 아닌가? - 열들의 집합은 유한집합이라 선형결합이 빠져 있다 (생성해야 열공간이 됨). 가역행렬 집합은 영행렬이 없고, $I + (-I) = 0$ 처럼 덧셈에 안 닫힌다. - 행공간을 전치행렬로 표현하면? $m \times n$ 행렬의 열공간과 행공간은 각각 어디의 부분공간인가? #card + id:: 6a746749-bbd5-4989-a3d4-4b8264535f29 - 행공간 $= \mathbf{C}(A^{\mathrm{T}})$. 열공간은 $\mathbb{R}^m$, 행공간은 $\mathbb{R}^n$ 의 부분공간. - ### ✏️ 연습문제 풀이 (솔루션 참고) - ※ 문제 1~7은 "일반적인 벡터공간"(꼭 열벡터가 아닌)에 관한 문제다. 벡터공간의 8가지 조건 목록은 책 p.139 참고, (1)~(4)는 덧셈, (5)~(6)은 스칼라곱, (7)~(8)은 둘의 연결. diff --git a/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md b/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md index 5880d77..14b3880 100755 --- a/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md +++ b/Major Study/pages/3.2 소거법을 이용한 영공간 계산 A = CR.md @@ -73,9 +73,11 @@ deck:: Logseq/전공공부/선형대수학 - 💡 영공간의 크기 감각: 영공간의 '차원' = 자유변수 개수 $(n-r)$. (차원의 정식 정의는 [[3.4 독립, 기저, 차원]], 4공간 총정리는 [[3.5 4가지 기본 부분공간의 차원]].) - ### ❓ 스스로 점검 - 자유변수란 무엇인가? $R_0$ 만 보고 어떤 변수가 자유변수인지 판정하는 법은? #card + id:: 6a746749-479c-4175-af0f-d0559ef27275 - 소거 후에도 방정식이 붙잡지 않아 아무 값이나 넣어도 되는 미지수. - 판정: 각 행의 선두 1(피벗)이 있는 열의 변수는 피벗변수, 피벗이 없는 열의 변수는 자유변수. - 특별해는 어떻게 만드는가? 몇 개가 나오며, 영공간과의 관계는? #card + id:: 6a746749-88b2-4f5d-9783-0eabe50c24ad - 자유변수 하나에 1, 나머지 자유변수에 0을 넣고 피벗변수를 역대입으로 구한다. - $(n-r)$ 개가 나오고, 영공간 = 특별해들의 모든 선형결합 (특별해가 영공간의 기저). - $[\,I\ \ F\,]x = 0$ 의 특별해를 행렬 하나로 표현하면? 검산은 왜 자동인가? @@ -85,9 +87,11 @@ deck:: Logseq/전공공부/선형대수학 - "$R_0$ 안의 $I$ 가 $C$ 의 위치를 알려준다"에서 '위치'란? $C$ 의 열은 어디서 가져오는가? - $I$ 를 이루는 피벗 열들의 열 번호. $C$ 의 열은 $R_0$ 가 아니라 $A$ **의 원본 열**을 그 번호대로 뽑아온다. - 왜 $\mathbf{N}(A) = \mathbf{N}(R_0)$ 인가? #card - - 소거 = 가역행렬 $E$ 를 곱하는 것. $Ax=0$ 이면 $R_0 = EAx=0$ + id:: 6a746749-9f37-4940-b30f-9f1140e7dd62 + - 소거 = 가역행렬 $E$ 를 곱하는 것. $Ax=0$ 이면 $R_0 x = EAx=0$ - 역으로 $EAx=0$ 이면 $E^{-1}$ 를 곱해 $Ax=0$. 해집합이 같다. - $n > m$ 이면 $Ax = 0$ 에 0 아닌 해가 반드시 존재하는 이유를 한 줄로. #card + id:: 6a746749-1d39-461e-b847-283bb6520df7 - 피벗 ≤ $m$ < $n$ → 자유변수 ≥ 1 → 특별해 존재. - ### ✏️ 연습문제 풀이 (솔루션 참고) - **문제 1** (카드화하기 좋은 문제): $E$ 가 가역행렬일 때, $A$ 와 $R = EA$ 는 왜 동일한 영공간을 갖는가? diff --git a/Major Study/pages/3.3 Ax = b의 완전해.md b/Major Study/pages/3.3 Ax = b의 완전해.md index 92a10f4..e9fc6f2 100755 --- a/Major Study/pages/3.3 Ax = b의 완전해.md +++ b/Major Study/pages/3.3 Ax = b의 완전해.md @@ -70,10 +70,12 @@ deck:: Logseq/전공공부/선형대수학 - 📌 원문 (p.165): ((6a6c91c8-cec5-4d43-a8f1-c4f9cf27cc20)) - ### ❓ 스스로 점검 - 특수해·특별해·완전해를 각각 한 문장으로 정의하라. #card + id:: 6a746749-b8bf-4f5e-ae82-bd5974802d42 - 특수해 $x_p$: $Ax=b$ 의 해 하나 (자유변수 = 0 으로 고른 것). - 특별해 $s$: $Ax=0$ 의 해 (자유변수 하나만 1). - 완전해: $x = x_p + c_1 s_1 + \cdots + c_{n-r}s_{n-r}$, $Ax=b$ 의 모든 해. - 완전해가 "특수해 + 영공간"인 이유를 두 방향으로 증명하라. #card + id:: 6a746749-d42a-4a4e-8864-cba54d4a7c4e - ① $A(x_p + x_n) = b + 0 = b$ → 이 꼴은 전부 해. - ② 임의의 해 $x$ 에 대해 $A(x - x_p) = b - b = 0$ → $x - x_p \in \mathbf{N}(A)$ → 모든 해가 이 꼴. - $Ax = b$ 의 해가 존재할 조건을 $[\,R_0\ \ d\,]$ 의 언어로 말하라. @@ -84,9 +86,11 @@ deck:: Logseq/전공공부/선형대수학 - $r = n$ (최대 열 랭크): 0 또는 1개 (영공간 $\{0\}$, 존재는 $b$ 조건부). - $r = m$ (최대 행 랭크): 항상 존재, $n = m$ 이면 1개, $n > m$ 이면 ∞개. - 특수해는 왜 상수배를 하면 안 되는가? #card + id:: 6a746749-4402-4f67-ba57-959a4c0363dc - $A(2x_p) = 2b \neq b$. extra:: 상수배·결합이 자유로운 것은 영공간 부분 $x_n$ 뿐이다. - 랭크 $r$, 크기 $m \times n$ 에 따른 해의 개수 4가지 유형을 표로 재현하라. #card + id:: 6a746749-f3cd-464e-8b32-49cf29f1b5c9 - $r=m=n$ : 1개 - $r=m