검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- [[순서론]]에서 '''원자'''(原子, {{llang|en|atom}})는 [[최소 원소]]를 덮는 원소이다. 양의 정수의 [[약수]] 관계 <math>\mid</math>에 대한 [[격자 (순서론)|격자]] <math>(\mathbb Z^+,\mid)</math>는 최소 원소 0을 가지며, 원자는 [[소수 (수론)|소수]]이다. ...4 KB (243 단어) - 2023년 5월 4일 (목) 11:31
- [[순서론]]에서 '''격자'''(格子, {{llang|en|lattice}})는 두 원소의 [[상한과 하한|상한]]('''이음''', {{lla (유계) 격자의 개념은 [[추상대수학]]적으로, [[순서론]]적으로, 또는 [[범주론]]적으로 정의할 수 있으며, 이 세 정의는 서로 [[동치]]이다. ...18 KB (1,522 단어) - 2025년 2월 14일 (금) 02:51
문서 내용 일치
- [[순서론]]에서 '''조밀 순서'''(稠密順序, {{llang|en|dense order}})는 서로 다른 두 비교 가능 원소 사이에 항상 제3 [[분류:순서론]] ...1,000 바이트 (42 단어) - 2024년 5월 6일 (월) 05:00
- [[수학]]에서, 특히 [[함수해석학]]과 [[순서론]]에서 '''바나흐 격자''' <math>(X, \| \cdot \|)</math>는 <math>(X, \| \cdot\|)</math * [[격자 (순서론)]] ...2 KB (121 단어) - 2023년 12월 15일 (금) 07:46
- ''[[사슬 (순서론)|사슬]]''은 원소의 수열 <math>x_0,x_1,\ldots,x_n</math> 가 있어서 <math>i=0,\ldots,n-1< * [[순서론]] ...2 KB (147 단어) - 2024년 6월 4일 (화) 02:43
- [[순서론]]에서 '''오름 사슬 조건'''(-條件, {{llang|en|ascending chain condition}}, 약자 ACC)과 '' * <math>P</math>의 부분 집합 가운데, [[최소 원소]]를 가지는 [[사슬 (순서론)|사슬]]은 항상 [[유한 집합]]이다. ...3 KB (147 단어) - 2024년 5월 7일 (화) 05:21
- ...집합]]들의 [[곱집합]] 위에 존재하는 부분순서이다. 사전에 쓰이는 가나다순이나 알파벳순의 정렬 방법은 사전식 순서의 예이다. [[순서론]], [[전산학]] 등의 분야에서 사용된다. [[분류:순서론]] ...3 KB (220 단어) - 2025년 3월 3일 (월) 11:11
- ...에서 '''완비 원순서 집합'''({{llang|en|complete preordered set}}, 약자 cpo)은 모든 [[사슬 (순서론)|사슬]]이 [[상한]]을 갖는 [[원순서 집합]]이다. * 모든 [[사슬 (순서론)|사슬]]의 [[상한]]이 존재한다. ...5 KB (292 단어) - 2024년 5월 21일 (화) 11:45
- * <math>S</math>의 [[멱집합]] [[격자 (순서론)|격자]] <math>(\mathcal P(S),\subseteq)</math>는 [[오름 사슬 조건]]을 만족시킨다. * <math>S</math>의 [[멱집합]] [[격자 (순서론)|격자]] <math>(\mathcal P(S),\subseteq)</math>는 [[내림 사슬 조건]]을 만족시킨다. ...2 KB (95 단어) - 2024년 5월 2일 (목) 08:04
- ...왼쪽 가군]]이라고 하자. 그렇다면 <math>M</math>의 '''길이'''는 <math>M</math>의 부분 가군의 [[격자 (순서론)|격자]] <math>\operatorname{Sub}(M)</math>의 길이이다. ...대상 <math>M\in\mathcal A</math>의 '''길이'''는 <math>M</math>의 [[부분 대상]] [[격자 (순서론)|격자]] <math>\operatorname{Sub}(M)</math>의 길이이다. ...2 KB (167 단어) - 2025년 3월 3일 (월) 11:36
- [[순서론]]에서 '''분배 이음 반격자'''({{llang|en|distributive join-semilattice}})와 '''분배 만남 반 ...얼의 [[교집합]]은 [[공집합]]이 아니다. 따라서, <math>\operatorname{Ideal}(S)</math>는 [[격자 (순서론)|격자]]를 이룬다. 이제, <math>\operatorname{Ideal}(S)</math>가 [[분배 격자]]임을 보이려면, 임의의 ...7 KB (720 단어) - 2024년 5월 21일 (화) 11:31
- [[분류:순서론]] ...983 바이트 (26 단어) - 2024년 9월 21일 (토) 15:36
- [[순서론]]에서 '''원자'''(原子, {{llang|en|atom}})는 [[최소 원소]]를 덮는 원소이다. 양의 정수의 [[약수]] 관계 <math>\mid</math>에 대한 [[격자 (순서론)|격자]] <math>(\mathbb Z^+,\mid)</math>는 최소 원소 0을 가지며, 원자는 [[소수 (수론)|소수]]이다. ...4 KB (243 단어) - 2023년 5월 4일 (목) 11:31
- [[순서론]]에서 '''선형 연속체'''(線型連續體, {{llang|en|linear continuum}})는 [[상한]]이 존재하는 [[조밀 순 [[분류:순서론]] ...3 KB (237 단어) - 2024년 11월 20일 (수) 08:55
- [[순서론]]에서, [[부분 순서 집합]]의 '''최대 원소'''(最大元素, {{llang|en|greatest element}})는 모든 다른 모든 유한 [[사슬 (순서론)|사슬]]은 최대 원소와 최소 원소를 갖는다. 예를 들어 <math>\{1,3,5,7\}</math>은 7을 최대 원소로 한다. ...4 KB (184 단어) - 2024년 5월 5일 (일) 16:04
- ...]에서 '''닫힌 원순서 집합'''(-原順序集合, {{llang|en|closed preordered set}})이란 모든 [[사슬 (순서론)|사슬]]이 [[상계 (수학)|상계]]를 갖는 [[원순서 집합]]이다. [[원순서 집합]] <math>(X,\lesssim)</math>의 '''정렬 사슬'''은 [[정렬 전순서 집합]]을 이루는 [[사슬 (순서론)|사슬]]이다. <math>X</math>의 정렬 사슬들의 집합을 <math>\operatorname{woChain}(X)</math> ...7 KB (577 단어) - 2024년 5월 18일 (토) 13:04
- ...</math> 위의 [[자유 가환 반군]] <math>\langle X\rangle</math> 위의 [[합동 관계]]들의 [[격자 (순서론)|격자]] <math>\operatorname{Cong}(\langle X\rangle)</math>는 [[오름 사슬 조건]]을 만족시 ...angle)</math>는 <math>\mathbb Z[x_1,\dots,x_{|X|}]</math>의 [[아이디얼]]들의 [[격자 (순서론)|격자]]와 순서 동형이다. 특히, [[힐베르트 기저 정리]]에 따라, <math>\mathbb Z[x_1,\dots,x_{|X|}]< ...5 KB (487 단어) - 2022년 7월 29일 (금) 17:42
- ...g|en|Heyting algebra}})는 [[직관 논리]]의 명제들의 [[격자 (순서론)|격자]]와 유사한 성질을 갖는 [[격자 (순서론)|격자]]이다. 고전 논리를 나타내는 [[불 대수]]에서 일부 조건을 약화시켜 얻은 개념이다. ...5 KB (337 단어) - 2025년 3월 3일 (월) 05:56
- [[부분 순서 집합]] <math>(S,\le)</math> 속의 유한 길이의 [[사슬 (순서론)|사슬]] <math>a_0\le a_1\le\cdots\le a_n</math>에 대하여, 새 원소를 추가할 수 없다면 (즉, 임의의 ...>에 대하여, <math>p</math>를 [[최소 원소]]로, <math>q</math>를 [[최대 원소]]로 하는 가는 [[사슬 (순서론)|사슬]]의 크기는 항상 유한하다. ...6 KB (312 단어) - 2025년 3월 3일 (월) 13:26
- * [[격자 (순서론)]] ...2 KB (204 단어) - 2022년 2월 5일 (토) 12:36
- [[순서론]]에서 '''공종 집합'''(共終集合, {{llang|en|cofinal set}})은 그 [[하집합|하폐포]]가 전체 집합인, [[원 [[분류:순서론]] ...5 KB (389 단어) - 2024년 4월 13일 (토) 16:24
- ...'''모듈러 격자'''({{llang|en|modular lattice}})는 일종의 약한 [[결합 법칙]]을 만족시키는 [[격자 (순서론)|격자]]이다. [[격자 (순서론)|격자]] <math>L</math>에 대하여, 다음 세 조건이 서로 [[동치]]이며, 이 조건을 만족시키는 격자를 '''모듈러 격자' ...5 KB (472 단어) - 2024년 11월 25일 (월) 02:17