분류 전체보기

2025 국방 AI경진대회(MAICON) 후기

안녕하세요 Gliver 입니다.이번 글은 2025 MAICON(국방 AI 경진대회) 본선 후기입니다. 결과는 아쉽지만, 대회 준비는 꽤 열심히 했기 때문에 자세하게 작성해 보겠습니다. 대회 소개대회 일정예선은 온라인으로 진행되는 개인전이며, 예선을 통과한 참가자들끼리 5인 1팀으로 총 10팀으로 본선에 진출하게 된다.참고로, 예선을 통과하게 되면 팀빌딩 페이지가 제공되어 여기서 게시글을 올려 팀원을 구하거나 팀원으로 들어갈 수 있는 구조이다.이후에 약 3주간의 멘토링 과정이 진행되며 이후에 2박 3일 동안의 오프라인 본선이 진행된다.멘토링은 일주일에 1회, 3주 동안 총 3회 진행되었다. 예선 소개예선은 온라인으로 진행되며 군장병 30명, 사관생도 10명, 일반인 10명을 뽑는다. 따라서, 예선 커트라..

계수-퇴화차수 정리(Rank-Nullity Theorem) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 계수-퇴화차수 정리(Rank-Nullity Theorem)를 증명해 보겠습니다.  계수-퇴화차수 정리(Rank-Nullity Theorem)란?계수-퇴화차수 정리는 아래와 같다. 행렬 $M \in \mathcal{M}_{m \times n}(F)$ 에 대하여 다음이 성립한다.$n = \mathrm{rank}M + \mathrm{nullity}M$$m$은 행렬의 행의 개수, $n$은 행렬의 열의 개수를 의미$\mathrm{rank} M$: 행렬 $M$의 계수를 의미$\mathrm{nullity} M$: 행렬 $M$의 영공간의 차원을 의미행렬에 대해 정의되는 계수-퇴화차수 정리는 선형사상에 대해 정의되는 차원 정리와 대응된다. (차원 정리 글 링크)왜냐하면, 행..

차원 정리(Dimension Theorem) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 차원 정리(dimension theorem)를 증명해 보겠습니다.  차원 정리(Dimension Theorem)란?차원 정리의 정의는 아래와 같다. 유한차원 벡터공간 $V$와 선형사상 $L: V \rightarrow W$ 에 대하여 다음이 성립한다.$\dim(V) = \dim(\mathrm{ker} L) + \dim( \mathrm{im}L)$$\dim(V)$: 정의역 $V$의 차원을 의미$\dim(\mathrm{ker} L)$: 핵 $\mathrm{ker} L$의 차원을 의미$\dim(\mathrm{im} L)$: 상 $\mathrm{im} L$의 차원을 의미간단하게, $\mathrm{ker} L$은 0벡터가 나오게 하는 정의역 공간, $\mathrm{im..

스칼라 곱(내적) 공식 증명

안녕하세요 Gliver 입니다.이번 글에서는, 스칼라 곱(내적) 공식 $\mathbf{v} \cdot \mathbf{w} = v_1w_1 + v_2w_2 + \cdots + v_nw_n$ 을 증명해 보겠습니다.  스칼라 곱(내적)이란?스칼라 곱(scalar product)은 내적(inner product) 또는 점곱(dot product)이라고도 부른다.  스칼라 곱(scalar product)은 유클리드 공간의 두 벡터로부터 실수 스칼라를 얻는 연산이다.간단히 말하면, 두 벡터에 더해 정의되는 연산이며 그 결과로 실수가 나온다는 것이다. 스칼라 곱(scalar product)스칼라 곱의 기호는 $\cdot$ 이며, 스칼라 곱은 아래와 같은 식으로 정의된다.$\mathbf{v} \cdot \mathbf{..

크래머 공식(Cramer's Rule) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 크래머 공식(Cramer's Rule)을 증명해 보겠습니다.   크래머 공식(Cramer's Rule) 이란?크래머 공식(Cramer's Rule)을 간단히 말하면, 아래와 같은 선형 방정식 $A \mathbf{x} = \mathbf{b}$의 해 $\mathbf{x}$를 구하는 공식이다. $\begin{pmatrix}a_{11} & a_{12} & \cdots & a_{1n} \\a_{21} & a_{22} & \cdots & a_{2n} \\\vdots & \vdots & \ddots & \vdots \\a_{n1} & a_{n2} & \cdots & a_{nn}\end{pmatrix} \begin{pmatrix}x_1 \\x_2 \\\vdots \\x_n..

역행렬 곱셈 교환 법칙 증명

안녕하세요 Gliver 입니다.이번 글에서는, 역행렬의 성질에서 $A \cdot A^{-1} = A^{-1} \cdot A$ 임을 (곱셈의 교환 법칙을) 증명해 보겠습니다.이 증명을 다른 말로 하면, $A$의 역함수가 $B$라면 $B$의 역함수 또한 $A$라는 것을 증명하는 것이다.   $A \cdot A^{-1} = A^{-1} \cdot A$  증명$A \cdot B = I$일 때, $B \cdot A = I$ 임을 증명하면 된다.$A \cdot A^{-1} = I$이므로 $A \cdot B = I$라면 $B = A^{-1}$라는 의미를 내포하고 있다. $A \cdot B = I$   $\cdots$   양변의 앞뒤에 $B$와 $B^{-1}$를 곱한다.    $\Rightarrow$    $ B \ ..

물리에서의 벡터 vs 수학에서의 벡터

안녕하세요 Gliver 입니다.이번 글에서는, 물리에서의 벡터와 수학에서의 벡터는 무엇인지, 어떤 차이가 있는지 알아보겠습니다. 목차물리에서의 벡터수학에서의 벡터  물리에서의 벡터물리(학)에서 벡터의 정의는 크기와 방향을 모두 갖는 것(객체)을 의미한다.벡터는 크기와 방향이라는 속성은 존재하지만, 위치라는 속성은 존재하지 않는다.즉, 어떠한 두 벡터를 비교할 때 위치가 달라도 크기와 방향이 같으면 같은 벡터로 취급한다. 물리학에서 이러한 벡터는 힘, 속도, 가속도, 전기장, 자기장 등 물리적 현상을 설명하는 데 주로 사용된다.   수학에서의 벡터수학에서의 벡터 또한 물리에서의 벡터와 마찬가지로 크기와 방향을 갖는 객체로 쓰이기도 한다.하지만 이는 벡터를 확대하여 해석한 것이며, 벡터의 정확한 정의는 벡터..

선형대수학이라는 학문에 대해서 (with AI)

안녕하세요 Gliver 입니다.이번 글에서는, 선형대수학이라는 학문을 왜 배워야 하고, 어디에 쓰이는지를 AI를 배우는 컴공을 기준으로 알아보겠습니다.이해를 돕기 위한 글이므로 엄밀한 정의가 아닌 표현이 쓰인 부분이 있다는 점 참고해 주시면 감사하겠습니다. 목차선형대수학이란?선형대수학을 배우는 이유  선형대수학이란?위키백과에서는 선형대수학을 아래와 같이 정의하고 있다.선형대수학(linear algebra)은 벡터 공간, 벡터, 선형 변환, 행렬, 연립 선형 방정식 등을 연구하는 대수학의 한 분야이다.즉, 벡터 공간, 벡터, 선형 변환, 행렬, 연립 선형 방정식 등을 연구하는 학문이다. 아직 선형대수학을 공부하지 않았다면 각각이 무엇이며 어디에 쓰이는지 잘 모르는 것이 당연하다.지금은, 선형대수학은 이러한..