목차
25 처지: 동치, 무리수, 가산 집합, 게오르크 칸토어, 공종도, 공집합, 부분집합, 근방, 기저 (위상수학), 폴란드 공간, 이바르 오토 벤딕손, 이산 공간, 일반위상수학, 제2 가산 공간, 집적점, 칸토어 집합, 위상 공간 (수학), 연결 공간, 연속체 가설, 열린집합, 서로소 집합, 한원소 집합, 시에르핀스키 공간, 완전 분리 공간, T1 공간.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
보다 자기 조밀 공간와 동치
무리수
무리수(無理數, irrational number)는 두 정수의 비의 형태로 나타낼 수 없는 실수를 말. 즉, 분수로 나타낼 수 없는 소수이.
가산 집합
산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.
게오르크 칸토어
오르크 페르디난트 루트비히 필리프 칸토어(1845년 3월 3일~1918년 1월 6일)는 러시아에서 태어난 독일의 수학자이.
공종도
집합론에서, 공종도(共終度)는 주어진 원순서 집합의 공종 집합의 최소 크기이.
공집합
공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
근방
방 N(p,r)의 표현: 평면 위의 집합 V는, p 주위의 작은 원반이 V에 포함되었다면 점 p의 근방이다. 일반위상수학에서, 근방(近傍)은 어떤 점의 주위를 포함하는 집합이.
보다 자기 조밀 공간와 근방
기저 (위상수학)
일반위상수학에서, 위상 공간의 기저(基底)는 모든 열린집합을 합집합을 통해 생성할 수 있는 열린집합들이.
폴란드 공간
일반위상수학에서, 폴란드 공간(Poland空間)은 지나치게 크지 않으며, 완비 거리 공간과 유사하여 측도론 및 기술 집합론()을 쉽게 전개할 수 있는 위상 공간이.
이바르 오토 벤딕손
이바르 오토 벤딕손(1861~1935)은 스웨덴의 수학자이.
이산 공간
일반위상수학에서, 이산 공간(離散空間)은 모든 부분집합이 열린집합인 위상 공간이.
일반위상수학
일반위상수학(一般位相數學) 또는 점-집합 위상수학(點集合位相數學)은 위상 공간을 일반적으로 그것을 정의하는 집합론적 공리만으로 다루는 위상수학의 한 분과이.
제2 가산 공간
일반위상수학에서, 제2 가산 공간(第二可算空間)은 가산 기저를 갖는 위상 공간이.
집적점
일반위상수학에서, 집적점(集積點)은 그 임의의 근방이 주어진 집합과 주어진 기수 개 이상의 점들을 공유하는 점이.
칸토어 집합
수학에서, 칸토어 집합()은 0과 1 사이의 실수로 이루어진 집합으로, 부터 시작하여 각 구간을 3등분하여 가운데 구간을 반복적으로 제외하는 방식으로 만들어.
위상 공간 (수학)
일반위상수학에서, 위상 공간(位相空間)은 어떤 점의 근처(근방)가 무엇인지에 대한 정보를 담고 있지만, 점 사이의 거리나 넓이·부피 따위의 정보를 포함하지 않는 공간이.
연결 공간
A는 유클리드 평면의 연결 부분 공간이며, B는 비연결 부분 공간이다. 일반위상수학에서, 연결 공간(連結空間)은 공집합이 아닌 두 열린집합으로 쪼갤 수 없는 위상 공간이.
연속체 가설
집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.
열린집합
부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.
서로소 집합
서로소인 두 집합 집합론에서, 서로소 집합(-素集合)는 공통 원소가 없는 두 집합이.
한원소 집합
집합론에서, 한원소 집합(한元素集合)은 하나의 원소만을 갖는 집합이.
시에르핀스키 공간
일반위상수학에서, 시에르핀스키 공간(Sierpiński空間)은 두 개의 점만을 갖고, 그 가운데 하나만이 닫힌 점인 위상 공간이.
완전 분리 공간
일반위상수학에서, 완전 분리 공간(完全分離空間)은 모든 점들이 각각 분리돼 있는 위상 공간이.
T1 공간
일반위상수학에서, T1 공간(T1空間)은 주어진 두 점에 대하여, 첫째를 포함하며 둘째를 포함하지 않는 열린집합이 존재하는 위상 공간이.
또한 칸토어-벤딕손 정리, 완전 집합, 완전집합로 알려져 있다.