아이디얼, μž‰μ—¬ν™˜

μ•„μ΄λ””μ–Όμ˜ μ •μ˜

μ •μ˜ 1(아이디얼). $A$κ°€ λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜μ΄λΌκ³  ν•˜μž. $I\subset A$κ°€ λ‹€μŒ 쑰건 1,2λ₯Ό λ§Œμ‘±ν•œλ‹€λ©΄, $I$λŠ” $A$의 아이디얼ideal이라고 ν•œλ‹€.

  1. $I$λŠ” $+$ 연산에 μ˜ν•˜μ—¬ $A$의 뢀뢄ꡰ을 이룬닀.
  2. μž„μ˜μ˜ $a\in A$, $x\in I$에 λŒ€ν•˜μ—¬ $ax\in I$12. β€”

예 1(μƒμ„±λ˜λŠ” 아이디얼). $A$κ°€ λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜μ΄κ³ , $a\in A$라고 ν•  λ•Œ, $(a)\coloneqq \left\{ ax \mid x\in A \right\}$λŠ” $A$의 아이디얼이닀. 이λ₯Ό $a$에 μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼이라고 ν•œλ‹€. λ§ˆμ°¬κ°€μ§€λ‘œ, $A$의 μœ ν•œλΆ€λΆ„μ§‘ν•© $S\subset A$κ°€ $S=\left\{ a_1,\ldots,a_n \right\}$κ³Ό 같이 μ£Όμ–΄μ‘Œμ„ λ•Œ, $(S)=(a_1,\ldots,a_n)\coloneqq\left\{ a_1x_1+\cdots+a_nx_n\mid x_1,\ldots,x_n \in A\right\}$ λŠ” $A$의 아이디얼이고, 이λ₯Ό $S$에 μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼이라고 ν•œλ‹€. $S$κ°€ $A$의 λ¬΄ν•œλΆ€λΆ„μ§‘ν•©μΈ κ²½μš°μ—λŠ”, $S$의 μœ ν•œλΆ€λΆ„μ§‘ν•©μ— μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼 μ „μ²΄μ˜ 합집합 $I$ μ—­μ‹œ 아이디얼이며, 이 κ²½μš°μ—λ„ $I$λ₯Ό $S$에 μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼이라고 ν•œλ‹€. μœ ν•œμ§‘ν•© $S$에 μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼을 μœ ν•œμƒμ„± 아이디얼finitelyΒ generatedΒ ideal이라고 ν•˜λ©°, 특히 μ›μ†Œ ν•˜λ‚˜μ— μ˜ν•˜μ—¬ μƒμ„±λ˜λŠ” 아이디얼을 단항 아이디얼principalΒ ideal이라고 ν•œλ‹€. β€”

예 2(자λͺ…ν•œ 아이디얼). λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜ $A$에 λŒ€ν•˜μ—¬, $A$와 $\left\{ 0 \right\}$λŠ” 아이디얼이닀. μ΄λŠ” 각각 $1$κ³Ό $0$에 μ˜ν•΄ μƒμ„±λ˜λŠ” μ•„μ΄λ””μ–Όμ΄λ―€λ‘œ, $(1)$, $(0)$으둜 λ‚˜νƒ€λ‚΄κΈ°λ„ ν•˜λ©°, 이λ₯Ό 자λͺ…ν•œ 아이디얼trivialΒ ideal이라고 ν•œλ‹€. 특히 $(0)$λ₯Ό 영 아이디얼zeroΒ ideal이라고 ν•œλ‹€. β€”

λͺ…μ œ 1. $a\in A^\times$인 것과 $(a)=A$인 것은 μ„œλ‘œ ν•„μš”μΆ©λΆ„μ‘°κ±΄μ΄λ‹€. β€”

λͺ…μ œ 2. ν™˜μ˜ μ€€λ™ν˜• $\phi\colon A\to B$κ°€ μ£Όμ–΄μ‘Œμ„ λ•Œ, $\text{Ker}(\phi)$λŠ” $A$의 아이디얼인 λ™μ‹œμ—, $\text{Ker}(\phi)\neq A$이닀. β€”

λͺ…μ œ 3. $A$λ₯Ό λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜μ΄λΌκ³  ν•  λ•Œ, λ‹€μŒ 두 쑰건은 λ™μΉ˜μ΄λ‹€.

  1. $A$λŠ” 체.
  2. $A$λŠ” 자λͺ…ν•œ 아이디얼 μ΄μ™Έμ˜ 아이디얼을 가지지 μ•ŠλŠ”λ‹€. β€”

증λͺ…. $A$λ₯Ό 체라고 ν•˜κ³ , $I$λ₯Ό $A$의 $(0)$이 μ•„λ‹Œ 아이디얼이라고 ν•˜λ©΄, $x\neq 0$인 $x\in I$κ°€ μ‘΄μž¬ν•œλ‹€. 이 λ•Œ, $A$κ°€ μ²΄μ΄λ―€λ‘œ $x$λŠ” 단원이고, $A=(x)\subset I$. λ”°λΌμ„œ $I=A$이닀. λ°˜λŒ€λ‘œ, $A$κ°€ 자λͺ…ν•˜μ§€ μ•Šμ€ 아이디얼을 가지지 μ•ŠλŠ”λ‹€κ³  ν•˜λ©΄, $0\neq x\in A$라고 ν•  λ•Œ, $(x)=A$일 수 밖에 μ—†μœΌλ―€λ‘œ, $x$λŠ” 단원, $A$λŠ” 체이닀. $\square$

따름정리 2. $k$λ₯Ό 체라고 ν•  λ•Œ, ν™˜μ˜ μ€€λ™ν˜• $\phi\colon k\to A$λŠ” 단사이닀. β€”

증λͺ…. 문제 2μ—μ„œ λ³΄μΈλŒ€λ‘œ, $\text{Ker}(\phi)$λŠ” $k$κ°€ μ•„λ‹Œ $k$의 아이디얼이닀. $k$λŠ” μ²΄μ΄λ―€λ‘œ, κ·ΈλŸ¬ν•œ 아이디얼은 $(0)$밖에 μ—†λ‹€. λ”°λΌμ„œ $\phi$λŠ” 자λͺ…. $\square$

μž‰μ—¬ν™˜μ˜ μ •μ˜

κ΅°μ—μ„œ μ •κ·œλΆ€λΆ„κ΅°μ— μ˜ν•˜μ—¬ μž‰μ—¬κ΅°μ„ μ •μ˜ν–ˆλ“―μ΄, ν™˜μ—μ„œλ„ 아이디얼을 μ΄μš©ν•˜μ—¬ μž‰μ—¬ν™˜μ„ μ •μ˜ν•  수 μžˆλ‹€. μ‹€μ œλ‘œ, λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜ $A$λŠ” $+$연산에 μ˜ν•˜μ—¬ abelian ꡰ을 이루고 μžˆμœΌλ―€λ‘œ, κ·Έ 뢀뢄ꡰ인 아이디얼 $I$λŠ” μ •κ·œλΆ€λΆ„κ΅°, μžμ—°μŠ€λŸ½κ²Œ $+$연산에 λŒ€ν•œ μž‰μ—¬κ΅°μœΌλ‘œμ„œ $A/I$κ°€ μ •μ˜λœλ‹€. $x\in A$의 λ™μΉ˜λ₯˜λ₯Ό $x+I$와 같이 λ‚˜νƒ€λ‚Ό λ•Œ3, $A/I$ μƒμ˜ $\times$ 연산을 $(x+I)(y+I)=(xy+I)$와 같이 μ •μ˜ν•˜λ©΄ 이 연산은 well-defined인 연산이며4, $A/I$λŠ” ν™˜μ˜ ꡬ쑰λ₯Ό 가지고 μžˆμŒμ„ 확인할 수 μžˆλ‹€.

μ •μ˜ 2. λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜ $A$와 κ·Έ 아이디얼 $I\subsetneq A$에 λŒ€ν•˜μ—¬, $A/I$λ₯Ό $A$의 $I$에 μ˜ν•œ μž‰μ—¬ν™˜, ν˜Ήμ€ λͺ«ν™˜quotientΒ ring이라고 ν•œλ‹€. β€”

μ •μ˜ 3. 사상 $\pi\colon A\ni x\mapsto x+I\in A/I$이 전사인 ν™˜μ˜ μ€€λ™ν˜•μΈ 것은 λ°”λ‘œ μ•Œ 수 μžˆλ‹€. 이λ₯Ό μžμ—°μŠ€λŸ¬μš΄ μ€€λ™ν˜• ν˜Ήμ€ μžμ—°μŠ€λŸ¬μš΄ 전사라고 ν•œλ‹€. β€”

이 ν¬μŠ€νŠΈμ—μ„œλŠ”β€¦

  • λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜μ˜ 아이디얼을 μ •μ˜ν–ˆλ‹€.
  • μœ ν•œμƒμ„± 아이디얼과 단항 아이디얼을 μ•„μ΄λ””μ–Όμ˜ 예둜 μ œμ‹œν–ˆλ‹€.
  • μž‰μ—¬ν™˜μ„ μ •μ˜ν–ˆλ‹€.

μ°Έκ³ λ¬Έν—Œ

  • M. F. Atiyah, I. G. Macdonald, β€œIntroduction to Commutative Algebra”, Addison-Wesley, 1969.
  • ι›ͺ江 ζ˜Žε½¦οΌŒγ€Žδ»£ζ•°ε­¦ 2 η’°γ¨δ½“γ¨γ‚¬γƒ­γ‚’η†θ«–γ€οΌŒζ—₯ζœ¬θ©•θ«–η€ΎοΌŒ2010.

  1. $AI=\left\{ ax\mid a\in A, x\in I \right\}$라고 ν•˜μ—¬, 이 쑰건을 $AI\subset I$와 같이 λ‚˜νƒ€λ‚΄κΈ°λ„ ν•œλ‹€.β†©οΈŽ

  2. $A$κ°€ λΉ„κ°€ν™˜ν™˜μΈ κ²½μš°μ—, 1,2λ₯Ό λ§Œμ‘±ν•˜λŠ” $I$λ₯Ό μ™Όμͺ½ 아이디얼이라고 ν•˜λ©°, 2 λŒ€μ‹  β€œμž„μ˜μ˜ $a\in A$, $x\in I$에 λŒ€ν•˜μ—¬ $xa\in I$”λ₯Ό λ§Œμ‘±ν•˜λŠ” 경우 $I$λŠ” 였λ₯Έμͺ½ 아이디얼이라고 ν•œλ‹€. $I$κ°€ μ™Όμͺ½ 아이디얼인 λ™μ‹œμ— 였λ₯Έμͺ½ 아이디얼이라면, $I$λŠ” μ–‘μͺ½ 아이디얼이라고 ν•œλ‹€.β†©οΈŽ

  3. λ™μΉ˜λ₯˜λ₯Ό $x\mod I$와 같이 λ‚˜νƒ€λ‚΄κΈ°λ„ ν•œλ‹€. 이 경우 $x+I=y+I$λ₯Ό $x\equiv y\mod I$와 같이 λ‚˜νƒ€λ‚Έλ‹€.β†©οΈŽ

  4. $x’\in x+I$, $y’\in y+I$라고 ν•  λ•Œ, $x’=x+z$, $y’=y+w$인 $z,w\in I$κ°€ μ‘΄μž¬ν•˜λ―€λ‘œ, $x’y’=(x+z)(y+w)=xy+zy+xw+zw$. $I$λŠ” μ•„μ΄λ””μ–Όμ΄λ―€λ‘œ, $zy,xw,zw\in I$이닀. λ”°λΌμ„œ $(x+I)(y+I)=(x’+I)(y’+I)$.β†©οΈŽ

μˆœμ„œλ‹¨μ‚¬, μˆœμ„œλ™ν˜•

μˆœμ„œλ‹¨μ‚¬, μˆœμ„œλ™ν˜•μ˜ μ •μ˜

μ •μ˜ 1(μˆœμ„œλ₯Ό λ³΄μ‘΄ν•˜λŠ” 사상). $(A,\leq)$, $(A’,\leq’)$λ₯Ό μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•˜μž. 사상 $f\colon A\to A’$κ°€ μž„μ˜μ˜ $a\leq b$인 $a,b\in A$에 λŒ€ν•˜μ—¬ $f(a)\leq f(b)$ 이라면, $f$λŠ” $A$μ—μ„œ $A’$둜의 μˆœμ„œλ₯Ό λ³΄μ‘΄ν•˜λŠ” 사상 ν˜Ήμ€ 단쑰사상monotoneΒ function이라고 ν•œλ‹€. β€”

λͺ…μ œ 1. $(A,\leq)$, $(A’,\leq’)$λ₯Ό μˆœμ„œμ§‘ν•©, $f\colon A\to A’$λ₯Ό μˆœμ„œλ₯Ό λ³΄μ‘΄ν•˜λŠ” 사상이라고 ν•  λ•Œ, μž„μ˜μ˜ $a,b\in A$에 λŒ€ν•˜μ—¬ $f(a)\leq f(b)\Rarr a\leq b$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $f$λŠ” 단사이닀. β€”

증λͺ…. $f(a)=f(b)$라고 ν•œλ‹€λ©΄, $f(a)\leq f(b)$, λ”°λΌμ„œ $a\leq b$이닀. λ§ˆμ°¬κ°€μ§€λ‘œ $f(a)\geq f(b)$μ΄λ―€λ‘œ, $a\geq b$. λ”°λΌμ„œ $a=b$. $\square$

μ •μ˜ 2. $(A,\leq)$, $(A’,\leq’)$λ₯Ό μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•  λ•Œ, λͺ…μ œ 1κ³Ό 같이 μž„μ˜μ˜ $a,b\in A$에 λŒ€ν•˜μ—¬ $f(a)\leq f(b)\Rarr a\leq b$κ°€ μ„±λ¦½ν•˜λŠ” μˆœμ„œλ₯Ό λ³΄μ‘΄ν•˜λŠ” 사상 $f\colon A\to A’$λ₯Ό μˆœμ„œλ‹¨μ‚¬orderΒ embedding라고 ν•œλ‹€. β€”

μ •μ˜ 3. $(A,\leq)$, $(A’,\leq’)$λ₯Ό μˆœμ„œμ§‘ν•©, $f:A\to A’$λ₯Ό μˆœμ„œλ‹¨μ‚¬λΌκ³  ν•  λ•Œ, $f$κ°€ 전사라면 $f$λŠ” μˆœμ„œλ™ν˜•orderΒ isomorphism이라고 ν•œλ‹€. β€”

μˆœμ„œλ™ν˜•μ€ 전단사이고, κ·Έ 역사상도 μˆœμ„œλ™ν˜•μ΄λ‹€. $(A,\leq)$μ—μ„œ $(A’,\leq’)$둜의 μˆœμ„œλ™ν˜•μ΄ ν•˜λ‚˜ 이상 μ‘΄μž¬ν•œλ‹€λ©΄, $A\cong A’$와 같이 λ‚˜νƒ€λ‚΄μ–΄, $A$와 $A’$λŠ” μˆœμ„œλ™ν˜•μΈ μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•œλ‹€.

λͺ…μ œ 2. μˆœμ„œμ§‘ν•© $(A,\leq)$, $(A’,\leq’)$, $(A”,\leq”)$에 λŒ€ν•˜μ—¬ λ‹€μŒμ΄ μ„±λ¦½ν•œλ‹€.

  1. $(A,\leq)\cong(A,\leq)$.
  2. $(A,\leq)\cong(A’,\leq’)$이라면, $(A’,\leq’)\cong(A,\leq)$.
  3. $(A,\leq)\cong(A’,\leq’)$이고 $ (A’,\leq’)\cong(A”,\leq”)$이라면, $(A,\leq)\cong(A”,\leq”)$. β€”

이 ν¬μŠ€νŠΈμ—μ„œλŠ”β€¦

  • μˆœμ„œλ₯Ό λ³΄μ‘΄ν•˜λŠ” 사상, μˆœμ„œλ‹¨μ‚¬, μˆœμ„œλ™ν˜•μ„ μ •μ˜ν–ˆλ‹€.

μ°Έκ³ λ¬Έν—Œ

  • 松坂 ε’Œε€«οΌŒγ€Žι›†εˆγƒ»δ½η›Έε…₯ι–€γ€οΌŒε²©ζ³’ζ›ΈεΊ—οΌŒ1968.
  • ε†…η”° δΌδΈ€οΌŒγ€Žι›†εˆγ¨δ½η›Έγ€οΌŒθ£³θ―ζˆΏοΌŒ1986.

μˆœμ„œ

μˆœμ„œ, μ „μˆœμ„œ

μ •μ˜ 1(μˆœμ„œμ˜ 곡리). 곡집합이 μ•„λ‹Œ 집합 $A$의 이항관계 $\leq$κ°€ λ‹€μŒ 쑰건을 λ§Œμ‘±ν•œλ‹€λ©΄, $\leq$λŠ” $A$의 μˆœμ„œorder이고, $(A,\leq)$λŠ” μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•œλ‹€.

  1. λ°˜μ‚¬λ²•μΉ™ β€” μž„μ˜μ˜ $a\in A$에 λŒ€ν•˜μ—¬ $a\leq a$.
  2. λ°˜λŒ€μΉ­λ²•μΉ™ β€” μž„μ˜μ˜ $a,b\in A$에 λŒ€ν•˜μ—¬ $a\leq b$인 λ™μ‹œμ— $b\leq a$이면, $a=b$이닀.
  3. 좔이법칙 β€” μž„μ˜μ˜ $a,b,c\in A$에 λŒ€ν•˜μ—¬ $a\leq b$인 λ™μ‹œμ— $b\leq c$이면, $a\leq c$이닀. β€”

예 1. $\SetN$, $\SetZ$, $\SetQ$, $\SetR$ 상에 주어진 톡상적인 μˆœμ„œλŠ” μˆœμ„œμ˜ 곡리λ₯Ό λ§Œμ‘±ν•œλ‹€. μ•žμœΌλ‘œλ„ λ³„λ„μ˜ μ–ΈκΈ‰ 없이 μˆœμ„œμ§‘ν•©μœΌλ‘œμ„œ $\SetN$, $\SetZ$, $\SetQ$, $\SetR$λ₯Ό μ‚¬μš©ν•œλ‹€λ©΄, 톡상적인 μˆœμ„œλ₯Ό μ˜λ―Έν•˜λŠ” κ²ƒμœΌλ‘œ ν•œλ‹€. β€”

예 2. $\SetZ_{>0}$ μƒμ—μ„œ, $b\in\SetZ_{>0}$κ°€ $a\in\SetZ_{>0}$둜 λ‚˜λˆ„μ–΄ λ–¨μ–΄μ§ˆ λ•Œ, $a\mid b$라고 ν•˜λ©΄, β€œ$\mid$β€λŠ” μˆœμ„œμ΄λ‹€. β€”

예 3. $\mathfrak M$을 μž„μ˜μ˜ 집합계라고 ν•  λ•Œ, $\mathfrak M$ μƒμ˜ 이항관계인 포함관계 β€œ$\subset$”은 μˆœμ„œμ˜ 곡리λ₯Ό λ§Œμ‘±ν•œλ‹€. β€”

μ£Ό. μˆœμ„œλ₯Ό λ‚˜νƒ€λ‚΄λŠ” μ΄ν•­κ΄€κ³„μ˜ κΈ°ν˜Έλ‘œλŠ” μ–΄λ–€ 것을 μ‚¬μš©ν•΄λ„ μƒκ΄€μ—†μ§€λ§Œ, $\leq$λŠ” κ·Έ μ€‘μ—μ„œλ„ 많이 μ‚¬μš©λ˜λŠ” 기호 쀑 ν•˜λ‚˜μ΄λ‹€. μ•žμœΌλ‘œλŠ” λ³„λ„μ˜ 언급이 μ—†λŠ” ν•œ 기호 $\leq$λŠ” μ •μ˜ 1의 곡리λ₯Ό λ§Œμ‘±ν•˜λŠ” μˆœμ„œκ΄€κ³„λ₯Ό λ‚˜νƒ€λ‚΄λŠ” κ²ƒμœΌλ‘œ ν•œλ‹€. λ˜ν•œ, 기호 $\leq$λ₯Ό μ‚¬μš©ν•  λ•Œμ—λŠ”, 기호 $\geq$, $<$, $>$λ₯Ό λ™μ‹œμ— λ„μž…ν•˜μ—¬:

  • β€œ$a\leq b$”와 β€œ$b\geq a$β€λŠ” 같은 의미
  • β€œ$a\leq b$인 λ™μ‹œμ— $a\neq b$”와 β€œ$a<b$”, β€œ$b>a$β€λŠ” 같은 의미

κ°€ λ˜λ„λ‘ ν•œλ‹€1. β€”

μ •μ˜ 2. μˆœμ„œμ§‘ν•© $(A,\leq)$κ°€ μ£Όμ–΄μ§ˆ λ•Œ, μž„μ˜μ˜ $a,b\in A$에 λŒ€ν•˜μ—¬ $a\leq b$λ‚˜ $a\geq b$ 쀑 적어도 ν•˜λ‚˜κ°€ μ„±λ¦½ν•œλ‹€λ©΄2, $\leq$λŠ” $A$의 μ „μˆœμ„œtotalΒ order이고, $(A,\leq)$λŠ” μ „μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•œλ‹€. β€”

예 4. 예 1μ—μ„œμ˜ μˆœμ„œλŠ” μ „μˆœμ„œμ΄λ‹€. ν•˜μ§€λ§Œ 예 2와 예 3의 μˆœμ„œλŠ” μ „μˆœμ„œμ΄μ§€ μ•Šλ‹€. β€”

μ΅œλŒ€, μ΅œμ†Œ, κ·ΉλŒ€, κ·Ήμ†Œ

μ •μ˜ 3(μ΅œλŒ€, μ΅œμ†Œ). $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•˜μž. $a\in A$이고, μž„μ˜μ˜ $x\in A$에 λŒ€ν•˜μ—¬ $x\leq a$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $a$λŠ” $A$의 μ΅œλŒ€greatest μ›μ†ŒλΌκ³  ν•œλ‹€. λ˜ν•œ, $b\in A$이고, μž„μ˜μ˜ $x\in A$에 λŒ€ν•˜μ—¬ $b\leq x$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $b$λŠ” $A$의 μ΅œμ†Œleast μ›μ†ŒλΌκ³  ν•œλ‹€. β€”

μ£Ό.

  • λ‹Ήμ—°ν•˜μ§€λ§Œ, λͺ¨λ“  μˆœμ„œμ§‘ν•©μ— μ΅œλŒ€ ν˜Ήμ€ μ΅œμ†ŒμΈ μ›μ†Œκ°€ μ‘΄μž¬ν•˜μ§€λŠ” μ•ŠλŠ”λ‹€. $\SetN$μ—λŠ” μ΅œμ†Œ μ›μ†Œ $0$κ°€ μ‘΄μž¬ν•˜μ§€λ§Œ, μ΅œλŒ€ μ›μ†ŒλŠ” μ‘΄μž¬ν•˜μ§€ μ•ŠλŠ”λ‹€. $\SetZ$, $\SetQ$, $\SetR$μ—λŠ” μ΅œμ†Œ μ›μ†Œμ™€ μ΅œλŒ€ μ›μ†Œκ°€ λͺ¨λ‘ μ‘΄μž¬ν•˜μ§€ μ•ŠλŠ”λ‹€.
  • λ§Œμ•½ $A$의 μ΅œλŒ€ μ›μ†Œκ°€ μ‘΄μž¬ν•œλ‹€λ©΄, μ΄λŠ” μœ μΌν•˜λ‹€. μ‹€μ œλ‘œ $a,a’\in A$κ°€ λ™μ‹œμ— $A$의 μ΅œλŒ€ μ›μ†ŒλΌκ³  ν•œλ‹€λ©΄, μ •μ˜λ‘œλΆ€ν„° $a\leq a’$인 λ™μ‹œμ— $a’\leq a$μ΄λ―€λ‘œ $a=a’$이닀. λ§ˆμ°¬κ°€μ§€λ‘œ μ΅œμ†Œ μ›μ†Œκ°€ μ‘΄μž¬ν•œλ‹€λ©΄, μ΄λŠ” μœ μΌν•˜λ‹€. 이 사싀에 따라, $A$의 μ΅œλŒ€ μ›μ†Œ ν˜Ήμ€ μ΅œμ†Œ μ›μ†Œκ°€ μ‘΄μž¬ν•œλ‹€λ©΄, 각각을 $\max A$와 $\min A$둜 μ“°κΈ°λ‘œ ν•œλ‹€. β€”

μ •μ˜ 4(κ·ΉλŒ€, κ·Ήμ†Œ). $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•˜μž. $a\in A$이고, $a<x$인 $x\in A$κ°€ μ‘΄μž¬ν•˜μ§€ μ•ŠλŠ”λ‹€λ©΄, $a$λŠ” $A$의 κ·ΉλŒ€maximal μ›μ†ŒλΌκ³  ν•œλ‹€. λ˜ν•œ, $b\in A$이고, μž„μ˜μ˜ $x\in A$에 λŒ€ν•˜μ—¬ $x<b$인 $x\in A$κ°€ μ‘΄μž¬ν•˜μ§€ μ•ŠλŠ”λ‹€λ©΄, $b$λŠ” $A$의 κ·Ήμ†Œminimal μ›μ†ŒλΌκ³  ν•œλ‹€. β€”

λͺ…μ œ 1. $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•˜μž. $\max A$κ°€ μ‘΄μž¬ν•œλ‹€λ©΄, μ΄λŠ” $A$의 μœ μΌν•œ κ·ΉλŒ€ μ›μ†Œμ΄λ‹€. λ§ˆμ°¬κ°€μ§€λ‘œ, $\min A$κ°€ μ‘΄μž¬ν•œλ‹€λ©΄, μ΄λŠ” $A$의 μœ μΌν•œ κ·Ήμ†Œ μ›μ†Œμ΄λ‹€. β€”

증λͺ…. $a=\max A$라고 ν•˜μž. μ •μ˜λ‘œλΆ€ν„° $a$κ°€ $A$의 κ·ΉλŒ€ μ›μ†ŒμΈ 것은 λΆ„λͺ…ν•˜λ‹€. λ˜ν•œ, $a\neq a’$인 $a’\in A$에 λŒ€ν•˜μ—¬ $a’\leq a$κ°€ 성립, $a'<a$μ΄λ―€λ‘œ, $a’$λŠ” κ·ΉλŒ€ μ›μ†ŒμΌ 수 μ—†λ‹€. λ”°λΌμ„œ $a$λŠ” $A$의 μœ μΌν•œ κ·ΉλŒ€ μ›μ†Œμ΄λ‹€. μ΅œμ†Œ μ›μ†Œμ— λŒ€ν•΄μ„œλ„ λ§ˆμ°¬κ°€μ§€. $\square$

μ£Ό.

  • μ΅œλŒ€/μ΅œμ†Œμ™€ λ§ˆμ°¬κ°€μ§€λ‘œ, κ·ΉλŒ€/κ·Ήμ†ŒμΈ μ›μ†Œκ°€ 항상 μ‘΄μž¬ν•˜λ¦¬λΌλŠ” 보μž₯은 μ—†λ‹€.
  • λͺ…μ œ 1μ—μ„œ 보인 κ²ƒμ²˜λŸΌ μ΅œλŒ€/μ΅œμ†ŒμΈ μ›μ†Œκ°€ μ‘΄μž¬ν•œλ‹€λ©΄ μ΄λŠ” 항상 μœ μΌν•œ κ·ΉλŒ€/κ·Ήμ†Œ μ›μ†Œκ°€ λ˜μ§€λ§Œ, μ΅œλŒ€/μ΅œμ†ŒμΈ μ›μ†Œκ°€ μ‘΄μž¬ν•˜μ§€ μ•Šμ•„λ„ κ·ΉλŒ€/κ·Ήμ†ŒμΈ μ›μ†Œκ°€ μ‘΄μž¬ν•  수 μžˆλ‹€. 이 경우, κ·ΉλŒ€/κ·Ήμ†ŒμΈ μ›μ†ŒλŠ” 볡수 μ‘΄μž¬ν•  수 μžˆλ‹€.
    • 예λ₯Ό λ“€μ–΄, 예 2의 μˆœμ„œλ₯Ό $\SetZ_{>1}$에 μ μš©ν•˜λ©΄, μ†Œμˆ˜μΈ μ›μ†ŒλŠ” κ·Ήμ†Œ μ›μ†Œκ°€ 되며, μ΄λŠ” 무수히 μ‘΄μž¬ν•œλ‹€λŠ” 것을 μ•Œ 수 μžˆλ‹€.
  • μ „μˆœμ„œμ§‘ν•©μ—μ„œλŠ” μ΅œλŒ€/μ΅œμ†ŒμΈ 것과 κ·ΉλŒ€/κ·Ήμ†ŒμΈ 것은 μ„œλ‘œ λ™μΉ˜μ΄λ‹€. β€”

상계, ν•˜κ³„, μƒν•œ, ν•˜ν•œ

μ •μ˜ 5(상계, ν•˜κ³„, μœ κ³„). $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©, $M$을 $M\neq\emptyset$인 $A$의 뢀뢄집합이라고 ν•˜μž.

  • $a\in A$이고, μž„μ˜μ˜ $x\in M$에 λŒ€ν•˜μ—¬ $x\leq a$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $a$λŠ” $M$의 상계upperΒ bound라고 ν•˜λ©°, 상계가 μ‘΄μž¬ν•˜λŠ” $A$의 뢀뢄집합을 μœ„λ‘œ μœ κ³„boundedΒ fromΒ above인 $A$의 뢀뢄집합이라고 ν•œλ‹€.
  • λ§ˆμ°¬κ°€μ§€λ‘œ, $b\in A$이고, μž„μ˜μ˜ $x\in M$에 λŒ€ν•˜μ—¬ $b\leq x$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $b$λŠ” $M$의 ν•˜κ³„lowerΒ bound라고 ν•˜λ©°, ν•˜κ³„κ°€ μ‘΄μž¬ν•˜λŠ” $A$의 뢀뢄집합을 μ•„λž˜λ‘œ μœ κ³„boundedΒ fromΒ below인 $A$의 뢀뢄집합이라고 ν•œλ‹€.
  • μœ„μ™€ μ•„λž˜λ‘œ λ™μ‹œμ— μœ κ³„μΈ $A$의 뢀뢄집합을 $A$의 μœ κ³„bounded인 뢀뢄집합이라고 ν•œλ‹€. β€”

λ‹Ήμ—°ν•˜μ§€λ§Œ, 뢀뢄집합 $M$을 μˆœμ„œμ§‘ν•©μœΌλ‘œ λ³Ό λ•Œ, $\max M$이 μ‘΄μž¬ν•œλ‹€λ©΄, $M$은 μœ„λ‘œ μœ κ³„μ΄λ‹€. ν•˜μ§€λ§Œ, $M$이 μœ„λ‘œ μœ κ³„μΈ μˆœμ„œμ§‘ν•©μ΄λΌκ³  해도 κ·Έ 상계가 $M$에 μ†ν•˜μ§€ μ•Šμ„ μˆ˜λ„ μžˆμœΌλ―€λ‘œ, 이 경우 $\max M$이 μ‘΄μž¬ν•˜λ¦¬λΌλŠ” 보μž₯은 μ—†λ‹€.

μˆœμ„œμ§‘ν•© $(A,\leq)$의 뢀뢄집합 $M$에 λŒ€ν•˜μ—¬, $M$의 상계 μ „μ²΄μ˜ 집합을 $M^*$, ν•˜κ³„ μ „μ²΄μ˜ 집합을 $M_*$으둜 λ‚˜νƒ€λ‚Έλ‹€λ©΄, $M$이 μœ„λ‘œ μœ κ³„μΈ 것은 $M^*\neq\emptyset$인 것과 λ™μΉ˜μ΄λ‹€. λ§ˆμ°¬κ°€μ§€λ‘œ, $M$이 μ•„λž˜λ‘œ μœ κ³„μΈ 것은 $M_*\neq\emptyset$κ³Ό λ™μΉ˜.

μ •μ˜ 6(μƒν•œ, ν•˜ν•œ). $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©, $M$을 $M\neq\emptyset$인 $A$의 뢀뢄집합이라고 ν•˜μž. $M$의 상계 μ „μ²΄μ˜ 집합 $M^*$에 λŒ€ν•˜μ—¬, $\min M^*$이 μ‘΄μž¬ν•œλ‹€λ©΄, 이λ₯Ό μƒν•œsupremum이라고 ν•˜μ—¬, $\sup M$와 같이 λ‚˜νƒ€λ‚Έλ‹€. λ§ˆμ°¬κ°€μ§€λ‘œ, $M$의 ν•˜κ³„ μ „μ²΄μ˜ 집합 $M_*$에 λŒ€ν•˜μ—¬, $\min M_*$이 μ‘΄μž¬ν•œλ‹€λ©΄, 이λ₯Ό ν•˜ν•œinfimum이라고 ν•˜μ—¬, $\inf M$와 같이 λ‚˜νƒ€λ‚Έλ‹€. β€”

λͺ…μ œ 2. $(A,\leq)$λ₯Ό μˆœμ„œμ§‘ν•©, $M$을 $M\neq\emptyset$인 $A$의 뢀뢄집합이라고 ν•˜μž. $\max M$이 μ‘΄μž¬ν•œλ‹€λ©΄, μ΄λŠ” $\sup M$κ³Ό μΌμΉ˜ν•œλ‹€. μ—­μœΌλ‘œ, $\sup M$이 μ‘΄μž¬ν•˜λŠ” λ™μ‹œμ— $\sup M\in M$이라면, μ΄λŠ” $\max M$κ³Ό μΌμΉ˜ν•œλ‹€. λ§ˆμ°¬κ°€μ§€λ‘œ, $\min M$κ³Ό $\inf M$에 λŒ€ν•΄μ„œλ„ 이와 같은 μ„±μ§ˆμ΄ μ„±λ¦½ν•œλ‹€. β€”

증λͺ…. $a = \sup M$은 λ‹€μŒ 두 쑰건을 λ§Œμ‘±ν•˜λŠ” 것과 λ™μΉ˜μ΄λ‹€.

  1. μž„μ˜μ˜ $x\in M$에 λŒ€ν•˜μ—¬ $x\leq a$.
  2. $a’\in A$라고 ν•  λ•Œ, μž„μ˜μ˜ $x\in M$에 λŒ€ν•˜μ—¬ $x\leq a’$라면 $a\leq a’$.

$a=\max M$이 μ‘΄μž¬ν•œλ‹€λ©΄, 쑰건 1을 λ§Œμ‘±ν•˜λŠ” 것은 λ‹Ήμ—°ν•˜λ‹€. λ˜ν•œ, $a\in M$μ΄λ―€λ‘œ μž„μ˜μ˜ $x\in M$에 λŒ€ν•˜μ—¬ $x\leq a’$인 $a’\in A$에 λŒ€ν•˜μ—¬ $a\leq a’$인 것 μ—­μ‹œ λ‹Ήμ—°. λ”°λΌμ„œ $a=\sup M$.

λ°˜λŒ€λ‘œ, $\sup M$이 μ‘΄μž¬ν•œλ‹€λ©΄, 1의 쑰건을 λ§Œμ‘±ν•˜κ³ , $\sup M\in M$μ΄λ―€λ‘œ, $\sup M = \max M$이닀. $\min M$κ³Ό $\inf M$에 λŒ€ν•΄μ„œλ„ λ§ˆμ°¬κ°€μ§€. $\square$

μ£Ό. $\max M$이 μ‘΄μž¬ν•˜μ§€ μ•Šλ”λΌλ„, $\sup M$이 μ‘΄μž¬ν•  수 μžˆλ‹€. 예λ₯Ό λ“€μ–΄, μˆœμ„œμ§‘ν•© $A=\SetR$의 뢀뢄집합 $M=(-\infty,0)$의 경우, $\max M$이 μ‘΄μž¬ν•˜μ§€ μ•Šμ§€λ§Œ, $\sup M=0$인 것을 확인할 수 μžˆλ‹€. μ‹€μ œλ‘œ, μž„μ˜μ˜ $\SetR$의 μœ„λ‘œ μœ κ³„μΈ 뢀뢄집합 $M$은 항상 μƒν•œ $\sup M$을 κ°–λŠ”λ‹€. μ΄λŸ¬ν•œ μ„±μ§ˆμ„ μ‹€μˆ˜μ˜ 연속성continuityΒ ofΒ realΒ numbers ν˜Ήμ€ μ‹€μˆ˜μ˜ 완비성이라고 ν•œλ‹€. β€”

예 5. μˆœμ„œμ§‘ν•© $\SetQ$의 뢀뢄집합 $M\coloneqq \left\{ x\in\SetQ\mid x>0, x^2<2 \right\}$λŠ” $\SetQ$ μƒμ—μ„œ μƒν•œμ„ 갖지 μ•ŠλŠ”λ‹€. λ§Œμ•½, μƒν•œ $a=\sup M$이 μ‘΄μž¬ν•œλ‹€κ³  κ°€μ •ν•œλ‹€λ©΄ $a>0$이고, $a^2=2$일 μˆ˜λŠ” μ—†μœΌλ―€λ‘œ $a^2<2$μ΄κ±°λ‚˜ $a^2>2$이닀.

  • $a^2<2$인 경우: $a\in M$μ΄λ―€λ‘œ, $a=\max M$이닀. ν•˜μ§€λ§Œ, $a’=(3a+4)/(2a+3)$으둜 두면, $a’\in M$인 λ™μ‹œμ— $a<a’$인 것을 μ•Œ 수 μžˆλ‹€. μ΄λŠ” λͺ¨μˆœ.
  • $a^2>2$인 경우: μ—­μ‹œ $a’=(3a+4)/(2a+3)$으둜 두면, $a’$λŠ” $M$의 상계인 λ™μ‹œμ— $a'<a$이닀. μ΄λŠ” $a$κ°€ μƒν•œμ΄λΌλŠ” 가정에 λͺ¨μˆœ.

λ”°λΌμ„œ $\sup M$은 μ‘΄μž¬ν•˜μ§€ μ•ŠλŠ”λ‹€. β€”

이 ν¬μŠ€νŠΈμ—μ„œλŠ”β€¦

  • μˆœμ„œμ™€ μ „μˆœμ„œλ₯Ό μ •μ˜ν–ˆλ‹€.
  • μˆœμ„œμ§‘ν•©μ˜ μ΅œλŒ€, μ΅œμ†Œ, κ·ΉλŒ€, κ·Ήμ†Œ μ›μ†Œμ˜ κ°œλ…μ„ μ •μ˜ν–ˆλ‹€.
  • μˆœμ„œμ§‘ν•©κ³Ό κ·Έ 뢀뢄집합이 μ£Όμ–΄μ‘Œμ„ λ•Œμ˜ 상계, ν•˜κ³„, μƒν•œ, ν•˜ν•œμ˜ κ°œλ…μ„ μ •μ˜ν–ˆλ‹€.

μ°Έκ³ λ¬Έν—Œ

  • 松坂 ε’Œε€«οΌŒγ€Žι›†εˆγƒ»δ½η›Έε…₯ι–€γ€οΌŒε²©ζ³’ζ›ΈεΊ—οΌŒ1968.

  1. 이 경우, $a<b$이면 $b<a$이지 μ•Šλ‹€. λ˜ν•œ $a<b$, $b<c$이면 $a<c$이닀.β†©οΈŽ

  2. β€œ$a<b$, $a=b$, $a>b$의 μ…‹ 쀑 ν•˜λ‚˜κ°€ μ„±λ¦½ν•œλ‹€λ©΄β€μœΌλ‘œ λ°”κΎΈμ–΄ 말할 수 μžˆλ‹€. μ„Έ 쑰건 쀑 ν•˜λ‚˜κ°€ μ„±λ¦½ν•œλ‹€λ©΄, κ·Έ ν•˜λ‚˜λ§Œμ΄ μœ μΌν•˜κ²Œ μ„±λ¦½ν•œλ‹€.β†©οΈŽ

Zorn 보쑰정리

Zorn 보쑰정리

μ •μ˜ 1. μˆœμ„œμ§‘ν•© $(X,\leq)$κ°€ μ£Όμ–΄μ‘Œμ„ λ•Œ, μž„μ˜μ˜ μ „μˆœμ„œμΈ 뢀뢄집합이 μœ„λ‘œ μœ κ³„λΌλ©΄ $(X, \leq)$λŠ” 귀납적inductive이라고 ν•œλ‹€. β€”

정리 1(Zorn 보쑰정리, ZL). 귀납적인 μˆœμ„œμ§‘ν•©μ€ 적어도 ν•˜λ‚˜μ˜ κ·ΉλŒ€ μ›μ†Œλ₯Ό κ°–λŠ”λ‹€. β€”

증λͺ…. 선택곡리λ₯Ό κ°€μ •ν•œλ‹€.

$(X, \leq)$λ₯Ό 귀납적인 μˆœμ„œμ§‘ν•©μ΄λΌκ³  ν•˜μž. 이 λ•Œ, 선택곡리에 μ˜ν•˜μ—¬, $f(x)\in x$κ°€ μ„±λ¦½ν•˜λŠ” 선택사상 $f: 2^X\setminus \left\{ \emptyset \right\}\to X$κ°€ μ‘΄μž¬ν•œλ‹€. μ—¬κΈ°μ„œ, $(X, \leq)$의 정렬뢀뢄집합인 $W$와 $a\in W$에 λŒ€ν•˜μ—¬, $\Delta(W,a)\coloneqq \left\{ x\in X\,|\, \forall b\in W \langle a \rangle; b<x\right\}$ 라고 두면, $a\in \Delta(W,a)$κ°€ μ„±λ¦½ν•˜λŠ” 것을 μ•Œ 수 μžˆλ‹€. 주어진 선택사상 $f$에 μ˜ν•˜μ—¬, μž„μ˜μ˜ $a\in W$에 λŒ€ν•΄ $a = f(\Delta(W,a))$κ°€ μ„±λ¦½ν•œλ‹€λ©΄, $W$κ°€ $f$-열인 정렬집합이라고 ν•˜μž. λ˜ν•œ, $f$-열인 정렬집합 μ „μ²΄μ˜ 집합을 $\mathfrak{F}$라고 ν•˜μž.

μš°μ„ , μž„μ˜μ˜ $W_1, W_2\in \mathfrak{F}$에 λŒ€ν•˜μ—¬, $W_1 = W_2$μ΄κ±°λ‚˜, $W_1$κ³Ό $W_2$쀑 μ–΄λŠ ν•˜λ‚˜κ°€ λ‹€λ₯Έ ν•˜λ‚˜μ˜ 절편과 μΌμΉ˜ν•˜λŠ” 것을 보이자. $W_1$κ³Ό $W_2$λŠ” λͺ¨λ‘ 정렬집합이고, μ •λ ¬μ§‘ν•©μ˜ 비ꡐ정리에 μ˜ν•˜μ—¬, $W_1\cong W_2$ μ΄κ±°λ‚˜ $W_1$와 $W_2$ 쀑 μ–΄λŠ ν•˜λ‚˜κ°€ λ‹€λ₯Έ ν•˜λ‚˜μ˜ 절편과 μˆœμ„œλ™ν˜•μ„ 이룬닀. κ·Έ 쀑, $a\in W_2$에 λŒ€ν•˜μ—¬ $W_1\cong W_2 \langle a \rangle$인 경우λ₯Ό κ³ λ €ν•˜μž. 이 λ•Œμ˜ μœ μΌν•œ μˆœμ„œλ™ν˜•μ‚¬μƒ $\phi: W_1\to W_2 \langle a \rangle$κ°€, $\phi(x) = x$, 즉 ν•­λ“±μ‚¬μƒμž„μ„ 보이면, $W_1=W_2\langle a \rangle$μž„μ„ μ•Œ 수 μžˆλ‹€. $W_1’=\left\{ x\in W_1 \,|\, \phi(x) \neq x \right\}$둜 두어, $W_1’\neq\emptyset$이라고 κ°€μ •ν•œλ‹€λ©΄, $m =\min W_1’$이 μ‘΄μž¬ν•œλ‹€. $W_1’$κ³Ό $m$의 μ •μ˜μ— μ˜ν•˜μ—¬, $W_1 \langle m \rangle = W_2 \langle \phi(m) \rangle$κ°€ μ„±λ¦½ν•˜λ―€λ‘œ, $\Delta(W_1, m) = \Delta(W_2, \phi(m))$κ°€ μ„±λ¦½ν•œλ‹€. ν•˜μ§€λ§Œ, $W_1, W_2\in \mathfrak{F}$μ΄λ―€λ‘œ, $m = f(\Delta(W_1, m)) = f(\Delta(W_2, \phi(m))) = \phi(m)$이고, μ΄λŠ” $m\in W_1’$에 λͺ¨μˆœμ΄λ―€λ‘œ, $W_1’=\emptyset$이닀. λ”°λΌμ„œ $W_1=W_2\langle a \rangle$. $W_2$κ°€ $W_1$의 절편과 μˆœμ„œλ™ν˜•μΌ λ•Œ, ν˜Ήμ€ $W_1\cong W_2$일 λ•Œμ—λ„ 같은 λ°©λ²•μœΌλ‘œ μœ„μ˜ μ£Όμž₯이 성립함을 보일 수 μžˆλ‹€.

μœ„μ˜ 결과와, μ •λ ¬μ§‘ν•©μ˜ ꡬ성정리에 μ˜ν•˜μ—¬, $W_\infty\coloneqq \bigcup_{W\in\mathfrak{F}}W$μ—­μ‹œ 정렬집합이며, $W_\infty\in \mathfrak{F}$κ°€ μ„±λ¦½ν•œλ‹€1. λ™μ‹œμ— $X$λŠ” 귀납적인 μˆœμ„œμ§‘ν•©, $W_\infty$λŠ” μ „μˆœμ„œμ§‘ν•©μ΄λ―€λ‘œ, 상계인 $w\in X$λ₯Ό κ°–λŠ”λ‹€.

$w$κ°€ κ·ΉλŒ€μΈ μ›μ†ŒλΌλŠ” 것을 보이기 μœ„ν•΄, $w < w’$인 $w’\in X$κ°€ μ‘΄μž¬ν•œλ‹€κ³  κ°€μ •ν•˜μž. $\Delta_\infty \coloneqq \left\{ x\in X \,|\, \forall b\in W_\infty;b<x\right\}\neq\emptyset$ 으둜 두면, $w’\in\Delta_\infty$μ΄λ―€λ‘œ, $\Delta_\infty\neq\emptyset$이닀. $x_0\coloneqq f(\Delta_\infty)$으둜 두면, $W_\infty’=W_\infty\cup\left\{ x_0 \right\}$ 은 정렬집합이고, $W_\infty’\langle x_0 \rangle = W_\infty$이닀. λ”°λΌμ„œ, $x_0=f(\Delta_\infty)=f(\Delta(W_\infty’,x_0))$μ΄λ―€λ‘œ, $W_\infty’\in\mathfrak F$ 이닀. ν•˜μ§€λ§Œ, $W_\infty\subsetneq W_\infty’$이고, μ΄λŠ” $W_\infty$의 μ •μ˜λ‘œλΆ€ν„° λͺ¨μˆœμž„을 μ•Œ 수 μžˆμœΌλ―€λ‘œ, $w\in X$λŠ” $X$의 κ·ΉλŒ€μ›μ†Œμ΄λ‹€. $\square$

μ£Ό. μœ„ 증λͺ…μ—μ„œ $W_\infty$의 상계인 $w\in X$에 λŒ€ν•˜μ—¬ $w\in W_\infty$, $w=\max W_\infty$κ°€ 성립함을 μ‰½κ²Œ μ•Œ 수 μžˆλ‹€. λ§Œμ•½ 그렇지 μ•Šλ‹€κ³  κ°€μ •ν•˜λ©΄, $w\in \Delta_\infty$이게 λ˜μ–΄, 증λͺ…μ—μ„œ 보인 것과 같은 λͺ¨μˆœμ΄ λ°œμƒν•˜κΈ° λ•Œλ¬Έμ΄λ‹€. β€”

이 ν¬μŠ€νŠΈμ—μ„œλŠ”β€¦

  • μ„ νƒκ³΅λ¦¬λ‘œλΆ€ν„° Zorn 보쑰정리λ₯Ό 증λͺ…ν–ˆλ‹€.

μ°Έκ³ λ¬Έν—Œ

  • 松坂 ε’Œε€«οΌŒγ€Žι›†εˆγƒ»δ½η›Έε…₯ι–€γ€οΌŒε²©ζ³’ζ›ΈεΊ—οΌŒ1968.
  • ε†…η”° δΌδΈ€οΌŒγ€Žι›†εˆγ¨δ½η›Έγ€οΌŒθ£³θ―ζˆΏοΌŒ1986.

  1. 각 $a\in W_\infty$에 λŒ€ν•˜μ—¬, $a\in W$인 $W\in \mathfrak{F}$κ°€ μ‘΄μž¬ν•  것이닀. μ •λ ¬μ§‘ν•©μ˜ ꡬ성정리에 μ˜ν•˜μ—¬ λͺ¨λ“  $\mathfrak{F}$의 μ›μ†ŒλŠ” $W_\infty$ ν˜Ήμ€ $W_\infty$의 절편과 μΌμΉ˜ν•˜λ―€λ‘œ, $W_\infty \langle a \rangle = W \langle a \rangle$κ°€ μ„±λ¦½ν•œλ‹€. λ”°λΌμ„œ $\Delta(W_\infty, a) = \Delta(W, a)$, $f(\Delta(W_\infty, a)) = f(\Delta(W, a)) = a$이 성립.β†©οΈŽ

μ€‘κ΅­μΈμ˜ λ‚˜λ¨Έμ§€ 정리

μ€‘κ΅­μΈμ˜ λ‚˜λ¨Έμ§€ 정리

정리 1(μ€‘κ΅­μΈμ˜ λ‚˜λ¨Έμ§€ 정리ChineseΒ RemainderΒ Theorem,Β CRT1). $A$λ₯Ό λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜, $I_1,\ldots,I_n\subsetneq A$λ₯Ό $A$의 아이디얼이라고 ν•˜μž. $I_1,\ldots,I_n$ 쀑 μ–΄λŠ 두 개λ₯Ό 선택해도 μ„œλ‘œμ†Œ2라면, λ‹€μŒμ΄ μ„±λ¦½ν•œλ‹€.

  1. $i=1,\ldots,n$에 λŒ€ν•˜μ—¬, $I_i$와 $\prod_{j\neq i}I_j$λŠ” μ„œλ‘œμ†Œ.
  2. $I_1\cap\cdots\cap I_n = I_1\cdots I_n$.
  3. $A/(I_1\cap\cdots\cap I_n) \cong A/I_1\times\cdots\times A/I_n$. β€”

증λͺ….

1의 증λͺ…. $i=1$이라고 해도 μΌλ°˜μ„±μ„ μžƒμ§€ μ•ŠμœΌλ―€λ‘œ, $I_1 + I_2\cdots I_n = A$μž„μ„ 보이자. 각 $j=2,\ldots,n$에 λŒ€ν•˜μ—¬ $x_j + y_j = 1$인 $x_j\in I_1$, $y_j\in I_j$을 μ·¨ν•  수 μžˆλ‹€. μ—¬κΈ°μ„œ $(x_2+y_2)\cdots(x_n+y_n) = 1$이고, μ’Œλ³€μ„ μ „κ°œν–ˆμ„ λ•Œ, $y_2\cdots y_n\in I_2\cdots I_n$을 μ œμ™Έν•œ 항은 λͺ¨λ‘ $I_1$의 μ›μ†Œμ΄λ―€λ‘œ, $I_1 + I_2\cdots I_n = A$인 것을 μ•Œ 수 μžˆλ‹€.

2의 증λͺ…. $n$에 κ΄€ν•œ κ·€λ‚©λ²•μœΌλ‘œ 보이자.

  • $n = 2$인 경우: $I_1I_2\subset I_1\cap I_2$이 μ„±λ¦½ν•˜λŠ” 것은 λ‹Ήμ—°. $x+y=1$이 λ˜λ„λ‘ $x\in I_1$, $y\in I_2$λ₯Ό μ·¨ν•˜λ©΄, $a\in I_1\cap I_2$라고 ν•  λ•Œ, $a=ax+ay\in I_1I_2$. λ”°λΌμ„œ $I_1\cap I_2\subset I_1I_2$.
  • $I_1\cap\cdots\cap I_{n-1} = I_1\cdots I_{n-1}$($= J$)κ°€ μ„±λ¦½ν•œλ‹€κ³  ν•˜λ©΄, 1μ—μ„œ λ³΄μΈλŒ€λ‘œ $J + I_n = A$. λ”°λΌμ„œ, $n=2$인 κ²½μš°μ—μ„œ λ³΄μΈλŒ€λ‘œ, $I_1\cap\cdots\cap I_{n} = J \cap I_n = JI_n = I_1\cdots I_n$.

3의 증λͺ…. ν™˜μ˜ μ€€λ™ν˜•μ •λ¦¬λ₯Ό μ΄μš©ν•œλ‹€.

  • $n=2$인 경우λ₯Ό λ¨Όμ € 보이자. $\phi\colon A\ni a\mapsto (a+I_1, a+I_2)\in A/I_1\times A/I_2$와 같은 μ€€λ™ν˜•μ„ 생각할 λ•Œ, $\text{Ker}(\phi) = I_1\cap I_2$인 것은 ν™˜μ˜ 직곱의 μ •μ˜λ‘œλΆ€ν„° λ‹Ήμ—°ν•˜λ‹€. λ˜ν•œ, $I_1+I_2=A$μ΄λ―€λ‘œ, $x+y=1$인 $x\in I_1$, $y\in I_2$ λ₯Ό μ·¨ν•˜λ©΄, μž„μ˜μ˜ $a,b\in A$에 λŒ€ν•˜μ—¬ $\phi(ay+bx)=(a+I_1,b+I_2)$ μ΄λ―€λ‘œ $\phi$λŠ” 전사이닀3. λ”°λΌμ„œ ν™˜μ˜ μ€€λ™ν˜•μ •λ¦¬μ— μ˜ν•˜μ—¬, $A/(I_1\cap I_2) \cong A/I_1 \times A/I_2$이닀.
  • $n>2$인 경우 μ—­μ‹œ, $J = I_1\cdots I_{n-1}$으둜 두면, 2μ—μ„œ λ³΄μΈλŒ€λ‘œ $J=I_1\cap\cdots\cap I_{n-1}$ 이고, 1μ—μ„œ λ³΄μΈλŒ€λ‘œ $J+I_n=A$μ΄λ―€λ‘œ, $n=2$일 λ•Œμ™€ λ§ˆμ°¬κ°€μ§€λ‘œ $A/(I_1\cap\cdots\cap I_n) = A/(J\cap I_n) \cong A/J\times A/I_n$. 이와 같은 μž‘μ—…μ„ λ°˜λ³΅ν•˜λ©΄ $A/J= A/I_1\times\cdots\times A/I_n$μž„μ„ μ•Œ 수 μžˆμœΌλ―€λ‘œ, λ™ν˜•μ΄ 보여진닀. $\square$

보쑰정리 2. $I, J$κ°€ λΉ„μžλͺ…ν•œ κ°€ν™˜ν™˜ $A$의 μ„œλ‘œμ†ŒμΈ 아이디얼이고, $a,b\in\SetZ_{>0}$라면, $I^a$와 $J^b$ μ—­μ‹œ μ„œλ‘œμ†Œμ΄λ‹€. β€”

증λͺ…. $x+y = 1$이도둝 $x\in I$, $y\in J$λ₯Ό μ·¨ν•˜λ©΄, $1 = (x+y)^{a+b} \in I^a+J^b$μž„μ„ μ΄ν•­μ •λ¦¬λ‘œλΆ€ν„° 확인할 수 μžˆλ‹€. $\square$

예 1. $300 = 2^2\cdot3\cdot5^2$이고, $2,3,5$λŠ” (μ–΄λŠ 두 개λ₯Ό 택해도) μ„œλ‘œμ†Œμ΄λ―€λ‘œ, 정리 1κ³Ό 보쑰정리 2에 μ˜ν•˜μ—¬ $\SetZ/300\SetZ \cong \SetZ/4\SetZ\times\SetZ/3\SetZ\times\SetZ/25\SetZ$. β€”

예 2. 예 1κ³Ό λ§ˆμ°¬κ°€μ§€λ‘œ, $\SetC[x]/(x(x-1)^2(x+2)^3)\cong\SetC[x]/(x)\times\SetC[x]/((x-1)^2)\times\SetC[x]/((x+2)^3)$. β€”

μ—°μŠ΅λ¬Έμ œ

문제 1. $x\equiv 1\mod 2$, $x\equiv 2\mod 5$, $x\equiv 8\mod 13$을 λͺ¨λ‘ λ§Œμ‘±ν•˜λŠ” μ •μˆ˜λ₯Ό λͺ¨λ‘ κ΅¬ν•˜μ—¬λΌ. β€”

풀이.

  • Euclidean ν˜Έμ œλ²•μ„ μ΄μš©ν•˜λ©΄, $-4\in 2\SetZ$, $5\in 5\SetZ$, $-4+5=1$와 같이 $x\in 2\SetZ$, $y\in 5\SetZ$, $x+y=1$λ₯Ό λ§Œμ‘±ν•˜λŠ” 쌍 $(x,y)$λ₯Ό 찾을 수 μžˆλ‹€. CRT에 μ˜ν•˜μ—¬ $\SetZ/10\SetZ \cong \SetZ/2\SetZ\times\SetZ/5\SetZ$이고, 이 λ™ν˜•μ‚¬μƒμ„ $\phi$라고 ν•˜λ©΄, $\phi(7+10\SetZ)=\phi(1\cdot 5+2\cdot(-4) + 10\SetZ)=(1+2\SetZ, 2+5\SetZ)$ 인 것을 μ•Œ 수 μžˆλ‹€. λ”°λΌμ„œ $x\equiv 1\mod 2$, $x\equiv 2\mod 5$일 ν•„μš”μΆ©λΆ„μ‘°κ±΄μ€ $x\equiv 7\mod 10$.
  • 같은 λ°©λ²•μœΌλ‘œ $x\equiv 7\mod 10$인 λ™μ‹œμ— $x\equiv 8\mod 13$을 λ§Œμ‘±ν•˜λŠ” μ •μˆ˜ $x$λ₯Ό κ΅¬ν•˜λ©΄ λœλ‹€. $40\in 10\SetZ$, $-39\in 13\SetZ$, $40+(-39)=1$이고, $\SetZ/130\SetZ \cong \SetZ/10\SetZ\times\SetZ/13\SetZ$μ΄λ―€λ‘œ, 이 λ™ν˜•μ‚¬μƒμ„ $\psi$라고 ν•˜λ©΄, $\psi(47+130\SetZ)=\psi(7\cdot(-39)+8\cdot40+130\SetZ)=(7+10\SetZ,8+13\SetZ)$ 이닀. λ”°λΌμ„œ $x\equiv 47\mod 130$인 μ •μˆ˜ $x$κ°€ 문제의 λͺ¨λ“  쑰건을 λ§Œμ‘±ν•˜λŠ” μ •μˆ˜μ˜ 전뢀이닀. β€”

문제 2. $I_1=(x^2+1,3)$, $I_2=(x+1)$을 $\SetZ[x]$의 아이디얼이라고 ν•˜μž. $f\equiv x\mod I_1$, $f\equiv 1\mod I_2$인 $f(x)\in\SetZ[x]$λ₯Ό ν•˜λ‚˜ 찾아라. β€”

풀이. $2-x^2\in I_1$, $x^2-1\in I_2$이고, $(2-x^2)+(x^2-1)=1$이닀. 풀이 1κ³Ό 같은 λ…Όλ¦¬λ‘œ, $f(x)=x(x^2-1)+1(2-x^2)=x^3-x^2-x+2$λŠ” 문제의 쑰건을 λ§Œμ‘±ν•˜λ©°, 직접 확인할 μˆ˜λ„ μžˆλ‹€. β€”

문제 3. $\SetZ[\sqrt{-5}]/(3) \cong \SetZ/3\SetZ\times\SetZ/3\SetZ$을 보여라. β€”

풀이. $\SetZ[x]$의 아이디얼 $(x-1,3)$κ³Ό $(x-2,3)$은 μ„œλ‘œμ†Œμ΄λ‹€. λ™μ‹œμ— $(x-1,3)(x-2,3)=(x^2+5,3)$이 μ„±λ¦½ν•˜λ―€λ‘œ, CRT에 μ˜ν•˜μ—¬,

$$ \begin{aligned} \SetZ[\sqrt{-5}]/(3)&\cong\SetZ[x]/(x^2+5,3) \\ &\cong\SetZ[x]/(x-1,3)\times\SetZ[x]/(x-2,3) \\ &\cong\SetZ/3\SetZ\times\SetZ/3\SetZ \end{aligned} $$

이 μ„±λ¦½ν•œλ‹€. β€”

이 ν¬μŠ€νŠΈμ—μ„œλŠ”β€¦

  • ν™˜μ—μ„œμ˜ μ€‘κ΅­μΈμ˜ λ‚˜λ¨Έμ§€ 정리λ₯Ό 증λͺ…ν–ˆλ‹€.
  • ν™˜μ—μ„œμ˜ μ€‘κ΅­μΈμ˜ λ‚˜λ¨Έμ§€ 정리λ₯Ό μ΄μš©ν•œ λ™ν˜•μ˜ μ˜ˆμ‹œλ₯Ό μ œμ‹œν–ˆλ‹€.

μ°Έκ³ λ¬Έν—Œ

  • M. F. Atiyah, I. G. Macdonald, β€œIntroduction to Commutative Algebra”, Addison-Wesley, 1969.
  • ι›ͺ江 ζ˜Žε½¦οΌŒγ€Žδ»£ζ•°ε­¦ 1 ηΎ€θ«–ε…₯ι–€γ€οΌŒζ—₯ζœ¬θ©•θ«–η€ΎοΌŒ2010.
  • ι›ͺ江 ζ˜Žε½¦οΌŒγ€Žδ»£ζ•°ε­¦ 2 η’°γ¨δ½“γ¨γ‚¬γƒ­γ‚’η†θ«–γ€οΌŒζ—₯ζœ¬θ©•θ«–η€ΎοΌŒ2010.

  1. Sun-tzu(孫子, μ†μž) 정리라고도 ν•œλ‹€. κ΄€λ ¨ κΈ€.β†©οΈŽ

  2. ν™˜ $A$의 두 아이디얼 $I,J$κ°€ μ•„μ΄λ””μ–Όλ‘œμ„œ μ„œλ‘œμ†ŒλΌλŠ” 것은, $I+J=A$μž„μ„ μ˜λ―Έν•œλ‹€.β†©οΈŽ

  3. μ‹€μ œλ‘œ, $I_1$κ³Ό $I_2$κ°€ μ„œλ‘œμ†Œμ΄μ§€ μ•Šλ‹€λ©΄, 전사이지 μ•Šλ‹€. $\phi$κ°€ 전사라고 ν•œλ‹€λ©΄, $\phi(a)=(I_1,1+I_2)$인 $a\in A$κ°€ μ‘΄μž¬ν•œλ‹€. $a\in I_1$, $1-a\in I_2$μ΄λ―€λ‘œ, $1=a+(1-a)\in I_1+I_2$, $I_1$κ³Ό $I_2$λŠ” μ„œλ‘œμ†Œμ΄λ‹€.β†©οΈŽ