집합 (Set)
쉽게 풀면
학급 안에서 "안경을 쓴 학생들"을 모아보면, 누가 여기 속하고 누가 속하지 않는지 딱 잘라 말할 수 있습니다. 이렇게 기준이 분명한 모임이 바로 집합이고, 그 안에 들어가는 학생 한 명 한 명이 원소입니다. 만약 "안경 쓴 학생" 중에서 "여학생"만 다시 뽑으면 그것은 원래 집합의 부분집합이 됩니다. 두 집합 A(안경 쓴 학생)와 B(왼손잡이 학생)가 있을 때, 둘 중 하나라도 속하는 학생을 모두 모으면 합집합, 둘 다에 동시에 속하는 학생만 모으면 교집합, 그리고 A에 속하지 않는 나머지 전체 학생들을 모으면 여집합이라고 부릅니다.
왜 중요한가
집합은 수학뿐 아니라 논리학, 확률론, 컴퓨터과학의 데이터 구조와 알고리즘까지 이어지는 가장 기초적인 언어입니다. 어떤 대상들의 모임을 명확한 기준으로 정의하고 그 관계(포함, 교차, 배제)를 다루는 사고방식이 여러 분야의 이론적 토대가 되기 때문에, 수학교육 연구뿐 아니라 형식논리·자료구조를 다루는 논문에서도 기본 개념으로 자주 언급됩니다.
논문에서는 이렇게 쓰입니다
이 문장은 집합이라는 기초 수학 개념이 교육과정에서 어떻게 다뤄지고, 학생들이 어떤 지점에서 헷갈려하는지를 연구한 교육학 논문의 배경 설명 예시입니다.
컴퓨터과학 논문에서 처리 대상 데이터를 집합으로 형식화하고, 그 원소들을 하나씩 검사하는 절차를 설계했다는 서술이다.
논리학·철학 논문에서 명제들을 집합으로 취급하고, 집합 간 포함 관계를 근거로 논증의 형식적 타당성을 보였다는 뜻이다.
조금 더 깊게 보면
집합을 더 엄밀하게 다루려면 "원소의 개수가 몇 개인가"를 나타내는 집합의 크기(농도, cardinality) 개념이 필요하며, 유한집합과 무한집합을 구분하는 것도 이와 관련됩니다. 또한 집합을 정의하는 방법으로는 원소를 나열하는 원소나열법과, 조건을 제시하는 조건제시법이 있는데, 논문에서 수식으로 집합을 정의할 때는 대개 조건제시법(예: {x | x는 특정 조건을 만족})을 사용합니다. 컴퓨터과학에서는 이런 집합 개념이 자료구조로 구현될 때 정렬 여부나 중복 허용 여부에 따라 배열, 해시셋 등 다양한 형태로 나타납니다.
주의할 점
"부분집합"과 "원소"를 혼동하기 쉽습니다. 원소는 집합 "안에 들어있는 개별 대상"이고, 부분집합은 그 집합에서 뽑아낸 "또 다른 작은 집합"입니다. 예를 들어 {1,2,3}에서 1은 원소이지만 {1}은 부분집합입니다. 이런 논리적 포함 관계를 명확히 다루는 것은 명제와 논리를 이해하는 데도 도움이 됩니다.