원순서 집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
37번째 줄:
:1, 1, 4, 29, 355, 6942, 209527, 9535241, 642779354, {{OEIS|A798}}
[[유한 집합]] 위의 [[위상 공간 (수학)|위상]]들과 원순서들 사이에는 표준적인 [[일대일 대응]]이 존재한다. 구체적으로, 위상 <math>\mathcal T</math> ([[
:<math>a\lesssim b\stackrel{\text{def}}\iff\left(\forall U\in\mathcal T\colon b\in U\implies a\in U\right)</math>
와 같이 원순서를 정의할 수 있다. 반대로, 원순서 <math>\lesssim</math>가 주어졌다면,
| |||