검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- '''카라테오도리 보조정리'''(Caratheodory's lemma, -補助定理)는 [[실해석학]]의 초등적인 [[정리]] 중 하나로, [[그리스]]의 수학자 [[분류:보조정리]] ...2 KB (142 단어) - 2022년 2월 28일 (월) 12:03
- ...보조정리'''(Riesz' lemma, -補助定理)는 [[헝가리]] 수학자 [[리스 프리제시]]의 이름이 붙은 [[함수해석학]]의 [[보조정리]]이다. 이는 [[노름 공간]]의 어떤 [[부분공간]]이 [[조밀집합]]이라는 것을 보장하는 조건을 제시한다. [[분류:보조정리]] ...2 KB (130 단어) - 2022년 2월 5일 (토) 16:29
- '''펌핑 보조정리'''({{lang|en|pumping lemma}})는 [[형식 언어]] 이론에서 특정 종류 언어의 속성을 나타내주는 보조정리이다. 대 == 정규 언어에 대한 펌핑 보조정리 == ...3 KB (182 단어) - 2023년 7월 8일 (토) 16:44
- ...[[군의 표현|군 표현론]]에서 [[기약 표현]] 사이의 [[군의 작용]]과 가환하는 선형사상은 [[가역 사상]]이거나 0이라는 [[보조정리]]다. ...군 준동형]] <math>M\to N</math>은 [[가역 사상]]이거나 [[상수 함수]] 0(영 사상)이다. 이 사실을 '''슈어 보조정리'''라고 한다. ...4 KB (222 단어) - 2024년 6월 3일 (월) 16:07
- ...lang|en|Kuratowski–Zorn lemma}})는 [[부분 순서 집합]]이 극대 원소를 가질 [[충분조건]]을 제시하는 [[보조정리]]다. [[선택 공리]]와 [[동치]]이다. ...상계]]를 갖는다고 하자. 특히, [[공집합]]의 상계가 존재하므로 <math>X</math>는 [[공집합]]이 아니다.) '''초른 보조정리'''에 따르면, <math>X=\downarrow\max X</math>이다. 다시 말해, 임의의 <math>x\in X</math>에 ...8 KB (614 단어) - 2024년 12월 20일 (금) 19:01
- [[수학적 최적화]]에서 '''퍼르커시 보조정리'''({{llang|en|Farkas’s lemma}})는 어떤 볼록뿔과 이에 속하지 않는 벡터 사이를 [[초평면]]으로 분리할 수 있 [[분류:보조정리]] ...3 KB (279 단어) - 2025년 1월 30일 (목) 17:23
- ...를 [[집합]] 값의 [[함자 (수학)|함자]] 범주에 [[묻기 (수학)|묻는]] [[함자 (수학)|함자]]를 만들 수 있게 하는 [[보조정리]]다. [[군론]]의 [[케일리의 정리]]를 크게 일반화한 것이다. [[대수기하학]]과 [[표현론 (수학)|표현론]]에서 중요하게 쓰인 == 보조정리 == ...9 KB (1,058 단어) - 2024년 5월 18일 (토) 12:41
- [[그래프 이론]]에서 '''쾨니그 보조정리'''(Kőnig補助定理, {{llang|en|Kőnig’s lemma}})는 어떤 그래프가 무한할 수 있는 방법들을 나열하는 정리다. '''쾨니그 보조정리'''에 따르면, 임의의 [[그래프]] <math>G</math>에 대하여, 다음 네 명제 가운데 적어도 하나가 성립한다. ...4 KB (267 단어) - 2024년 5월 21일 (화) 11:45
- [[군론]]에서 '''번사이드 보조정리'''({{llang|en|Burnside lemma}})는 [[군의 작용]]에서 궤도의 수를 세는 정리다. 가 모든 [[군의 작용의 궤도|궤도]]의 집합이라고 하자. '''번사이드 보조정리'''에 따르면, 다음이 성립한다. ...3 KB (241 단어) - 2024년 5월 21일 (화) 11:45
- ...상 가운데 일부가 [[전사 사상]] 또는 [[단사 사상]]이라면 가운데의 사상 역시 [[전사 사상]] 또는 [[단사 사상]]이라는 [[보조정리]]이다. '''4항 보조정리'''에 따르면, 다음이 성립한다.<ref>{{서적 인용|성=Weibel|이름= Charles A.|날짜=1994|제목=An introd ...6 KB (419 단어) - 2024년 6월 3일 (월) 23:53
- '''헤그너의 보조정리'''(Heegner's lemma)는 수학에서 헤그너의 [[보조 정리]]는 [[쿠르트 헤그너]](Kurt Heegner)가 [[클래스 그의 보조정리(lemma)에 따르면, ...1 KB (79 단어) - 2022년 2월 28일 (월) 05:11
- [[수론]]에서 '''투에 보조정리'''(-補助定理, {{llang|en|Thue's lemma}})는 일차 [[합동 산술|합동]] 방정식이 다소 작은 해를 가질 충분 조 양의 정수 <math>n</math>이 정수 <math>a</math>와 서로소라고 하자. '''투에 보조정리'''에 따르면, 다음을 만족시키는 정수 <math>x,y</math>가 존재한다.<ref name="Burton">{{서적 인용 ...3 KB (225 단어) - 2024년 6월 4일 (화) 13:01
- [[실해석학]]에서 '''파투 보조정리'''({{llang|en|Fatou’s lemma}})는 [[가측 함수]]의 열의 [[하극한]]의 [[르베그 적분]]과 르베그 적분의 '''파투 보조정리'''에 따르면, [[측도 공간]] <math>(X,\Sigma,\mu)</math> 위의 임의의 음이 아닌 [[가측 함수]]의 열 <m ...3 KB (263 단어) - 2022년 7월 28일 (목) 01:46
- ...서 '''크로네커 보조정리'''({{llang|en|Kronecker’s lemma}})는 [[큰 수의 법칙]]의 증명에 사용되는 [[보조정리]]다. 이에 따르면, [[수렴급수]]의 항이 0으로 수렴하는 속도는 충분히 빠르다. 증명은 [[아벨 변환]]과 [[슈톨츠-체사로 정리] '''크로네커 보조정리'''에 따르면, 임의의 두 [[실수 수열]] <math>(a_n)_{n=0}^\infty\subset\mathbb R</math>, < ...2 KB (263 단어) - 2024년 5월 21일 (화) 11:24
- ...''(-補助定理, {{llang|en|Schwarz lemma}})는 [[푸앵카레 원판]] 위의 [[정칙 함수]]의 성질을 다루는 [[보조정리]]이다. ...,1)\to\operatorname B(0,1)</math>가 <math>f(0)=0</math>을 만족시킨다고 하자. '''슈바르츠 보조정리'''에 따르면, 다음이 성립한다.<ref name="고석구">고석구, 《복소해석학개론》, 경문사, 2005, 275-276쪽.</ref ...8 KB (714 단어) - 2023년 6월 12일 (월) 14:36
- [[확률론]]에서, '''보렐-칸텔리 보조정리'''({{llang|en|Borel–Cantelli lemma}})는 일련의 사건들 가운데 무한 개가 일어날 확률이 0일 [[충분 조건 ...1) 보렐-칸텔리 보조정리'''({{llang|en|(first) Borel–Cantelli lemma}})와 '''제2 보렐-칸텔리 보조정리'''({{llang|en|second Borel–Cantelli lemma}})로 구성된다. ...7 KB (729 단어) - 2024년 6월 3일 (월) 05:56
- '''변분법의 기본 보조정리'''(fundamental lemma of the calculus of variations) ...1 KB (133 단어) - 2023년 8월 5일 (토) 00:12
- '''리만-르베그 보조정리'''(Riemann-Lebesgue lemma, -補助定理)는 [[조화해석학]]과 [[점근해석학]], [[푸리에 해석학]] 등에서 취급 [[분류:보조정리]] ...2 KB (96 단어) - 2022년 3월 5일 (토) 10:19
문서 내용 일치
- '''유클리드의 보조 정리'''(Euclid's Lemma)는 [[소수 (수론)|소수]]의 성질을 설명한 [[보조정리]]이다. 오히려 lemma(보조정리)라는 말 그대로 산술의 기본정리를 증명하기 위한 보조정리이다. ...1 KB (79 단어) - 2025년 3월 3일 (월) 12:58
- ...보조정리'''(Riesz' lemma, -補助定理)는 [[헝가리]] 수학자 [[리스 프리제시]]의 이름이 붙은 [[함수해석학]]의 [[보조정리]]이다. 이는 [[노름 공간]]의 어떤 [[부분공간]]이 [[조밀집합]]이라는 것을 보장하는 조건을 제시한다. [[분류:보조정리]] ...2 KB (130 단어) - 2022년 2월 5일 (토) 16:29
- '''펌핑 보조정리'''({{lang|en|pumping lemma}})는 [[형식 언어]] 이론에서 특정 종류 언어의 속성을 나타내주는 보조정리이다. 대 == 정규 언어에 대한 펌핑 보조정리 == ...3 KB (182 단어) - 2023년 7월 8일 (토) 16:44
- [[군론]]에서 '''번사이드 보조정리'''({{llang|en|Burnside lemma}})는 [[군의 작용]]에서 궤도의 수를 세는 정리다. 가 모든 [[군의 작용의 궤도|궤도]]의 집합이라고 하자. '''번사이드 보조정리'''에 따르면, 다음이 성립한다. ...3 KB (241 단어) - 2024년 5월 21일 (화) 11:45
- '''헤그너의 보조정리'''(Heegner's lemma)는 수학에서 헤그너의 [[보조 정리]]는 [[쿠르트 헤그너]](Kurt Heegner)가 [[클래스 그의 보조정리(lemma)에 따르면, ...1 KB (79 단어) - 2022년 2월 28일 (월) 05:11
- ...[[군의 표현|군 표현론]]에서 [[기약 표현]] 사이의 [[군의 작용]]과 가환하는 선형사상은 [[가역 사상]]이거나 0이라는 [[보조정리]]다. ...군 준동형]] <math>M\to N</math>은 [[가역 사상]]이거나 [[상수 함수]] 0(영 사상)이다. 이 사실을 '''슈어 보조정리'''라고 한다. ...4 KB (222 단어) - 2024년 6월 3일 (월) 16:07
- ...서 '''크로네커 보조정리'''({{llang|en|Kronecker’s lemma}})는 [[큰 수의 법칙]]의 증명에 사용되는 [[보조정리]]다. 이에 따르면, [[수렴급수]]의 항이 0으로 수렴하는 속도는 충분히 빠르다. 증명은 [[아벨 변환]]과 [[슈톨츠-체사로 정리] '''크로네커 보조정리'''에 따르면, 임의의 두 [[실수 수열]] <math>(a_n)_{n=0}^\infty\subset\mathbb R</math>, < ...2 KB (263 단어) - 2024년 5월 21일 (화) 11:24
- ...상 가운데 일부가 [[전사 사상]] 또는 [[단사 사상]]이라면 가운데의 사상 역시 [[전사 사상]] 또는 [[단사 사상]]이라는 [[보조정리]]이다. '''4항 보조정리'''에 따르면, 다음이 성립한다.<ref>{{서적 인용|성=Weibel|이름= Charles A.|날짜=1994|제목=An introd ...6 KB (419 단어) - 2024년 6월 3일 (월) 23:53
- [[수론]]에서 '''투에 보조정리'''(-補助定理, {{llang|en|Thue's lemma}})는 일차 [[합동 산술|합동]] 방정식이 다소 작은 해를 가질 충분 조 양의 정수 <math>n</math>이 정수 <math>a</math>와 서로소라고 하자. '''투에 보조정리'''에 따르면, 다음을 만족시키는 정수 <math>x,y</math>가 존재한다.<ref name="Burton">{{서적 인용 ...3 KB (225 단어) - 2024년 6월 4일 (화) 13:01
- '''리만-르베그 보조정리'''(Riemann-Lebesgue lemma, -補助定理)는 [[조화해석학]]과 [[점근해석학]], [[푸리에 해석학]] 등에서 취급 [[분류:보조정리]] ...2 KB (96 단어) - 2022년 3월 5일 (토) 10:19
- '''그륀 보조정리'''({{llang|en|Grün’s lemma}})에 따르면, 완전군의 스스로의 [[군의 중심|중심]]에 대한 [[몫군]]의 [[군의 [[분류:보조정리]] ...2 KB (90 단어) - 2024년 5월 21일 (화) 11:44
- ...''(-補助定理, {{llang|en|Schwarz lemma}})는 [[푸앵카레 원판]] 위의 [[정칙 함수]]의 성질을 다루는 [[보조정리]]이다. ...,1)\to\operatorname B(0,1)</math>가 <math>f(0)=0</math>을 만족시킨다고 하자. '''슈바르츠 보조정리'''에 따르면, 다음이 성립한다.<ref name="고석구">고석구, 《복소해석학개론》, 경문사, 2005, 275-276쪽.</ref ...8 KB (714 단어) - 2023년 6월 12일 (월) 14:36
- [[실해석학]]에서 '''파투 보조정리'''({{llang|en|Fatou’s lemma}})는 [[가측 함수]]의 열의 [[하극한]]의 [[르베그 적분]]과 르베그 적분의 '''파투 보조정리'''에 따르면, [[측도 공간]] <math>(X,\Sigma,\mu)</math> 위의 임의의 음이 아닌 [[가측 함수]]의 열 <m ...3 KB (263 단어) - 2022년 7월 28일 (목) 01:46
- '''카라테오도리 보조정리'''(Caratheodory's lemma, -補助定理)는 [[실해석학]]의 초등적인 [[정리]] 중 하나로, [[그리스]]의 수학자 [[분류:보조정리]] ...2 KB (142 단어) - 2022년 2월 28일 (월) 12:03
- [[그래프 이론]]에서 '''쾨니그 보조정리'''(Kőnig補助定理, {{llang|en|Kőnig’s lemma}})는 어떤 그래프가 무한할 수 있는 방법들을 나열하는 정리다. '''쾨니그 보조정리'''에 따르면, 임의의 [[그래프]] <math>G</math>에 대하여, 다음 네 명제 가운데 적어도 하나가 성립한다. ...4 KB (267 단어) - 2024년 5월 21일 (화) 11:45
- ...를 [[집합]] 값의 [[함자 (수학)|함자]] 범주에 [[묻기 (수학)|묻는]] [[함자 (수학)|함자]]를 만들 수 있게 하는 [[보조정리]]다. [[군론]]의 [[케일리의 정리]]를 크게 일반화한 것이다. [[대수기하학]]과 [[표현론 (수학)|표현론]]에서 중요하게 쓰인 == 보조정리 == ...9 KB (1,058 단어) - 2024년 5월 18일 (토) 12:41
- [[수학적 최적화]]에서 '''퍼르커시 보조정리'''({{llang|en|Farkas’s lemma}})는 어떤 볼록뿔과 이에 속하지 않는 벡터 사이를 [[초평면]]으로 분리할 수 있 [[분류:보조정리]] ...3 KB (279 단어) - 2025년 1월 30일 (목) 17:23
- '''분할 보조정리'''에 따르면, [[아벨 범주]]에서의 짧은 완전열 <math>0\to X\to Y\to Z\to0</math>에 대하여 다음 명제들이 [[분류:보조정리]] ...3 KB (216 단어) - 2024년 5월 5일 (일) 07:21
- [[확률론]]에서, '''보렐-칸텔리 보조정리'''({{llang|en|Borel–Cantelli lemma}})는 일련의 사건들 가운데 무한 개가 일어날 확률이 0일 [[충분 조건 ...1) 보렐-칸텔리 보조정리'''({{llang|en|(first) Borel–Cantelli lemma}})와 '''제2 보렐-칸텔리 보조정리'''({{llang|en|second Borel–Cantelli lemma}})로 구성된다. ...7 KB (729 단어) - 2024년 6월 3일 (월) 05:56
- ...론]]에서 '''표현 가능 함자'''(表現可能函子, {{llang|en|representable functor}})는 어떤 [[요네다 보조정리|요네다 함자]]와 [[자연 동형]]인 [[함자 (수학)|함자]]이다. * [[요네다 보조정리]] ...4 KB (261 단어) - 2024년 5월 3일 (금) 22:10