|
[[대수학|대수학 Algebra ]]
|
||||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
| 기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
| 수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
| 다루는 대상과 주요 토픽 | ||||
| 대수적 구조 | ||||
| 군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
| 환(ring) | 아이디얼 | |||
| 체(field) | 갈루아 이론 · 분해체 | |||
| 대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
| 마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
| 선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
| 정리·추측 | ||||
| 대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
| 관련 하위 분야 | ||||
| 범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
| 대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
| 대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
| 대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
| 가환대수학 | 스펙트럼 정리 | |||
| 표현론 | 실베스터 행렬 | |||
| 기타 및 관련 문서 | ||||
| 수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} | |||
|
선형대수학 Linear Algebra |
|||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#006ab8> 기본 대상 | 일차함수 · 벡터 · 행렬 · 선형 변환 | |
| 대수적 구조 | 가군(모듈) · 벡터 공간 · 내적 공간 · 노름 공간 | ||
| 선형 연산자 | <colbgcolor=#006ab8> 기본 개념 | 연립방정식( 1차 · 2차) · 행렬곱 · 단위행렬 · 역행렬과 크라메르 공식 · 가역행렬 · 전치행렬 · 행렬식( 라플라스 전개) · 주대각합 | |
| 선형 시스템 | 기본행연산과 기본행렬 · 가우스-조르당 소거법 · 행사다리꼴 · 행렬표현 · 라그랑주 보간법 | ||
| 주요 정리 | 선형대수학의 기본정리 · 차원 정리 · 가역행렬의 기본정리 · 스펙트럼 정리 | ||
| 기타 | 제곱근행렬 · 멱등행렬 · 멱영행렬 · 에르미트 행렬 · 야코비 행렬 · 방데르몽드 행렬 · 아다마르 행렬 변환 · 노름(수학) | ||
| 벡터공간의 분해 | 상사 · 고유치 문제 · 케일리-해밀턴 정리 · 대각화( 대각행렬) · 삼각화 · 조르당 분해 | ||
| 벡터의 연산 | 노름 · 거리함수 · 내적 · 외적( 신발끈 공식) · 다중선형형식 · ∇ · 크로네커 델타 | ||
| 내적공간 | 그람-슈미트 과정 · 수반 연산자( 에르미트 내적) | ||
| 다중선형대수 | 텐서 · 텐서곱 · 레비치비타 기호 | }}}}}}}}} | |
1. 개요
Kronecker delta아래와 같이 정의되는 연산자이다. 기호는 그리스어 소문자 δ이다.
[math(\delta_{ij} = \left\{\begin{matrix} 0 &( i \neq j )\\ 1 & ( i = j ) \end{matrix}\right.)]
이는 지시함수를 이용해 아래의 형태로도 정의될 수 있다.
[math(\delta_{ij} = {\bold 1}_{\{i\}}(j) = {\bold 1}_{\{j\}}(i))]
텐서(tensor)에서는 [math(\delta_{j}^{i} )]이처럼 정의되기도 한다.
[math({i} )] 는 반변벡터(contravariant vector)인텍스(index)이고 [math({j} )]는 공변벡터(covariant vector) 인텍스(index)이다.
논리 연산의 동치([math(=)])와 같은 연산이다. 입력 및 출력값이 0과 1밖에 없기 때문.
델타함수라는 이름을 가진 또 하나의 함수, 디랙 델타 함수와는 다른 함수인데, 관점에 따라서는 디랙 델타 함수를 크로네커 델타 함수의 적절한 극한으로 생각할 수 있다. 예를 들어 이산적인(=단속적인=연속적이지 않고, 딱딱 떨어져 있는) 기저들간의 직교 관계를 크로네커 델타로 표현할 수 있는데, 기저들이 연속이 되는 극한에서는 직교성이 디랙 델타 함수로 표현된다.
게오르크 칸토어의 스승 레오폴트 크로네커의 이름을 따왔다. 크로네커는 '자연수는 신이 창조했다. 나머지는 모두 인간의 작품이다'라고 말했을 정도로 자연수빠로 유명했는데 크로네커 델타 역시 두 정수(대개의 경우 두 자연수) 사이에서 정의되는 정수값만을 가지는 함수이다.[1]
2. 수학에서
선형대수학에서는 주로 기저(basis)를 표현할 때 쓰는 [math( e_n )]에 대해, [math(e_n)]이 정규직교기저인 경우에 한하여, 그 내적인 [math( e_i \cdot e_j )]가 크로네커 델타와 같은 표현이다.3. 물리에서
물리에선 주로 텐서로된 물리량을 유도할 때 쓰인다. 그 대표적인 예가 질점계 혹은 강체계의 회전운동을 기술하는 관성 텐서.[math(\delta_{ij} =\delta_{j}^{i}= \left\{\begin{matrix} 0 &( i \neq j )\\ 1 & ( i = j ) \end{matrix}\right.)]
텐서(tensor)에서는 [math(\delta_{j}^{i} )]이처럼 정의되기도 한다.
[math({i} )] 는 반변벡터(contravariant vector)인텍스(index)이고 [math({j} )]는 공변벡터(covariant vector) 인텍스(index)이다.
[math(\delta_{j}^{i}= \left\{\begin{matrix} 0 &( i \neq j )\\ 1 & ( i = j ) \end{matrix}\right.)]
따라서
[math(\delta_{i}^{i}= 1)]
따라서
[math(\delta_{i}^{i}= g_{i}^{i}= g_{ij}^{ij}= 1)]
따라서
[math( g_{ij}^{ij}= g_{ij} g^{ij}= 1)]를 조사할수있다.
4. 전자공학에서
디지털 신호 처리에서 모든 수열은 아래와 같이 크로네커 델타 함수를 사용해 표현할 수 있고 증명이나 계산 등에서 편리하게 써먹을 수 있다. 크로네커 델타 함수를 평행이동 시킨걸 모아놓은 집합이 이러한 수열 공간의 정규직교기저(orthonormal basis)가 되는 셈이다. 수열을 급수로 바꾼다고 생각할 수도 있다.[math(\displaystyle x[ n] =\sum _{k=-\infty }^{\infty }x[ k] \delta [ n-k])]
그리고 크로네커 델타 함수는 신호처리, 제어 등의 분야에서 디지털 시스템을 해석할 때 중요하게 다뤄진다. 일단 어떤 이산 시간 선형 시불변 시스템에 크로네커 델타 함수를 입력해서 얻은 출력을 [math(h[n])]이라고 정의한다. 그리고 크로네커 델타 함수를 DTFT하면 1이 되는데 주파수 관점에서 봤을 때 모든 주파수 성분을 갖고 있다고 해석할 수 있다. 자세한 증명을 생략하고 결론만 말하면, 크로네커 델타 함수를 시스템에 입력해서 얻은 [math(h[n])]에는 시스템에 대한 모든 정보가 담겨있다. 이때 [math(h[n])]을 impulse response라고 부르며 [math(h[n])]만 알면 시스템을 완벽히 알 수 있으므로 일종의 만능함수 취급. 이산 시간 선형 시불변 시스템의 출력은 입력과 [math(h[n])]과의 합성곱(Convolution)이다. 즉 시스템에 크로네커 델타 함수를 입력해서 [math(h[n])]만 알아내면 어떤 입력에 대한 출력을 모조리 알 수 있다.
그리고 [math(h[n])]을 Z-변환하면 System function [math(H[z])]가 되고, DTFT하면 주파수 응답(Frequency response)가 되는데, 둘 다 시스템의 해석에서 매우 중요하게 다뤄진다. 추가로 연속 시간 시스템에서 크로네커 델타 함수와 같은 역할을 하는게 디랙 델타 함수이다.