이 글에서는 변수가 하나인 실숫값 함수의 이상적분을 정의하고, 이상적분의 수렴 판정법을 살펴본다. 또한 이상적분을 활용하는 예로서 감마 함수를 살펴본다. 내용 순서 들어가기 길이가 무한인 구간에서 정의되는 이상적분 유계가 아닌 함수의 이상적분 이상적분의 수렴 판정법 (적분 구간의 길이가 무한인 경우) 이상적분의 수렴 판정법 (함수가 유계가 아닌 경우) 이상적분을 활용하는 예: 감마 함수 맺음말 미리 알아야 할 내용 정적분 (관련 글) 미적분의 기본정리 (관련 글) 들어가기 …
집합을 공부할 때 도움이 되도록 집합의 성질을 증명하는 예제와 풀이를 모았습니다. 모든 예제와 풀이에서 \(U\)는 공집합이 아닌 전체집합을 나타내며, \(A,\) \(B,\) \(C\)는 \(U\)의 부분집합을 나타냅니다. 또한 \(\varnothing\)은 공집합을 나타내며, \(P(A)\)는 \(A\)의 멱집합을 나타냅니다. \(C\)가 윗첨자로 쓰였을 때는 여집합을 나타냅니다. 예제 1. 공집합이 임의의 집합의 부분집합임을 증명하시오. 풀이 \(\varnothing\)이 공집합이고 \(A\)가 임의의 집합이라고 하자. 이제 임의의 원소 \(x\)에 대하여 다음 조건부 명제가 참임을 보여야 한다. …
\(A\)가 \(n\)차 정사각행렬이고 모든 성분이 체 \(K\)의 성분이라고 하자. 즉 \(A\in M_n (K)\)라고 하자. 그리고 \(A\)의 특성다항식을 \(p_A (t)\)라고 하자. 그러면 \(\lambda \in K\)가 \(A\)의 고윳값일 필요충분조건은 \(p_A(\lambda)=0\)인 것이다. 이때 \(p_A (t)\)는 다음과 같은 꼴로 인수분해된다. \[p_A (t) = (t-\lambda )^r q(t).\] 여기서 \((t-\lambda)\)의 차수 \(r\)를 고윳값 \(\lambda\)의 대수적 중복도라고 부른다. 고윳값 \(\lambda\)를 고정시켜 두고 다음 집합을 생각하자. \[\left\{ \mathbf{v}\in \mathbb{R}^n \,\vert\, A\mathbf{v} = …
다음과 같은 타원의 방정식을 생각해 봅시다. \[2x^2 – 4xy + 5y^2 = 36\tag{1}\] 선형대수학에서 공부한 이차형식의 성질을 이용하면 좌변을 변형하여 타원의 장축과 단축의 길이를 구할 수 있습니다. 하지만 오늘은 라그랑주의 방법(method of Lagrange’s multiplier)을 이용하여 이 타원의 장축과 단축의 길이를 구해보겠습니다. 타원의 중심이 좌표평면의 원점이므로, 타원 위의 점 중에서 원점으로부터 가장 멀리 있는 점까지의 거리와 가장 가까이 있는 점까지의 거리를 찾으면 됩니다. 즉 타원 …
Problem 9.1 Describe geometrically the linear transformation \(T_A : \mathbb{R}^2 \rightarrow \mathbb{R}^2\) given by \[A = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\] and then interpret the meanings of the eigenvalues and eigenvectors accordingly. Solution. \(T_A\) is a reflection about the line \(y=x.\) Hence \(v\) is an eigenvector of \(T_A\) if and only if \(v\) is parallel to or orthogonal to the …
지난 포스트에서 벡터공간 \(K^n,\) \(K^m\) 사이에서 정의된 선형변환과 \(m\times n\) 행렬의 관계를 살펴보았다(지난 포스팅 보기). 이번에는 일반적인 유한차원 벡터공간 \(V,\) \(V’\) 사이에서 정의된 선형변환과 행렬의 관계를 살펴보자. \(K\)가 체이고 \(n\)과 \(m\)이 양의 정수라고 하자. 그리고 \(V\)와 \(V’\)이 \(K\) 위에서 정의된 \(n\)차원 벡터공간, \(m\)차원 벡터공간이라고 하자. 또한 \[\begin{align} B: &\,\, v_1 ,\, v_2 ,\, \cdots ,\, v_n, \\[6pt] B’ : & \,\, v_1 ‘ ,\, …
벡터공간 \(K^n,\) \(K^m\) 사이에서 정의된 선형변환과 \(m\times n\) 행렬의 관계를 살펴보자. \(K\)가 체(field)이고 \(n\)과 \(m\)이 양의 정수라고 하자. 모든 성분이 \(K\)에 속하는 \(m\times n\) 행렬들의 모임을\(\newcommand{\MatK}{\operatorname{Mat}_{m \times n}(K)}\) \[\MatK\] 로 나타낸다. 또한 정의역이 \(K^n\)이고 공역이 \(K^m\)인 선형변환들의 모임을\(\newcommand{\HomK}{\operatorname{Hom}(K^n ,\, K^m )}\) \[\HomK\] 으로 나타낸다. [여기서 \(K^n\)과 \(K^m\)은 통상적인 벡터 합과 스칼라 곱이 주어진 벡터공간이다.] 스칼라 \(k\in K\)와 \(m\times n\) 행렬 \(A = (a_{ij})_{m\times n}\), …
\[ \newcommand{\parallelsym}{\mathbin{\!/\mkern-5mu/\!}} \newcommand{\tr}{\operatorname{tr}} \] This is a set of problems with which you can take exercise on linear algebra. Day 1. The problems for the first day are related to: Representation of Linear Transformations. Explain why every linear transformation between finite dimensional vector spaces can be regarded as a matrix. (Hint: Consider bases for domain and codomain of the transformation.) Use matrix multiplication to …
This is a set of problems with which you can take exercise on multiple integrals and integrals of vector fields. Day 1. The problems for the first day are related to chapter 15. In problem 1-5, evaluate the integrals. \[\int_1^2 \int_{-1}^1 \frac{x}{y^2} \,dx\,dy.\] \[\int_0^{\ln 2} \int_0 ^{\pi/2} e^x\,\cos y \,dy\,dx.\] \[\int_0^2 \int_{y/2}^1 e^{x^2} \,dx\,dy .\] \[\int_0^\pi \int_0^\pi \int_0^\pi \cos(x+y+z) dx\,dy\,dz.\] \[\int_{-1}^1 \int_0^{\sqrt{1-y^2}}\int_0^x (x^2 + …
유한차원 벡터공간 \(V\) 위에서 자기준동형사상 \(T\)가 정의되어 있을 때 \(T\)의 표현행렬은 \(V\)에 어떠한 기저가 주어졌는지에 따라 달라진다. \(V\)와 \( T\)가 적절한 조건을 만족시키면 \(V\)의 기저를 적절히 택하여 \(T\)의 표현행렬이 ‘대단히 좋은 형태’가 되도록 할 수 있다. 이 포스트에서는 벡터공간을 특성부분공간의 직합으로 나타내는 방법과 자기준동형사상을 조르당 표준형으로 나타내는 방법을 살펴본다. 이 포스트에서 다루는 벡터공간은 유한차원 벡터공간인 것으로 약속한다. \[ \newcommand{\Hom}{{\operatorname{Hom}}} \newcommand{\Mat}{{\operatorname{Mat}}} \newcommand{\proj}{{\operatorname{proj}}} \newcommand{\adj}{{\operatorname{adj}}} \newcommand{\Ker}{{\operatorname{Ker}}} \] …