심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

나무 (집합론)

색인 나무 (집합론)

순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.

69 처지: 도달 불가능한 기수, 동치, 레이던 대학교, 로버트 솔로베이, 마틴 공리, 메리 엘런 루딘, 무모순적 이론, 미하일 야코블레비치 수슬린, 반복 강제법, 반사슬, 바르샤바, 강제법, 강하향 반사슬, 가산 집합, 베오그라드 대학교, 게오르크 칸토어, 범주론, 곱위상, 공종도, 공집합, 분리 합집합, 분해 가능 공간, 부분 순서 집합, 부분집합, 극대 원소와 극소 원소, 귀류법, 기수 (수학), 구간, 구성 가능 전체, 나흐만 아론샤인, 스탠리 테넨바움, 작은 범주, 포괄적 필터, 이산 공간, 전순서 집합, 정렬 원순서 집합, 정상 집합, 조밀 집합, 조합론, 주로 쿠레파, 집합론, 집합의 크기, 체르멜로-프렝켈 집합론, 추이적 모형, 층 (수학), 케네스 쿠넌, 쾨니그 보조정리, 상집합, 상향 원순서 집합, 상한과 하한, ..., 순서론, 순서위상, 순서수, 최대 원소와 최소 원소, 얀 미치엘스키, 여집합, 연속체 가설, 열린집합, 선택 공리, 선형 연속체, 서로소 집합, 함자 (수학), 함수, 항등 함수, 약콤팩트 기수, 한원소 집합, 아르노 당주아, 실수, 원순서 집합. 색인을 확장하십시오 (19 더) »

도달 불가능한 기수

집합론에서, 도달 불가능한 기수(到達不可能한基數)는 그보다 작은 기수의 덧셈·곱셈·거듭제곱으로 나타낼 수 없는 기수이.

새로운!!: 나무 (집합론)와 도달 불가능한 기수 · 더보기 »

동치

수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.

새로운!!: 나무 (집합론)와 동치 · 더보기 »

레이던 대학교

이던 대학교는 레이던 시에 위치하며 네덜란드에서 가장 오래된 대학교이.

새로운!!: 나무 (집합론)와 레이던 대학교 · 더보기 »

로버트 솔로베이

버트 마틴 솔로베이(1938–)는 미국의 수학자이.

새로운!!: 나무 (집합론)와 로버트 솔로베이 · 더보기 »

마틴 공리

집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.

새로운!!: 나무 (집합론)와 마틴 공리 · 더보기 »

메리 엘런 루딘

메리 엘런 에스틸 루딘(1924~2013)은 미국의 수학자이.

새로운!!: 나무 (집합론)와 메리 엘런 루딘 · 더보기 »

무모순적 이론

수리논리학에서, 무모순적 이론(無矛盾的理論)은 거짓을 추론할 수 없는 이론이.

새로운!!: 나무 (집합론)와 무모순적 이론 · 더보기 »

미하일 야코블레비치 수슬린

미하일 야코블레비치 수슬린 (1894~1919)은 러시아의 수학자이.

새로운!!: 나무 (집합론)와 미하일 야코블레비치 수슬린 · 더보기 »

반복 강제법

집합론에서, 반복 강제법(反復強制法)은 강제법 모형의 구성을 초한 번 반복하는 과정이.

새로운!!: 나무 (집합론)와 반복 강제법 · 더보기 »

반사슬

순서론에서, 반사슬(反사슬)은 서로 다른 두 원소가 비교될 수 없는, 원순서 집합의 부분 집합이며, 사슬()은 서로 두 원소가 항상 비교될 수 있는, 원순서 집합의 부분 집합이.

새로운!!: 나무 (집합론)와 반사슬 · 더보기 »

바르샤바

바르샤바()는 폴란드의 수도이자 폴란드 최대 도시이고, 마조프셰 주의 대표 도시이.

새로운!!: 나무 (집합론)와 바르샤바 · 더보기 »

강제법

집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.

새로운!!: 나무 (집합론)와 강제법 · 더보기 »

강하향 반사슬

순서론에서, 강하향 반사슬(強下向反사슬)은 서로 다른 두 원소가 공통된 하계를 갖지 않는, 원순서 집합의 반사슬이.

새로운!!: 나무 (집합론)와 강하향 반사슬 · 더보기 »

가산 집합

산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.

새로운!!: 나무 (집합론)와 가산 집합 · 더보기 »

베오그라드 대학교

베오그라드 대학교()는 세르비아 베오그라드에 소재한 대학교이.

새로운!!: 나무 (집합론)와 베오그라드 대학교 · 더보기 »

게오르크 칸토어

오르크 페르디난트 루트비히 필리프 칸토어(1845년 3월 3일~1918년 1월 6일)는 러시아에서 태어난 독일의 수학자이.

새로운!!: 나무 (집합론)와 게오르크 칸토어 · 더보기 »

범주론

수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.

새로운!!: 나무 (집합론)와 범주론 · 더보기 »

곱위상

일반위상수학에서, 곱위상(-位相)은 위상 공간들의 곱집합에 표준적으로 부여되는 위상이.

새로운!!: 나무 (집합론)와 곱위상 · 더보기 »

공종도

집합론에서, 공종도(共終度)는 주어진 원순서 집합의 공종 집합의 최소 크기이.

새로운!!: 나무 (집합론)와 공종도 · 더보기 »

공집합

공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.

새로운!!: 나무 (집합론)와 공집합 · 더보기 »

분리 합집합

수학에서, 분리 합집합(分離合集合) 또는 서로소 합집합(-素合集合)은 원소들에게 그들이 속하던 집합에 대한 첨수를 추가하도록 변형된 합집합이.

새로운!!: 나무 (집합론)와 분리 합집합 · 더보기 »

분해 가능 공간

일반위상수학에서, 분해 가능 공간(分解可能空間)은 가산 집합이 조밀 집합일 수 있을 정도로 작은 위상 공간이.

새로운!!: 나무 (집합론)와 분해 가능 공간 · 더보기 »

부분 순서 집합

''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.

새로운!!: 나무 (집합론)와 부분 순서 집합 · 더보기 »

부분집합

부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.

새로운!!: 나무 (집합론)와 부분집합 · 더보기 »

극대 원소와 극소 원소

수학, 특히 순서론에서, 극대 원소(極大元素)와 극소 원소(極小元素)는 부분 순서 집합에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이.

새로운!!: 나무 (집합론)와 극대 원소와 극소 원소 · 더보기 »

귀류법

법(歸謬法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이.

새로운!!: 나무 (집합론)와 귀류법 · 더보기 »

기수 (수학)

ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.

새로운!!: 나무 (집합론)와 기수 (수학) · 더보기 »

구간

수학에서, 구간(區間)은 주어진 두 실수 (또는 무한대) 사이의 모든 실수의 집합이.

새로운!!: 나무 (집합론)와 구간 · 더보기 »

구성 가능 전체

집합론에서, 구성 가능 전체(構成可能全體)는 재귀적으로 1차 논리로 정의 가능한 집합들로 구성된 모임이.

새로운!!: 나무 (집합론)와 구성 가능 전체 · 더보기 »

나흐만 아론샤인

흐만 아론샤인(1907~1980)은 폴란드 태생의 수학자이.

새로운!!: 나무 (집합론)와 나흐만 아론샤인 · 더보기 »

스탠리 테넨바움

스탠리 테넨바움(1927~2005)은 미국의 수학자이.

새로운!!: 나무 (집합론)와 스탠리 테넨바움 · 더보기 »

작은 범주

범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.

새로운!!: 나무 (집합론)와 작은 범주 · 더보기 »

포괄적 필터

순서론에서, 포괄적 필터(包括的filter)는 모든 공시작 집합과 겹치는 필터이.

새로운!!: 나무 (집합론)와 포괄적 필터 · 더보기 »

이산 공간

일반위상수학에서, 이산 공간(離散空間)은 모든 부분집합이 열린집합인 위상 공간이.

새로운!!: 나무 (집합론)와 이산 공간 · 더보기 »

전순서 집합

순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.

새로운!!: 나무 (집합론)와 전순서 집합 · 더보기 »

정렬 원순서 집합

순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.

새로운!!: 나무 (집합론)와 정렬 원순서 집합 · 더보기 »

정상 집합

집합론에서, 클럽 집합(club集合)은 주어진 순서수보다 작은 순서수들 가운데 "거의 대부분"을 포함하는 집합이며, 정상 집합(定常集合)은 주어진 순서수보다 작은 순서수들 가운데 "충분한 수"를 포함하여, 임의의 클럽 집합과 하나 이상의 원소를 공유하는 집합이.

새로운!!: 나무 (집합론)와 정상 집합 · 더보기 »

조밀 집합

일반위상수학에서, 조밀 집합(稠密集合)은 어떤 공간을 ‘조밀하게’ 채우는 부분 집합이.

새로운!!: 나무 (집합론)와 조밀 집합 · 더보기 »

조합론

조합론(組合論) 또는 조합수학(組合數學)은 유한하거나 가산적인 구조들에 대하여, 어떤 주어진 성질을 만족시키는 것들의 가짓수나 어떤 주어진 성질을 극대화하는 것을 연구하는 수학 분야이.

새로운!!: 나무 (집합론)와 조합론 · 더보기 »

주로 쿠레파

주로 쿠레파(1907~1993)는 세르비아의 수학자이.

새로운!!: 나무 (집합론)와 주로 쿠레파 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 나무 (집합론)와 집합론 · 더보기 »

집합의 크기

집합론에서, 집합의 크기() 또는 농도(濃度)는 집합의 "원소 개수"에 대한 척도이.

새로운!!: 나무 (집합론)와 집합의 크기 · 더보기 »

체르멜로-프렝켈 집합론

수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.

새로운!!: 나무 (집합론)와 체르멜로-프렝켈 집합론 · 더보기 »

추이적 모형

집합론에서, 추이적 모형(推移的模型)은 내부적 포함 관계가 외부적 포함 관계와 같은, 추이적 집합 위에 정의된 집합론 모형이.

새로운!!: 나무 (집합론)와 추이적 모형 · 더보기 »

층 (수학)

수학에서, 층(層)은 어떤 위상 공간에서, 각 점에 국소적 구조를 붙인 것이.

새로운!!: 나무 (집합론)와 층 (수학) · 더보기 »

케네스 쿠넌

버트 케네스 쿠넌(1943~)은 미국의 수학자이.

새로운!!: 나무 (집합론)와 케네스 쿠넌 · 더보기 »

쾨니그 보조정리

이론에서, 쾨니그 보조정리(Kőnig補助定理)는 어떤 그래프가 무한할 수 있는 방법들을 나열하는 정리.

새로운!!: 나무 (집합론)와 쾨니그 보조정리 · 더보기 »

상집합

를 이룬다. 순서론에서, 상집합(上集合,, upward-closed set, upset)은 S에 속하는 원소보다 더 큰 임의의 원소 역시 S에 속하는, 원순서 집합의 부분 집합 S이.

새로운!!: 나무 (집합론)와 상집합 · 더보기 »

상향 원순서 집합

순서론에서, 상향 원순서 집합(上向原順序集合)은 임의의 유한 부분 집합에 상계가 존재하는 원순서 집합이.

새로운!!: 나무 (집합론)와 상향 원순서 집합 · 더보기 »

상한과 하한

집합 A의 모든 원소가 파란색으로 표시되어 있다. 임의의 빨간색 원소는 모든 파란색 원소보다 크거나 같고, 그 중에서 가장 작은 빨간색 값(다이아몬드)이 최소 상계가 된다. 순서론에서, 어떤 집합 T의 부분 집합 S에 대해 S의 상한(上限) 또는 최소 상계(最小上界,, LUB)는 T의 원소 중 S의 모든 원소보다 큰 최소의 원소 (최소 상계)를 말. 마찬가지로, 하한(下限) 또는 최대 하계(最大下界,, GLB)는 T의 원소 중 S의 모든 원소보다 작은 최대의 원소 (최대 하계)를 말.

새로운!!: 나무 (집합론)와 상한과 하한 · 더보기 »

순서론

right 순서론(順序論)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이.

새로운!!: 나무 (집합론)와 순서론 · 더보기 »

순서위상

순서론에서, 순서위상(順序位相)은 전순서 집합 위의, 열린구간으로부터 생성되는 위상이.

새로운!!: 나무 (집합론)와 순서위상 · 더보기 »

순서수

\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.

새로운!!: 나무 (집합론)와 순서수 · 더보기 »

최대 원소와 최소 원소

순서론에서, 부분 순서 집합의 최대 원소(最大元素)는 모든 다른 원소들보다 큰 원소이.

새로운!!: 나무 (집합론)와 최대 원소와 최소 원소 · 더보기 »

얀 미치엘스키

얀 미치엘스키(1932~)는 폴란드 계의 수학자이.

새로운!!: 나무 (집합론)와 얀 미치엘스키 · 더보기 »

여집합

집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이.

새로운!!: 나무 (집합론)와 여집합 · 더보기 »

연속체 가설

집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.

새로운!!: 나무 (집합론)와 연속체 가설 · 더보기 »

열린집합

부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.

새로운!!: 나무 (집합론)와 열린집합 · 더보기 »

선택 공리

선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.

새로운!!: 나무 (집합론)와 선택 공리 · 더보기 »

선형 연속체

순서론에서, 선형 연속체(線型連續體)는 상한이 존재하는 조밀 전순서 집합이.

새로운!!: 나무 (집합론)와 선형 연속체 · 더보기 »

서로소 집합

서로소인 두 집합 집합론에서, 서로소 집합(-素集合)는 공통 원소가 없는 두 집합이.

새로운!!: 나무 (집합론)와 서로소 집합 · 더보기 »

함자 (수학)

범주론에서 함자(函子)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시.

새로운!!: 나무 (집합론)와 함자 (수학) · 더보기 »

함수

수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.

새로운!!: 나무 (집합론)와 함수 · 더보기 »

항등 함수

실수 위의 항등함수의 그래프 수학에서, 항등함수(恒等函數, identity function), 또는 항등사상(恒等寫像, identity map), 항등변환(恒等變換, identity transformation), 단위변환(單位變換), 항등관계(恒等關係, identity relation)는, 어떤 변수도 자기 자신을 함숫값으로 하는 함수 f(x).

새로운!!: 나무 (집합론)와 항등 함수 · 더보기 »

약콤팩트 기수

집합론에서, 약콤팩트 기수(弱compact基數)는 그 만큼 무한한 수의 항들의 논리합 및 제한 기호 \forall를 사용하는 무한 논리에서, 약한 형태의 콤팩트성 정리가 성립하는 기수이.

새로운!!: 나무 (집합론)와 약콤팩트 기수 · 더보기 »

한원소 집합

집합론에서, 한원소 집합(한元素集合)은 하나의 원소만을 갖는 집합이.

새로운!!: 나무 (집합론)와 한원소 집합 · 더보기 »

아르노 당주아

아르노 당주아(1884~1974)는 프랑스의 수학자이.

새로운!!: 나무 (집합론)와 아르노 당주아 · 더보기 »

실수

실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.

새로운!!: 나무 (집합론)와 실수 · 더보기 »

원순서 집합

순서론에서, 원순서 집합(原順序集合)은 그 속의 두 원소를 추이적으로 비교할 수 있는 집합이.

새로운!!: 나무 (집합론)와 원순서 집합 · 더보기 »

여기로 리디렉션합니다

쿠레파 나무, 수슬린 가설, 아론샤인 나무.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »