복소수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
110번째 줄:
이다. 이는 모순이다.
{{end proof}}
물론, <math>\mathbb C</math> 위의 전순서는 얼마든지 존재한다. 예를 들어, <math>\mathbb R</math>의 표준적인 전순서의 [[사전식 순서]] <math>\le\subseteq\mathbb C\times\mathbb C</math>를 줄 수 있으며, 이는 다음과 같다.
:<math>z<w\iff\operatorname{Re}z<\operatorname{Re}w\lor(\operatorname{Re}z=\operatorname{Re}w\land\operatorname{Im}z<\operatorname{Im}w)\qquad z,w\in\mathbb C</math>