브라우저보다 빠른!
27 처지: 동치, 막스 초른, 모임 (수학), 반사슬, 보조정리, 공집합, 부분 순서 집합, 극대 원소와 극소 원소, 귀류법, 단사 함수, 닫힌 원순서 집합, 니콜라 부르바키, 펠릭스 하우스도르프, 정렬 원순서 집합, 집합론, 초한귀납법, 카지미에시 쿠라토프스키, 상집합, 상한과 하한, 순서수, 수학, 선택 공리, 합집합, 필요충분조건, 원순서 집합, 1922년, 1935년.
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
새로운!!: 초른의 보조정리와 동치 · 더보기 »
막스 초른
막스 아우구스트 초른(1906년 6월 6일 ~ 1993년 3월 9일)은 독일에서 태어난 미국인 수학자이.
새로운!!: 초른의 보조정리와 막스 초른 · 더보기 »
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 초른의 보조정리와 모임 (수학) · 더보기 »
반사슬
순서론에서, 반사슬(反사슬)은 서로 다른 두 원소가 비교될 수 없는, 원순서 집합의 부분 집합이며, 사슬()은 서로 두 원소가 항상 비교될 수 있는, 원순서 집합의 부분 집합이.
새로운!!: 초른의 보조정리와 반사슬 · 더보기 »
보조정리
수학에서, 보조 정리(補助定理, 렘마)는 이미 증명된 명제로서, 그 자체가 중시되기보다 다른 더 중대한 결과를 증명하는 디딤돌로 사용되는 명제이.
새로운!!: 초른의 보조정리와 보조정리 · 더보기 »
공집합
공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.
새로운!!: 초른의 보조정리와 공집합 · 더보기 »
부분 순서 집합
''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.
새로운!!: 초른의 보조정리와 부분 순서 집합 · 더보기 »
극대 원소와 극소 원소
수학, 특히 순서론에서, 극대 원소(極大元素)와 극소 원소(極小元素)는 부분 순서 집합에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이.
새로운!!: 초른의 보조정리와 극대 원소와 극소 원소 · 더보기 »
귀류법
법(歸謬法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이.
새로운!!: 초른의 보조정리와 귀류법 · 더보기 »
단사 함수
사 함수의 예 단사 함수가 아닌 예 (이는 전사 함수이기는 하다). 수학에서, 단사 함수(單射函數) 또는 일대일 함수(一對一函數)는 정의역의 서로 다른 원소를 공역의 서로 다른 원소로 대응시키는 함수이.
새로운!!: 초른의 보조정리와 단사 함수 · 더보기 »
닫힌 원순서 집합
순서론에서, 닫힌 원순서 집합(-原順序集合)이란 모든 사슬이 상계를 갖는 원순서 집합이.
새로운!!: 초른의 보조정리와 닫힌 원순서 집합 · 더보기 »
니콜라 부르바키
부르바키의 《집합론》 1970년 판 표지 니콜라 부르바키()는 20세기에 프랑스를 중심으로 활동한 수학자들의 단체가 사용한 가명이.
새로운!!: 초른의 보조정리와 니콜라 부르바키 · 더보기 »
펠릭스 하우스도르프
릭스 하우스도르프(1868년 11월 8일~1942년 1월 26일)는 독일의 수학자이.
새로운!!: 초른의 보조정리와 펠릭스 하우스도르프 · 더보기 »
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
새로운!!: 초른의 보조정리와 정렬 원순서 집합 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 초른의 보조정리와 집합론 · 더보기 »
초한귀납법
집합론에서, 초한 귀납법(超限歸納法)은 수학적 귀납법을 순서수나 기수를 비롯한 정렬 집합으로 확장한 것이.
새로운!!: 초른의 보조정리와 초한귀납법 · 더보기 »
카지미에시 쿠라토프스키
미에시 쿠라토프스키(1896~1980)는 폴란드의 수학자이자 논리학자이.
새로운!!: 초른의 보조정리와 카지미에시 쿠라토프스키 · 더보기 »
상집합
를 이룬다. 순서론에서, 상집합(上集合,, upward-closed set, upset)은 S에 속하는 원소보다 더 큰 임의의 원소 역시 S에 속하는, 원순서 집합의 부분 집합 S이.
새로운!!: 초른의 보조정리와 상집합 · 더보기 »
상한과 하한
집합 A의 모든 원소가 파란색으로 표시되어 있다. 임의의 빨간색 원소는 모든 파란색 원소보다 크거나 같고, 그 중에서 가장 작은 빨간색 값(다이아몬드)이 최소 상계가 된다. 순서론에서, 어떤 집합 T의 부분 집합 S에 대해 S의 상한(上限) 또는 최소 상계(最小上界,, LUB)는 T의 원소 중 S의 모든 원소보다 큰 최소의 원소 (최소 상계)를 말. 마찬가지로, 하한(下限) 또는 최대 하계(最大下界,, GLB)는 T의 원소 중 S의 모든 원소보다 작은 최대의 원소 (최대 하계)를 말.
새로운!!: 초른의 보조정리와 상한과 하한 · 더보기 »
순서수
\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.
새로운!!: 초른의 보조정리와 순서수 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
새로운!!: 초른의 보조정리와 수학 · 더보기 »
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.
새로운!!: 초른의 보조정리와 선택 공리 · 더보기 »
합집합
''A'' ∪ ''B''는 두 원을 합쳐 만든 큰 모양이다. 집합론에서 둘 또는 더 많은 집합의 합집합(合集合)은 그들의 모든 원소를 한 군데 합쳐놓은 집합이.
새로운!!: 초른의 보조정리와 합집합 · 더보기 »
필요충분조건
요조건(必要條件), 충분조건(充分條件), 필요충분조건(必要充分條件)은 논리학에서 논증 진술들간의 함축관계를 일컫는 말이.
새로운!!: 초른의 보조정리와 필요충분조건 · 더보기 »
원순서 집합
순서론에서, 원순서 집합(原順序集合)은 그 속의 두 원소를 추이적으로 비교할 수 있는 집합이.
새로운!!: 초른의 보조정리와 원순서 집합 · 더보기 »
1922년
1922년은 일요일로 시작하는 평년이.
새로운!!: 초른의 보조정리와 1922년 · 더보기 »
1935년
1935년은 화요일로 시작하는 평년이.
새로운!!: 초른의 보조정리와 1935년 · 더보기 »
여기로 리디렉션합니다
조른의 렘마, 조른의 보조정리, 존의 보조정리, 초른의 보조 정리, 하우스도르프 극대 원리, 하우스도르프 극대원리, 하우스도르프극대원리.
