이 의 기저임을 보이세요.
증명 보기
선형독립: 이라 하면 좌표별로 , 이므로 자명한 결합만 영벡터를 만듭니다.
생성: 임의의 에 대해 이므로 두 벡터의 선형결합으로 전체 가 만들어집니다.
독립이고 생성하므로 은 의 기저이며, 입니다.
격자가 행렬에 눌려 펴지는 모습을 봅니다. 사라지는 차원과 남는 차원을 셉니다.
차원은 독립적인 방향의 개수입니다. 행렬을 곱하면 방향들이 겹쳐 눌릴 수 있습니다. 완전히 눌려 사라지는 방향이 핵의 차원입니다. 살아남아 펼치는 범위가 랭크입니다. 둘을 더하면 원래 차원이 됩니다.
예를 들면, 햇빛 아래 그림자는 입체를 평면으로 눌러 보여 줍니다. 높이 방향은 그림자에서 사라집니다. 남는 건 평면 위 방향뿐입니다. 사라진 것과 남은 것을 더하면 원래 차원과 같습니다.
이 의 기저임을 보이세요.
선형독립: 이라 하면 좌표별로 , 이므로 자명한 결합만 영벡터를 만듭니다.
생성: 임의의 에 대해 이므로 두 벡터의 선형결합으로 전체 가 만들어집니다.
독립이고 생성하므로 은 의 기저이며, 입니다.
를 로 보고, 랭크와 널리티를 구해 차원–랭크 정리를 확인하세요.
두 행 와 는 모두 0이 아닌 벡터입니다 — 이 확인이 필요합니다: 0인 행은 다른 행의 배이므로, "스칼라 배수가 아니다"라는 판정은 0이 아닌 행에서만 독립을 줍니다.
어느 행도 다른 행의 스칼라 배수가 아니므로(예: , 첫 좌표로 강제되는 배수 가 둘째 좌표에서 실패합니다) 두 행은 선형독립이라 행 랭크는 입니다.
열 랭크도 직접 확인합니다(행 랭크 열 랭크를 인용하지 않습니다): 처음 두 열 , 에 대해 이므로 이 두 열은 선형독립이고, 열공간은 전체라 열 랭크도 입니다.
따라서 랭크는 입니다.
벡터 를 대입하면 이고 이므로 이는 핵의 0이 아닌 원소입니다. 따라서 입니다.
이제 인 임의의 벡터를 봅니다.
두 방정식 과 에서, 두 번째 식에서 첫 번째 식의 4배를 빼면 , 즉 입니다.
이를 첫 번째 식에 대입하면 이므로, 입니다.
즉 모든 핵 벡터는 의 스칼라 배수이므로 입니다.
앞 단계에서 을 보였으므로 널리티는 정확히 이고, 으로 차원–랭크 정리가 성립합니다 — 정리 자체를 인용하지 않고 양쪽을 직접 계산했습니다.
행렬 의 랭크를 행 축소로 구하고, 열공간의 기저를 찾으세요.
행 연산 을 적용하면 행렬은 이 됩니다. 0이 아닌 행이 하나이므로 행공간의 차원, 즉 랭크는 입니다.
두 열은 이므로 한 열은 다른 열의 스칼라 배수입니다.
열 하나만으로 열공간 전체가 생성됩니다(생성).
독립성도 필요합니다: 이므로 원소가 하나뿐인 집합 는 선형독립입니다 (이면 ).
생성하고 독립이므로 열공간의 기저는 이고, (열공간) 랭크입니다.