존재성과 유일성은 수학에서 어떤 문제의 답(해)이 실제로 존재하는지, 그리고 존재한다면 그러한 답이 오직 하나인지를 논하는 개념이다. 존재성(存在性, Existence)은 주어진 조건을 만족하는 대상이 적어도 하나 존재한다는 것을 의미하며, 유일성(唯一性, Uniqueness)은 그러한 대상이 둘 이상 존재하지 않고 오직 하나뿐임을 의미한다. 수학에서는 일반적으로 이 두 성질을 묶어 "존재성과 유일성"이라는 표현으로 함께 다루는 경우가 많다.
개념의 의미
수학자들은 어떤 문제를 다룰 때 기본적으로 두 가지 질문을 제기한다. 첫 번째는 "답이 존재하는가?"라는 존재성의 문제이고, 두 번째는 "답이 존재한다면 그 답이 몇 개인가?"라는 유일성의 문제이다. 존재성은 답이 전혀 없어서 문제 자체가 성립하지 않는 상황을 배제하기 위해 확인되며, 유일성은 답이 여러 개일 때 어느 것이 올바른 답인지가 모호해지는 상황을 피하기 위해 확인된다.
수학에서의 활용
존재성과 유일성은 해석학, 미분방정식, 선형대수학, 정수론, 이산수학 등 수학의 여러 분야에 걸쳐 나타나는 근본적인 개념이다. 대표적인 예로, 일계 미분방정식의 초기값 문제에서 나타나는 해의 존재성과 유일성 정리(피카르-린델뢰프 정리, Picard–Lindelöf theorem)가 있다. 이 정리는 함수가 특정 조건(연속성과 립시츠 연속성)을 만족할 때 초기값 문제가 유일한 해를 가짐을 보장한다. 또한 사잇값 정리, 평균값 정리, 최대최소 정리 등은 존재성만을 보이는 정리로 알려져 있으며, 유일성까지 함께 보이는 정리와 구분된다.
증명 방법
존재성을 증명하는 방법은 다양하며, 해당 대상이 실제로 존재함을 구성적으로 보여주는 방법, 또는 존재하지 않는다고 가정했을 때 모순이 발생함을 보이는 비구성적 방법 등이 사용된다. 반면 유일성을 증명하는 방법은 대체로 귀류법(배리법)을 사용한다. 즉, 해가 둘 이상 존재한다고 가정한 뒤 두 해가 실제로는 동일하다는 결론을 유도하는 방식으로 유일성을 입증하는 것이 일반적이다.
교육 단계에서의 취급
존재성과 유일성의 개념은 초등학교나 중학교 수준에서도 단순한 형태로 언급되기는 하나, 대체로 엄밀한 증명을 수반하지 않는다. 이 개념을 체계적이고 엄밀하게 학습하는 것은 대학 수준의 수학 교육에서 이루어지는 경우가 많으며, 특히 수학 전공 과정에서 중요한 비중을 차지한다.
존재성과 유일성은 수학의 기초 개념으로서 학계에서 널리 인정되고 사용되는 용어이며, 공신력 있는 수학 교재와 학술 자료에서 두루 등장한다.
