LU 분해 및 합성 사상의 nullity
도입됨| English | 의미 |
|---|---|
| forward substitution/ˈfɔːwəd ˌsʌbstɪˈtjuːʃn/ | 전위 substitution |
| nullity/ˈnʌlɪti/ | 영차수 |
답에 앞서 결정하기
- 행렬을 한 번因数分解한 후, 서로 다른 우변을 갖는 여러 시스템을 푼다. 이 이점은 두 개의 삼각형 풀이에 의한 것입니다. Defaults의 순서를 반대로 하면 잘못된 결과를 얻습니다.
- 목표: 전방 및 후방 대입을 통해 인수분해된 선형 연립방정식을 풀기.
관계 파악하기
- 인수분해 A=LU는 정사각행렬을 하삼각행렬 L과 상삼각행렬 U로 표현합니다. 단위 대각선을 가진 L의 경우, 전방 대입이 특히 간단합니다. 가역 행렬이라 하더라도 행交换 없이 이 형태를 갖지 않을 수 있으며, 제로 리딩 피벗은 순열(permutation)이 필요할 수 있습니다. PA=LU인 경우, Ly=Pb를 먼저 푼 뒤 Ux=y를 풉니다. 순열은 계수 행렬뿐만 아니라 우변에도 작용합니다. 비영주요 리딩 피벗(nonzero leading principal pivots)은 가역성 자체보다 통상적인 행交换 없는 소거법을 정당화합니다.
- 피벗(pivoting)이 필요한 경우 행 순열을 일관되게 적용하십시오.
For the stated unit-diagonal L and b=(−1,−1,12), what is the second coordinate of y solving Ly=b?
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
y₁=−1 and the second row is 2y₁+y₂=−1. Therefore y₂=1.
정의 규칙 활용하기
- Ly=b에서 y를 위에서 아래로 계산하고 이미 알려진 항을 빼며, 대각선이 1이 아니면 나눕니다. Ux=y에서 x를 아래에서 위로 계산합니다. 각 방정식에 대입하여 원본 행을 검증으로 사용합니다. LU를 여러 우변에 재사용하면 소거 과정을 반복하지 않아도 되는데, 밀집 인분화는 차원에서 세제곱 순서(n³)의 연산을 요구하고, 각 삼각형 풀이는 제곱 순서(n²)의 연산을 요구합니다. 정확한 산술은 작은 예제를 검증할 수 있으나, 수치 피벗팅은 일부 반올림 문제를 줄일 뿐 본질적인 불양립성(ill-conditioning)을 제거할 수는 없습니다.
- 이미지-커널 교집합(image-kernel intersections)을 사용하여 합성 map의 커널 차원을 한계로 잡으십시오.
A,B are maps R⁶→R⁶ with nullity A=2 and nullity B=3. What range is possible for nullity of A∘B?
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
Nullity B contributes 3, and im B∩ker A has dimension from 0 to 2 in this ambient space.
조건 확인
- B:V→W이고 A:W→Z인 경우, ker B는 ker(A∘B)에 포함되지만 후자는 더 클 수 있습니다. 추가되는 벡터들은 B에 의해 ker A로 매핑되는 것들입니다. ker(A∘B)로 B를 제한하면, 그 이미지는 im B∩ker A이고 커널은 ker B가 됩니다. 이 제한된 map에 대한 rank-nullity 정리를 적용하면 dim ker(A∘B)=dim ker B+dim(im B∩ker A)가 됩니다. 전체 kernel A가 아니라 Intersection이 추가된 nullity를 결정합니다.
- 이미지-커널 교집합(image-kernel intersections)을 사용하여 합성 map의 커널 차원을 한계로 잡으십시오.
L=[[1,0,0],[2,1,0],[−1,3,1]], U=[[2,1,−1],[0,3,2],[0,0,4]], b=(−1,−1,12)라고 할 때, 전방 대입을 통해 y=(−1,1,8)를 구합니다. 후방 대입을 통해 x₃=2, x₂=(1−4)/3=−1, x₁=(−1−(−1)+2)/2=1을 얻습니다. 따라서 x=(1,−1,2)입니다. Ux를 곱하면 y가 나오고, Ly를 곱하면 b가 나와 인수 분해의 순서를 독립적으로 검증할 수 있습니다.
In the example, the last U equation is 4x₃=8. The value of x₃ is ____.
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
Back substitution begins with the last row, giving x₃=8/4=2.
문제 형식 적용하기
- R⁶의 선형 변환에 대해 nullity가 A=2, B=3일 때, rank B=3이며 교집합의 차원은 0에서 2 사이에서 변할 수 있습니다. 따라서 A∘B의 nullity는 3에서 5 사이입니다. 상한과 하한은 공통 중간 공간에 따라 달라집니다: m차원 공간 내 차원이 r과 s인 두 부분공간의 교집합 차원은 max(0, r+s−m)와 min(r,s) 사이의 값을 가집니다. 합성 순서를 반대로 하면 AB와 BA가 모두 정의되어 있어도 nullity가 변경될 수 있으므로, 이 공식을 적용하기 전에 호환되는 공간을 선택해야 합니다.
- 이미지-커널 교집합(image-kernel intersections)을 사용하여 합성 map의 커널 차원을 한계로 잡으십시오.
먼저 L로 푼 뒤 U로 푸십시오. PA=LU인 경우 b를 순열해야 합니다. 합성 map의 nullity는 자동으로 두 nullity의 합이 되며, 오직 이미지-커널 교집합만이 nullity B에 추가됩니다.
다음 중 이 사례에 부합하는 답안은 무엇입니까?
인수 분해된 선형 시스템을 전진 대입 및 후퇴 대입으로 풀이
Every invertible matrix has an LU factorisation with unit lower triangular L without row exchanges.
난이도 1/5 · 100 코인 + 오늘 첫 완료 시 소액 보너스
The invertible matrix [[0,1],[1,0]] has a zero first pivot and cannot have that no-exchange unit-lower LU form. A row permutation repairs the pivot order.
구분을 유지하기
- 전방 대입(forward substitution) — 하삼각 연립방정식의 첫 번째 식부터 아래로 내려가며 푸는 과정.
- nullity — 선형 map의 커널(ker)의 차원.
- 전방 및 후방 대입을 통해 인수분해된 선형 연립방정식을 풀기.
- 피벗(pivoting)이 필요한 경우 행 순열을 일관되게 적용하십시오.
- 이미지-커널 교집합(image-kernel intersections)을 사용하여 합성 map의 커널 차원을 한계로 잡으십시오.
Match each term with its precise meaning in this lesson.
난이도 2/5 · 140 코인 + 오늘 첫 완료 시 소액 보너스
Keep the distinctions stated in the teaching example.
Put this lesson’s reasoning or event sequence in order.
난이도 3/5 · 200 코인 + 오늘 첫 완료 시 소액 보너스
The order follows the stated process; check each stage before the next.