정기연재 - 수학 & 통계학90 집합의 기수와 무한집합 2 - 무한집합과 유한집합, 가산집합과 비가산집합 Post 2 - 무한집합과 유한집합, 가산집합과 비가산집합 안녕하세요! 이번 연재의 두 번째 파트인 무한집합과 가산집합에 대한 내용입니다. 지난 시간에는 집합의 기수(cardinality)에 대해 자세하게 살펴보았는데요. 이번 포스팅부터는 지난 포스팅에서 다룬 내용을 활용하여 본격적으로 집합의 원소의 개수와 무한 집합에 대해 자세하게 알아보도록 하겠습니다. 자연수의 집합과 유한집합 우선 무한에 대해 다루기 전에, 우리에게 친숙한 유한집합과 자연수의 집합에 대해 살펴보도록 하겠습니다. 무한 집합과 유한 집합을 어떻게 정의할까요? 일단 확실한 것은, 유한 집합은 무한 집합이 아닌 집합이고, 무한 집합은 유한 집합이 아닌 집합입니다만, 유한 집합을 엄밀하게 정의하는 것은 생각보다 어려운 일입니다. 지난 포스팅.. 2021. 8. 20. 집합의 기수와 무한집합 1 - 집합의 기수와 전단사 함수 Post 1 - 집합의 기수와 전단사 함수 안녕하세요! 세 개의 포스팅에 걸쳐 집합의 기수에 대해 소개를 맡은 공우 12기 Jubby입니다. 자유전공학부에서 수리과학과 컴퓨터공학을 전공하고 있습니다. 지난 극한의 수학적 정의에 대한 포스팅과 비슷하게 본 포스팅 또한 수학적인 정의와 개념에 치우친 포스팅이 될 텐데요. 우선 앞으로의 글에서 다룰 내용을 간단히 소개하고, 본 포스팅에서 다루는 내용이 왜 중요한지 간략하게 설명드리고자 합니다. 본 포스팅에서는 집합의 원소의 개수에 해당하는 개념인 기수(Cardinality)를 소개하고 무한집합과 유한집합, 가산집합과 비가산집합의 개념을 소개하고 보다 심화된 내용인 칸토어(Cantor) 집합과 베른슈타인 정리 등 기타 응용에 대해 소개하는 것 이 목표라고 할 수.. 2021. 8. 20. 극한까지 가버린 극한 4 - 미분가능성 Post-4 미분가능성과 로피탈의 정리 안녕하세요! 오늘은 이번 연재의 마지막 파트인 미분가능성의 정의와 몇 가지 예시를 소개하고, 고등학교 수학에서 증명하지 않고 넘어가는 정리의 대표주자인 로피탈의 정리-L’Hopital’s Rule를 증명해보는 것이 목표입니다. 물론, 로피탈의 정리를 증명하기 위해서는 다른 정리들이 여럿 필요한데요. 대부분 고등학교 수학에서 배우셨을 정리들이기 때문에, 은근슬쩍 사용하면서 증명해보고자 합니다. 그럼 바로 본론으로 들어가보도록 하겠습니다! 미분가능성의 정의 우선, 어떤 함수가 미분가능하다는 것과 함수의 연속성은 미묘하게 다릅니다. 미분가능성은 정의역 안의 한 점 x0x_0x0에서 정의되는 국소적 성질인데요. 어느 한 점에서 함수가 미분가능하면, 함수는 그 점에서 연속.. 2021. 6. 26. 극한까지 가버린 극한 3 - 함수의 극한과 연속 Post 3 - 함수의 극한과 연속 안녕하세요! 이번 연재의 세 번째 파트인 함수의 극한과 연속 파트입니다. 첫 포스트에서는 수열과 함수를 구분하지 않고 예시들을 살펴보았고, 지난 포스트에서는 수열을 정의하고, 수열의 극한의 정의에 대해 살펴보았습니다. 이번 포스트에서는 함수의 연속을 정의하고, 몇 가지 예제와 함께 함수의 연속성이 사칙연산에 의해 보존된다는 정리와 함께 포스트를 마치려고 합니다 (지난 포스트에서 나온 극한의 사칙연산과 아주 흡사합니다). 함수의 극한을 수열과 구분한 까닭은, 함수의 극한을 논함에 있어서는 수열의 극한과 달리 한 가지 추가적인 절차가 필요하기 때문입니다. 여기서 다시 한번 수열과 극한의 정의를 상키시켜 봅시다. 수열(sequence)는 정의역이 자연수인 임의의 함수를 일컫.. 2021. 6. 26. 극한까지 가버린 극한 2 - 수열의 극한 Post 2 - 수열의 극한 안녕하세요! 이번 연재의 두 번째 파트인 수열의 극한 파트입니다. 지난 글에서는 수열과 함수를 구분하지 않고 다양한 종류의 예시를 들어서 우리가 극한을 받아들이는 것이 얼마나 불완전(?)한 것인지 느낌을 드리고자 하였습니다. 얼마나 성공적이었는지는 모르겠습니다 ㅎㅎ. 이번 글에서는 그렇다면 도대체 어떻게 극한을 정의하면 엄밀하다고 하는 것인지, 그 제대로 된 정의를 소개하고자 합니다. 그리고 극한을 정의함에 있어 우선 수열에 대한 극한이 잘 정의되어야, 함수에 대한 극한 등 또한 논할 수 있습니다! 이번 포스팅은 크게 세 파트로 구성되어 있을텐데요. 우선 수열이 수렴하는 경우의 정의, 그리고 그것을 부정함으로써 수열이 발산한다는 것의 정의가 무엇인지 살펴보고 수열의 극한의 정.. 2021. 6. 26. 극한까지 가버린 극한 1 - Introduction Post 1 -Introduction 안녕하세요! 극한의 엄밀한 정의와 그 응용에 대한 소개를 맡은 공우 12기 자유전공학부 Jubby입니다. 수리과학과 컴퓨터공학을 전공하고 있습니다. 수학에 관심이 있거나, 수학 1과 같은 과목에서 미적분학 교재를 사용하여 공부하신 분들은 그 유명한 ‘입실론-델타(ϵ−δ\epsilon-\deltaϵ−δ) 논법’ 혹은 ‘입실론-N(ϵ−N\epsilon-Nϵ−N) 게임’에 대해 접하셨을 수도 있는데요. 그러한 경험이 없거나, 해당 내용을 곱씹어 볼 기회가 없었던 분들한테는, 고등학교 시절 배웠던 극한의 개념이 불완전하고 얼렁뚱땅(?) 넘어간다는 느낌을 받으셨을 수도 있겠다고 생각합니다. (물론 그냥 자연스러운 개념이라고 받아들이셨을 수도 있습니다. 제가 그랬거든요 ㅎㅎ) .. 2021. 6. 26. 선형대수학_3.Vector Space 안녕하세요! 오랜만입니다 여러분. 선형대수학 멘토 김경찬입니다. 선형대수학 연재는 1달에 1번씩 연재하는 것을 목표로 하고 있고, 그나마 시간이 더 많은 방학 때 많이 써두려고 했지만 쉽지는 않네요. 오늘의 글은 선형대수학의 핵심을 관통한다고 감히 말할 수 있는 Vector Space에 대한 것입니다. 벡터 공간(Vector Space) 이란 앞서 연재를 시작하며 올린 introduction 글 (https://stementor.tistory.com/entry/%EC%84%A0%ED%98%95%EB%8C%80%EC%88%98%ED%95%990-introduction) 에서 "선형 변환(Linear transform)"에 대해 이야기를 했습니다. (Recall) 정의역 XXX의 임의의 원소 uuu, vvv.. 2020. 2. 28. 선형대수학_2.선형방정식 Ax=b(Part1)(2) 안녕하세요. (설 쇠고 돌아온) 김경찬입니다. 오늘은 지난 글에서 이야기했다시피 Ax=bA\mathrm{x}=bAx=b에서 AAA가 정사각행렬이고, rank(A)rank(A)rank(A)와 행의 개수가 같은 경우의 선형 방정식의 해법에 대해 알아보도록 하겠습니다. 가우스 소거법(Gaussian Elimination) 다음과 같은 방정식이 주어져 있다고 칩시다. Ax=[2114−60−272][xyz]=[5−29]=b A\mathrm{x} = \begin{bmatrix} 2 & 1 & 1 \\4 & -6 & 0 \\-2 & 7 & 2 \end{bmatrix} \begin{bmatrix} x\\y\\z \end{bmatrix} = \begin{bmatrix} 5 \\ -2 \\ 9\end{bmatrix} = .. 2020. 2. 2. 선형대수학_2.선형방정식 Ax=b(Part1)(1) 안녕하세요! 오랜만에 글을 써보네요. 오늘의 주제는 선형방정식 Ax=bA\mathrm{x} = bAx=b 입니다. 우리가 중학교 때 처음 배웠던 일차 연립 방정식을 행렬 표현으로 나타낸 것이죠. 공대에서 쉽게 접할 수 있는 예시를 통해 한 번 알아보도록 하겠습니다. 선형방정식의 예시 : 전압에 대한 키르히호프 법칙 (이미지 출처 : [https://www.allaboutcircuits.com/textbook/direct-current/chpt-10/mesh-current-method/]) 위와 같은 회로에서 I1,I2I_1, I_2I1,I2를 알고 싶다고 해봅시다. 전압에 대한 키르히호프 법칙을 사용해 2개의 방정식을 얻을 수 있습니다. −B1+I1R1+(I1+I2)R2=0(1)−B2+I2R3+(I1.. 2020. 1. 23. 이전 1 2 3 4 5 ··· 10 다음
