Académique Documents
Professionnel Documents
Culture Documents
8a 2 A [9!b 2 B; (a; b) 2 R]
Es decir,
8a 2 A ([9b 2 B; (a; b) 2 R] ^ [(8c 2 B; (a; c) 2 R) ) (c = b)])
R
A !
a 7!
B
R(a)
Ejemplos importantes:
1. Sea A un conjunto, la relacin identidad, 1A = f(a; a); a 2 Ag es funcin.
Y vimos que es biyectiva.
2. Sean X un conjunto y ; el conjunto vaco. Entonces
2.1. ; X = ;.
2.2. Y si R := ; como relacin, R es funcin ; ! X:
La demostracin la hicimos por vacuidad. Es decir, negando la proposicin:
8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])
Negacin:
: [8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])] es
9a 2 ;; (: [9b 2 X; (a; b) 2 R] _ : [(8c 2 X; (a; c) 2 R) ) (c = b)]) es
9a 2 ;; ([8b 2 X; (a; b) 2
= R] _ [(8c 2 X; (a; c) 2 R) ^ (c 6= b)]) es una proposicin Falsa.
Por lo tanto, la proposicin 8a 2 ; ([9b 2 X; (a; b) 2 R] ^ [(8c 2 X; (a; c) 2 R) ) (c = b)])
es verdadera y R : ; ! X es funcin.
2.3. Sean X un conjunto y fX : ; ! X la funcin vaca. Demostrar (por
vacuidad) que fX es inyectiva.
2.4. Demostrar que la funcin f; : ; ! ; es biyectiva. De hecho, f; = 1; es
la funcin identidad del conjunto vaco.
3. Denicin de Composicin de funciones:
1
Im f
f (a)
y se le llama la restriccin de f a Im f:
c. En A denimos la siguiente relacin: 8a; a0 2 A; a
a0 si y slo si
f (a) = f (a):
c.1.
es una relacin de equivalencia.
c.2. Denotamos por A= := f[a] ; a 2 Ag al conjunto de clases de equivalencia de A:
c.3. Denimos la siguiente que es funcin y es inyectiva:
f : A=
[a]
!
7
!
B
f (a)
!
7
!
Im f
f (a)
ad+bc
bd
Notacin: + ab ; dc =: ab + dc
Y la funcin producto en Q:
:Q Q
a c
b; d
Notacin:
a c
b; d
=:
a
b
!
7 !
ac
bd
c
d
TAREA.
10.4. Demostrar que si ab 2 Q entonces ab = ab y ba = ab = 11 ab :
10.5. Demostrar que (Q; +; ) es lo que llamamos un campo. Es decir,
Sean ab ; dc ; fe 2 Q.
+:1: Conmutatividad: ab + dc = dc + ab
+:2: Asociatividad: ab + dc + fe = ab + dc + fe
+:3: Neutro aditivo:9e 2 Q, 8 ab ; ab + e = ab (= e + ab ).
+:4: Inverso aditivo. 8 ab 9 dc ( ab + dc = e (= dc + ab ))
:1:
:2:
:3:
:4:
Conmutatividad.
Asociatividad.
Neutro multiplicativo.
Inverso multiplicativo.
Distributividad:
d:1: 8 ab ; dc ; fe 2 Q se cumple que
a
b
c
d
e
f
a
b
c
d
a
b
e
f
: A B
(a; b)
! A
y
7
!
a
: A B
(a; b)
!
7
!
B
b
! Z
7! n
a
b
0 1
0 1 y 0
1 0
1
0
0
0
1
0
1