2002[ Í 1 È ÑM
·
כ ÖÜ ï ¬ £P $ ã <P
~ ç
¡q ó i ; < K 1 ç ¡
"
k] ï >6 0 È Ñz ¬ £ È ÑÜ ï 4
û B0 ² ?
2002[ Í 3 i J 3G B 4 S 2002[ Í 7 i J 8G B ¬ £+ ä 1 ¶ ; ∼31 ¶ ;
s
©\"fH |9½+Ë:r"f ¸H ìr_ ú<Æ\"f l:rs ÷&H Y> t
>
h¥Æ`¦è>hôÇ. sp ·ú¦ eH½+Ë|9½+Ë, §|9½+Ë, |9½+Ë 1px |9½+Ë_ l:r&h
íßÂÒ' r #, éß<Êúü< %i<Êú_ $í|9õ #Q t \V\¦ /BNÂÒôÇ.
:
£
¤y, <Êú_ >h¥Æ`¦ s6 x # e__ |9½+Ë7á¤\ @/ôÇ YL|9½+Ë`¦ &ñ_ôÇ. ú
<Æ\"f © l:r÷&H>h¥ÆÉr ‘°ú ’, ‘ß¼’, ‘’ 1pxs. s ×æ ‘°ú ’H
>
h¥Æ`¦Ð %3x9 > [O"î Hכ s 1lxu'a>X< s\¦ ìr½+Éõ'aº # 1.3 ]X
\"f /BNÂÒ ¦, s#Q"f íH"f'a>_ l:r`¦ 1.4 ]X\"f /BNÂÒôÇ. sQôÇ 1lx u
'a>ü< íH"f'a>H6£§©\"f úÐÂÒ' &ñú, Ä»oú, z´Ãº\¦½¨$í½+É M
:\ 9ú&h ¸½¨s.
1.1. T Ò ¼ø ¥ o > ñ 5 Ñ
¿
º |9½+Ë A ü< B 6£§
x ∈ A ⇐⇒ x ∈ B
`
¦ëß7᤽+É M: A = B ôÇ. ¢¸ôÇ, 6£§ x ∈ A =⇒ x ∈ B
`
¦ ëß7᤽+É M: A ⊂ B 漦, A \¦ B_ «»(Ûo· כÖs ÂÒÉr. ëß{9 A 6= Bs"f A ⊂ B s, A \¦ B_ .> «»(Ûo· כÖs ÂÒÉr.
1
¿
º |9½+Ë A, B \ @/ # Õª כÖ· כÖA ∪ B \¦ A ∪ B = {x : x ∈ A ¢¸H x ∈ B}
&ñ_ôÇ. sH
x ∈ A ∪ B ⇐⇒ x ∈ A¢¸H x ∈ B
&ñ_ Hכ s ðøÍts. ðøÍtÐ z· כÖ A ∩ B, · כÖ A \ B \¦6£§
x ∈ A ∩ B ⇐⇒ x ∈ AÕªo¦ x ∈ B x ∈ A \ B ⇐⇒ x ∈ AÕªo¦ x /∈ B õ
°ú s &ñ_ôÇ. |9½+Ë`¦lÕüt½+É M: sp ·ú¦ eH |9½+Ë`¦©&ñ ¦ Õ
ª |9½+Ë_ "é¶è[þtîrX< :£¤&ñ $í|9`¦ëß7ᤠH "é¶è[þt`¦¸6£§Ü¼Ð+
|9
½+Ë`¦ ½¨$í H âĺ ´ú§. sü< °ú s b9 =i· כÖU \¦ &ñ ¦ e
Hâĺ
Ac= U \ A
&ñ_ ¦, Ac\¦ A_ #l· כÖs ÂÒÉr. =åQܼРq#Q eH |9½+Ë, 7
£¤,Áº "é¶è¸ tt ·ú§H |9½+Ë`¦∅ܼР³ðr ¦ s\¦ð· כÖs
ÂÒÉr.
s
]j ½+Ë|9½+Ëõ §|9½+Ë_ $í|9[þt
A ∪ ∅ = A, A ∩ ∅ = ∅ A ∪ B = B ∪ A, A ∩ B = B ∩ A
A ∪ (B ∪ C) = (A ∪ B) ∪ C, A ∩ (B ∩ C) = (A ∩ B) ∩ C A ∪ A = A, A ∩ A = A
A ⊂ B ⇐⇒ A ∪ B = B, A ⊂ B ⇐⇒ A ∩ B = A
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C), A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) (1)
`
¦ \P # Ð. \VÐ"f A ⊂ B ⇐⇒ A ∩ B = A \¦ 7£x"î H כ Ér
6£§¿º "î]j
x ∈ A =⇒ x ∈ B x ∈ A ⇐⇒ x ∈ AÕªo¦ x ∈ B
1lxu 7£x"î H כ õ ðøÍtX<, 8 s© [O"î½+É 9כ¹ \O Ü
¼o #.
0
A $í|9[þtÉr6£§\ \P H#|9½+Ë_ $í|9[þt
∅c= U Uc= ∅ A ∪ Ac = U, A ∩ Ac= ∅
(A ∪ B)c= Ac∩ Bc, (A ∩ B)c= Ac∪ Bc (Ac)c= A
A ⊂ B ⇐⇒ Bc⊂ Ac
(2)
õ
<Êa |9½+Ë íß_ l:rs. 1pxd (A ∪ B)c = Ac∩ Bc\¦ 7£x"î l 0
AK"fH6£§
x ∈ (A ∪ B)c ⇐⇒ [x ∈ A <ÊÉr x ∈ B]_ ÂÒ&ñ
⇐⇒ x /∈ A Õªo¦ x /∈ B
⇐⇒ x ∈ Ac Õªo¦ x ∈ Bc
⇐⇒ x ∈ Ac∩ Bc õ
°ú s ¶ú(RÐ)a.
' Ö
<<K 1.1.1. 0A (1) õ (2) \ ¸H 1pxdõ "î]j[þt`¦ 7£x"î #.
ë
ß{9 {A1, A2} = {Ai: i ∈ {1, 2}}s
x ∈ A1∪ A2 ⇐⇒ i = 1 <ÊÉr i = 2 \ @/ # x ∈ Ais
⇐⇒ x ∈ Ai i ∈ {1, 2} >rFôÇ
$íwn<Ê`¦·ú ú e. s\¦%i¿º\ ¿º¦, |9½+Ë7ᤠ{Ai : i ∈ I}_ כÖ
· כÖS
i∈IAi`¦6£§ x ∈[
i∈I
Ai⇐⇒ x ∈ Ai $íwn H i ∈ I >rFôÇ
õ
°ú s &ñ_ôÇ. ½+Ë|9½+ËS
i∈IAi`¦S{Ai: i ∈ I}Ð æ¼l¸ ôÇ. ð
øÍtÐ z· כÖT
i∈IAi`¦6£§ x ∈\
i∈I
Ai⇐⇒ e__ i ∈ I \ @/ # x ∈ Ai $íwnôÇ
õ
°ú s &ñ_ôÇ. ëß{9 y Ai[þts ^|9½+Ë U îß\ [þt#Q e 6£§ [
i∈I
Ai
!c
=\
i∈I
Aci, \
i∈I
Ai
!c
=[
i∈I
Aci (3)
s
$íwnôÇ. ½¨^&hܼР¶ú(RÐ, 6£§
x ∈ [
i∈I
Ai
!c
⇐⇒ x /∈[
i∈I
Ai
⇐⇒ [x ∈ Ai i ∈ I >rFôÇ]_ ÂÒ&ñ
⇐⇒ e__ i ∈ I \ @/ # x /∈ Ai s
⇐⇒ e__ i ∈ I \ @/ # x ∈ Aci s
⇐⇒ x ∈\
i∈I
Aci
õ
°ú s 7£x"î½+É Ãº e. Óüt:r |9½+Ë7á¤_ ½+Ë|9½+Ëõ §|9½+Ë\'aôÇ ìrC ZO
gË:
A ∩ [
i∈I
Ai
!
=[
i∈I
(A ∩ Ai), A ∪ \
i∈I
Ai
!
=\
i∈I
(A ∪ Ai) (4)
¸ $íwnôÇ.
' Ö
<<K 1.1.2. 1pxd (3) _ ¿º P: 1pxdõ (4) \¦ 7£x"î #.
· ú
¡Ü¼Ð
x ∈ Ai, i ∈ I ü
< °ú s æ¼, sH e
__ i ∈ I \ @/ # x ∈ Ais
H >pws.
|
ºM 1. y ªÃº r > 0 \ @/ #
Ar= {x ∈ R : x ≥ r}, r > 0
¿º
[
r>0
Ar= {x ∈ R : x > 0}
s
)a. ¼#_© A = {x ∈ R : x > 0} ¿º, y r > 0 \ @/ # Ar ⊂ AsټРS
r>0Ar ⊂ A eÉr {© . %iܼРA ⊂ S
r>0Ar`¦ 7
£x"îôÇHכ Ér6£§
x > 0 =⇒ x ≥ r ªÃº r > 0 >rFôÇ õ
ðøÍts. ÕªX< r = x ¿º 0 < r ≤ x sټРA ⊂S
r>0Ar
s
$íwn<Ê`¦כ `¦·ú ú e¦, "f A =S
r>0Are`¦·ú ú e. t F
Kt 6 xôÇ l ñ_ >pw`¦Ð ìr"îy ªÃº ^_ |9½+Ë`¦ P
¿º¦S
r∈PArü< °ú s + tëß,'aYV©S
r>0Arõ °ú Érl ñ\¦
H.
|
ºM 2. q5pwôÇ \V\¦ 8 [þt#Q Ð. y ú n = 1, 2, . . . \
@ / #
An=
x ∈ R : x ≥ 1 n
, n = 1, 2, . . .
¿º
∞
[
n=1
An= {x ∈ R : x > 0}
s
)a. #l"f¸ S∞
n=1AnÉr S{An : n = 1, 2, . . . }õ ðøÍt >pw Ü
¼Ð æ¼. 0Aü< ðøÍtÐ S∞
n=1An ⊂ A eÉr {© . %iܼРA ⊂S∞
n=1An`¦ 7£x"îôÇHכ Ér6£§ x > 0 =⇒ x ≥ 1
n ú n = 1, 2, . . . s >rFôÇ
<
ÊÉr
y > 0 =⇒ y ≤ n ú n = 1, 2, . . . s >rFôÇ ü
< ðøÍts. s "î]jH{©ôÇ 1pws Ðstëß Õªo çßéßôÇ כ Ér
m.(1) ë
ß{9 |9½+Ë7á¤{Ai: i ∈ I}s 6£§$í|9
i, j ∈ I, i 6= j =⇒ Ai∩ Aj = ∅
`
¦ëß7ᤠ"k}¹Ð |9½+Ë7á¤s ¦, s M: Õª ½+Ë|9½+Ë`¦F
i∈IAiÐ
³ ðrôÇ.
¿
º "é¶è a, b Ð sÀÒ#Q |9½+Ë {a, b} \H íH"f \O. 7£¤, {a, b} = {b, a}s. ¿º "é¶è a, b _ )Ö<"kç¡(a, b) \¦6£§
(a, b) = {{a}, {a, b}}
õ
°ú s &ñ_ôÇ.
XN
ËP 1.1.1. ¹ÿGB(a, b) = (c, d) T^@a = c Db = d )ç· Â6Ò.
7
£x"î: $ a = b âĺ\¦Òqty . s âĺ {{a}} = (a, b) = (c, d) = {{c}, {c, d}}
ÐÂÒ' {a} = {c} = {c, d} sÙ¼Ð, a = b = c = d $íwnôÇ. s]j a 6= b &ñ . ÕªQ {a, b} H¿º "é¶è_ |9½+ËsÙ¼Ð
{c} ∈ {{c}, {c, d}} = {{a}, {a, b}}, {c} 6= {a, b}
e
`¦·ú ú e. "f, {c} = {a} x9 a = c $íwnôÇ. ðøÍtÐ {a, b} ∈ {{a}, {a, b}} = {{c}, {c, d}}, {a, b} 6= {c}
(1) &ño 2.3.3 x9 &ño 2.6.1 `¦Ãи .
ÐÂÒ' {a, b} = {c, d} $íwnôÇ. "f, b ∈ {c, d} ÐÂÒ' b = c <Ê
Ér b = ds. ÕªX<, b = c s a = c = b sټРa 6= b H &ñ\
¸íHs. "f b = d $íwn<Ê`¦·ú ú e.
¿
º |9½+Ë A, B _ ð · כÖA × B H
A × B = {(a, b) : a ∈ A, b ∈ B}
Ð &ñ_ôÇ. 6£§ /BNd[þt
A × (B ∪ C) = (A × B) ∪ (A × C) A × (B ∩ C) = (A × B) ∩ (A × C) (A × B) ∩ (C × D) = (A ∩ C) × (B ∩ D)
(5)
É
rÐ 7£x"î½+É Ãº e.
' Ö
<<K 1.1.3. (5)\ ¸H 1pxd[þt`¦ 7£x"î #.
' Ö
<<K 1.1.4. |9½+Ë7á¤{Ai: i ∈ I}õ {Bj: j ∈ J }\ @/ # 6£§ 1pxd[þt [
i∈I
Ai
!
∩ [
j∈J
Bj
!
= [
(i,j)∈I×J
(Ai∩ Bj)
\
i∈I
Ai
!
∪ \
j∈J
Bj
!
= \
(i,j)∈I×J
(Ai∪ Bj)
`
¦ 7£x"î #.
1.2. Á þ Ê Á
¿
º |9½+Ë X, Y _ YL|9½+Ë X × Y _ ÂÒìr|9½+Ë f ⊂ X × Y 6£§ ¿º
t $í|9
(<Ê1) x ∈ X =⇒ (x, y) ∈ f \¦ëß7ᤠH y ∈ Y >rFôÇ, (<Ê2) (x, y1) ∈ f, (x, y2) ∈ f =⇒ y1= y2
`
¦ ëß7ᤠs\¦ X\"f Y Ð H ÈÕ¬£ ¦, (x, y) ∈ f {9 M: f (x) = y <ÊÉr f : x 7→ y H. s M:, X \¦s <Êú_ _@*9, Y \¦ f _
ð*9s ¦, s\¦ f : X → Y Ð H. :£¤y, f : x 7→ y : X → Y
H f : X → Y <Êús¦, (x, y) ∈ f H _pÐ H. Óüt:r, y H x
\
_ # &ñ÷&H Y _ "é¶ès. <Êú f : X → Y H%i X, /BN%i Y x9 X × Y ÂÒìr|9½+Ë f Ð sÀÒ#Q4R eܼټÐ, ‘<Êú’H 6 x#Q\¦6 x
9 s [j t\¦°ú s ´úK ÅÒ#Q ôÇ. :£¤y, ¿º <Êú f : X → Y ü
< g : Z → W ‘°ú ’H ´ú`¦ 9 ĺ X = Z ü< Y = W
$í
wnK ôÇ. Óüt:r, %iõ /BN%is ìr"î½+É M:\Hs\¦Òqt|ÄÌ ¦ ‘<Ê Ã
º’H 6 x#Q\¦ 6 x l¸ ôÇ. âĺ\ "f, ‘©’, ‘¨8’ 1px_ 6
x#Q\¦6 x l¸ HX< ¸¿º <Êúü< °ú Ér >pws. |9½+Ë X \ @/
#
{(x1, x2) ∈ X × X : x1= x2}Ð ÅÒ#Q <Êú\¦ ØûBÈÕ¬£ ÂÒØÔ¦ 1X : X → X¦ H. 7£¤,
1X(x) = x, x ∈ X s
. ¢¸ôÇ, A ⊂ X {9 M:, {(a, a) ∈ A × X : a ∈ A} Ð ÅÒ#Q <Êú\¦
ÔÈÕÈÕ¬£ ¦, ιA: A ,→ X H. 7£¤, ιA(a) = a, a ∈ A s
.
XN
ËP 1.2.1. ¨£ ÈÕ¬£ f : X → Y ã#g : X → Y ìm¥ª< ÈÕ¬£GBL·x¢_u (
Û oÐZÌ ª<
f (x) = g(x), x ∈ X T
.
7
£x"î: $ f = g s, e__ x ∈ X \ @/ #
y = f (x) ⇐⇒ (x, y) ∈ f ⇐⇒ (x, y) ∈ g ⇐⇒ y = g(x)
$íwn ټРf(x) = g(x) e`¦·ú ú e. %iܼÐ, e__ x ∈ X \
@
/ # f(x) = g(x) s,
(x, y) ∈ f ⇐⇒ y = f (x) ⇐⇒ y = g(x) ⇐⇒ (x, y) ∈ g
$íwn # f = g s.
<Êú f : X → Y ü< g : Y → Z \ @/ # Õª כÖ)çÈÕ¬£ g ◦ f : X → Z
\
¦6£§
(g ◦ f )(x) = g(f (x)), x ∈ X (6) õ
°ú s &ñ_ôÇ. ëß{9 f ü< g \¦yy X × Y ü< Y × Z _ ÂÒìr|9½+Ëܼ
Ð sKôÇ
g ◦ f = {(x, z) ∈ X × Z : (x, y) ∈ f, (y, z) ∈ g y ∈ Y >rFôÇ}
(7) ü
< °ú s &ñ_)a. [j <Êú f : X → Y , g : Y → Z, h : Z → W \ @/
#
6£§ 1pxd
(h ◦ g) ◦ f = h ◦ (g ◦ f ) (8) s
$íwn<ÊÉrÐSX)a. <Êú f : X → Y _ %i X _ ÂÒìr|9½+Ë A
ÅÒ#Q&`¦M:, ½+Ë$í<Êú f ◦ ιA: A → Y \¦ f_ <KÂ6Òs HX<, s
\
¦ f |A: A → Y Ð æ¼l¸ ôÇ.
' Ö
<<K 1.2.1. ¿º &ñ_ (6) õ (7) s °ú Ér&ñ_e`¦Ð#. ¢¸ôÇ, g ◦f ⊂ X ×Z
<Êúe`¦Ð#.
' Ö
<<K 1.2.2. 1pxd (8) `¦ 7£x"î #.
<Êú f : X → Y 6£§$í|9
x1, x2∈ X, f (x1) = f (x2) =⇒ x1= x2
`
¦ëß7ᤠs\¦ ·ÿÈÕ¬£¦ ÂÒÉr. ½Ó1px<Êú x9 í<Ê<ÊúHéß
<Êús. ¢¸ôÇ éß<Êú f : X → Y _ %i X _ ÂÒìr|9½+Ë A e`¦ M
:, f _ ]jôÇ f |AÉr{©y éß<Êús.
XN
ËP 1.2.2. ÈÕ¬£ f : X → Y ;c 60 #l :?ª<ò6BVT.
() f ¤< ·ÿÈÕ¬£T.
() g ◦ f = 1X¿ì> ¹ÿø¶; ¤< ÈÕ¬£ g : Y → X +í<<Â6Ò.
7
£x"î: $ g ◦ f = 1X\¦ëß7ᤠH g eܼ
f (x1) = f (x2) =⇒ x1= (g ◦ f )(x1) = (g ◦ f )(x2) = x2
s
ټРf éß<Êús. Õª %i`¦Ðsl 0A #
B = {y ∈ Y : f (x) = y \¦ëß7ᤠH x ∈ X >rFôÇ}
¿º. ëß{9 y ∈ B s f (x) = y \¦ëß7ᤠH x ∈ X Ä»{9 > >r F
HX< g(y) = x &ñ_ ¦, y /∈ Bs g(y) HÁºXO> &ñ_ôÇ
. \V\¦ [þt X _ ôÇ "é¶è x0∈ X \¦¦&ñ ¦
g(y) =
(x, y ∈ B, y = f (x), x0, y /∈ B
&ñ_ g ◦ f = 1Xes ÐSX)a.
<Êú f : X → Y 6£§$í|9 e
__ y ∈ Y \ @/ # f(x) = y \¦ëß7ᤠH x ∈ X >rFôÇ (9)
`
¦ëß7ᤠs\¦ b9 ÈÕ¬£ ÂÒÉr. <Êú f : X → Y s"f 1
l
xr\ éßs s\¦ b9 ·ÿÈÕ¬£ ÂÒÉr. ½Ó1px<ÊúH Óüt:réß
<Êús.
XN
ËP 1.2.3. ÈÕ¬£ f : X → Y ;c 60 #l :?ª<ò6BVT.
() f ¤< b9 ÈÕ¬£T.
() f ◦ g = 1Y ¿ì> ¹ÿø¶; ¤< ÈÕ¬£ g : Y → X +í<<Â6Ò.
7
£x"î: $ f ◦ g = 1Y \¦ëß7ᤠH<Êú g : Y → X >rFôǦ
&
ñ . y y ∈ Y \ @/ # x = g(y) ¿º f (x) = f (g(y)) = y s Ù
¼Ð (9) $íwn ¦, "f f H<Êús. Õª %i`¦Ðsl 0A
#
y y ∈ Y \ @/ # Ay = {x ∈ X : f (x) = y} ¿º AyH /BN
|9
½+Ës m. y y ∈ Y \ @/ # Ay_ "é¶è\¦ ×þ #(2) s\¦ g(y) ∈ X ¿º f (g(y)) = y es "î .
<Êú f : X → Y \ @/ # 6£§
g ◦ f = 1X, f ◦ g = 1Y
`
¦ëß7ᤠH<Êú g : Y → X >rF s\¦ f_ *9ÈÕ¬£ ôÇ. ëß {9
<Êú f _ %i<Êú >rFôÇ Ä»{9 . z´]jÐ, g ü< h 1lxr\ f_ %i<Êú
g = 1X◦ g = (h ◦ f ) ◦ g = h ◦ (f ◦ g) = h ◦ 1Y = h (10)
)a. <Êú f : X → Y _ %i<Êú\¦ f−1 : Y → XÐ ³ðr l¸ ôÇ
. ëß{9 <Êú f : X → Y %i<Êú\¦t &ño 1.2.2 ü< &ño 1.2.3
\
_ # f H éß<Êús. %iܼÐ, f : X → Y éß<Êús
h ◦ f = 1X h : Y → X ü< f ◦ g = 1Y g : Y → X >rF H X
<, (10) \ _ # g = h s¦ sH f _ %i<Êú)a. "f, 6£§
&
ño\¦%3H.
XN
ËP 1.2.4. ÈÕ¬£ f : X → Y ;c 60 #l :?ª<ò6BVT.
(2) sQôÇ "é¶è\¦ m ×þ Hכ s 0pxôÇ H ëH]jH 7á§8 ×æôÇ ]XH`¦כ¹ ô
Ç. +'\ s\¦0px ¦ &ñ Hכ s Ð “×þ/BNo”e`¦Cĺ>)a.
() f ¤< b9 ·ÿÈÕ¬£T.
() f *9ÈÕ¬£¿ì>.> .
' Ö
<<K 1.2.3. ¿º <Êú f : X → Y ü< g : Y → Z \ @/ # 6£§`¦ 7£x"î
#
.
() f ü< g éßs g ◦ f éßs. %iܼÐ, g ◦ f éßs f éß
s.
() f ü< g s g ◦ f s. %iܼÐ, g ◦ f s g
s.
() f ü< g éßs g ◦ f éßs¦, (g ◦ f)−1= f−1◦ g−1s.
¨XNËP 1.2.5. ¨£· כÖX ã#Y ;c 60 #l :?ª<ò6BVT.
() ·ÿÈÕ¬£ f : X → Y +í<<Â6Ò.
() b9 ÈÕ¬£ g : Y → X +í<<Â6Ò.
' Ö
<<K 1.2.4. 2£§&ño 1.2.5 \¦ 7£x"î #.
|
ºM 1. y ú n = 0, 1, 2, . . . \ @/ # f (2n) = −n, f (2n − 1) = n s
&ñ_ f Hú ^_ |9½+Ë(3)N \"f &ñú ^_ |9½+Ë Z
Ð H<Êú)a. ëß{9
g(n) = 2n − 1, g(−n) = 2n, n = 0, 1, 2, . . .
&ñ_ g H Z \"f N ܼРH<Êú ÷&¦ f ü< g H"fÐ %i<Ê Ã
º'a>s. '
Ö<<K 1.2.5. Ðl 1 \ ¸H f (n)s n P: &ñú ÷&¸2¤ &ñú ^\¦
\P #.
(3) ú, &ñú, Ä»oú, z´Ãº\ @/K"fH6£§©\"f [jy /BNÂÒôÇ. ÕªQ, #
Q t \V\¦×¼Hâĺ #Qwn= M:ÂÒ' ·ú¦ eH#Q t ú_ $í|9[þtÉrHכ Ü
¼Ð çßÅÒôÇ. :£¤y, 0 ÉrúР2[/åLôÇ. "f, N = {0, 1, 2, . . . } s.
|
ºM 2. ª_ Ä»oú ^_ |9½+Ë Q+\¦6£§ 1
1, 1 2,2
1, 1 3,2
2,3 1, 1
4,2 3, 3
2,4 1, 1
5,2 4,3
3,4 2,5
1, 1 6,2
5,3 4, 4
3,5 2, . . . õ
°ú s Zþt#Q Z~. #l"f n P: ¸H Ä»oú\¦ f (n)s ¿º f : N → Q+H <Êú )a. ëß{9 ×æ4¤K"f ¸H Ä»oú\¦ \O E
¦
1 1,1
2, 2 1,1
3,3 1,1
4,2 3,3
2,4 1,1
5,5 1,1
6,2 5,3
4,4 3,5
2, . . . 1
p
xõ °ú s Zþt#QZ~ÉrÊê n P: ¸Hú\¦ g(n)s ¿º g : N → Q+
¿º g Héß½+Ëú)a.
|
ºM 3. ½¨çß [0, 1) = {x ∈ R : 0 ≤ x < 1} _ "é¶è\¦ zZOܼР³ð
&
³ ÷& 9 >5Åq¸Hכ `¦xôÇ. <Êú f : [0, 1) × [0, 1) → [0, 1) \¦
6£§
f : (0.a0a1a2. . . , 0.b0b1b2. . . ) 7→ 0.a0b0a1b1a2b2. . . õ
°ú s &ñ_ éß<Êús. 7£¤, [0, 1) × [0, 1)\ eH¸H&h[þt`¦
½
¨çß [0, 1) îß\ ‘V,`¦’ú e. ÕªQ, ÅÒ_½+É &hܼÐ"f 0.090909 . . .
° ú
Ér "é¶èH f _ ©\ [þt#Qt ·ú§H. Óüt:r [0, 1)\"f [0, 1) × [0, 1)
Ð Héß<ÊúH ~1> ëß[þtú e. {9ìøÍ&hܼÐ, |9½+Ë X \"f Y Ð
Héß<Êúü< |9½+Ë Y \"f X Ð Héß<Êú 1lxr\ >rF , X\"f Y Ð Héß<Êú >rFôÇ.(4)
|
ºM 4. U´s °ú Érìr s\ éß<Êú >rF<ÊÉr "î .
Õ
ªX<, U´s ØÔ8¸ e__ ¿º ìrs\ éß<Êú\¦&ñ_
½
+É Ãº e. ¿º ìr ABü< CD \¦êøÍy Z~¦ AC ü< CD _ ©s ë
ßH&h`¦ O ¿º. ìr AB 0A\ eH&h P \ @/ # OP _
©s CD ü< ëßH&h`¦ f (P ) ¿º f : AB → CD Héß<Êú
)a.
(4) &ño 3.5.2 \¦Ãи .
Q Q Q Q Q Q Q Q Q Q
Q
'
Ö
<<K 1.2.6. e__ ¿º ½¨çß s\Héß<Êú >rF<Ê`¦Ð#.
|
ºM 5. |9½+Ë X \"f Y Ð H <Êú ^_ |9½+Ë`¦ YX æ¼. ¢¸ ô
Ç, |9½+Ë X _ ÂÒìr|9½+Ë ^_ |9½+Ë`¦P(X) 漦, s\¦ X_ '9·
כ
Ös ÂÒÉr. e__ A ∈ P(X) \ @/ # Φ(A) ∈ {0, 1}X\¦6£§
Φ(A)(x) =
(1, x ∈ A,
0, x /∈ A (11) õ
°ú s &ñ_ . ¢¸ôÇ, e__ <Êú f ∈ {0, 1}X\ @/ # X _ ÂÒìr
|9
½+Ë Ψ(f ) ∈ P(X) \¦
Ψ(f ) = {x ∈ X : f (x) = 1}
&ñ_ . ÕªQ, e__ f : X → {0, 1} \ @/ # Φ(Ψ(f ))(x) = 1 ⇐⇒ x ∈ Ψ(f ) ⇐⇒ f (x) = 1 s
ټРΦ(Ψ(f)) = f s. ¢¸ôÇ, e__ A ∈ P(X) \ @/ # x ∈ Ψ(Φ(A)) ⇐⇒ Φ(A)(x) = 1 ⇐⇒ x ∈ A s
ټРΨ(Φ(A)) = A s. "f, ¿º <Êú
Φ : P(X) → {0, 1}X, Ψ : {0, 1}X → P(X)
H"fÐ ©@/~½Ó_ %i<Êús.
|9
½+Ë P(X) \¦ X_ '9· כÖs ÂÒØÔ¦, s\¦ 2X æ¼l¸ ôÇ.
¢
¸ôÇ, (11) õ °ú s &ñ_)a<Êú\¦ A_ m;)çÈÕ¬£ ÂÒØÔ¦, s\¦ χA
H. 7£¤,
χA(x) =
(1, x ∈ A, 0, x /∈ A s
.
' Ö
<<K 1.2.7. 6£§ 1pxd
\
i∈I
P(Xi) = P \
i∈I
Xi
!
, [
i∈I
P(Xi) ⊂ P [
i∈I
Xi
!
`
¦ 7£x"î #. ÑütP: d\"f ÂÒìr|9½+Ës ÷&H\V\¦ [þt#Q.
|
ºM 6. (ñßÐØÔ(5)) |9½+Ë N \"f ½¨çß [0, 1] Ð H <Êú >rF
t ·ú§6£§`¦Ðs. 7£¤,#Q" <Êú f : N → [0, 1] ¸ <Êú|¨c ú
\O
6£§`¦ Ðs9 ôÇ. y n = 0, 1, 2, . . . _ © f(n) Ér ÁºôÇèúР³ð&³
|¨
cú eܼټРs\¦6£§õ °ú s æ¼.
f (0) = 0.x00x01x02 . . . x0n . . . f (1) = 0.x10x11x12 . . . x1n . . . f (2) = 0.x20x21x22 . . . x2n . . .
. . . .
f (n) = 0.xn0xn1xn2 . . . xnn . . . . . . .
y
ú n = 0, 1, 2, . . . \ @/ # ú\P hani `¦ an=
(0, xnn6= 0, 1, xnn= 0,
Ð &ñ_ , èú α = 0.a0a1a2. . . an. . . H f (0), f (1), . . . , f (n), . . . ×æ
#
QÖ¼ כ õ¸ Érús. "f, α ∈ [0, 1] H#Q" ú n \ @/K
"
f¸ f(n) s|¨cú \O¦, "f f H<Êú m.
(5) Georg Ferdinand Ludwig Philipp Cantor (1845∼1918), 1lq{9 ú<Æ. Z \¦2; @/
<
Æ\"f <Æ0A\¦ôÇ Êê 1869 ¸ÂÒ' 1905 ¸t Halle @/<Æ\"fÖ¸1lx %iHX<, ë߸
`
¦&ñ#î"é¶\"f ÐÍÇx. Õª %6£§ÂÒ' |9½+Ë:r`¦½¨©ôÇ כ Érm¦, y/åLú\¦
½¨ Hõ&ñ\"f ÁºôÇ|9½+Ë`¦ÀÒ> ÷&%3. Õª_ \O&h`¦è>hôÇ ÕþܼР[12] e
.
' Ö
<<K 1.2.8. e__ |9½+Ë X \ @/ # X \"f 2XÐ H<Êú \O6£§
`
¦Ð#.
<Êú f : X → Y ü< A ⊂ X x9 B ⊂ Y \ @/ #
f−1(B) = {x ∈ X : f (x) ∈ B}, f (A) = {f (x) ∈ Y : x ∈ A}
&ñ_ . |9½+Ë f−1(B) \¦ B_ *9ç¡s ÂÒØÔ¦, f(A) \¦ A_ ç¡ s
ÂÒÉr. <Êú f {9 9כ¹Øæìr¸| Ér f (X) = Y s. {9ìøÍ
&
hܼÐ
x ∈ A =⇒ f (x) ∈ f (A) ⇐⇒ x ∈ f−1(f (A)) s
Ù¼Ð
f−1(f (A)) ⊃ A, A ∈ 2X
$íwnôÇ. ¢¸ôÇ, y ∈ f (f−1(B))s y = f (x) x ∈ f−1(B) >r F
HX<, sH f (x) ∈ B e`¦ >pwôÇ. "f y = f(x) ∈ B s¦, 6
£
§'a>
f (f−1(B)) ⊂ B, B ∈ 2Y
$íwn<Ê`¦·ú ú e.
' Ö
<<K 1.2.9. <Êú f éß{9 9כ¹Øæìr¸| Ér f−1(f (A)) = A, A ∈ 2X e
`¦ Ð#. ¢¸ôÇ, <Êú f {9 9כ¹Øæìr¸| Ér f (f−1(B)) = B, B ∈ 2Y e
`¦ Ð#.
e
__ i ∈ I \ @/ # Bi ⊂ Y {9 M:, 6£§ 1pxd
f−1 [
i∈I
Bi
!
=[
i∈I
f−1(Bi), f−1 \
i∈I
Bi
!
=\
i∈I
f−1(Bi) (12)
s
$íwn<ÊÉr Ð SX÷&. ÕªQ, ©õ §|9½+Ë_ §¨8\ @/K"fH
¸dK ôÇ. e__ i ∈ I \ @/ # Ai⊂ X {9 M:, 6£§$í|9
f [
i∈I
Ai
!
=[
i∈I
f (Ai), f \
i∈I
Ai
!
⊂\
i∈I
f (Ai) (13)
%
ir Ð SX½+É Ãº e. ÕªQ, y ∈ f(A1) ∩ f (A2) âĺ y = f (x1) = f (x2) x1∈ A1õ x2 ∈ A2\¦¹1Ô`¦Ãº eܼ, x1= x2Ð
©s \OܼټРy ∈ f(A1∩ A2)H:r`¦?/wn= ú \O.
' Ö
<<K 1.2.10. 1pxd (12), (13) `¦ 7£x"î #. 1pxd f \
i∈I
Ai
!
=\
i∈I
f (Ai)
s
$íwn½+É 9כ¹Øæìr¸| `¦¹1Ô.
t
èß ]X\"f &ñ_ôÇ YL|9½+Ë_ &ñ_\¦¶ú(RÐ. YL|9½+Ë X1× X2_
"
é
¶è (x1, x2)\ @/ #
p[x1, x2] : i 7→ xi : {1, 2} → X1∪ X2, i = 1, 2 ü
< °ú s <Êú p[x1, x2] \¦&ñ_ . ÕªQ
(x1, x2) 7→ p[x1, x2] : X1× X2→ (X1∪ X2){1,2}
Héß<Êú ÷&¦, Õª ©Ér
{f ∈ (X1∪ X2){1,2}: f (1) ∈ X1, f (2) ∈ X2}
)a. s]j, e__ |9½+Ë7á¤{Xi : i ∈ I}\ @/ôÇ ð · כÖQ
i∈IXi\¦
6£§
Y
i∈I
Xi=n f ∈ S
i∈IXiI
: f (i) ∈ Xi, i ∈ Io õ
°ú s &ñ_ôÇ. y i ∈ I \ @/ # 6£§<Êú πi: f 7→ f (i) :Y
i∈I
Xi→ Xi
\
¦ Òqty½+É Ãº eHX<, s\¦ *ås ôÇ. e__ i ∈ I \ @/ # Xi = Xs,Q
i∈IXi= XIs.
|
ºM 7. z´Ãº ^_ |9½+Ë R `¦ n>h YLôÇ YL|9½+Ë`¦ Rns æ¼. ëß {9
n = {0, 1, 2, . . . , n − 1} s ¿º(6) sH n\"f R Ð H<Êú
^
_ |9½+Ës. s M:, n \"f R Ð H<Êú îrX<
i 7→ ai, i = 0, 1, 2, . . . , n − 1
כ `¦ (a0, a1, a2, . . . , an−1)s ³ðr ¼#o .
1.3. â n ® ¸ N
|9
½+Ë X \ MÎ34 ÅÒ#Q4R eH כ Ér YL|9½+Ë X × X _ ÂÒìr|9½+Ë s
ÅÒ#Q4R eHכ õ ðøÍt ´ús.'a> R ⊂ X × X s 6£§$í
|9
[þt
(1lx1) e__ x ∈ X \ @/ # (x, x) ∈ R s, (1lx2) (x, y) ∈ Rs (y, x) ∈ R s,
(1lx3) (x, y) ∈ Rs¦ (y, z) ∈ R s (x, z) ∈ R s
`
¦ëß7ᤠs\¦ò6BVMÎ34 ÂÒÉr. 1lxu'a> R ⊂ X × X ÅÒ#Q4R e
`¦M:, (x, y) ∈ R `¦ x ∼ yÐ æ¼l¸ ôÇ. Óüt:r, l ñ ∼ Ér#Q t
Р˨#Q jþtú e. 0A ¸| [þt`¦r ôÇ \P 6£§ x ∈ X =⇒ x ∼ x,
x ∼ y =⇒ y ∼ x, x ∼ y, y ∼ z =⇒ x ∼ z õ
°ú s)a.
(6) z´]jÐ 6£§©\"f ú n `¦ |9½+Ë {0, 1, 2, . . . , n − 1} Ð &ñ_ôÇ.
|9
½+Ë X \ 1lxu'a> ∼ ÅÒ#Q4R e`¦M: y x ∈ X \ @/ # [x] = {z ∈ X : z ∼ x}
&ñ_ . ÕªQ
x ∼ y ⇐⇒ [x] = [y], x y ⇐⇒ [x] ∩ [y] = ∅ (14) e
`¦ÐSX½+É Ãº e. ëß{9 x ∼ y s, (1lx2)ü< (1lx3)\ _ # z ∈ [x] ⇐⇒ z ∼ x ⇐⇒ z ∼ y ⇐⇒ z ∈ [y]
)a. %iܼÐ, [x] = [y] s x ∼ x sټРx ∈ [x] = [y] ÷&¦,
"f x ∼ y e`¦·ú ú e. ¿ºP: $í|9`¦ 7£x"î HX<
[x] ∩ [y] 6= ∅ =⇒ [x] = [y]
e
`¦Ðs)a. ëß{9 z ∈ [x] ∩ [y] s z ∼ x x9 z ∼ y $íwn ¦,
"f x ∼ y s. e__ x ∈ X \ @/ # x ∈ [x] sÙ¼Ð, (14) \ _
# |9½+Ë X H{[x] : x ∈ X}ܼРìr½+ÉHd`¦·ú ú e.
{9
ìøÍ&hܼÐ, |9½+Ë X _ ÂÒìr|9½+Ë7á¤{Ai: i ∈ I} 6£§¿º $í|9 (ìr1) X =S
i∈IAis,
(ìr2) e__ i, j ∈ I \ @/ # Ai= Ajs Ai∩ Aj= ∅s
`
¦ëß7ᤠ, s\¦ X_ (Ûoùs ôÇ. "f, |9½+Ë X \ 1lxu'a> ∼
ÅÒ#Qt 1lx&hܼРX _ ìr½+És Òqt^`¦·ú ú eHX<, sQôÇ ìr
½
+É`¦ ·ú¡Ü¼Ð X/∼ ܼР³ðrôÇ. ëß{9 y |9½+Ë [x] _ "é¶è\¦ ×þ
# rx ¿º¦ I = {rx: x ∈ X} ¿º, {[r] : r ∈ I} H"fÐè |9
½
+Ë7á¤s ÷&¦, "f X =F{[r] : r ∈ I} e`¦·ú ú e.
|
ºM 1. &ñú ^_ |9½+Ë Z \ 6£§
m ∼ n ⇐⇒ m − n Ér 2 _ Cús
õ
°ú s'a>\¦&ñ_ 1lxu'a>e`¦ÐSX½+É Ãº e. s M:, m s
ús [m] Érú ^_ |9½+Ës ÷&¦, m s f.Ëú s [m] Ér f.Ë Ã
º ^_ |9½+Ës)a. "f,
Z/∼ = {[m] : m ∈ Z} = {[m] : m = 0, 1} = {[0], [1]}
÷&¦, Z = [0] t [1] s)a. Óüt:r,0A\"f 0 õ 1 @/\ 8 õ 5 \¦×þ
# Z = [8] t [5] +¸ ðøÍts.
|
ºM 2. |9½+Ë N × N = {(m, n) : m, n ∈ N} \ 6£§
(m, n) ∼ (m0, n0) ⇐⇒ m + n0= n + m0 õ
°ú s 'a> ∼ \¦ &ñ_ 1lxu'a> )a. ĺ (1lx1)õ (1lx2)
$í
wn<ÊÉr "î . ëß{9 (m, n) ∼ (m0, n0) x9 (m0, n0) ∼ (m00, n00)
$í wn ,
m + n00= (m + n0) + (m0+ n00) = (n + m0) + (n0 + m00) = n + m00
$íwn ¦, "f (m, n) ∼ (m00, n00) $íwnôÇ. s âĺ
N × N/∼ = {[(0, 0)], [(n, 0)], [(0, n)] : n = 1, 2, . . . } e
`¦ÐSX½+É Ãº e.
|
ºM 3. |9½+Ë Z × (Z \ {0}) \ 6£§
(a, b) ∼ (c, d) ⇐⇒ abd2= cdb2 õ
°ú s'a>\¦&ñ_ 1lxu'a>)a. s Ðl\"f¸ (1lx1), (1lx2)
$íwn<ÊÉr "î . ëß{9 (a, b) ∼ (c, d) ü< (c, d) ∼ (e, f) $íwn
abd2 = cdb2 x9 cdf2 = ef d2s. ëß{9 c = 0 s abd2 = 0\
"
f b, d ∈ Z \ {0} sټРa = 0 s¦ ðøÍtÐ e = 0 s. "f (a, b) ∼ (e, f ) e`¦·ú ú e. ëß{9 c 6= 0 s
(abf2)(cd3) = (abd2)(cdf2) = (cdb2)(ef d2) = (ef b2)(cd3)
\
"f abf2= ef b2sټР(a, b) ∼ (e, f) e`¦·ú ú e. s
]j, |9½+Ë X _ ìr½+É P = {Xi: i ∈ I} ÅÒ#Q&`¦M: ˨Р1lxu
'
a>\¦ëß[þt#Q Ð. |9½+Ë X _ ¿º "é¶è x, y ∈ X 6£§$í|9 x, y ∈ Xi i ∈ I >rFôÇ
`
¦ëß7᤽+É M: x ∼ y &ñ_ . ÕªQ ∼ s 1lxu'a>eÉrÐSX
)
a. z´]jÐ, x ∈ X s (ìr1) \ _ # x ∈ Xi i ∈ I \¦¹1Ô`¦ ú e
¦, "f x ∼ x $íwnôÇ. ¿ºP: $í|9 (1lx2) $íwn<ÊÉr &ñ_
\
_ # "î . =åQܼР(1lx3) s $íwn<Ê`¦Ðsl 0A # x ∼ y, y ∼ z &ñ . ÕªQ x, y ∈ Xi i ∈ I ü< y, z ∈ Xj j ∈ I
>rFôÇ. ÕªX< y ∈ Ai∩ AjsټРAi = Ajs¦, "f, x ∼ y s
. sü< °ú s ìr½+É P \ _ # &ñ_)a1lxu'a>\¦ ∼P æ¼lÐ ôÇ
. 6£§&ñoH 1lxu'a>ü< ìr½+És z´© °ú Érכ e`¦´úK ïr.
XN
ËP 1.3.1. · כÖ X ;c +äqùÚH ò6BVMÎ34 ∼ ;c 60 #l ∼ = ∼(X/∼)T )ç
· Â6Ò. *9Ä}¹, »qq (Ûoù P ;c 60 #lP = X/∼P )ç· Â6Ò.
:;,»qqx, y ∈ X ã#A ∈ 2X;c 60 #l
x ∼ y ⇐⇒ x ∼(X/∼)y, A ∈ P ⇐⇒ A ∈ X/∼P
)ç· Â6Ò.
7
£x"î: $ x ∼ y s x ∈ [x], y ∈ [x] s¦ [x] ∈ X/∼ sټРx ∼(X/∼)
y $íwnôÇ. %iܼÐ, x ∼(X/∼) ys x ∈ [z], y ∈ [z] [z] ∈ X/∼
s
>rFôÇ. ÕªQ x ∼ z, y ∼ z sټРx ∼ y e`¦·ú ú e.
s
]j ¿ºP: "î]j\¦Ðsl 0A # A ∈ P &ñ ¦, a ∈ A \¦×þ
. ëß{9 x ∈ A s &ñ_\ _ # x ∼P as. ëß{9 x ∼P as x ∈ B, a ∈ B B ∈ P >rF HX< a ∈ A ∩ B sټРA = B s¦,
"f x ∈ A s. ÕªQÙ¼Ð
A = {x ∈ X : x ∼P a} ∈ X/∼P e
`¦ ·ú ú e. %iܼРA ∈ X/ ∼Ps &h]XôÇ a ∈ X \ @/ # A = {x ∈ X : x ∼P a}s. ôǼ# ìr½+É P \"f a ∈ X í<Ê÷&Hכ
`
¦ B ∈ P . ÕªQ ~½ÓFK 7£x"îôÇ \ _ # A = B s¦,
"
f A ∈ P e`¦·ú ú e.
|
ºM 4. f.Ëú ^_ |9½+Ë`¦ O, ú ^_ |9½+Ë`¦ E ¿º P = {O, E} H&ñú ^_ |9½+Ë Z _ ìr½+És. ÕªQ 1lxu'a> ∼P
_
&ñ_\ _ #
m ∼P n ⇐⇒ mõ n s °ú s ús °ú s f.Ëús
⇐⇒ m − n Ér 2_ Cús
"f, 1lxu'a> ∼P HÐl 1 \"f &ñ_ôÇ כ õ ðøÍt)a.
|9
½+Ë X \ 1lxu'a> <ÊÉr ìr½+É\ _ # %3#Q |9½+Ë X/∼ `¦Ð:x ô
6
K· כÖs ÂÒØÔ¦, 6£§<Êú
q : X → X/∼ : x 7→ [x]
\
¦ô6Kç¡s ÂÒÉr. ]©Ér Óüt:r©s. <Êú f : X → Y
6£§¸|
x ∼ y =⇒ f (x) = f (y) (15)
`
¦ëß7á¤ôÇ &ñ . ÕªQ DhÐîr<Êú f : X/∼ → Y : [x] 7→ f (x)e
\
¦&ñ_½+É Ãº e. #l"f, s &ñ_ ¸ú &ñ_÷&#Q eHt ¶ú(R Ð ô
Ç. = , [x] _ <Êú°úכ`¦&ñ_ l 0A # x \¦s6 x %iHX< [x]
\
¦ @/³ð H "é¶è x ü@\¸ 8 e`¦ ú el M:ëHs. 7£¤, [x] = [y]
s
f (x) = f (y) $íwn # HX<, s\¦Ð© Hכ s ¸| (15) s
. ÕªQ {©y ef ◦ q = f $íwnôÇ. %iܼÐ, ef ◦ q = f $íwn
H<Êú ef : X/∼ → Y >rF ¸| (15) $íwn Hכ Ér{©
.
X f -
Y
? X/∼
fe
q
XN
ËP 1.3.2. · כÖX D ò6BVMÎ34∼ ã# ÈÕ¬£ f : X → Y ;c 60 #l
:
?ª<ò6BVT.
() ef ◦ q = f-> ÈÕ¬£ ef : X/∼ → X T ¤GB 4 +í<<Â6Ò.
() x ∼ y T^@f (x) = f (y) T.
' Ö
<<K 1.3.1. &ño 1.3.2 \"f, ëß{9 f ◦ q = f \e ¦ ëß7ᤠH ef >rFôÇ Ä
»{9<Ê`¦Ð#. 7£¤,¿º <Êú φ, ψ : X/∼ → Y φ ◦ q = ψ ◦ q s φ = ψ e
`
¦Ð#.
'
Ö<<K 1.3.2. <Êú ef {9 9כ¹Øæìr¸| Ér f e`¦Ð#. <Êú fe éß{9 9כ¹Øæìr¸| Ér
x ∼ y ⇐⇒ f (x) = f (y) e
`¦Ð#.
|
ºM 5. ýa³ð¨î R2_ ôÇ &h A = (a1, a2)\"f ئµ1Ï # B = (b1, b2)
t Ho¶ú³ð−−→
AB ^_ |9½+Ë`¦ X . |9½+Ë X \ 1lxu'a>
\
¦6£§
−−→ AB ∼−−→
CD ⇐⇒ B − A = D − C
Ð &ñ_ (7)1lxu'a>e`¦ÐSX½+É Ãº e. s M:, e__−−→ AB ∈ X\ @/ # A + C = B C ∈ R2\¦¸úܼh−−→
ABi
=h−−→ OCi
s
. # l
"f Óüt:r O = (0, 0)s. "f X/∼ =nh−−→
OCi
: C ∈ R2o e
`¦·ú ú e. s M:, 6£§<Êú C 7→h−−→
OCi
: R2→ X/∼
É
réß<Êú)a. r ´ú # ýa³ð¨î 0A_ ¸H 7'HôÇ &h
\
_ # &ñ)a. "f, R2_ "é¶è (a1, a2) \¦ 7' ÂÒØÔHX<, s
H "é¶&h\"f s &ht Ho¶ú³ðÐ sK Hכ s.
O
C B A
1
1
|
ºM 6. z´Ãº^ R 0A_ 7'/BNçß V ü< Õª ÂÒìr/BNçß W ÅÒ#Q4R e
`
¦M:
x ∼W y ⇐⇒ x − y ∈ W
&ñ_ 1lxu'a>)a. e__ x ∈ V \ @/ #
[x] = {y : x − y ∈ W } = {x + z : z ∈ W }
(7) #l"f A + B = (a1+ b1, a2+ b2) X<,−→
AB ∼−−→
CD H A − C = B − D, 7£¤−→
AB ü
<−−→
CD_ ~½Ó¾Óõ ß¼l °ú H´ús.
÷&HX<, V/∼W\ 6£§
[x] + [y] = [x + y], a[x] = [ax], x, y ∈ V, a ∈ R õ
°ú s íß`¦&ñ_ . s M:, [x + y] \¦&ñ_ l 0A # x \¦s6 x
%itëß [x] \¦ @/³ð H "é¶è x ëß eHכ s mÙ¼Ð, s &ñ_
¸ ú
&ñ_÷&#Q eH ¶ú(R Ð ôÇ. 7£¤,
[x1] = [x2], [y1] = [y2] =⇒ [x1+ y1] = [x2+ y2], [ax1] = [ax2] e
`¦ 7£x"î # ôÇ. $, [x1] = [x2], [y1] = [y2]s x1 ∼ x2, y1∼ y2s¦ "f x1− x2, y1− y2∈ Ws. sÐÂÒ'
(x1+ y1) − (x2+ y2) = (x1− x2) + (y1− y2) ∈ W, ax1− ax2= a(x1− x2) ∈ W
e
`¦ ·ú ú e¦, "f "é¶ H :r`¦%3H. sü< °ú s DhÐs &ñ _
)a íß\ @/ # V/∼W Hr 7'/BNçßs ÷&HX<, s\¦ V /W æ
¼¦ ô6Kðµÿs ÂÒÉr. '
Ö
<<K 1.3.3. 7'/BNçß V _ ìr½+É V /W s r 7'/BNçßsHd`¦Ð#. +þ
A© φ : V → Z \ @/ # eφ ◦ q = φ \¦ëß7ᤠH +þA© eφ : V /W → Z
>rF½+É 9כ¹Øæìr¸| s
x ∈ W =⇒ φ(x) = 0 e
`¦Ð#.
1.4. ' K "
|9
½+Ë X _'a> R ⊂ X × X s 6£§¸| (íH1) e__ x ∈ X \ @/ # (x, x) ∈ R s, (íH2) (x, y) ∈ R, (y, x) ∈ Rs x = y s,
(íH3) (x, y) ∈ Rs¦ (y, z) ∈ R s (x, z) ∈ R s.
`
¦ëß7ᤠs\¦ )Ö<"kMÎ34 ôÇ. íH"f'a>HÐ:x≤Ð ³ðr HX<, s
âĺ 0A [j ¸| Ér6£§
x ∈ X =⇒ x ≤ x, x ≤ y, y ≤ x =⇒ x = y, x ≤ y, y ≤ z =⇒ x ≤ z õ
°ú s jþt ú e. íH"f'a> &ñ_÷&#Q eH |9½+Ë`¦ )Ö<"k· כÖs ô
Ç. ëß{9 x ≤ y s"f x 6= y s x < y H.
|
ºM 1. |9½+Ë X = {a, b, c} \
R = {(a, a), (b, b), (c, c), (a, b), (a, c)} ⊂ X × X
\
_ #'a>\¦&ñ_ íH"f'a>Hd`¦ÐSX½+É Ãº e. s
â
ĺ, "é¶è a, b, c s\H6£§$Á >h_ íH"f a ≤ a, b ≤ b, c ≤ c, a ≤ b, a ≤ c
e>)a. í
H"f|9½+ËÉrÕªaË>ܼР?/ ¼#oôÇ âĺ ´ú§. "é¶è[þt`¦&hܼ
Ð ³ðr ¦, ¿º "é¶è s\ íH"f &ñ_÷&#Q eHâĺ @/6£x H&h
`
¦ìrܼРe± ÷& H "é¶è À»Aá¤\ ¸¸2¤ôÇ. Ðl 1 \ eH íH"f
|9
½+Ë`¦ÕªaË>ܼР³ðr 6£§õ °ú .
r
r r
Z Z
Z Z
Z
b c
a
' Ö
<<K 1.4.1. (íH1)õ (íH2) \¦ ëß7ᤠtëß (íH3) `¦ëß7ᤠt ·ú§H 'a>_
\
V\¦ [þt#Q. ðøÍtÐ, (íH2), (íH3) `¦ëß7ᤠtëß (íH1) `¦ ëß7ᤠt ·ú§H
\
V, Õªo¦ (íH3), (íH1) `¦ëß7ᤠtëß (íH2) \¦ëß7ᤠt ·ú§H\V\¦ [þt#Q.
í
H"f|9½+Ë X _ ÂÒìr|9½+Ë S ⊂ X ü< ôÇ "é¶è a ∈ X \ @/ # 6£§
"
î]j
x ∈ S =⇒ x ≤ a
$íwn a S _ ç¡4 ôÇ. íH"f|9½+Ë_ ÂÒìr|9½+Ës ©>\¦ t
s |9½+Ë`¦ a}¹ ¤4 ôÇ. ©> ×æ\"f © Ér "é¶è\¦ L|Ð
ç
¡4 ¢¸H ç¡Â6Òs ôÇ. Ð ½¨^&hܼР´ú #, α ∈ X ü< S ⊂ X
6£§¿º ¸|
() α H S_ ©>s, 7£¤, x ∈ S =⇒ x ≤ αs,
() β S _ ©>s α ≤ β s, 7£¤, ¸H x ∈ S\ @/ # x ≤ β s
α ≤ β s
`
¦ ëß7ᤠα \¦ S_ þjè©> <ÊÉr ©ôÇs ôÇ. ëß{9 |9½+Ë S
©ôÇ`¦ t 0A &ñ_ () ܼÐÂÒ' ¸f µ1Ú\ \O6£§`¦ FK~½Ó ·ú Ã
º e¦, Õª ©ôÇ`¦ sup S H.
|
ºM 2. íH"f|9½+Ë X _ #Q" "é¶è ÂÒìr|9½+Ë ∅ ⊂ X _ ©>t ¶ú (
RÐ. "é¶è a ∈ X ∅ _ ©> <ÊÉr x ∈ ∅ =⇒ x ≤ a
$íwnôÇH ´úX<, sH e__ a ∈ X \ @/ # ½Ó© $íwnôÇ.
z
´]jÐ, s "î]j\¦ÂÒ&ñ
x ≤ a x ∈ ∅ >rFôÇ
X<, sH x ∈ ∅s $íwn½+É Ãº \OܼټР{©y d¦2; "î]js.
"
f, e__ "é¶èH /BN|9½+Ë ∅ _ ©>s.
|
ºM 3. z´Ãº|9½+Ë\ ĺo ¸ú H íH"f\¦ÂÒ# , |9½+Ë (0, 1) = {x ∈ R : 0 < x < 1} _ ©> ^_ |9½+ËÉr {x ∈ R : x ≥ 1} s¦, s
|9½+Ë_ þjè "é¶èH 1s. "f sup(0, 1) = 1 s. ðøÍtÐ
[0, 1] = {x ∈ R : 0 ≤ x ≤ 1} s ¿º, sup[0, 1] = 1 s. sü< °ú s
, #QÖ¼ |9½+Ë_ ©ôÇÉrÕª |9½+Ë_ "é¶è{9 ú¸ e¦, ÕªXOt ·ú§`¦Ãº
¸ e. ëß{9 sup A A _ "é¶è ÷&, sH{©y A _ þj@/ "é¶è
)a.
ðøÍtÐ 6£§
x ∈ S =⇒ x ≥ a s
$íwn a S _ 4 ¦, íH"f|9½+Ë_ ÂÒìr|9½+Ës >\¦ t
s |9½+Ë`¦7}¹ ¤4 ôÇ. ¢¸ôÇ, α ∈ X ü< S ⊂ X 6£§¿º
¸|
() α H S_ >s,
() β S _ >s α ≥ β s
`
¦ ëß7ᤠα \¦ S_ L|60 4 ¢¸H Â6Òs ôÇ. ëß{9 |9½+Ë S
ôÇ`¦t ¸f µ1Ú\ \OHX<, Õª ôÇ`¦ inf S H.
|
ºM 4. |9½+Ë X _ "4|9½+Ë 2X\ í<Ê'a>\ _ôÇ íH"f\¦ÂÒ# .
7
£¤ A ⊂ B {9 M: A ≤ B Ð &ñ_ H´ús. s'a> z´]jÐ (íH1) Â
Ò' (íH3)t ëß7á¤<ÊÉr"î . |9½+Ë7á¤A ⊂ 2X ÅÒ#Qt sup A =[
A, inf A =\ A, s
)a. ĺ, e__ A ∈ A \ @/ # A ≤S A sÙ¼ÐS A HA_
©>s. ëß{9 S ∈ 2X A _ ©>, e__ A ∈ A \ @/ # A ⊂ SsÙ¼Ð
x ∈[
A =⇒ x ∈ A A ∈ A >rFôÇ =⇒ x ∈ S
$íwnôÇ. "fS A ≤ S s¦, sup A =S A s. '
Ö
<<K 1.4.2. 1pxd inf A =T A `¦ 7£x"î #.
Ðl 4 \"f, X = {1, 2, 3} {9 M: íH"f|9½+Ë 2XH6£§õ °ú s ÕªaË>
Ü
¼Ð èq ú e.
r
r r r
r r r
r
Z Z Z Z Z
Z Z
Z Z
Z
Z
Z Z
Z Z Z
Z Z
Z Z
{1} {2} {3}
{1, 2} {3, 1} {2, 3}
X
∅
|
ºM 5. ýa³ð/BNçß Rν_ ÂÒìr|9½+Ë C ⊂ Rν 6£§$í|9 x, y ∈ C, 0 ≤ t ≤ 1 =⇒ tx + (1 − t)y ∈ C
`
¦ëß7ᤠs\¦ [>ói;· כÖs ôÇ. ^¦2¤|9½+Ë C _ ^¦2¤ÂÒìr|9½+Ë F
6£§$í|9
x, y ∈ C, tx + (1 − t)y ∈ F t ∈ (0, 1) >rFôÇ =⇒ x, y ∈ F
`
¦ëß7ᤠF \¦ C_ ^@s ôÇ. ôÇ &hܼРsÀÒ#Q `¦þÙU+8 s
ÂÒÉr. ^¦2¤|9½+Ë C _ ^_ |9½+Ë F (C) Hí<Ê'a>\ _
#
íH"f|9½+Ës)a.
ë
ß{9 C &ñ^ ABCD s F (C) H "é¶è W1 >h |9½+Ë X = {a, b, c, d}\ _ôÇ 2Xü< °ú Ér íH"f|9½+Ës. z´]jÐ &ñ^ ABCD _
[þtÉr =Gt&h`¦#QbG> ×þ Ö¼\ ²ú9 e. =Gt&h`¦×þ t
·ú§Ü¼ ∅, \¦×þ ‘=Gt&h’, ¿º >h\¦×þ ‘¸"fo’, [j
>
h\¦×þ ‘’, W1 >h\¦¸¿º ×þ l s)a. "f, s
QôÇ ×þõ X _ ÂÒìr|9½+Ë`¦ëß×¼H×þõ @/6£xrv)a. \V\¦ [
þ
t#Q, ¸"fo AC ∈ F(C) H{a, c} ∈ 2Xü< @/6£x)a. '
Ö
<<K 1.4.3. ^¦2¤|9½+Ë C _ [þtÐ ÅÒ#Q íH"f|9½+Ë F (C) _ e__ ÂÒìr
|9
½+ËÉr©ôÇõ ôÇ`¦f`¦ 7£x"î #.
s
]j, íH"f|9½+Ë X _ ¿º "é¶è x, y ∈ X \ @/ # x ∨ y = sup{x, y}, x ∧ y = inf{x, y}
æ¼. e__ ¿º "é¶è x, y ∈ X \ @/ # x ∨ y x9 x ∧ y >rF X \¦ # ôÇ. e__ ÂÒìr|9½+Ës ©ôÇõ ôÇ`¦t s\¦TÖh R
# ÂÒÉr. ©ôÇ_ &ñ_\¦r ôÇ ìøÍ4¤ x ∨ y H6£§¿º
t $í|9
x ≤ x ∨ y, y ≤ x ∨ y x ≤ z, y ≤ z =⇒ x ∨ y ≤ z
\
_ # &ñ)a. {9ìøÍ&hܼÐ, X × X \"f X Ð H<Êú ÅÒ#Q t
s\¦ X_ TØa:@»ÿs ÂÒÉr. \V\¦ [þt#Q"f ú_ 8 lü<
Y
L l 1pxÉr¸¿º s½Óíßs. ~½ÓFK&ñ_ôÇ (x, y) 7→ x ∨ y, (x, y) 7→ x ∧ y
H¸¿º s½ÓíßX<, e__ x, y, z ∈ X \ @/ # 6£§ 1pxd x ∨ x = x x ∧ x = x
x ∨ y = y ∨ x x ∧ y = y ∧ x
(x ∨ y) ∨ z = x ∨ (y ∨ z) (x ∧ y) ∧ z = x ∧ (y ∧ z) (x ∨ y) ∧ x = x (x ∧ y) ∨ x = x
(16)
s
$íwnôÇ.
%
6£§¿º t 1pxdÉr"î . íß ∨ \ @/ôÇ ½+ËZOgË:`¦Ðsl 0
A # 6£§ÂÒ1pxd
(x ∨ y) ∨ z ≤ x ∨ (y ∨ z)
`
¦$ Ðs. ĺ x ≤ x ∨ (y ∨ z) x9 y ≤ y ∨ z ≤ x ∨ (y ∨ z) Ð ÂÒ '
x ∨ y ≤ x ∨ (y ∨ z) $íwnôÇ. ¢¸ôÇ, z ≤ y ∨ z ≤ x ∨ (y ∨ z) ü< <Ê a
Òqty 0A ÂÒ1pxds $íwn<Ê`¦·ú ú e. ìøÍ@/ ÂÒ1pxdõ ∧ \'a ô
Ç ½+ËZOgË:Ér°ú Ér~½ÓZOܼР7£x"î)a. ¢¸ôÇ, 1pxd (x ∨ y) ∧ x = x \¦
Ðs9
x ≤ x, x ≤ x ∨ y z ≤ x, z ≤ x ∨ y =⇒ z ≤ x
\
¦Ðs ÷&HX<, sH"î .
' Ö
<<K 1.4.4. (16)\ ¸H 1pxd[þt_ 7£x"î`¦Áºo #.
XN
ËP 1.4.1. )Ö<"k· כÖX q»qq ¨£ 4wHÐ x, y ∈ X ;c 60 #l x ∨ y D
x ∧ y +í<< ^@(16) T )ç· Â6Ò. *9Ä}¹,· כÖX ;c TØa:@»ÿ∨ Ü
ï∧ +äqE'#e )çHB(16) Ãç> ¹ÿø¶;Â6Òz +ä . T CI, x ≤ y ⇐⇒ x ∨ y = y
+äq ^@X ¤< )Ö<"k· כÖT E'z, T )Ö<"k;c 60 #l # ùÚH.
7
£x"î: 'Í P: "î]jHsp 7£x"î %i. $, x ≤ x H (16)_ 'Í P: $í
|9
\"f :r. ëß{9 x ≤ y, y ≤ x s x ∨ y = y s¦ y ∨ x = x s.
Õ
ªX< s½Óíß ∨ s §¨8ZOgË:`¦ëß7ᤠټРx = y e`¦·ú ú e.
ë
ß{9 x ≤ y, y ≤ z s
x ∨ z = x ∨ (y ∨ z) = (x ∨ y) ∨ z = y ∨ z = z s
ټРx ≤ z $íwnôÇ. s]j, sup{x, y} = x ∨ y e`¦Ðs. $ x ∨ (x ∨ y) = (x ∨ x) ∨ y = x ∨ y
s
ټРx ≤ x ∨ y $íwn ¦, #l\"f x ü< y _ %i½+É`¦Ë¨ y ≤ y ∨ x = x ∨ y e`¦·ú ú e. =åQܼÐ, x ≤ z, y ≤ z s
(x ∨ y) ∨ z = x ∨ (y ∨ z) = x ∨ z = z s
¦, "f x ∨ y ≤ z s. ÕªQټРsup{x, y} = x ∨ y s 7£x"î÷&%3
. 1pxd inf{x, y} = x ∧ y _ 7£x"îÉr_þvëH]jÐ z|. '
Ö
<<K 1.4.5. &ño 1.4.1 _ 7£x"î\"f 1pxd inf{x, y} = x ∧ y `¦ 7£x"î #.