Sean A.B
conjuntos:
·
#A=#B si
If:A- B biyectiva
anidad
#As#B Ff: A- B
si
sobreyectiva
·
#A= #B If:A-B
si
inyectiva
·
Sean x, x' dos
cong
·
AUB
SiAwA'y
X
BuB'
=
+ xux
x=A'uB
lu
difuntal
·
Cantor:#A=#B n #B #A
= =
#A #B =
(relac. orden)
A, numerables (Ax B) numerable
·
=>
Propiedades.
· ~ es una relacion de equivalencia (reflexiva, simenica, transitival
·
A numerable ArIN
si (#A 40) =
A
contable siA finito o numerable (#A 40) =
·
A
infinito=> #As, No
·
An contable Un =
r An=A contable
es
·
Ai, IN numerable
ic =>nEn Ai numerable (pract 4)
es
Algunos conjuntos con cardinales
iguales.
IN
IN ~R
u naturales impares IR es numerable
no ( -
(0)
1
v (0,9)
INwPt P(X) ~
50,13*
IN ~
P #IR* = C
lynaycard. Cada vet grande)
+
#- IR (y 4)
conjuntos:
·
#A=#B si
If:A- B biyectiva
anidad
#As#B Ff: A- B
si
sobreyectiva
·
#A= #B If:A-B
si
inyectiva
·
Sean x, x' dos
cong
·
AUB
SiAwA'y
X
BuB'
=
+ xux
x=A'uB
lu
difuntal
·
Cantor:#A=#B n #B #A
= =
#A #B =
(relac. orden)
A, numerables (Ax B) numerable
·
=>
Propiedades.
· ~ es una relacion de equivalencia (reflexiva, simenica, transitival
·
A numerable ArIN
si (#A 40) =
A
contable siA finito o numerable (#A 40) =
·
A
infinito=> #As, No
·
An contable Un =
r An=A contable
es
·
Ai, IN numerable
ic =>nEn Ai numerable (pract 4)
es
Algunos conjuntos con cardinales
iguales.
IN
IN ~R
u naturales impares IR es numerable
no ( -
(0)
1
v (0,9)
INwPt P(X) ~
50,13*
IN ~
P #IR* = C
lynaycard. Cada vet grande)
+
#- IR (y 4)
