MATEMÁTICA BÁSICA Unidad 3

UNIDAD 3: RELACIONES

PRODUCTO CARTESIANO

Definición: Dados dos conjuntos A y B, se llama producto cartesiano de A por B, en ese orden, y
se simboliza AB, al conjunto formado por todos los pares ordenados con primera componente
perteneciente a A y segunda componente perteneciente a B.

Simbólicamente: AB = { (x, y) : x  A  y  B }

Ejemplo: Si A = {1, 2, 3}, B = {a, b} entonces:

AB = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}

BA = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}

Este ejemplo muestra que el producto cartesiano, en general no es conmutativo, es decir:

AB  BA

Por otra parte: A tiene 3 elementos, B tiene 2 elementos, luego AB y BA tienen 3.2 = 6
elementos.

En general se verifica que: “Si A tiene m elementos y B tiene n elementos, entonces AB y BA
tienen m.n elementos”.

REPRESENTACIÓN GRÁFICA

Si A y B son dos conjuntos finitos no vacíos, el producto cartesiano se puede representar mediante
diagramas de Venn.

Sean A = { a, b } y B = { x, y } luego AxB = { (a, x), (a, y), (b, x), (b, y) }

RELACIONES BINARIAS

Hemos definido el producto cartesiano AB entre dos conjuntos A y B. A partir de este producto,
puede estudiarse el concepto de “relación binaria” entre A y B, de acuerdo con la siguiente
definición:
Prof. Mg. Estela Torres 1
MATEMÁTICA BÁSICA Unidad 3

Definición: Dados dos conjuntos no vacíos A y B, una relación binaria entre A y B (en ese orden)
es un subconjunto del producto cartesiano AB.

Como sólo estudiaremos relaciones binarias (entre dos conjuntos), de ahora en más diremos
simplemente “relación”.

Luego, por definición tenemos:

“R es una relación entre A y B sii R  AB”

De la definición queda claro que una relación entre dos conjuntos es un conjunto cuyos elementos
son pares ordenados.

Ejemplos: Sean A = { −1, 2, 3, 4} y B = {2, 4, −3}

Son relaciones entre A y B los siguientes conjuntos (subconjuntos de AB):

1) R1 = {(-1, 2), (-1, 4), (3, 4)}

2) R2 = {(-1, 2), (2, 2), (2, 4), (4, 4)}
3) R3 = {(2, 2), (-1, -3), (4, 2)}
4) “x R4 y sii x divide a y”

"y es múltiplo de x"

Para determinar los pares de la relación R4 es útil construir una tabla como la siguiente:

x divide a y 2 4 -3 yB
-1 (-1, 2) (-1,4) (-1,-3)
xA 2 (2, 2) (2, 4) (2,-3)
3 (3, 2) (3, 4) (3, -3)
4 (4, 2) (4, 4) (4, -3)

Luego R4 = {(-1, 2), (-1, 4), (-1, -3), (2, 2), (2, 4), (3, -3), (4, 4)}

5) R5 = {(x, y)  AB: y = x - 2}

Para determinar los pares de la relación R5 la tabla se puede construir de la siguiente manera:

y=x-2
-1 -3B
xA 2 0 B
3 1B
4 2B
Luego R5 = {(-1, -3), (4, 2)}

Prof. Mg. Estela Torres 2

MATEMÁTICA BÁSICA Unidad 3

Notación: Sea R una relación entre A y B:

1) (a, b)  R puede expresarse en forma equivalente a R b, que se lee “a está en relación R con b”.
2) (a, b)  R puede expresarse en forma equivalente a R b que se lee “a no está en relación R con b"

MATRICES BOOLEANAS ASOCIADAS A RELACIONES BINARIAS

Definición: Dada una relación binaria R  AB, con A = {a1, a2, · · ·, am} y B = {b1, b2, · · · , bn},
le asociamos una matriz booleana MR = (rij)m×n definida por:

1 si (ai , bj ) ∈ R
rij = {
0 si (ai , bj ) ∉ R

Ejemplo: Si A = {a, b, c, d, e}; B = {1, 5, 9}, determinar las matrices asociadas a las relaciones R y
S; siendo:

R = {(a, 5), (d, 1), (b, 5), (a, 9), (e, 9), (e, 1), (e, 5)}  AB

S = {(b, c), (d, b), (e, e), (a, d), (e, b), (a, e), (c, d), (c, b), (b, e), (c, c)}  AA

1 5 9 a b c d e
       
a → 0 1 1 a →0 0 0 1 1
   
b → 0 1 0 b →0 0 1 0 1
MR = c →` 0 0 0 MS = c →0 1 1 1 0
   
d → 1 0 0 d →0 1 0 0 0
e →  1 1 1  e →  0 1 0 0 1 

Observaciones:

1) Una fila de ceros en la matriz asociada a la relación indica que el elemento que corresponde
a esa fila, no se relaciona con ningún elemento.
2) Una columna de ceros en la matriz asociada a la relación indica que ningún elemento está
relacionado con el elemento que le corresponde a esa columna.

Ejemplo: Considerando las relaciones del ejemplo anterior se verifica:

1) En MR, la fila del elemento c del conjunto A tiene todos ceros, por lo tanto este elemento no
está relacionado por la relación R con ningún otro elemento del conjunto B.
2) En MS la columna del elemento a del conjunto A tiene todos ceros, por lo tanto ningún
elemento del conjunto A está relacionado por la relación S con el elemento a.

Prof. Mg. Estela Torres 3

MATEMÁTICA BÁSICA Unidad 3

DOMINIO DE UNA RELACIÓN

Definición: El dominio de una relación R entre A y B (R  AB), se indica DomR y es el

conjunto formado por las primeras componentes de todos los pares ordenados que pertenecen a R;
es decir, es el conjunto formado por todos los elementos de A que están relacionados con algún
elemento de B.

Simbólicamente:

DomR = {x  A / y  B: (x, y)  R } ó DomR = { x A / y  B : x R y }

Es claro que: DomR  A

Ejemplo:
Sean A = { -1 , 1 , 2 }, B = { -1 , 1 , 0 , 2 } y sea R  A  B tal que: “x R y sii x > y ”

x>y -1 1 0 2 yB
-1 (-1, -1) (-1, 1) (-1, 0) (-1, 2)
1 (1, -1) (1, 1) (1, 0) (1, 2)
xA 2 (2, -1) (2, 1) (2, 0) (2, 2)

Por extensión: R = {(1, -1), (1, 0), (2, -1), (2, 1), (2, 0)}
Luego DomR = {1, 2}; ImR = { -1, 0, 1}

DOMINIO DE RELACIONES BINARIAS A TRAVÉS DE LA MATRIZ ASOCIADA A LA

RELACIÓN

Sea R  AB y MR = (rij)m×n la matriz asociada a R, entonces:

DomR está formado por todos los elementos de A tales que en su fila correspondiente de MR
existe por lo menos un 1.

Ejemplo: Para la relación R del ejemplo anterior

1 5 9
↓ ↓ ↓
a → 0 1 1
b → 0 1 0
MR = c → 0 0 0 DomR = {a, b, d, e}
d → 1 0 0
e → (1 1 1)

Prof. Mg. Estela Torres 4

MATEMÁTICA BÁSICA Unidad 3

IMAGEN DE UNA RELACIÓN

Definición: La imagen de una relación R entre A y B (R  AB) se indica ImR y es el conjunto

formado por las segundas componentes de todos los pares ordenados que pertenecen a la relación;
es decir, es el conjunto formado para todos los elementos de B para los cuales existe algún elemento
de A relacionado con ellos.

En símbolos:

ImR = {y B / x  A: (x, y)  R} ó ImR = {y B / x  A: x R y}

Es claro que: ImR  B

Ejemplo:
Sean A = { -1, 1, 2}, B = { -1, 1, 0, 2} y sea R  A  B tal que: “x R y sii x > y ”

x>y -1 1 0 2 yB
-1 (-1, -1) (-1, 1) (-1, 0) (-1, 2)
1 (1, -1) (1, 1) (1, 0) (1, 2)
xA 2 (2, -1) (2, 1) (2, 0) (2, 2)

Por extensión: R = {(1, -1), (1, 0), (2, -1), (2, 1), (2, 0)}
Luego ImR = { -1, 0, 1}

IMAGEN DE RELACIONES BINARIAS A TRAVÉS DE LA MATRIZ ASOCIADA A LA

RELACIÓN

Sea R  AB y MR = (rij)m×n la matriz asociada a R, entonces:

ImR está formado por todos los elementos de B tales que en su columna correspondiente de MR
existe por lo menos un 1.

Ejemplo: Para la relación R del ejemplo anterior

1 5 9
  
a →0 1 1
 
b →0 1 0 ImR = {1, 5, 9}
MR = c →0 0 0
 
d →1 0 0
e →  1 1 1 
Prof. Mg. Estela Torres 5
MATEMÁTICA BÁSICA Unidad 3

OPERACIONES CON RELACIONES A TRAVÉS DE SUS MATRICES BOOLEANAS

ASOCIADAS

❖ UNIÓN DE RELACIONES: SU MATRIZ BOOLEANA ASOCIADA

Definición: Dadas las relaciones R  AB y S  AB, la unión de ambas RS está definida por:

R  S = {(ai, bj)  AxB: (ai, bj)  R  (ai, bj)  S}

Proposición: Dadas las relaciones R y S definidas entre los conjuntos A y B, la matriz asociada a
RS está dada por:
MRS = MR + MS

Ejemplo: Dados los conjuntos A = {a, b, c}, B = {1, 2, 3, 4, 5} y las relaciones R y S definidas
1 0 0 1 0
entre A y B, dadas a través de sus matrices asociadas MR = (0 0 1 0 1);
1 0 0 0 1
0 0 1 1 0
M S = (0 1 1 0 0), obtenemos las relaciones R  S por medio de las matrices booleanas.
0 0 0 1 0
1) Hallamos la matriz asociada a R  S
1 2 3 4 5
↓ ↓ ↓ ↓ ↓
1 0 0 1 0 0 0 1 1 0 a → 1 0 1 1 0
MR∪S = MR + MS = (0 0 1 0 1 ) + (0 1 1 0 0 ) = b → (0 1 1 0 1)
1 0 0 0 1 0 0 0 1 0 c → 1 0 0 1 1

2) Desde la matriz M R  S extraemos la relación R  S:

De la 1era fila los pares: (a, 1), (a, 3), (a, 4)

De la 2da fila los pares: (b, 2), (b, 3), (b, 5)

De la 3era fila los pares: (c, 1), (c, 4), (c, 5)

R  S  AB, R  S = { (a ,1), (a ,3), (a, 4), (b, 2), (b, 3), (b, 5), (c, 1), (c, 4), (c, 5) }

❖ INTERSECCIÓN DE RELACIONES: SU MATRIZ BOOLEANA ASOCIADA

Definición: Dadas las relaciones R  AB y S  AB, la intersección de ambas R  S está

definida por: R  S = {(ai, bj)  AB: (ai, bj)  R  (ai, bj)  S}

Proposición: Dadas las relaciones R y S definidas entre A y B, la matriz asociada a R  S está

dada por:
MRS = MR • MS

Prof. Mg. Estela Torres 6

MATEMÁTICA BÁSICA Unidad 3

Ejemplo: Dados los conjuntos A = {a, b, c}, B = {1, 2, 3, 4, 5} y las relaciones R y S definidas
1 0 0 1 0
entre A y B, dadas a través de sus matrices asociadas MR = (0 0 1 0 1);
1 0 0 0 1
0 0 1 1 0
M S = (0 1 1 0 0), obtenemos las relaciones R  S por medio de las matrices booleanas.
0 0 0 1 0

1) Hallamos la matriz asociada a R  S

1 2 3 4 5
↓ ↓ ↓ ↓ ↓
1 0 0 1 0 0 0 1 1 0 𝑎 → 0 0 0 1 0
MR∩S = MR • MS = (0 0 1 0 1 ) • ( 0 1 1 0 0) = 𝑏 → (0 0 1 0 0)
1 0 0 0 1 0 0 0 1 0 𝑐 → 0 0 0 0 0

2) Desde la matriz M R  S extraemos la relación R  S:

R  S  AB, R  S = {(a, 4), (b, 3)}

❖ COMPLEMENTO DE UNA RELACIÓN: SU MATRIZ BOOLEANA ASOCIADA

Definición: Dada la relación R  AB, su complemento R es otra relación entre los conjuntos A y
B cuyos elementos pertenecen a AB y no pertenecen a R.

R = {( a i , b j ) AB: ( a i , b j )  R}

Proposición: Dada la relación R definida entre A y B, la matriz asociada a R está dada por:

MR = MR

( )
Donde M R = rij donde 𝐫𝐢𝐣′ es el complemento de 𝐫𝐢𝐣
'

Nota: Se verifican las Leyes de De Morgan: R∪S=R∩S y R∩S=R∪S

Ejemplo: Dados los conjuntos A = {a, b}, B = {1, 2, 3, 4} y la relación R  AB dada a través de
1 0 0 1
su matriz asociada MR = ( ), obtener la relación R
0 0 0 1

1) Hallamos MR̅ encontrando el complemento de la matriz M R

0 1 1 0
MR = ( )
1 1 1 0
Prof. Mg. Estela Torres 7
MATEMÁTICA BÁSICA Unidad 3

2) Desde la matriz asociada MR̅ extraemos la relación R :

• De la 1era fila los pares: (a, 2), (a, 3)

• De la 2da fila los pares: (b, 1), (b, 2), (b, 3)

Luego: R  AB, 𝐑 ={(a,2), (a,3), (b,1), (b,2), (b,3)}

❖ RELACIÓN INVERSA: SU MATRIZ BOOLEANA ASOCIADA

Sea R una relación entre A y B (R  AB).

Podemos definir la relación “inversa de R”, que se simboliza R–1 y es una relación entre B y A

(R–1  BA) de manera que: “Si la relación R hace corresponder al elemento x  A el elemento

y  B, entonces la relación inversa R–1 hace corresponder al elemento y el elemento x”.

Es decir: y R–1 x sii x R y ó (y, x)  R–1 sii (x, y)  R

R
A B

x y

R–1
En otras palabras: en R–1 están todos los pares ordenados “simétricos” de los pares ordenados que
están en R.

Definición: Sea R una relación definida en AB, llamaremos relación inversa de R y la notamos

R-1, al conjunto con la siguiente propiedad:

R-1 = {(y, x)  BA: (x, y)  R}

Proposición: Si M R es la matriz asociada a la relación R entonces la matriz M -1 asociada a R -1

R

está dada por:

MR−1 = MRT

Ejemplos: 1) Sean A = {2, 3, 6}; B = {4, 6, 12} y R  A  B definida por:

“(x, y)  R sii x divide a y”

Prof. Mg. Estela Torres 8
MATEMÁTICA BÁSICA Unidad 3

Entonces: R = {(2, 4), (2, 6), (2, 12), (3, 6), (3, 12), (6, 6), (6, 12)}

Luego R–1  BA; R–1 = {(4, 2); (6, 2); (12, 2); (6, 3); (12, 3); (6, 6); (12, 6)}

2) Dados los conjuntos A = {a, b}, B = {1, 2, 3, 4} y la relación R  AB dada a través de su
1 0 0 1
matriz asociada MR = ( ), obtener la relación R–1
0 0 0 1

1. Hallamos MR−1 encontrando la traspuesta de la matriz M R

1 0
0 0
MRT = ( )
0 0
1 1

2. Desde la matriz asociada 𝑀𝑅𝑇 extraemos la relación R–1:

• De la 1era fila el par: (1, a)

• De la 4ta fila los pares: (4, a), (4, b)

Luego: R–1  BA; R–1 = {(1, a), (4, a), (4, b)}

❖ COMPOSICIÓN DE RELACIONES

Sean las relaciones: R definida entre A y B (R  AB) y S definida entre B y C (S  BC).

A B S
R C

SoR
Podemos definir la relación “S compuesta con R” que se simboliza SoR definida entre A y C
(SoR  AC), de la siguiente manera

Definición: Sean las relaciones R  AB y S  BC, llamaremos relación compuesta entre R y S y
la simbolizamos S o R a la siguiente relación entre A y C:

S o R = { (a, c) AC /  b ImRDomS : a R b b S c } =

= { (a, c) AC /  b ImRDomS : (a, b)  R  (b, c)  S }

Prof. Mg. Estela Torres 9

MATEMÁTICA BÁSICA Unidad 3

Observación: De la definición dada, es claro que:

1. La relación “S compuesta con R” se simboliza SoR pero primero se aplica R y luego S.

A B S
R C

SoR

2. Existe SoR sii R  A  B, S  B  C

=
3. SoR   sii existe al menos un par (a, c)  S o R y esto se cumple sii ImR  DomS  

Proposición: Dadas las relaciones R  AB, S  BC, la matriz asociada a SoR está dada por:

MSoR = MR ⊗ MS

Ejemplo: Sean A = {a, b, c}, B = {x, y, z, w}, C = {1, 2} y las relaciones R  AB, S  BC y

1 0 1 0 0
1 0 1 1
1 1
T  B  A, cuyas matrices asociadas son: MR = (0 1 0 0) , MS = ( ) y MT = (1 0 1
)
0 0 1 1 1
1 0 0 0 0 1 1
0 1

Calcular, si es posible: S o R y S o T, usando las matrices booleanas asociadas.

Prof. Mg. Estela Torres 10

MATEMÁTICA BÁSICA Unidad 3

I) SoR
1) Analizar si es posible hallar la composición, analizando los conjuntos entre los cuales están
definidas las relaciones.

Es posible hallar SoR pues R  AB, S  BC, luego SoR  AC

=
2) Hallar la matriz asociada a SoR
1 1
MSoR = MR ⊗ MS = 1 1)
(
1 0

3) Desde la matriz 𝑀𝑆𝑜𝑅 extraemos la relación SoR:

SoR  AC, S o R = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1)}

II) SoT
1) Analizar si es posible hallar la composición, analizando los conjuntos entre los cuales están
definidas las relaciones.

No es posible hallar S o T, pues T  BA , S  BC



MATRIZ BOOLEANA ASOCIADA A LA COMPOSICIÓN DE MÁS DE DOS

RELACIONES

Para determinar la matriz asociada a una composición de más de dos relaciones tendremos en
cuenta la propiedad asociativa de la composición. Así si tenemos SoToHoR, y la composición
existe, su matriz asociada es:

M(SoToHoR) = M(SoToH)oR = MR ⊗ M(SoToH) = MR ⊗ M(SoT)oH = MR ⊗ (MH ⊗ M(SoT) ) =

= MR ⊗ (MH ⊗ (MT ⊗ MS )) = MR ⊗ MH ⊗ MT ⊗ MS

Como caso particular consideremos: RoRoRo....oR lo simbolizaremos: R n

n veces

MRn = MRoRo…oR = MR  MR  … . MR = (MR )n

Ejemplo: Dados A = {a,b,c}, B = {w,x,y,z}, C = {1,2} y las relaciones R  AB, S  BC y

1 0 1 1
F  CA definidas a través de sus matrices booleanas asociadas MR = (0 1 0 0) ,
1 0 0 0 3x4

Prof. Mg. Estela Torres 11

MATEMÁTICA BÁSICA Unidad 3

1 0
1 1 1 0 1
MS = ( ) , MF = ( ) , hallar, si es posible, (SoR)  F-1
0 0 0 1 0 2x3
0 1 4x2

Es posible hallar SoR pues R  AB, S  BC, luego SoR  AxC

=
Como SoR  AC y F-1  AC entonces (SoR)  F-1  AC

Su matriz asociada es:

M(SoR)∪F−1 = M(SoR) + MF−1 = (MR ⊗ MS ) + MF−1 =

↑ ↑ ↑
matriz de"unión" matriz de"intersección" matrizde"inversa"

= (MR ⊗ MS ) + MFT (∗)

1 0
(M R  MS ) + M TF = [(10 0 1
1 0
1
0)  (
1 1
1 0 1 1 1 0 1 1
)]+(0 1) = (1 1) + (0 1) = (1 1) =
0 0
1 0 0 0 1 0 1 0 1 0 1 0
0 1
= M(SoR)F−1

Por definición de matriz booleana asociada a una relación:

(SoR)  F-1 = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1)}  AC

MATRICES ASOCIADAS A SUBCONJUNTOS DE UNA RELACIÓN BINARIA

Consideremos las relaciones S  AB, R  AB tales que S  R

Nos interesamos por la relación entre sus matrices asociadas M R = rij ( )mxn
( )
y M S = s ij mxn

Proposición: Si las relaciones R, S están definidas entre A y B y son tales que S  R entonces las
matrices asociadas MR = (rij ) y MS = (sij ) verifican:
mxn mxn

∀i ∀j ∶ ( sij = 1 → rij
= 1)
Esto es: "Si la relación S está incluida en la relación R entonces si la matriz MS tiene 1 en el lugar
ij, la matriz MR tiene también un 1 en ese lugar".

MR puede tener "más" unos que MS.

Prof. Mg. Estela Torres 12

MATEMÁTICA BÁSICA Unidad 3

Ejemplo: Analizar matricialmente si la relación R está incluida en las relaciones S ó T.

0 1 0 1 0 0 1 1 1 0 1 1 0 1 1
0 0 0 1 0 1 0 0 1 1 0 0 0 1 0
MR = 0 0 0 1 0 MS = 1 0 0 1 0 MT = 1 0 1 0 1
0 0 0 1 0 0 0 0 1 1 0 0 0 0 1
(1 1 0 1 0) (1 1 1 1 1) (0 1 0 1 0)

1) ¿ La relación R  S?

0 1∗ 0 1∗ 0 0 1∗ 1 1∗ 0
0 0 0 1∗ 0 1 0 0 1∗ 1
MR = 0 0 0 1∗ 0 los 1* de MR están en MS MS = 1 0 0 1∗ 0
0 0 0 1∗ 0 0 0 0 1∗ 1
( 1∗ 1∗ 0 1∗ 0) ( 1∗ 1∗ 1 1∗ 1)

Se verifica: 𝐫𝐢𝐣 = 𝟏 → 𝐬𝐢𝐣 = 𝟏 luego R  S

2) ¿ La relación R  T?

0 1 0 1 0 1 1 0 1 1
0 0 0 1 0 0 0 0 1 0
MR = 0 0 0 𝟏 0 MT = 1 0 1 𝟎 1
0 0 0 1 0 0 0 0 0 1
(1 1 0 1 0) (0 1 0 1 0)

Como r34 = 1 y t 34 = 0 entonces R  T

FUNCIÓN

Definición: Dados dos conjuntos Ay B se define una función entre los elementos de A y B a un
conjunto f que verifica:

a) f  A  B (f es una relación entre A y B)

b) x Ay B :(x, y)  f (existencia)

c) [ (x, y1)  f  (x, y2)  f]  y1 = y2 (unicidad)

Ejemplos: Analicemos si las siguientes relaciones son funciones:

R A S B
A B
a 1 a 1

b 2 b 2
3
c c 3

SI
No se verifica la 3º condición para ser función Se verifican las tres condiciones de función

Prof. Mg. Estela Torres 13

MATEMÁTICA BÁSICA Unidad 3

T W B
A B
1
a 1
b
b 2 c 2
c 3 3
SI

Se verifican las tres condiciones para ser función No se verifica la 2º condición para ser función

Notación:

Para indicar que f es una función de A en B se utiliza f: A → B y si (x, y)  f entonces y = f(x)

donde: x: variable independiente y: variable dependiente

MATRIZ BOOLEANA ASOCIADA A UNA FUNCIÓN

Se puede probar que:

Una relación f  AB es una función si “Todas las filas de la matriz Mf tienen solamente un 1”.

Ejemplos: Analicemos matricialmente si las relaciones del ejemplo anterior son funciones.

1 1 0
MR = (0 1 0) R NO ES FUNCIÓN pues la fila 1 posee más de un 1.
0 0 1
No se verifica la unicidad, el elemento a tiene dos imágenes distintas.

0 1 0
M S = (1 0 0) S ES FUNCIÓN pues “Todas las filas de la matriz MS tienen solamente un 1”.
0 0 1
1 0 0
M T = (1 0 0) T ES FUNCIÓN pues “Todas las filas de la matriz MT tienen solamente un 1”.
0 0 1
0 1 0
MW = (1 0 0) W NO ES FUNCIÓN pues la fila 3 no posee 1.
0 0 0
No se verifica la existencia, el elemento c no tiene imagen.

DOMINIO E IMAGEN DE UNA FUNCIÓN A TRAVÉS DE LA MATRIZ BOOLEANA

ASOCIADA A LA FUNCIÓN

Como toda función es una relación, el dominio y la imagen de una función a través de su matriz
asociada se realiza tal como se hizo para relaciones, es decir:
Prof. Mg. Estela Torres 14
MATEMÁTICA BÁSICA Unidad 3

Si f : A →B y Mf = (fij)m×n la matriz asociada a f, entonces:

1. Domf está formado por todos los elementos de A tales que en su fila correspondiente existe
un 1. Además debido a la condición de existencia, Domf = A
2. Imf está formado por todos los elementos de B tales que en su columna correspondiente
existe un 1.

Ejemplos: Determinemos matricialmente Dominio e imagen de las funciones del ejemplo anterior.

0 1 0 1 0 0
MS = (1 0 0) luego Dom S = A Im S = B; MT = (1 0 0) luego Dom S = A Im S = {1, 3}
0 0 1 0 0 1

CLASIFICACIÓN DE FUNCIONES

I) Definición: La función f: A →B es inyectiva sii dos elementos cualesquiera distintos del

dominio, tienen imágenes distintas.

Simbólicamente: f es inyectiva sii ∀ x1 ∈ A ∀ x2 ∈ A ∶ ( x1 ≠ x2 → f(x1 ) ≠ f(x2 ) )

A f B
x1 y1

x2 y2

"f es no inyectiva sii existen al menos dos elementos distintos en el dominio, que tienen la misma
imagen".
A f B
x1 A
2 f(x1)=f(x2)
x2 f(x2)
1

Ejemplos:

A h1 B A h2 B
a 1 a a 1
b 2 b 2
c 3
d 4 c 3
A
Función inyectiva Función no inyectiva
2

Prof. Mg. Estela Torres 15

MATEMÁTICA BÁSICA Unidad 3

II) Definición: f: A →B es sobreyectiva sii Imf = B

Luego: f: A →B no es sobreyectiva sii Imf B.

Es decir, "f no es sobreyectiva sii existe algún elemento de B que no es imagen de ningún elemento
de A".

Ejemplos:
h1 h2
A a B A B
1 a 1

b 2 b
c 2
3 c
d 4 3

Función sobreyectiva Función no sobreyectiva

III) Definición: f: A →B es biyectiva sii f es inyectiva y sobreyectiva.

Inyectiva
Clasificación Biyectiva

Sobreyectiva
Ejemplos:

A f B A g B
a 1 d 5
b 2 e 6
3 f
c 4 g 7

Función inyectiva y no sobreyectiva Función no inyectiva y sobreyectiva

nobiyectiva
A h B A t B

a 1 3 p
b 2 4 q
nobiyectiva
c 3 5 r
d 4 6 s

Función no inyectiva y no sobreyectiva Función inyectiva y sobreyectiva  biyectiva

Prof. Mg. Estela Torres 16

MATEMÁTICA BÁSICA Unidad 3

CLASIFICACIÓN DE FUNCIONES A TRAVÉS DE LA MATRIZ ASOCIADA

Si f : A → B y Mf = (fij)m×n la matriz asociada a f, entonces:

1. f es inyectiva sii las columnas de Mf tienen a lo sumo un 1.
2. f es sobreyectiva sii Mf no tiene columnas nulas.

Ejemplos: Clasifiquemos las funciones del ejemplo anterior analizando sus matrices asociadas.

𝟎 𝟏 𝟎 𝟎
Mf = (𝟏 𝟎 𝟎 𝟎)
𝟎 𝟎 𝟎 𝟏

f es inyectiva pues las columnas de Mf tienen a lo sumo un 1.

f no es sobreyectiva pues la tercera columna de Mf es nula.

𝟎 𝟏 𝟎
𝟏 𝟎 𝟎
Mg = ( )
𝟎 𝟎 𝟏
𝟎 𝟎 𝟏
g no es inyectiva pues la tercera columna de Mg tiene dos 1.
g es sobreyectiva pues Mg no tiene columnas nulas.

𝟏 𝟎 𝟎 𝟎
𝟎 𝟎 𝟏 𝟎
Mh =( )
𝟎 𝟎 𝟏 𝟎
𝟎 𝟎 𝟎 𝟏
h no es inyectiva pues la tercera columna de Mh tienen dos 1.
h no es sobreyectiva pues la segunda columna de Mh es nula.

𝟏 𝟎 𝟎 𝟎
𝟎 𝟏 𝟎 𝟎
Mt = ( )
𝟎 𝟎 𝟏 𝟎
𝟎 𝟎 𝟎 𝟏
t es inyectiva pues las columnas de Mt tienen a lo sumo un 1.
t es sobreyectiva pues Mg no tiene columnas nulas.
t es biyectiva pues t es inyectiva y sobreyectiva.

Prof. Mg. Estela Torres 17