Documente Academic
Documente Profesional
Documente Cultură
lgebra II
Garca Muoz, M.A.
Una correspondencia f: X Y se dice que es una aplicacin
cuando todo elemento de X tiene UNA Y SOLO UNA imagen
en Y:
a X,
1
b Y tal que f(a)=b
Dadas dos aplicaciones f, g diremos que son iguales si tienen
iguales conjunto inicial y final y el mismo grafo:
f = g f, g: X Y y f(a) = g(a), a X.
lgebra II
Garca Muoz, M.A.
Dada una aplicacin f: X Y y A X, llamamos imagen de
A por f, f
*
(A), al subconjunto de Y formado por todas las
imgenes por f de los elementos de A
f(A) = f
*
(A) = = { f(a) / a A }
Si C Y, llamamos imagen inversa de C por f o preimagen
de C por f, f
*
(C), al subconjunto de X formado por todos los
elementos cuya imagen por f pertenecen a C
f
-1
(C) = f
*
(C) = { a X / f(a) C}
U
A a
a f
) (
lgebra II
Garca Muoz, M.A.
Tipos de aplicaciones
Dada una aplicacin f: X Y, diremos que es:
A) inyectiva si cada elemento de Y es imagen a lo mas de
un elemento de X, es decir,
x x f(x) f(x), (equiv. f(x) = f(x) x = x)
B) sobreyectiva si todo elemento de Y es imagen al menos
de un elemento de X,
b Y, a X tal que f(a)= b,
C) biyectiva si es inyectiva y sobreyectiva a la vez,
b Y,
1
a X tal que f(a)= b.
Toda aplicacin biyectiva de un conjunto en si mismo se le
llama permutacin.
lgebra II
Garca Muoz, M.A.
Dado X un conjunto, la identidad en X, Id
X
: X X
aplicacin tal que Id
X
(a) = a, para todo a X.
Proposicin 2.10. Sea f: X Y una aplicacin se tiene:
i) si f es inyectiva entonces card(X) card(Y),
ii) si f es sobreyectiva entonces card(X) card(Y), y
iii) si f es biyectiva entonces card(X) = card(Y).
Dadas f: X Y y g: Y Z aplicaciones, podemos
definir una correspondencia h: X Z tal que h(x) =
g(f(x)). As definida h es tambin una aplicacin que
llamamos aplicacin compuesta de f y g y se denota por h
= g o f.
lgebra II
Garca Muoz, M.A.
Proposicin 2.11. La composicin de aplicaciones satisface la
propiedad asociativa, es decir, si f: X Y, g: Y Z y
h: Z T entonces h o (g o f) = (h o g) o f.
Proposicin 2.12. Dada f: X Y aplicacin, se tiene f o Id
X
= f
y Id
Y
o f = f.
Dada una aplicacin f: X Y (es decir, f = (X, Y, G)) existe
una correspondencia de Y en X, f
-1
= (Y, X, G
inv
), de manera que
(b, a) G
inv
si y slo si (a, b) G. Adems si f es biyectiva,
entonces f
-1
es una aplicacin, tambin biyectiva, que se llama
inversa de f.
lgebra II
Garca Muoz, M.A.
Proposicin 2.14. Sean X e Y conjuntos, f: X Y y
g: Y X aplicaciones. Entonces:
i) Si f es biyectiva, entonces f
-1
o f = Id
X
y f o f
-1
= Id
Y
.
ii) Si g o f = Id
X
, entonces f es inyectiva y g sobreyectiva.
iii) Si g o f = Id
X
y f o g = Id
Y
, entonces f y g son
biyectivas y g = f
-1
. (Demostracin ejercicio 2.44)
Proposicin 2.15. Sean X, Y y Z conjuntos, f: X Y y
g: Y Z aplicaciones biyectivas, entonces g o f: X Z es
biyectiva y (g o f)
-1
= f
-1
o g
-1
. (Demostracin ejercicio 2.45)
lgebra II
Garca Muoz, M.A.
Sean I y X conjuntos, llamamos familia de elementos de X
indizada en I a toda aplicacin f: I X tal que f(i) = x
i
.
Usaremos la notacin (x
i
)
iI
= { x
i
/ i I}. Si I es finito se dice
que la familia es finita y si I = {1, 2,..., n} se escribe (x
i
)
1 i n.
Sea X es un conjunto y (A
i
)
iI
es una familia de elementos de
(X) indizada en I, es decir, una aplicacin f: I (X) tal
que f(i) = A
i
. Llamamos unin de la familia anterior al
conjunto
= { x X / iI t. q. x A
i
}.
De igual forma, llamamos interseccin de la familia al
conjunto
= { x X / x A
i
, iI }.
I
I i
i
A
U
I i
i
A
I i
lgebra II
Garca Muoz, M.A.
Sea X un conjunto. Una particin de X es una familia (A
i
)
iI
de elemento de (X) satisfaciendo:
i) A
i
para todo i I,
ii) Si i j, entonces A
i
A
j
= , y
iii) = X.
U
I i
i
A
lgebra II
Garca Muoz, M.A.
4. RELACIONES BINARIAS
lgebra II
Garca Muoz, M.A.
Sea X un conjunto. Llamamos relacin binaria en X a todo
subconjunto R del producto cartesiano X X, es decir,
R X X.
Diremos que a est relacionado con b por R, y lo
notaremos por a R b, si y solo si (a, b) R.
Sea R una relacin binaria en el conjunto X, diremos que:
R es reflexiva, si a R a para todo a X.
R es simtrica, siempre que a R b, se tiene que b R a.
R es antisimtrica, siempre que a R b y b R a, se tiene
que a=b.
R es transitiva, siempre que a R b y b R c, se tiene que
a R c.
lgebra II
Garca Muoz, M.A.
Una relacin binaria R en X se dice que es una relacin
de equivalencia si verifica simultneamente las
propiedades reflexiva, simtrica y transitiva.
Dada R una relacin de equivalencia sobre un conjunto
X y a X, definimos la clase de equivalencia de a al
subconjunto de X formado por todos los elementos
relacionados con a, es decir,
= [a] = { x X / x R a }.
4.1 RELACIONES DE EQUIVALENCIA
lgebra II
Garca Muoz, M.A.
Proposicin 2.16. Sea R una relacin de equivalencia en X.
Entonces a R e si y solo si = . (Demostracin ejercicio 2.49)
Sea R una relacin de equivalencia en X. Llamaremos
conjunto cociente de X por la relacin R, y lo notaremos
por X/R, al conjunto de todas las clases de equivalencia en X
determinadas por R
X/R = { / a X }
Adems la aplicacin p: X X/R, definida por p(a) = ,
para todo a X es sobreyectiva y recibe el nombre de
proyeccin cannica.
Proposicin 2.17. X/R determina una particin en X.
(Demostracin ejercicio 2.51)
4.1 RELACIONES DE EQUIVALENCIA
lgebra II
Garca Muoz, M.A.
Una relacin binaria R sobre un conjunto X diremos que es
una relacin de orden si verifica simultneamente las
propiedades reflexiva, antisimtrica y transitiva. Diremos
que X es un conjunto ordenado si hay una relacin de
orden definida en X.
Generalmente escribimos a b y se lee a es menor o igual
que b cuando (a, b) R.
Dos elementos a, b X se dicen comparables por la
relacin de orden R si y solo si a b o bien b a ((a, b)
R o (b, a) R).
4.1 RELACIONES DE ORDEN
lgebra II
Garca Muoz, M.A.
4.1 RELACIONES DE ORDEN
Una relacin de orden R en X, se dice que es un orden
total si cualquier par de elementos de X son comparables.
En tal caso se dice que X es un conjunto totalmente
ordenado. En otro caso se dice que R es un orden parcial
y que X es un conjunto parcialmente ordenado.
Sea R una relacin de orden en X, un subconjunto no vaco
A de X se llama cadena cuando todo par de elementos de
A son comparables por la relacin R de X, es decir, la
relacin de orden R restringida a A es un orden total.
lgebra II
Garca Muoz, M.A.
4.1 RELACIONES DE ORDEN
Cuando el conjunto X ordenado por la relacin R es finito,
el orden puede ser representado grficamente mediante un
diagrama conocido como diagrama en rbol o diagrama
de Hasse. En tales diagramas los elementos se representan
por puntos y cuando dos elementos son comparables, los
puntos que los representan se unen mediante una flecha de
manera que si a b, en el diagrama aparecer una flecha
ascendente desde el punto que representa al elemento a
hasta el punto que representa al punto b.
a
b c
d
lgebra II
Garca Muoz, M.A.
4.1 RELACIONES DE ORDEN
Sea X un conjunto ordenado por una relacin de orden R y
A X. Diremos que A est acotado superiormente si
existe un x X tal que a x para todo a A. A tal
elemento x se le llama cota superior de A.
Diremos que A est acotado inferiormente si existe un y
X tal que y a para todo a A. A tal elemento y se le
llama cota inferior de A. Si A est acotado inferior y
superiormente se dice que A est acotado.
Se dice que un elemento m A es el mximo de A si es
una cota superior de A. De igual forma un elemento n A
es el mnimo de A si es un cota inferior de A.
lgebra II
Garca Muoz, M.A.
4.1 RELACIONES DE ORDEN
Proposicin 2.19. Si existe mximo de un conjunto (resp.
mnimo) es nico.
Un conjunto ordenado X se dice bien ordenado si todo
subconjunto no vaco de X tiene un elemento mnimo.
Proposicin 2.20. Todo conjunto bien ordenado est
totalmente ordenado.
lgebra II
Garca Muoz, M.A.
4.1 RELACIONES DE ORDEN
Sea A X. Llamaremos supremo de A, sup(A), al mnimo
(si existe) del conjunto de cotas superiores de A y
llamaremos nfimo de A, inf(A), al mximo (si existe) del
conjunto de cotas inferiores de A.
Sea X un conjunto ordenado. Un elemento x X se dice
maximal de X si la relacin x a para algn a X,
implica que x = a. Un elemento y A se dice minimal en
X si la relacin b y para algn b X, implica que y = b.