Académique Documents
Professionnel Documents
Culture Documents
Preuniversitarios
Otro ejemplo:
Si A = { x / x ∈ ∧ ( 2 ≤ x ≤ 5) } y B = {2,3}
2
1
Conjunto de x
Llegada
0 1 2 3 4 5
Conjunto de
Partida
RELACIÓ
Se dice que ℜ es una relación que aplica “A” en “B”, si es un
subconjunto del Producto Cartesiano “A x B”, o sea que es un determinado
conjunto de pares ordenados cuya primer componente pertenece a “A”,
(llamado Conjunto de Partida) y cuya segunda componente pertenece a “B”,
(Conjunto de Llegada).
1 a
b
2
c
3 d
4 e
Dominio de Imagen de
la Relación la Relación
RELACIÓ
I
VERSA
Dada una relación ℜ que aplica “A” en “B”, existe una “Relación
−1
Inversa” ℜ que aplica “B” en “A” que contiene el conjunto de todos los
pares ordenados de la relación original ℜ , pero con el orden de sus
componentes cambiado.
(
Si ℜ : A → B ∃ ℜ : B → A / ∀ ( x; y ) ∈ℜ : ( y; x ) ∈ℜ
−1 −1
)
−1
Gráficamente, en un diagrama de flechas la relación inversa ℜ es:
A B
1 a
b
2
c
3 d
4 e
FU
CIO
ES
Para que una relación ℜ sea una “relación funcional” o “función” deben
cumplirse dos condiciones:
1) Existencia: Todo elemento correspondiente al conjunto de Partida “A”
debe tener una imagen en el conjunto de llegada “B”. Es decir
que el dominio de la relación debe ser igual al conjunto de
partida “A”. En lenguaje simbólico:
ℜ cumple existencia ⇔ ( ∀x / x ∈ A ∃ y ∈ B : ( x ; y ) ∈ ℜ )
A B
Conjunto de Partida
1 a
b
2
c
Dominio de 3 d
la Relación 4 e
ℜ cumple unicidad:
⇔ ( ∀x ∈ A , ∀y ∈ B, ∀z ∈ B : ( ( x ; y ) ∈ℜ ∧ ( x ; z ) ∈ℜ ) ⇒ y = z )
Estas dos condiciones que debe cumplir una relación ℜ para ser una
función, pueden sintetizarse en una sola: "La relación ℜ es función si cada
elemento del Conjunto de Partida (A) tiene una y sólo una imagen en el
conjunto de llegada (B)".
A B A B
1 a 1 a
2 b 2 b
Son funciones c c
3 d 3 d
4 e 4 e
A B A B
1 a 1 a
2 b 2 b
No son funciones c c
3 d 3 d
4 e 4 e
y
4 ℜ : A→B
B = [2; 4] 3
2
1
Conjunto x
de Llegada
0 1 2 3 4 5
Conjunto
de Partida
A = [1; 5]
y ℜ : [1; 5] → [2; 4]
4
Recta imaginaria Vertical
3
y ℜ : [1; 5] → [2; 4]
4
Recta imaginaria Vertical
3
La recta Vertical corta más de
2
una vez (en algunos puntos) a la
1 gráfica dada.
x
0 1 2 3 4 5 La relación ℜ no es función
No cumple “unicidad”
A
y ℜ : [1; 5] → [2; 4]
4
Recta imaginaria Vertical
3
A B A B A B
a) 1 b) c)
a 1 a 1 a
2 b 2 b 2 b
3 c 3 c 3 c
4 d 4 d 4 d
d) A B e) A B f) A B
1 a 1 a 1 a
2 b 2 b 2 b
3 c 3 c 3 c
4 d 4 d 4 d
d) e) f)
ℜ : [1; 5] → [1; 5] y ℜ : [1; 5] → [1; 5] y ℜ : [1; 5) → [1; 5]
y
6 6 6
5 5 5
4 4 4
3 3 3
2 2 2
1 x 1 x 1
0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5
Respuestas: 1)
a) No es función (no hay existencia para "4")
b) Sí es función.
c) No es función (no hay unicidad para "2")
d) Sí es función.
e) No es función (no existe para "2" y "4" y no hay unicidad para "3")
f) Sí es función.
2)
a) Sí es función.
b) No es función (no hay unicidad en todo el intervalo (1,5]).
c) Sí es función.
d) No es función (no hay existencia para el intervalo (4;5])
e) No es función (no hay existencia para "1" y "5")
f) Sí es función.
CLASIFICACIÓ
DE FU
CIO
ES
Las funciones se pueden clasificar en:
Universo de Funciones
Inyectivas U Suryectivas
I B S
Biyectivas
4 e 1
f x
0 1 2 3 4 5
-1
La relación inversa f no
es función pues no cumple
la condición de existencia. A
Imagen de "f"= B 0 1 2 3 4 5
C) Biyectivas:
Una función "f" que aplica "A" en "B" es biyectiva si cada elemento del
conjunto de llegada "B" es imagen de uno y sólo un elemento del conjunto de
partida "A".
A B A B A B
a) 1 a b) c) 1 a
b 1
b
2 2 a 2
c c
3 d 3 b 3 d
4 e 4 c 4 e
f f
d) A B e) A B f) A B
1 a 1 a 1
a
2 b 2 b 2
3 c 3 c 3 b
4 d 4 d 4
0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5
Respuestas: 1)
a) No es inyectiva, suryectiva ni biyectiva.
b) Suryectiva.
c) Inyectiva.
d) Biyectiva.
e) No es inyectiva, suryectiva ni biyectiva.
f) Suryectiva.
2)
a) Suryectiva.
b) Biyectiva.
c) Inyectiva.
d) No es inyectiva, suryectiva ni biyectiva.
e) Suryectiva.
f) Inyectiva.
Cabe aclarar que la sola gráfica cartesiana de una función por sí sola no
permite clasificarla como inyectiva, suryectiva o biyectiva; sino que hay que
contar además con la definición de los conjuntos de partida y de llegada "A" y
"B".
Con un ejemplo demostraremos como una cierta función puede ser
inyectiva, suryectiva, biyectiva o puede no ajustarse a ninguna de estas
clasificaciones, según como se definan los conjuntos de partida y de llegada
"A" y "B".
f : » → » / y = x2
y
4
Conjunto de Llegada
B = (−∞; ∞) 3
2
1
Definida así x
no es inyectiva,
ni suryectiva, −3 −2 −1 0 1 2 3
ni biyectiva −1
−2
3
Conjunto de Llegada
B = [0; ∞) 2
1
x
Definida así −3 −2 −1 0 1 2 3
es suryectiva.
−1
−2
f : [0; ∞ ) → [0; ∞ ) / y = x 2 y
4
3
Sólo se toma la
rama de valores 2
positivos de "x"
1
x
Conjunto de Llegada
B = [0; ∞) −3 −2 −1 0 1 2 3
−1
Definida así
es biyectiva. −2
y
7
6
5
4
3 Eje de Abscisas
Eje de Ordenadas
2
1
x
0 1 2 3 4 5 6
d) A B e) A B f) A B
1 a 1 a 1 a
2 b 2 b 2 b
3 c 3 c 3 c
4 d 4 d 4 d
0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5
d) e) f)
ℜ : (1; 5] → [1; 6) y ℜ : [1; 5] → [1; 5] y ℜ : (1; 5) → [1; 6]
y
6 6 6
5 5 5
4 4 4
3 3 3
2 2 2
1 x 1 x 1
0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5
A B A B A B
a) 1 a b) c) 1 a
b 1
b
2 2 a 2
c c
3 d 3 b 3 d
4 e 4 c 4 e
f f
d) A B e) A B f) A B
1 a 1 a 1
a
2 b 2 b 2
3 c 3 c 3 b
4 d 4 d 4
e
c) d) e)
f : [1; 5] → [1; 5] f : [1; 5] → [1; 5] f : [1; 5) → [1; 5]
y y y
6 6 6
5 5 5
4 4 4
3 3 3
2 2 2
1 x 1 x 1
0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5
−3 −2 −1 0 1 2 3 0 1 2 3 4 5
8.2)
a) Sí es función.
b) No es función (no hay existencia para "2").
c) Sí es función.
d) No es función (no existe para "1" y no hay unicidad para "4")
e) No es función (no existe para "2" y "4", no hay unicidad para "3", etc.)
f) No es función (no existe para "2" y "4", no hay unicidad para "1" y "3")
8.3)
a) No es función (no se cumple unicidad).
b) No es función (no hay existencia en el intervalo [1,2)).
c) Sí es función.
d) Sí es función.
e) No es función (no hay unicidad para "3").
f) No es función (no hay existencia para "3").
8.4)
a) Inyectiva.
b) No es inyectiva, suryectiva ni biyectiva.
c) No es inyectiva, suryectiva ni biyectiva.
d) Biyectiva.
e) Inyectiva.
f) Suryectiva.
8.5)
a) Biyectiva.
b) Suryectiva.
c) Inyectiva.
d) No es inyectiva, suryectiva ni biyectiva.
e) Inyectiva.
8.6)
a) Inyectiva.
b) Biyectiva.
c) No es inyectiva, suryectiva ni biyectiva.
d) Suryectiva.