[include(틀:이산수학·수리논리학)] existence and uniqueness [목차] == 개요 == 존재성과 유일성이란 수학에서 수학자들이 어떤 문제에 대해 "답이 존재하냐?" 그리고 "답이 존재하면 답이 몇 개냐? 한 개? 여러 개?"라는 질문에 대답하기 위해 하루 종일 씨름하는 개념이다. 고등학교 때 까지의 수학에서는 존재성과 유일성에 대해 심도있게 다루지 않으며 대학에서 수학을 전공해야 듣게 되는 단어. 사실 초등학교나 중학교에서도 존재성과 유일성에 대해서 배우긴 한다. 단 한마디의 언급 없이 "이건 그냥 이래"라는 식이라 그렇지... 존재성과 유일성에 대한 자세한 설명은 각 문단을 참조하자. == 존재성 == '''[[해#s-4]](解)가 존재하냐?'''라는 질문에 답을 해주는 개념. 존재성이라 부르니 뭔가 전문적인 것 같지만 별로 그렇지는 않다. 간단한 예시를 통해 알아보자. >[math(2x+4=0)]의 근을 구하시오. 답은 -2이다. 즉, 우리는 해가 '''존재'''한다는 것을 안다. 근이 "왜 존재하냐"라고 묻는다면, "-2를 넣어보니 되더라, 그러니까 존재해"라고 답해주면 된다. 뭔가 허무한 느낌이 들지만 실제로 이 방법은 해의 존재성을 보이는 방법 중 하나이다. 어떤 문제에 대해 실제로 맞아 떨어지는 것을 찾는다면 그 문제의 해의 존재성이 증명되는 것이다. 하지만 실제로 답이 되는 것을 찾는 것은 절대 쉽지 않다. 위 예시에서는 누구나 할 수 있는 간단한 예시를 들었지만, [[중국인의 나머지 정리]]같은 항목을 보면 '''아니 저딴 걸 무슨 수로 생각해내?'''같은 답도 있다. [[미분방정식]]으로 가면 해의 존재성을 증명하는 것만으로도 수학사에 자기 이름을 남길 수 있을 지경. 이번엔 다른 예시를 들어보자. >24를 [[소인수분해]] 하시오. [math(24=2^3\cdot3)]이다. 하지만 만약 누군가 "24의 [[소인수분해]]가 왜 존재하냐?" 라고 묻는다면 "[math(24=2^3\cdot3)]니까 존재해"라는 답은 50점 짜리 정답. 결과는 알아도 그 '''과정'''을 모르기 때문. 설녕 눈 앞에서 직접 과정을 보여줘도 "모든 [[자연수]]에 대해 소인수분해가 존재하냐?"라고 묻는다면 그대로 [[데꿀멍]]... 방정식은 문자를 사용해서 계산하면 되지만,[* [math(ax+b=0)]과 같이] '''임의의''' 자연수의 소인수분해 과정을 수학적으로 어떻게 보일것인가? 이 문제의 답은 모든 경우에 성립하는 '''유한한 기계적 절차'''를 제시하는 것으로 해결된다. 여기서 "유한한"은 글자 그대로 "언젠가는 끝나는"을 뜻하고, "기계적"이란 "기계가 할 수 있는"정도로 이해하면 된다. 즉, 간단한 [[덧셈]], [[곱셈]]부터 시작해서, [[극한]]이나 [[미분]]같은 [[알고리즘]]을 말한다. 위 임의의 자연수의 [[소인수분해]]의 유한한 기계적 절차, 즉 존재성에 대한 증명은 [[산술의 기본정리]] 항목에 있으니 ~~마음의 준비를 하고~~ 보도록 하자.[* 간단히 설명하자면, 두번째로 작은 약수를 찾아 쪼개는 것을 반복한다.] 또 다른 예시를 들어보자. 이번엔 [[선형대수학]]의 지식이 필요하다. >임의의 [[벡터 공간]] (Vector Space)의 기저 (Basis)는 항상 존재하는가? 공대에서 선형대수학을 들었다면 존재한다고 배웠을 것이다. 직접 기저를 찾는 문제도 풀어본 적이 있을 것이다. 하지만 문제는 '''임의의''' 벡터 공간이라는 데에서 발생한다. 위 소인수분해와 같이 [[알고리즘]]을 제시하면 되지 않겠냐고? ~~된다면 이렇게 따로 설명을 하지 않았겠지~~ 이 문제의 답은 특정 [[공리]]를 취하는 것으로 해결할 수 있다. 이 경우에는 초른의 보조정리(Zorn's lemma)를 취함으로써 해결 된다.[* Zorn's lemma는 선택 공리(axiom of choice)와 동치인 명제이므로, 이를 받아들이는 것은 선택 공리를 받아들이는 것과 같다. 때문에 공리를 취한다는 표현을 썼다.] 마지막으로 어떤 문제의 해가 존재함을 보였다고 가정하자. 하지만 해의 존재성과 해가 어떻게 생겨먹었는지는 다른 경우가 많다. 예시로 4차 이하의 [[방정식]]은 근의 공식이 존재해서 해가 어떻게 생겨먹었는지는 알지만, 5차 이상의 방정식은 수학자 아벨이 일반적인 5차 이상의 방정식의 근의 공식은 없다는 것을 증명했다. [[대수학의 기본정리]]를 통해 해의 존재성은 알고 있는데도! 다른 예시로는 [[미분방정식]]이 있는데, Picard Iteration이 대표적. 이건 "해가 (특정 범위 안에서) 존재해. [[알고리즘]]도 알아. 근데 어떻게 생겼는지는 몰라"라고 말하며 수학도의 뒤통수를 후려치는 정리이다. 존재성에 대해 정리하자면, 크게 1. 직접 찾아서 보이거나, 2. 답을 찾을 수 있는 알고리즘을 제시하거나, 3. 그냥 공리로 된다고 만드는(...) 세가지 방법이 있다. 물론 이 외에도 다른 증명 방법이 있다. 주의할 점은, '''답이 존재함을 아는 것과 실제로 답을 찾는 것은 다르다'''는 것이다. === 예. 적당한 무리수 [math(a,\,b>0)]가 존재하여 [math(a^{b})]는 유리수이다. === 여기서는 구체적인 예를 찾지 않으면서도, 존재성을 보일 것이다. 여기서는 배중률을 쓴다. ||[math(\sqrt{2}^{\sqrt{2}})]는 유리수이거나 무리수이다.(배중률) 1. [math(\sqrt{2}^{\sqrt{2}})]가 유리수인 경우[br][math(a=b=\sqrt{2})]가 그러하다. 1. [math(\sqrt{2}^{\sqrt{2}})]가 무리수인 경우[* 실제로 이쪽이 참이라는 것이 Gelfond--Schneider 정리(대수적 양수 [math(a\neq0,\,1)]과 대수적인 양의 무리수[math(b)]에 대해 [math(a^{b})]는 초월수이다)에 의해 바로 따른다.][br][math(a=\sqrt{2}^{\sqrt{2}})], [math(b=\sqrt{2})]가 그러하다. [math(a^{b}=\left(\sqrt{2}^{\sqrt{2}}\right)^{\sqrt{2}}=\sqrt{2}^2=2)]이므로 그렇다.|| 이 증명에서는, 둘 중 하나는 성립하는 가정 하에 구체적인 예를 찾았다. 그러나 두 가정 중 어떤 것이 참인지는 살피지 않았으므로, 구체적인 예를 찾지는 않은 것이다. 이런 점 때문에 배중률을 사용하는 것을 거부하는 사람들도 있다. 참고로 [math(\sqrt{2}^{\sqrt{2}})]는 [[무리수]]인데다가 [[초월수]]이다. ([[힐베르트의 23가지 문제#s-3.7|겔폰트-슈나이더 정리]] 참조) == 유일성 == '''해가 존재하는건 알겠어. 근데 해가 하나? 둘? 무수히 많아?'''라는 질문에 답을 해주는 개념이다. 존재성과 마찬가지로, 유일성이라 부르니 뭔가 전문적인 느낌이 나지만 일차[[방정식]] [math(ax+b=0)]의 해는 유일하다는 것 정도는 다들 알고 있듯이 알게 모르게 자주 쓰이는 것이다. 존재성을 보이는 데에는 여러가지 증명 방법이 있는 반면, 유일성을 보이는 방법은 사실상 한 가지 밖에 없다. 바로 [[귀류법]]. 이제 예시를 통해 귀류법이 어떻게 쓰이는지 확인해 보자. >일차 방정식 [math(2x+4=0)]의 근이 유일함을 보여라. 답이 -2 하나밖에 없음은 모두 알고 있다. 이제 그 답이 유일하다는 것을 보이기 위해 답이 유일하지 않다고 가정하자. 즉, [math(2a+4=0)]인데, [math(a\neq-2)]인 [math(a)]가 존재한다고 가정한다. 이제 양변을 [math(a+2)]로 나눠주면, [math(2=0)]이 튀어나오므로 이는 [[모순]]이고, 따라서 답이 유일하다는 결론이 도출된다. 만약 문제가 [[자연수]]에 관한 것이라면 자연수의 정렬성(Well-ordering Principle)을 사용해서 증명하는 경우가 많다. 자연수의 정렬성이란, 자연수의 '''공집합이 아닌''' 부분집합은 반드시 가장 작은 원소를 가진 다는 성질이다. 참고로 굳이 자연수가 아닌 자연수의 부분집합의 부분집합에도 정렬성이 성립한다. 또한 0을 포함해도 정렬성은 변함없이 성립한다. 이 원리를 사용한 증명은 [[소인수분해]]나 [[√2]]에 있으니 ~~역시 마음의 준비를 하고~~ 참고하자. 간혹 [[귀류법]]을 쓰지않고 두개의 답이 존재한다고 가정한 뒤, 두 답이 사실은 같다는 것을 증명하는 경우도 있는데, 본질적으로는 귀류법과 동일한 방법이다. 아래 예시를 확인해 보자. 이번엔 [[엡실론-델타 논법]]에 대한 기본 지식이 필요하다. >어떤 함수 [math(f\left(x\right))]의 [math(x=a)]에서의 극한값이 존재한다고 하자. 그러면 이 극한값은 유일하다. ||[math(\displaystyle \lim_{x\to a}f\left(x\right)=L_1,\,\lim_{x\to a}f\left(x\right)=L_2)]라 가정하자.[* 여기서 귀류법과의 차이점은 굳이 [math(L_1\neq L_2)]임을 가정하지 않는 것이다. 어차피 두 개가 같음을 보일 것이므로.] 그럼 임의의 [math(\epsilon>0)]에 대해 [math(0<\left|x-a\right|<\delta_1)]이면 [math(\left|f\left(x\right)-L_1\right|<\epsilon/2)]를 만족시키는 [math(\delta_1>0)]이 존재한다. 마찬가지로, [math(0<\left|x-a\right|<\delta_2)]이면 [math(\left|f\left(x\right)-L_2\right|<\epsilon/2)]를 만족시키는 [math(\delta_2>0)]가 존재한다. 이제 [math(0<\left|x_0-a\right|<\delta_1)]이고 [math(0<\left|x_0-a\right|<\delta_2)]인 [math(x_0)]을 뽑자. 그러면 [math(\left|L_1-L_2\right|=\left|L_1-f\left(x_0\right)+f\left(x_0\right)-L_2\right|\leq\left|L_1-f\left(x_0\right)\right|+\left|L_2-f\left(x_0\right)\right|<\epsilon/2+\epsilon/2=\epsilon)]이 성립한다.[* [[삼각부등식]]을 이용한다. 참고로 이 테크닉은 입실론 델타 논법에서 자주 쓰인다.] 그런데 [math(\epsilon)]이 임의의 양수이므로 이를 만족하는 경우는 [math(L_1=L_2)]밖에 없다. 따라서 극한값은 유일하다.|| 뭔가 복잡해 보이지만 간단히 설명하면 "여러가지 해보니 두개가 같아야 함ㅇㅇ"을 보인 것이다. 이 방법의 다른 테크닉으로는 두 근 (혹은 [[함수]], [[행렬]] 등등)을 [math(x,y)]라 했을 때 [math(x-y=0)]을 보이는 것, [math(x\leq y)]이고 [math(y\leq x)]을 보이는 것 등이 있다. [[집합]]의 경우는 [math(A\subset B)]이고 [math(B\subset A)]을 보이면 된다. == 관련 항목 == * [[증명]] [[분류:논리학]][[분류:수학 용어]]