Relaciones y Funciones

Trabajo Práctico Nº 3 Relaciones y Funciones
1) Sea A = { 1 ; 2 }. Construya el conjunto P(A) x A.

2) a) Dé un ejemplo de conjuntos A ; B ; C y D tales que : A ⊂ C y B ⊂ D. Observe que A x B ⊂ C x D. b) Suponiendo que A x B ⊂ C x D ¿se sigue de esto necesariamente que A ⊂ C y B ⊂ D ?. Explique.

3) Sean A = { x ∈ N / 1 ≤ x ≤ 5 } y B = { 3 ; 4; 5 }. Se define R ⊂ A x B mediante (x,y) ∈R ⇔ x + y ≤ 5. i) Definir R por extensión. ii) Representar A x B y R. iii) Determinar R-1.

4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 } ; C = {2 ;3 ;8 ;10} y las relaciones R ⊂ A x B ; S ⊂ B x C, definidas por : (x,y) ∈ R ⇔ y = x2 y (y,z) ∈ S ⇔ z = y/2 Se pide : i) Determinar R y S por extensión. ii) Definir la composición S º R ⊂ A x C por extensión. iii)Determinar los dominios e imágenes de las tres relaciones.

5) Analizar si las siguientes relaciones son o no de equivalencia. R = { ( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1) } S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en A = { -3, -2, -1, 0 } en B = { x ∈ N0 / x ≤ 3 }

6) Sea A un conjunto de libros. Sea R1 una relación binaria definida en A /(a,b) ∈ R1 ⇔ el libro a cuesta mas y tiene menos hojas que b. ¿ Es R1 reflexiva ? ¿ simétrica ? ¿ antisimétrica ? ¿ transitiva ?.

7) Sea R una relación binaria sobre el conjunto de todas las sucesiones de ceros y unos, tal que : R = {(a, b) / a ∧ b son sucesiones que tienen el mismo número de ceros}. ¿ Es R reflexiva ? ¿ simétrica ? ¿ antisimétrica ? ¿ transitiva ? ; ¿ es relación de equivalencia ? ¿ es relación de orden ?

8) Sea R una relación binaria sobre el conjunto de todos los enteros positivos , tal que : R = {(a, b) / a - b es un entero positivo impar}. ¿ Es R reflexiva ? ¿ simétrica ? ¿ antisimétrica ? ¿ transitiva ? ; ¿ es una relación de equivalencia ? ¿ es una relación de orden ?

9) Descubrir la falla del razonamiento en la siguiente argumentación, que pretende probar que la reflexividad es una consecuencia de la simetría y de la transitividad : xRy ⇒ xRy ∧ yRx ⇒ xRx

10) a) Determinar si el conjunto P = { A1; A2 } constituye una partición de Z  con A1 = {x ∈ Z : 2  x} y A2 = { x ∈ Z : 2  x } b) Determinar si el conjunto Q constituye una partición de Z ; Q = { N; Z- }

11) Dado el conjunto de conjuntos B = {1, 3} C = {3}

M = {A, B, C, ∅},

donde A = {1, 2, 3, 4} 

Clasificar en M la relación “ ⊂ ”.

12) Analizar si (N, ≤) y (N,  ) son láttices.

13) Representar gráficamente las siguientes relaciones : 1 a)   f : R → R / f(x) = -5 x b) g : Zpares → Z / g(x) = x 2   c) h : N → N / h(x) = 2 x + 3

14) Sean las relaciones fi : R → R con i = 1,2, . . . . 6 dadas por las fórmulas : f1(x) = - 3 x + 4 f2(x) = - x2 + 4 x – 3 f3(x) = log 2 ( 2x - 3 ) 2 f6(x) = x + 3 a) • • d)  x −1  3 f4(x)=  3 x + 1  2x  1 f5(x) = ln x  si x>0 si x=0 si − 2 ≤ x < 0 si x<0 si 0 ≤ x ≤ 1 si x >1

Determine en cada caso el Dominio y la Imagen para que la relación resulte una función Represente gráficamente cada una de las fi Clasifique cada una de las fi En los casos que sea posible, determine y represente gráficamente f-1

15) Determine los conjuntos I, S y O, el estado inicial y la tabla que define la función de estado para el siguiente Autómata de Estado Finito no determinista a a a b b S1 S2 S0 b

16) Caracterice el conjunto de cadenas aceptadas por el siguiente Autómata de Estado Finito 0 0 1 0 1 S0 S1 S2 1

17) Dé una descripción (coloquial o en notación de conjuntos) de los conjuntos de las cadenas reconocidas por cada una de las Máquinas de Estado Finito. 1 S1 0 0 S5 1 S3 1 S2

S0

S1

S2

0

1

S0 S3

0,1 0 S4 0

1

Conjunto de partes Se escribe P(A)

se lee “partes de A”

y está formado por todos los subconjuntos posibles que pueden formarse con los elementos del conjunto A, incluido el conjunto vacío Sea A { a, b, c } {}=∅ •a •b •c •a A •a •b •c •b •c •a •a •b •b •c •c

{a} {b} {c}

{a,b} {a,c} {b,c}

El número de elementos que conforman P(A) es 2n donde n = #A
#A se lee cardinal del conjunto A y es igual a la cantidad de elementos que tiene el conjunto A

{a, b, c}

entonces el conjuntos de partes de A es:

P(A)= { {a}; {b}, {c}; {a,b}; {a,c}; {b,c}; {a,b,c} ∅ }

Producto Cartesiano
Dado un conjunto A = { a, b } y un conjunto B = { 1, 2 } A B •a •b •1 •2 El producto cartesiano A x B se forma con todos los pares ordenados posibles conformados por elementos del conjunto A en el primer lugar del par ordenado y elementos del conjunto B en el segundo lugar del par ordenado

A x B = { (a, 1), (a, 2), (b, 1),(b, 2) }
También podemos representar el producto cartesiano en un par de ejes coordenados B 2 1 A x B
(a, 2) (b, 2) (a, 1) (b, 1)

En el eje de abscisas (x) el conjunto A En el eje de ordenadas (y) el conjunto B y los pares ordenados en las intersecciones de las perpendiculares a cada uno de los ejes, que pasan por los elementos involucrados

a A

b

1) Si A = { 1, 2 }

P(A) = { ∅; {1}; {2}; {1,2} }

Recuerda que cada uno de los subconjuntos posibles formados con los elementos del conjunto A, es un elemento de P(A)

P(A) xA = { (∅,1); (∅,2); ({1},1); ({1},2); ({2},1); ({2},2); ({1,2},1); ({1,2},2) }
observa que en cada par ordenado, el 1er elemento ∈ P(A) y el 2do elemento ∈ A 2) a) Si C A A={a} D •1 •2 B B={2} C = { a, b } D = { 1, 2 }
1 2

•a

C x D = { (a,1); (a,2); (b,1); (b,2) } ubicamos ahora A ⊂ C y B ⊂ D

•b

A x B = { (a,2) } el único par ordenado de AxB; (a,2) ∈ CxD entonces A x B ⊂ C x D

en ejes cartesianos B 2 1 A x B C x D
(a, 2) (b, 2) (a, 1) (b, 1)

a

b

2 b) Si A x B ⊂ C x D ¿se sigue de esto necesariamente que A ⊂ C y B ⊂ D ?. Explique. Si a ∈ A ⇒ (a, b) ∈ A x B, ∀b ∈ B

si el elemento a pertenece al conjunto entonces el par ordenado (a, b) pertenece A producto cartesiano A x B para todo elemento b que pertenece al conjunto B al

Si a es elemento del conjunto A, entonces el elemento a con cualquier otro elemento del conjunto B forma un par ordenado del producto cartesiano A x B Por la consigna del ejercicio A x B ⊂ C x D , entonces . . . si (a, b) ∈ A x B entonces (a, b) ∈ C x D luego a ∈ C, luego Análogamente puede hallarse que B ⊂ D si b ∈ B ⇒ (a, b) ∈ A x B, ∀a ∈ A por la consigna del ejercicio A x B ⊂ C x D , entonces . . . si (a, b) ∈ A x B entonces (a, b) ∈ C x D luego b ∈ D, luego

A⊂C

B⊂D

Relaciones
existe una relación

Dado un producto cartesiano A x B,

si se verifica que entre los elementos de algunos (o todos) los pares ordenados que lo conforman se cumple una cierta propiedad, R ⊂ A x B ⇔ ∀(x,y) ∈ R : x ∈ A ∧ Y ∈ B
incluida en el producto cartesiano A xB si y solo si para todo par ordenado (x, y) que pertenece a la relación R se verifica que el elemento x pertenece al conjunto A y que el elemento y pertenece al conjunto B

A

B

•1 •2

•2 •3

Sean A = { 1, 2 }

y

B = { 2, 3 }

En A x B = { (1, 2); (1, 3); (2, 2); (2, 3) }

Analizamos

Definimos R ⊂ A x B : (x,y) ∈ R ⇔ y = 2x De analizar los pares ordenados que conforman A x B resulta que algunos pueden verificar (otros no) o puede suceder que todos verifiquen e incluso también puede suceder que ningún par ordenado verifique la condición en el par (1, 2) en el par (1, 3) x=1 y=2 x=1 y=3 2=2⋅1 entonces (1, 2) ∈ R

3≠2⋅1 entonces (1, 3) ∉ R en el par (2, 2) x = 2 y = 2 2≠2⋅2 entonces (2, 2) ∉ R en el par (2, 3) x = 2 y = 3 3≠2⋅2 entonces (2, 3) ∉ R

Y=2x

R = { (1, 2) }

La relación antes vista R = { (1, 2) } definida por comprensión será: R = { (x, y) / x ∈ A ∧ y ∈ B ∧ y = 2x } Observe que la definición por comprensión considera: los elementos que componen la relación pares ordenados (x, y) x ∈ A; y ∈ B y = 2x a qué conjunto pertenecen cada uno de los elementos cómo se vinculan los elementos de cada par ordenado

La relación se representa en ejes cartesianos, en diagrama de Venn y en tablas B 3 2 R ⊂ A x B
(1, 3) (1, 2)

A A x B (2, 3)
(2, 2)

R •1 •2

B •2 •3 A 1 2

B

2 x -

3 -

1

2 A Ejes cartesianos

Diagramas de Venn

Tabla de R

3) Si A = { x ∈ N / 1 ≤ x ≤ 5 } B = { 3, 4, 5 }

por extensión

A = {1, 2, 3, 4, 5 } A •1 R •2 B •3 •4 •5 en Diagrama de Venn

Se define R ⊂ A x B mediante (x,y) ∈ R ⇔ x + y ≤ 5.
1+3=4<5 1+4=5=5 1+5=6>5 2+3=5=5 2+4=6>5 2+5=7>5 3+3=6>5 3+4=7>5 3+5=8>5 → → → → → → → → → (1, 3) ∈ R (1, 4) ∈ R (1, 5) ∉ R (2, 3) ∈ R (2, 4) ∉ R (2, 4) ∉ R (3, 3) ∉ R (3, 4) ∉ R (3, 5) ∉ R 4+3=7>5 4+4=8>5 4+5=9>5 5+3=8>5 5+4=9>5 5 + 5 = 10 > 5 → → → → → →

(4, 3) ∉ R (4, 4) ∉ R • 3 •4 (4, 5) ∉ R (5, 3) ∉ R •5 (5, 4) ∉ R (5, 5) ∉ R

R = { (1, 3), (1, 4), (2, 3) } A x B
R-1 se conforma con los pares ordenados de R, pero cambiando el orden de los elementos en cada par Si (x,y) ∈ R entonces (y,x) ∈R-1

B
5 4 3

(1,5) (2,5) (3,5) (4,5) (5,5) (1,4) (2,4) (3,4) (4,4) (5,4) (1,3) (2,3) (3,3) (4,3) (5,3)

R

R-1 = { (3, 1); (4, 1); (3, 2) } R-1 = { (y, x) ∈ BxA ⇔ y + x ≤ 5 }

1

2

3

4

5

A

En Gráfico cartesiano

Composición de Relaciones
Sean los conjuntos A; B y C
Y entre ellos se establecen relaciones R: A → B y S: B → C Como una relación que va de A en C A •a •b R •1 •2 B S C •v •w

Definimos la composición de R y S, que se escribe S ° R

(a, w) ∈ S ° R
Puede suceder: Entonces:

(a, 2) ∈ R
A •a •b

y (2, w) ∈ S S°R

S ° R = { (a, w) }

R

•1 •2

B S

C •v •w

S ° R = { (b, w); (b, v) }

4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 }

C = {2 ;3 ;8 ;10}

y la relación R ⊂ A x B ; S ⊂ B x C, definidas por :
A x B = { (1,1); (1,4); (1,6); (1,16); (2,1); (2,4); (2,6); (2,16); (3,1); (3,4); (3,6); (3,16); (4,1); (4,4); (4,6); (4,16); (5,1); (5,4); (5,6); (5,16) } de analizar cuales son los pares ordenados que verifican la condición y = x2 surge que

(x,y) ∈ R ⇔ y = x2 ; R ⊂ A x B A B
•1 •2 •4 •4 • 16 •6

R = { (1,1); (2,4); (4,16) } B
•1 •4 •6 •16 •2 •3 •8

C

•1

•3

• 10

•5

B x C = { (1,2); (1,3); (1,8); (1,10); (4,2); (4,3); (4,8); (4,10); (6,2); (6,3); (6,8); (6,10); (16,2); (16,3); (16,8); (16,10) } surge que

analizando los pares ordenados que verifican la condición z = y / 2

(y,z) ∈ S ⇔ z = y/2 ; S ⊂ B x C

S = { (4,2); (6,3); (16,8) }

Si

R = { (x,y) ∈ A x B / y = x2 } A R
•2 •4

•1

B

El dominio de la relación R es un conjunto formado por todos los elementos del primer conjunto (A), que intervienen en la relación La imagen de la relación R es un conjunto formado por todos los elementos del segundo conjunto (B) que intervienen en la relación Dm R = { 1, 2, 4 } Im R = { 1, 4, 16 }

•1 •4 •6 • 16

•3

•5

El dominio de la relación S es un conjunto formado por todos los elementos del primer conjunto (A), que intervienen en la relación La imagen de la relación R es un conjunto formado por todos los elementos del segundo conjunto (B) que intervienen en la relación Dm S = { 4, 6, 16 }

S = { (y,z) ∈ B x C / z = y/2 } B S
•1 •4 •6 • 16 •2 •3 •8 • 10

C

Im R = { 2, 3, 8 }

S • R es la composición de dos relaciones Sean R: A → B y S: B → C
•1 •4 •6 • 16

S • R = S[R]

A

•1 •2

R

B

B

•1 •4 •6 • 16

S
•2 •3

C

•3

•5 •4

• 8 • 10

Que se lee

S cerito R ó R compuesta con S

De manera que (x,z) ∈ S • R ⇔ (x,y) ∈ R ∧ (y,z) ∈ S (1, 1) ∈ R pero 1 ∈ B no se relaciona con ningún elemento de C (2,4) ∈ R y (4,2) ∈ S entonces (2,2) ∈ S • R S • R = { (2,2); (4,8) } 3 ∈ A no se relaciona con ningún elemento de B Dm S • R = { 2, 4 } (4,16) ∈ R y (16,8) ∈ S entonces (4,8) ∈ S • R Im S • R = { 2, 8 } 5 ∈ A no se relaciona con ningún elemento de B

Se conforma con los elementos de A y de C

A

•1 •2

R

B

S

C

•1 •4 •6 • 16

•2 • 3 • 10 •8

•3

•5 •4

Cuando decimos que una Relación R está definida en A2 , decimos que : Los pares ordenados (x, y) de la relación están conformados por elementos x ∈ A y elementos y ∈ A si consideramos los elementos de A relacionándose consigo mismo, (o no) puede suceder que : Cada elemento del conjunto A se relaciona consigo mismo Si algún(os) elemento(s) de A se relaciona(n) consigo mismo.
5 6 7 8 9 11

Propiedades de las Relaciones

A

•a

A

Si ningún elemento de A se relaciona consigo mismo

A
•b •a •b

•b

•a

Es Reflexiva ∀x : x ∈ A ⇒ (x, x) ∈ R
para todo elemento x se verifica que si x pertenece al conjunto A entonces el par ordenado (x, x) pertenece a la Relación R 5-6 7-8-9 11

Es No reflexiva ∃ x / x ∈ A ∧ (x, x) ∉ R
existe(n) xtal que x pertenece al conjunto A y el par ordenado (x, x) no pertenece a la Relación R

Es Arreflexiva ∀x : x ∈A ⇒ (x, x) ∉ R
para todo elemento x se verifica que si x pertenece al conjunto A entonces el par ordenado (x, x) no pertenece a la Relación R

Es Simética
Si para cada par de elementos de A, (x,y) que se relacionan, el par simétrico también pertenece a la relación ∀x ∀y ∈ A : (x, y) ∈ R ⇒ (y, x) ∈ R

A
•a •c •b

Si algún(os) par(es) de elementos de A, (x,y) que se relacionan, tiene(n) par(es) simétrico(s) que también pertenece(n) a la relación, pero otro(s) no ∃x ∃y ∈ A/ (x, y) ∈ R ∧ (y, x) ∉ R Si ningún par de elementos de A, (x,y) que se relacionan, tiene par simétrico que también pertenece a la relación ∀x ∀y ∈ A : (x, y) ∈ R ⇒ (y, x) ∉ R

Es No simétrica

A
•a •c •b
5 7 9 6 8 11

Es Asimétrica

A
•a •c •b •c •b

•a Si en cada par de elementos de A, (x,y) que admite simétrico, sucede que x = y ∀x ∀y ∈ A : (x, y) ∈ R ∧ (y, x) ∈ R ⇒ x = y
5-6 7-8-9 11

Es Antisimétrica

A

A

Si para todos los elementos x, y, z que verifican que (x,y) ∈ R y (y,z) ∈ R entonces el par ordenado (x, z) ∈ R •a •c •b

Es transitiva
∀x,y,z ∈A : (x,y) ∈ R ∧ (y,z) ∈ R ⇒ (x,z) ∈ R
5 6 7 8 9 11

A
•d •a •c •b

Si algunos de los elementos x, y, z verifican que (x,y) ∈ R y (y,z) ∈ R pero el par ordenado (x, z) ∉ R (otros no)

Es No transitiva
∃x ∃y ∃z ∈ A / (x,y) ∈ R ∧ (y,z) ∈ R ∧ (x,z) ∉ R

Si todos los elementos x, y, z verifican que si (x,y) ∈ R y (y,z) ∈ R entonces el par ordenado (x, z) ∉ R

A
•d •a •c •b

Es Atransitiva
∀x ∀ y ∀z ∈ A : (x,y) ∈ R ∧ (y,z) ∈ R ⇒ (x,z) ∉ R
5-6 7-8-9 11

Clasificación de las Relaciones
Si R es una relación es reflexiva, simétrica y transitiva Es Relación de Equivalencia Si R es una relación es reflexiva, antisimétrica y transitiva Es Relación de Orden amplio Es Relación de Orden estricto
5 6 7 8 9 11

Si R es una relación es arreflexiva, asimétrica y transitiva dicho de otra manera,

hay pares ordenados de elementos que no se relacionan entre sí de Si R es una relación de Orden (amplio o estricto) donde . . . ninguna forma

∃a, ∃b / (a, b) ∉ R ∧ (b, a) ∉ R

Es Relación de Orden parcial a ≠ b ⇒ (a, b) ∈ R ∨ (b, a) ∈ R Es Relación de Orden total
5-6 7-8-9 11

en caso contrario . . .

Si R es una relación de Orden (amplio o estricto) donde . . .
dicho de otra manera, todos los elementos diferentes se relacionan entre sí al menos de una forma

5 a) si R = { ( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1) } A

en A = { -3, -2, -1, 0 }

Para clasificar la relación, la representamos en diagrama de Venn -3 -1 0 -2 En el diagrama de Venn y en la definición por extensión se aprecia que hay elementos que se relacionan consigo mismo
Reflexiva Simétrica Transitiva Clasificación

Pero otros elementos como el –3 no se relacionan consigo mismo, vemos que el par ordenado (-3, -3) ∉ R entonces ∃x ∈ A / (x, x) ∉ R la relación es No Reflexiva

En el diagrama de Venn se aprecia que hay elementos que se relacionan entre sí en un solo sentido, por ejemplo: (-1, -3) ∈ R pero (-3,-1) ∉ R ; pero también hay pares ordenados que tienen simétrico, como: (-1,-1) ∈ R y (0, 0) ∈ R. Escribir ∃x, ∃y ∈A / (x, y) ∈ R ∧ (y, x) ∉ R la relación es No simétrica Pero vemos también que los pares ordenados que admiten simétrico, son pares ordenados donde el primer elemento es igual que el segundo Entonces se aplica que en cada par de elementos Es antisimétrica de R que admiten simétrico, x = y ( -1, -1 ) ∈ R ∧ ( -1, -3 ) ∈ R ⇒ ( -1, -3 ) ∈ R ( -2, 0 ) ∈ R ∧ ( 0, 0 ) ∈ R ⇒ ( -2, 0 ) ∈ R ( -1, -1 ) ∈ R ∧ ( -1, -1 ) ∈ R ⇒ ( -1, -1 ) ∈ R ( 0, 0 ) ∈ R ∧ ( 0, 0 ) ∈ R ⇒ ( 0, 0 ) ∈ R No es Relación de Equivalencia Es transitiva

5 b

5 b) S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en B = { x ∈ N0 / x ≤ 3 } Para clasificar la relación, la representamos en diagrama de Venn A 3 1 Podemos escribir 0 2 En el diagrama de Venn y en la definición por extensión se aprecia que todos los elementos del conjunto A se relacionan consigo mismo ∀x: x ∈ A ⇒ (x, x) ∈ R la relación es Reflexiva En el diagrama de Venn se aprecia que hay elementos que se relacionan entre sí en un solo sentido, por ejemplo: (3, 2) ∈ R ; pero (2, 3) ∉ R pero también hay pares ordenados que tienen simétrico, como: (1, 1) ∈ R y (0, 0) ∈ R.

Reflexiva Simétrica Transitiva Clasificación

∃x, ∃y ∈A / (x, y) ∈ R ∧ (y, x) ∉ R la relación es No simétrica Pero vemos también que los pares ordenados que admiten simétrico, son pares ordenados donde el primer elemento es igual que el segundo Entonces se aplica que en cada par de elementos Es antisimétrica de R que admiten simétrico, x = y ( 3, 3 ) ∈ R ∧ ( 3, 2 ) ∈ R ⇒ ( 3, 2 ) ∈ R ( 3, 2 ) ∈ R ∧ ( 2, 1 ) ∈ R ∧ ( 3, 1 ) ∉ R No es Relación de Equivalencia pero . . . Es No transitiva

6) (a,b) ∈ R1 ⇔ el libro a cuesta mas y tiene menos hojas que el libro b. Asumimos que A es un conjunto de libros que en precio y cantidad de hojas es tan amplio como sea posible Por ejemplo . . . R1 = { (1, 2); (1,4); (1,5); (3,1); (3,2); (3,4); (3,5); (5,4) }
Libro 1 Libro 2 Libro 3 Libro 4 Libro 5 $ 30 $ 15 $ 45 $ 7 $ 12 60 hojas 120 hojas 50 hojas 80 hojas 70 hojas
Reflexiva Simétrica Transitiva Clasificación

Esta relación no tiene pares reflexivos, porque ningún libro cuesta mas que lo que él mismo cuesta ni tiene menos hojas que las que tiene. Es Arreflexiva La relación no tiene pares simétricos, porque si el libro 1 cuesta mas y tiene menos hojas que el libro 2, no puede suceder que el libro 2 cueste mas y tenga menos hojas que el libro 1. (1,2) ∈ R ⇒ (2, 1) ∉ R. Si Es Asimétrica Por ejemplo . . . (1, 5) ∈ R ∧ (5,4) ∈ R ⇒ (1,4) ∈ R ⇒ ( a, c ) ∈ R

( a, b ) ∈ R ∧ ( b, c ) ∈ R

y en general, si un libro a cuesta mas y tiene menos hojas que b (a, b) ∈ R

entonces necesariamente el libro a y el libro b cuesta mas y tiene menos cuesta mas y tiene menos hojas que hojas que el libro c (b, c) ∈ R el libro c (a, c) ∈ R Es transitiva Es Relación de Orden Estricto

7) Sea R una relación binaria sobre el conjunto de todas las sucesiones de ceros y unos, tal que : R = { (a, b) / a ∧ b son sucesiones que tienen el mismo número de ceros }. Los elementos que conforman los pares ordenados son sucesiones de ceros y unos, por ejemplo : 00; 01; 010; 000; 100; 1010; 00110010; 1110100; etc. . . R es un conjunto infinito . . . porque son infinitas las sucesiones de ceros y unos
Reflexiva Simétrica

Sabido es que cada cadena tendrá Transitiva así, afirmamos que : exactamente la cantidad de ceros Clasificación que ella misma tiene ∀x: x ∈ A ⇒ (x, x) ∈ R la relación es Reflexiva si la cadena x tiene igual cantidad de ceros que la cadena y (x, y) ∈ R ⇒ (y, x) ∈ R la relación es Simétrica la cadena y tendrá igual cantidad de ceros que la cadena x si la cadena x tiene igual cantidad de ceros que la cadena y y la cadena y tiene igual cantidad entonces la cadena x tiene igual de ceros que la cadena z cantidad de ceros que la cadena z la relación es Transitiva

(x, y) ∈ R ∧ (y, z) ∈ R ⇒ (x, z) ∈ R

Por tanto R es Relación de Equivalencia

8) Sea R una relación binaria sobre el conjunto de todos los enteros positivos , tal que : R = {(a, b) / a - b es un entero positivo impar}. La relación R está conformada por pares ordenados de números enteros positivos (naturales) tal que la diferencia entre ellos sea un entero positivo impar En primer lugar corresponde descartar los pares ordenados que estén conformados por el mismo elemento , por ejemplo (2, 2); (3, 3); (4, 4) En cualquiera de esos casos x – x = 0 y 0 NO es entero positivo impar ∀x: x ∈ A ⇒ (x, x) ∉ R luego, la relación es Arreflexiva Si tomo dos números enteros positivos, puedo efectuar x – y con resultado positivo, solamente si x > y en ese caso, al efectuar b – a el resultado será negativo ,

Reflexiva Simétrica Transitiva Clasificación

∀x ∀y ∈ A : (x, y) ∈ ⇒ (y, x) ∉ R luego, la relación es Asimétrica R y – z entero Supongamos tres enteros positivos x, y, z; de manera que x > y > z positivo Si x es par e y es impar x – y será entro positivo impar, si z es par impar x – z será entero positivo par (x,y) ∈ R ∧ (y,z) ∈ R pero (x,z) ∉ R y – z entero Si x es impar e y es par x – y será entro positivo impar, si z es impar positivo impar x – z entero (x,y) ∈ R ∧ (y,z) ∈ R pero (x,z) ∉ R positivo par luego, la relación es Atransitiva

9) El razonamiento falso dice que: si x R y ⇒ x R y ∧ y R x ⇒ x R x ( x, y ) ∈ R ∧ (y,x) ∈ R ⇒ (x,x) ∈ R Si una relación es simétrica y transitiva . . . es reflexiva de otra manera

( x, y ) ∈ R

xRy ∧ yRx
porque la relación debe ser simétrica (por hipótesis)

xRx
Reflexiva Simétrica Transitiva

el par ordenado ( x, y ) pertenece a la relación R

y también transitiva por hipótesis

A a y x

Supongamos una relación definida en A Igualmente, ahora decimos que si

( y, x ) ∈ R

⇒ yRx ∧ xRy

⇒ yRy

Hasta aquí, la reflexividad parece ser una consecuencia de la simetría y de la transitividad Pero si algún elemento del conjunto A no se relaciona con ningún otro, no se establecen la simetría ni la transitividad (por ejemplo el elemento a) Luego este elemento no tiene porqué relacionarse consigo mismo Observa que la relación definida en A es simétrica y transitiva, pero No Reflexiva

PARTICION DE UN CONJUNTO
Dado un conjunto A cualquiera no vacío, es posible establecer una partición de A Conformando con los elementos de A subconjuntos Ai ; Aj ; . . . . Así tenemos por ejemplo

A
A1 1 4

A2 2 A3 5 3

A1 = { 1; 4 }

A2 = { 2; 3 } A2 ≠ ∅;

A3 = { 5 } A3 ≠ ∅ A2 ∩ A3 = ∅

Donde: 1) A1 ≠ ∅; 2) A1 ∩ A2 = ∅

A 1 ∩ A3 = ∅

P = {A1; A2; A3 } es partición de A

3) A1 ∪ A2 ∪ A3 = A

Todos los subconjuntos son distintos de l conjunto vacío (tienen algún elemento) Ai ≠ ∅ La intersección entre todos los subconjuntos tomados de a dos, es vacía. Ai ∩ A j = ∅ La unión de todos los subconjuntos es igual al conjunto particionado . . ∪ . Aj ∪ Aj ∪ . . = A

10) a) A1 = {x ∈ Z : 2  x} y A2 = { x ∈ Z : 2  x } con A1 está conformado por todos los números enteros que son divisibles por 2 A2 está conformado por todos los números enteros que no son divisibles por 2 1) A1 ≠ ∅ y A2 ≠ ∅ si un entero es par, no es impar; y viceversa

P = { A1; A2 }

A1 = { enteros pares} A2 = { enteros impares} 3) A1 ∪ A2 = A

2) A1 ∩ A2 = ∅

P = { A1; A2 } es partición de Z (números enteros )
b) Evaluar si Q = { N; Z- } es partición de Z

los enteros pares con los impares; conforman la totalidad de los elementos del conjunto de números enteros Son subconjuntos de Q N (naturales) Z- (enteros negativos) 3) N ∪ Z- ≠ Z pero . . . 0 ∉ N y 0 ∉ Z-

1) N ≠ ∅ y 2) N ∩ Z- = ∅ Z- ≠ ∅ porque en N están todos los enteros positivos (Z +) y en (Z-) los enteros negativos

Q = { N; Z- } NO es partición de Z (no verifica la tercera condición)

11) Dado el conjunto de conjuntos A = {1, 2, 3, 4} 

M = {A, B, C, ∅}, donde B = {1, 3} C = {3}

escribimos por extensión la relación “⊂” definida en M

A B 2 1 3 C 4

todo conjunto está incluido en sí mismo el conjunto vacío está en todos los conjuntos R = { (A,A); (B,B); (C,C); (∅,∅); (∅,C); (∅,B); (∅,A);(C,B); (C,A); (B,A) } La Relación en diagrama de Venn será : cada elemento se relaciona consigo mismo si A ≠ B y B ⊂ A; A ⊄ B

M
C A ∅ B

Es Reflexiva

No Simétrica
en la relación de inclusión siempre está presente la transitividad . . .

Antisimétrica Pero al ser reflexiva, cada par reflexivo, tiene simétrico, entonces . . .
Si C ⊂ B ; y B⊂A ⇒ C⊂A

Transitiva Es una Relación de Orden Amplio

LATTICES

Un conjunto ordenado es láttice si Mínima cualesquiera dos elementos en el Cota Inferior conjunto tienen

Cota Superior

y única

y única Máxima Sea A = { a, b, c, d, e, f, g } y se define en él la relación R

R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f); (a,b); (a,c); (a,d); (a,e); (a,f); (a,g); (b,e); (b,g); (c,e); (c,f); (c,g); (d,f); (d,g); (e,g); (f,g); (g,g)} Un conjunto es ordenado si sus elementos se vinculan mediante una Reflexiva Antisimétrica Transitiva relación de orden


b• e• c

a

Relación de orden

•d •f

Construimos un gráfico donde la reflexividad se muestra con • para significar que cada elemento se relaciona consigo mismo unimos con un segmento los elementos que se relacionan entre sí, por ser antisimétrica. ej (a,b); (a,d); (c,e) ∈ R pero (b,a); (d,a); (e,c) ∉ R

y aceptamos la transitividad en el sentido del recorrido de los elementos que se vinculan a través de los segmentos •g por ejemplo : (a,b) ∈ R ∧ (b,e) ∈ R ⇒ (a,e) ∈ R (a,c) ∈ R ∧ (c,f) ∈ R ⇒ (a,f) ∈ R (a,f) ∈ R ∧ (f,g) ∈ R ⇒ (a,g) ∈ R

Sea el conjunto ordenado A en el que se define una relación de orden R (reflexiva, antisimétrica y transitiva)

R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f); (g,g); (a,b); (a,c); (a,d); (b,e); (a,e); (c,e); (d,f); (a,f); (c,f); (e,g); (a,g); (b,g); (c,g); (f,g); (d,g)}
para (a,b) para (b,c) para (e,f) Tomando dos elementos cualesquiera, por ejemplo para (c,d) para (b,g) para (d,e) c. s. mím. = f c. i. Máx. = a c. s. mím. = g c. i. Máx. = b c. s. mím. = g c. i. Máx. = a b• e• a

c. s. mím. = b c. i. Máx. = a c. s. mím. = e c. i. Máx. = a c. s. mím. = g

• • •g •d •f

c

c. i. Máx. = c se aprecia que, efectivamente para dos elementos cualesquiera de A, existen c.s.mín y c.i. Máx. y son únicas

siempre que el gráfico resulta una retícula cerrada, como en este caso, el conjunto con la relación en él definida es Láttice (retícula)

Si analizáramos la misma relación pero en un conjunto B = { a, b, c, d } Por extensión será: R = { (a,a); (b,b); (c,c); (d,d); (a,b); (a,c); (a,d) } De manera que los pares reflexivos se representan Los pares antisimétricos se representan uniendo con una línea (que se entiende siempre en un solo sentido –hacia abajo-) Si analizamos la relación por extensión veremos que se trata de una relación transitiva Pero . . . Si bien los pares (a,b); (a,c); (a,d) tienen c.s.mín y c.i. Máx. únicas b• a

• • • • • •d

c a

Los pares (b,c); (b,d) por ejemplo, NO tienen c.s.mín única (elementos que no están en la misma línea y la retícula no se cierra) Entonces en este caso NO hay Láttice a Tampoco son Láttice retículas como c c d

b

b• Observa que las retículas están abiertas Ello se debe a que hay pares de elementos e que no tienen única c.s.min y/ó c.i.Máx

• •

• •
f

d

12 a) Analizar si (N, ≤) es Láttice N = { 1, 2, 3, 4, 5, . . . . . }

el conjunto N está conformado por

( N, ≤ ) significa que N es un conjunto ordenado según la relación ≤

•1 •2 •3 • •
4 5

cada elemento se relaciona consigo mismo, es reflexivo La relación es antisimétrica. antisimétrica (1,2) ∈ R; (2,3) ∈ R; (1,3) ∈ R; . . . . .

y transitiva es apreciable que entre los elementos 3 y 4 (por ser relación de orden) la cota superior mínima es 4 entre los elementos 2y5 la cota inferior máxima es 3 la cota inferior máxima es 2 habrá cota superior mínima = n y cota inferior máxima = m

la cota superior mínima es 5 y así sucesvamente, para cualquier par de valores (m, n)

. .

si tomamos un par de valores donde m = n coinciden las c.s.mín = c.i.Máx = m = n Se verifica entonces que ( N, ≤ ) es láttice
12 b

12 b) Analizar si (N, /) es Láttice Analizaremos para algunos elementos de N y trataremos de “generalizar” las situaciones que encontremos, basándonos en propiedades conocidas cada natural es divisible pos sí mismo, entonces es reflexiva 1 divide a cualquier natural, entonces comenzamos con el 2 y el 3 vinculamos al 2 y 3 los naturales que son múltiplos precisamente de 2 y 3 5

•1 •
9 3

• •6 • 18

•2 •4 • 12

que son el 4; 6 y 9

e irán apareciendo números primos a medida que avanzamos (divisibles solamente por sí mismos y por la unidad) y continuamos buscando múltiplos de 4; 6 y 9 el 12 y el 18 por ejemplo

y la retícula puede seguir creciendo, por tratarse de un conjunto infinito; por ejemplo el 3 y el 5 dividen a 15 Es claro que, tomados dos elementos cualesquiera siempre hay una cota inferior máxima única ( 1 )

Pero lo que parece no estar claro es si hay cota superior mínima (única) la retícula parece no cerrarse cuando los valores crecen (parte inferior del grafo) 15 •

5


9

•1
3

• •6 • 18 • 36

•2 •4 • 12
Puede suceder que m = n ó bien que m ≠n

Pero tenga presente que cada vez que aparezcan en la retícula dos vértices (elementos) que parezcan “no cerrarse”; sin dudas habrá algún número natural que resulta divisible por ambos, por ejemplo el producto de ambos

Finalmente, tomados dos elementos cualesquiera de N Si m = n

{ m, n }

coinciden las cota sup. Mím y cota inf. Máx. que es el mismo m =n

Si m ≠ n existe siempre mínimo común múltiplo y máximo común divisor de m y n; que son respectivamente las cota sup. Mím y cota inf. Máx. de {m, n} Luego ( N,  ) es Láttice Si analizamos (N0, ) Es fácil advertir que 0 no divide a 0 Luego ésta no es una relación reflexiva y por ello no es de orden

entonces ( N0,  ) NO es Láttice

FUNCIONES
Dados dos conjuntos definimos en el producto cartesiano A x B una Relación R : (a, b) ⇔ b = a + 1 Una relación R ⊂ A x B Si verifica dos condiciones: A = { 1, 2, 3 } B = { 2, 3,4 }

es función . . . Existencia y Unicidad

13a 14 i 14 iv

13b 14 ii 14 v

13c 14 iii 14 vi

Existencia verifica si para cada elemento del conjunto A existe una imagen en B Simbólicamente ∀a ∈ A : ∃b ∈ B / (a, b) ∈ f
para todo elemento a que pertenece al conjunto A se verifica que existe un elemento b que pertenece al conjunto B tal que el par ordenado (a, b) pertenece a f

A 1 2 3

B 2 3 4

Unicidad, si cada elemento del conjunto A se relaciona con un solo elemento del conjunto B

Simbólicamente (a, b) ∈ f ∧ (a, c) ∈ f ⇒ b = c
Si el par ordenado (a, b) pertenece a f y el par ordenado (a, c) pertenece a f entonces b es igual a c 13 14

Es función si cada elemento del conjunto A se relaciona con uno y solo un elemento del conjunto B

En situaciones como también se verifica que para cada elemento del conjunto A existe una imagen en B (existencia)

A 1 2 3

B 2 4

cada elemento del conjunto A se relaciona con un solo elemento del conjunto B (unicidad) Situaciones como . . . no verifica la condición de existencia el elemento 2 ∈ A pero no tiene un correspondiente en B En el caso . . .

Es función
A 1 2 3 A B

13a

13b 14 i

13c 14 ii 14 iv 14 vi

2 4

14 iii 14 v

no verifica la condición de unicidad

NO es función
1 2 3

B

el elemento 1 ∈ A se relaciona con dos elementos diferentes de la imagen (B )

1 3 4 2

NO es función
13 14

Clasificación de funciones
Una función es inyectiva si dos elementos cualesquiera diferentes del dominio tienen imágenes diferentes ∀x1 ∀x2 ∈ A : x1 ≠ x2 ⇒ f(x1) ≠ f(x2)

En este caso tenemos función inyectiva

Porque cada elemento del conjunto A tiene imagen diferente en el conjunto B 1 2 3

13a

13b 14 i

13c 14 ii 14 iv 14 vi

A

B 2 3 4

Una función es sobreyectiva si todos los elementos del conjunto B (codominio) son Imagen de la función, es decir que todos los elementos del conjunto B admiten al menos un antecedente en el dominio ∀y ∈ B, ∃x ∈ A / y = f(x)

14 iii 14 v

En este caso tenemos función sobreyectiva

Porque todos los elementos del conjunto B tienen un antecedente con el que se relacionan en el conjunto A

Si una función es inyectiva y sobreyectiva . . . es BIYECTIVA
13 14

Puede suceder que . . . se verifica que 1 ≠ 2 pero f(1) = f(2) = 2

A 1 2 3

B 2 3 4
13a 13b 14 i 14 iii 13c 14 ii 14 iv 14 vi

función NO inyectiva
asimismo el elemento 3 del conjunto B no admite antecedente en el conjunto A Si . . .

función NO sobreyectiva
A 1 2 3 4 B 2

se verifica que 1 ≠ 2 pero f(1) = f(2) = 2

función NO inyectiva
pero todos los elementos del conjunto B admiten antecedente en A A 1 2 3
13 14

14 v

función sobreyectiva
2 3 4

B 1

cada elemento del conjunto A tiene imagen diferente en el conjunto B pero no todos los función inyectiva elementos del conjunto B admiten antecedente en A

función NO sobreyectiva

Representación Gráfica de Funciones
Para representar cualquier función se debe conocer . . .
Cuál es el dominio donde está definida la función . . . Dm Y = f(x) Im y cuál es la imagen que se corresponde con el dominio de la función y se estudia la ley de variación de la función definida por y = f(x) . . . esto se hace asignándo valores xi en la expresión y = f(x); encontrando el resultado yi que le corresponde a f(xi) La imagen de la función son los valores que se corresponden con cada valor del dominio de la función Si dos elementos diferentes del codominio (conjunto B) son imagen del mismo elemento de A, la expresión no es función (Unicidad)
13a 13b 14 i 14 iii 14 v 13c 14 ii 14 iv 14 vi

x

y

el dominio de la función son los valores que puede tomar xi en f(x)

recuerde siempre que: si un valor del conjunto “de salida A” no tiene imagen, la expresión no es función (Existencia)
13 14

N y R 5 4 3 2 1

Podemos representar gráficamente una función en un par de ejes coordenados Sea f : N → N / f(x) = x + 1
Sea la función f que va de Naturales en Naturales tal que “f de x” es igual a x+1

1 2 3 4 en el eje de abscisas (x) En el eje de ordenadas (y) si 2 2+1 3 el dominio N la imagen N si 3 3+1 4 Si la misma ley de variación (y = x + 1) si 4 4+1 5 estuviera definida de R → R La función ahora es el dominio ahora será Reales f : R → R / f(x) = x + 1 y la imagen también Reales Pero al ser el dominio todos los puntos del eje x (reales), la función está definida para todo x debemos unir todos los puntos obtenidos
13 14

y confeccionamos una tabla, asignándole valores a x para hallar valores de y x si R N

13a

x
1

x + 1
1+1

y
2

13b 14 i 14 iii 14 v

13c 14 ii 14 iv 14 vi

13 a) Para representar f: R → R / f(x) = - 5 x Primero reconocemos que el dominio son todos los números reales Entonces cualquier valor de x debe tener un correspondiente en y Trazamos un par de ejes coordenados y confeccionamos una tabla de valores
Funciones Clasificación Rep. Gráfica

x
1 -1 0 2 -2

- 5 x
-5 · 1 -5 · (-1) -5 · 0 -5 · 2 -5 · (-2)

Y
-5 5 0 -10 10

Y finalmente porque es una relación que va de Reales en Reales, trazamos con línea llena una recta que une los puntos identificados
13 b 13 c

13 b) Para representar g: Zpares → Z / g(x) = 1 x 2 reconocemos el dominio y la imagen de la relación Entonces serán pares ordenados (x,y) válidos solamente aquellos donde x e y sean números enteros Trazamos un par de ejes coordenados y confeccionamos una tabla de valores Y la relación queda representada por puntos porque va de Enteros pares en Enteros. (no corresponde el trazado de linea llena)
Funciones

x
2 -2 4 -4 6 -6 0

1 x 2 ½·2 ½ · (-2) ½·4 ½ · (-4) ½·6

Y
1 -1 2 -2 3

Clasificación Rep. Gráfica

½ · (-6) - 3 ½·0 0

13 c

13 c) Para representar h(x) = 2x + 3 Primero reconocemos cual es el dominio y cual es la imagen de la relación Significa que serán pares ordenados de la relación aquellos en los que x ∈ N y resulta de aplicar x en h(x), que también h(x) ∈ N

definida de N en N En este caso tanto el dominio como la imagen son el conjunto de los números naturales (N)
Funciones Clasificación Rep. Gráfica

x
1 2 3 4 5

2x + 3
2·1+3 2·2+3 2·3+3 2·4+3 2·5+3

Y
5 7 9 11 13

Trazamos un par de ejes coordenados Y confeccionamos una tabla de valores para g(x)

Y la función queda representada por puntos porque va de Naturales en Naturales

14 i) Para analizar el dominio de la expresión y = –3x + 4 consideramos que la variable x puede tomar cualquier valor real entonces Dm = { x / x ∈ R } Dm = [ - ∝; ∝ ]
Funciones Clasificación

de la misma manera, los valores que tome y para los diferentes valores de x, van a estar contenidos en la recta de los reales entonces Im = { x / x ∈ R } Im = [ - ∝; ∝ ]

Rep. Gráfica

Trazamos un par de ejes coordenados y confeccionamos una tabla de valores

x
1 -1 2

- 3 x + 4
-3·1+4 - 3 · (-1) + 4 -3·2+4

Y
1 7 -2

Cada valor del dominio (x) tiene un valor diferente en la imagen (y) Todos los elementos de la imagen (eje y) admiten un antecedente en el dominio (eje x)

Inyectiva

Por ser una función inyectiva y sobreyectiva

Es función biyectiva
14 ii 14 iii 14 iv 14 v

es una función Sobreyectiva que va de Reales en Reales
14 vi

14 ii) entonces

Para analizar el dominio de la expresión y = – x2 + 4x - 3 Dm = { x / x ∈ R } Dm = [ - ∝; ∝ ]
Funciones Clasificación Rep. Gráfica

consideramos que la variable x puede tomar cualquier valor real Antes de definir la imagen, vamos a representar gráficamente la parábola Trazamos un par de ejes coordenados y para confeccionar la tabla de valores buscamos los valores de x que hacen 0 la función (raíces) − 4 ± 42 − 4( −1)( −3) = 2( −1)

x
1 3 2 0 4

- x2 + 4x - 3
- 12 + 4 · 1 - 3 - 32 + 4 · 3 - 3 - 22 + 4 · 2 - 3 - 02 + 4 · 0 - 3 - 42 + 4 · 4 - 3

Y
0 0 1 -3 -3

x1 = 1 − 4 ± 16 − 12 = −2 x2 = 3

con estos valores empezamos -1 -(-1)2 + 4·(-1) - 3 - 8 la representación gráfica 5 - 52 + 4 · 5 - 3 - 8 El vértice de la parábola estará en un punto equidistante Tomamos valores a la izquierda y finalmente trazamos la curva uniendo y a la derecha de los ya todos los puntos ( R → R ) hallados
14 iii 14 iv 14 v 14 vi

La Relación definida por y = – x2 + 4 x – 3 que tiene una gráfica tiene el dominio en Reales Dm = { x / x ∈ R } De observar el gráfico, vemos que la relación no tiene valores de y mayores que 1 Im = { x / x ∈ R ∧ x ≤ 1 } en el gráfico y en la tabla se nota que hay valores diferentes del dominio (x) que tienen la misma imagen (y); por ejemplo f(0) = - 02 + 4 · 0 – 3 = - 3 f(4) = - 42 + 4 · 4 – 3 = - 3 Igualmente es posible ver que, de los elementos del conjunto de llegada (Reales - eje Y), solamente los menores o iguales que 1 pertenecen a la imagen de la función
Funciones Clasificación Rep. Gráfica

No Inyectiva

con solo un par de valores del dominio que admita la misma imagen, es suficiente para que la función sea No Inyectiva

No Sobreyectiva

14 iii)

Antes de analizar la expresión y = log2 (2x - 3)

Recordamos que a la función logarítmica la podemos definir mediante :

loga b = c

⇔ ac = b

ejemplo : log2 8 = 3 Log x

23 = 8

Las calculadoras en general, con la tecla

entregan valores ¿ en la tecla de la calculadora falta la base ?

de logaritmo decimal; es decir de logaritmos en base 10 NO porque si el logaritmo es decimal, NO se coloca la base y con la tecla Ln x

entregan valores de logaritmo natural; ( logaritmos en base e ) debe . . .

Si deseamos conocer un logaritmo con base distinta de 10 ó e plantear la siguiente expresión : Ejemplo : calcula log2 8 =

loga x =

log x log a

log2 8 =

log 8 0,903089987 = = log 2 0,3010299957
14 iv

3

con la calculadora (que resuelve solo logaritmos decimales), podemos resolver un logaritmo que no es decimal

14 v

14 vi

14 iii) Ahora representamos gráficamente log2 (2x - 3) Vamos a confeccionar una tabla de valores x 2 2,5 [log(2x-3)]/log2
0/0,301030 0,301030/0,301030

recuerda que :

Y 0 1 2 3

log( 2x − 3) = log2( 2x − 3) = log 2
Funciones Clasificación Rep. Gráfica

3,5 0,602060/0,301030 5,5 0.903090/0,301030

9,5 1,204120/0,301030 4 1,75 –0,301030/0,301030 -1 1,65 –0,522879/0,301030 -2,26 1,55 -1/0,301030
-3,32

siempre que 2x – 3 > 0 habrá algún valor para f(x)

investigamos qué pasa a la izquierda de la asíntota, por ejemplo para x = 0

si x = 1,5 trazamos entonces en x = 1,5 la 2x – 3 = 0 asíntota de la función 2x – 3 toma valores negativos porque no existe ningún valor al Sabemos que el y la función no está definida se cual pueda elevar 2 y obtener log 0 ∃ como resultado un negativo en esos valores ( x < 1.5 ) trazamos la curva con los puntos conocidos (sin tocar la asíntota)

la relación definida por y= log2 ( 2x – 3 ) se representa en el gráfico x toma solamente valores mayores que 1,5 Dm = { x / x ∈ R ∧ x > 1,5 } En cambio, en el gráfico se ve que todos los valores del eje y tienen antecedente en x Im = { x / x ∈ R } Cada valor del dominio (eje x) tiene un valor diferente en la imagen (eje y)
Funciones Clasificación Rep. Gráfica

entonces:

Función Inyectiva
Todos los elementos del codominio (eje y) son imagen de la función -admiten un antecedente en el dominio (eje x)-

Función Sobreyectiva
Por ser una función inyectiva y sobreyectiva Recuerda que siempre es conveniente empezar a representar una función logarítmica localizando la asíntota

Es función biyectiva

14 iv)

 x −1  Si f(x) =  3 x3 + 1 

si

x>0

si x=0 si − 2 ≤ x < 0

En primer lugar reconocemos que x no puede tomar valores menores que -2 Dn = [-2 ; ∝ )
Funciones Clasificación

En consecuencia Dm = {x/x ∈ R ∧ x ≥ –2 }

Con frecuencia los alumnos confunden esta relación (definida por partes) con “tres relaciones diferentes” Se trata de una sola relación (tiene y hemos hallado un solo dominio); PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN DETERMINADOS TRAMOS DEL DOMINIO si x > 0 la ley de variación es x - 1 si x = 0 la función vale 3 si x ≤ 0 la función vale x3 + 1

Rep. Gráfica

La representación gráfica se realiza como para cualquier otra relación

Se confeccionan tablas de valores cuidando que las leyes de variación se correspondan con los respectivos intervalos del dominio
14 v 14 vi

Para x > 0

f(x) = x - 1

x
1 3

y = x - 1
1-1 3–1

Y
0 2

Si x se acerca mucho a 0, pero sin ser igual a 0, toma por ejemplo valores como 0,1; 0,01; 0,001, etc si x fuera igual a 0 entonces y sería igual a - 1 debemos entender que si x se acerca a 0 con valores mayores que 0, y se acerca a –1, pero sin ser y = -1

Funciones Clasificación Rep. Gráfica

Representamos ese punto con un círculo que significa que la función toma valores muy próximos a ese valor (-1) para valores muy próximos de x = 0 (por derecha ); pero sin ser y = – 1 en x = 0 Unimos con una recta todos los valores hallados por tratarsae de una ley de variación lineal y comprobamos que hay “al menos” tres puntos alineados En x = 0 la función vale 3

Para x < 0

f(x) = x + 1
3

si x fuera igual a 0 entonces y sería igual a 1 (con esta ley de variación) -1 (-1)3 + 1 0 debemos entender que si x se acerca a -2 (-2)3 + 1 -7 0 con valores menores que 0, y se acerca a 1, pero sin ser y = 1 Representamos ese punto con un círculo que significa que la función toma valores muy próximos a ese valor (1) para valores muy próximos de x = 0 (por izquierda); pero sin ser y = 1 en x = 0 Unimos los tres puntos hallados con uina curva de parábola cúbica solo para valores comprendidos en el intervalo [-2; 0) y tenemos así la representación gráfica de la función

x

y = x3 + 1

Y

Si x se acerca mucho a 0, pero sin ser igual a 0, toma por ejemplo valores como -0,1; -0,01; -0,001, etc

Funciones Clasificación Rep. Gráfica

 x −1  f : Dm → Im / f(x) =  3 x3 + 1 

si

x >0

si x =0 si − 2 ≤ x < 0

El dominio de la función ya fue encontrado [ -2; ∝ )
Y podemos observar en el gráfico que llos valores del eje y que admiten antecedente en los valores del dominio del eje x, van de –7a∝

Im = { x / x ∈ R ∧ x ≥ -7 }
Existen valores diferentes del dominio que tienen la misma imagen, por ejemplo para x= 1 ó x = - 1; y=0

Im = [-7; ∝)

Funciones Clasificación Rep. Gráfica

La función es No inyectiva
Como la función está definida de Dm → R y resulta que la Imagen no es igual a R sino que Im ⊂ R

La función es No sobreyectiva

2x   14 v) Si f(x) =  1   ln x 

si si

x <0 x >1

si 0 ≤ x ≤ 1

En primer lugar reconocemos que x puede tomar valores que van de - ∝ a + ∝ Dn = (- ∝ ; + ∝ )
Funciones Clasificación

En consecuencia Dm = {x/x ∈ R }

Con frecuencia los alumnos confunden esta relación (definida por partes) con “tres relaciones diferentes” Se trata de una sola función (tiene y hemos hallado un solo dominio); PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN DETERMINADOS TRAMOS DEL DOMINIO si x < 0 la ley de variación es 2x si 0 ≤ x ≤ 1 la función vale 1 si x > 0 la ley de variación es lnx

Rep. Gráfica

La representación gráfica se realiza como para cualquier otra función

Se confeccionan tablas de valores cuidando que las leyes de variación se correspondan con los respectivos intervalos del dominio
14 vi

Para x > 0

f(x) = ln x

x
4 8

ln x
ln 4 ln 8

y
1,39 2,08
Funciones Clasificación Rep. Gráfica

Si x fuera igual a 1 entonces y sería igual a 0 debemos entender que si x se acerca a 1 con valores mayores que 1, y se acerca a 0, pero sin ser y = 0 representamos ese punto con un círculo que significa que la función toma valores muy próximos a y = 0 para valores muy próximos de x = 1 (por derecha ); pero sin ser y = 0 en x = 1 Unimos los valores hallados con una curva que representa la ley de variación logarítmica luego, estudiamos qué sucede con los valores de x comprendidos entre 0 y 1; – intervalo [0; 1] si x = 0 si x = 1 para cualquier valor del intervalo [0; 1] la función vale 1

y=1 y=1

Para los valores de x < 0 estudiaremos la ley de variación Confeccionamos tabla de valores

y = 2x

x
-1 -2

2x
2-1 2
-2

y
1/2 1/4 debemos entender que si x se acerca a 0 con valores menores que 0 ; y se acerca a 1, pero sin ser y = 1
Funciones Clasificación Rep. Gráfica

Si x fuera igual a 0 entonces y sería igual a 1

representamos ese punto con un círculo que significa que la función toma valores muy próximos a y = 1 para valores muy próximos de x = 0 (por izquierda); pero sin ser necesariamente y = 1 en x = 0 Unimos los valores hallados con una curva que representa la ley de variación exponencial (2x) Luego prolongamos la curva hasta el punto y =1, porque de un estudio anterior resulta que en x = 0 la función efectivamente vale 1 y borramos el círculo rojo de y = 1 porque al tomar valor la función en ese punto, ya no tiene sentido mantenerlo

Cualquier valor del eje x tiene un correspondiente en el eje y

Dm = { x / x ∈ R }

Dm = (-∝; ∝)

Pero se ve también que, solamente los valores de y > 0 admiten algún antecedente en el eje x

Im = { y / y ∈ R ∧ y > 0 }

Im = (0; ∝)

Funciones Clasificación Rep. Gráfica

Existen valores diferentes del dominio que tienen la misma imagen, por ejemplo para x = 0 ó x = 1; y = 1

La función es No inyectiva
Como la función está definida de Dm → R y resulta que la Imagen no es igual a R sino que Im ⊂ R

La función es No sobreyectiva

Trazamos un par de ejes coordenados en ese caso tendríamos 2 / 0; así podemos decir que para x = - 3 no En primer lugar reconocemos que existe un valor finito de la función x no puede tomar el valor - 3 trazamos una asíntota en x = -3 Luego confeccionamos tabla de valores, y estudiamos qué sucede a la para x próximos a –3 por derecha izquierda de x= –3 Funciones 2 14 vi) Si f(x) = x +3 x -2 -1 0 1 2 2 x +3 2/(-2+3) 2/(-1+3) 2/(0+3) 2/(1+3) 2/(2+3) y 2 1 2/3 1/2 2/5 x -4 -5 -6 -7 -8 2 x +3 2/(-4+3) 2/(-5+3) 2/(-7+3) y -2 -1 -1/2

Clasificación

Rep. Gráfica

2/(-6+3) -2/3 2/(-8+3) - 2/5

-2,5 2/(-2,5+3) 4 -2,6 2/(-2,6+3) 5

-3,5 2/(-3,5+3) - 4 -3,6 2/(-3,6+3) - 5

x = -3 es un valor que no está definido en la función, luego la línea de la función no puede cortar la línea de trazos punteada Unimos los puntos situados a la izquierda de x = -3 por un lado y los puntos de la derecha de x = -3 por otro lado

Cualquier valor del eje x ≠ -3 tiene un correspondiente en el eje y

Dm = { x / x ∈ R ∧ x ≠ - 3 }

Dm = (-∝; -3) ∪ (-3; ∝)

los valores del eje y que se relacionan con algún valor de x; son todos, menos el 0

Im = { y / y ∈ R ∧ y ≠ 0 }

Im = (-∝; 0) ∪ (0; ∝)

Funciones Clasificación Rep. Gráfica

No Existen valores diferentes del dominio que tengan la misma imagen todos los valores del dominio tienen imágenes diferentes

La función es inyectiva
Como la función está definida de Dm → R y resulta que la Imagen no es igual a R sino que Im = R – {0}

La función es No sobreyectiva

14 d) De todas la funciones analizadas solo son biyectivas f : R → R / f(x) = –3x + 4 y f : R > 1,5 → R / f(x) = log2 (2x – 3) f : R → R / f(x) = –3x + 4

y precisamente, por ser biyectivas admiten función inversa para hallar la inversa de la función, transformamos el dominio en imagen y viceversa f en la ley de variación hacemos pasajes de términos, para despejar x y = –3x + 4 3x = 4 - y y - 4 = –3x luego despejo x
Funciones Clasificación Rep. Gráfica

-1

4−x : R → R/ f (x) = 3
−1

multiplico todo por (-1) y permuto los miembros (para ordenar)

x =

4−y 3

y efectúo ahora un cambio de variables (x por y)

y =

4−x 3

La ley de variación así obtenida, es la ley de variación de la función inversa

Representamos gráficamente

f −1 : R → R / f −1 ( x ) =

4−x 3 en el mismo gráfico que hemos representado

f : R → R / f ( x ) = −3x + 4
confeccionamos una tabla de valores
Funciones Clasificación

Rep. Gráfica

x
4 -2 -8

4−x 3 4−4 3 4 − ( −2 ) 3 4 − ( −8 ) 3

f-1(x)
0 2 4

trazamos la recta, que también va de R → R tenga siempre presente que los puntos de una función cualquiera que admite inversa; y su inversa son equidistantes respecto de la bisectriz (recta a 45º) del primer cuadrante

para hallar la inversa de la función, recordemos que ya hemos hallado

f : Dm → R / f(x) = log2(2x-3) entonces

Dm = { x / x ∈ R ∧ x > 1,5 } f:R
> 1,5

transformamos el dominio en imagen y viceversa luego despejamos la incógnita x de la ley de variación de f= log2(2x-3) y = log2(2x – 3) 2x − 3 = 2y

→ R / f(x) = log2(2x-3)
> 1,5

Funciones Clasificación Rep. Gráfica

f-1 : R → R

/ f

−1

2x + 3 (x) = 2

recuerde que: logab = c

ac = b

2y = 2x - 3 luego despejo x

permuto los miembros (para ordenar) 2x = 2y + 3 2y + 3 x = 2

y efectúo ahora un cambio de variables (x por y)
2x + 3 y = 2

La ley de variación así obtenida, es la ley de variación de la función inversa

Representamos gráficamente en el mismo gráfico que hemos representado

f

−1

: R → R > 1,5 / f

−1

(x) =

2

x

+3 2

f : R > 1.5 → R / f ( x ) = log2( 2x − 3)
Funciones Clasificación

X
0 1 2 4 -1 -4
-10

2

x

20 + 3 2 21 + 3 2

+3 2

confeccionamos una tabla de valores f-1(x) borramos la asíntota de f(x) para limpiar el dibujo 2
2,5 3,5 9,5 1,75 1,53 1,5001

Rep. Gráfica

unimos los puntos con trazo continuo porque f-1 va de R → R también aquí f-1 es equidistante de f respecto de la bisectriz del primer cuadrante recuerde que f tiene asíntota en x = 1,5

2 −1 + 3 2 2
−4

24 + 3 2

22 + 3 2

+3

2 −10 + 3 2

2

y finalmente podemos trazar la asíntota de f-1 que es y = 1,5 porque aunque tomemos valores muy pequeños de x, f-1 será siempre ≥ 1,5

Una Máquina de Estado Finito, es un séxtuple ( I, O, S, s0, f, g ) donde: I conjunto de señales de entrada O conjunto de señales de salida S conjunto de estados s0 estado inicial Por ejemplo: I = { a, b } Estados s0 S1 a s0 s0 Estados s0 S1
15-16 17
17a

15
15

16

16

17

f g

función de transición de estado función de salidas O = { 0, 1 } Entradas b S1 S1 Salidas 0 1

f: I x S → S

17b

g: I x S → O S = { s0; S1 }

La función de transición de estado se puede representar en una tabla

En la primera columna ubicamos los estados y en la primera fila ubicamos las señales de entrada luego decimos . . . Si la MEF está en s0 y entra a, queda en s0 Si la MEF está en s0 y entra b, pasa a s1 Si la MEF está en s1 y entra a, pasa a s0 Si la MEF está en s1 y entra b, queda en s1 La función de salidas también se representa en tabla Con cualquier entrada, desde s0 sale 0 Con cualquier entrada, desde s1 sale 1

La Máquina de Estado finito antes descripta, puede ser también un Autómata de Estado Finito Porque un Autómata de Estado Finito (AEF) es una MEF que es capaz de entregar solamente dos señales de salida: rechazo y aceptación Sea el AEF Estados a s0 S1 s0 s0 I = { a, b } O = { 0, 1 }
Tabla de función de salidas

15

16

16 17a

S = { s0; S1 }

17

Tabla de función de transición de estados

17b

Entradas b S1 S1

Estados s0 S1

Salidas 0 1

Se puede representar este Autómata mediante un Grafo donde a cada estado le corresponde una circunferencia y cuando el estado es de aceptación, la circunferencia es doble

b a

a

s0
b

S1

y la función de transición se manifiesta en flechas que parten del estado en que se encuentre al estado resultante . . . desde s0 entra a, queda en s0 y rechaza desde s0 entra b, pasa a S1 y acepta

desde S1 entra a, queda en S1 y acepta desde S1 entra b, pasa a s0 y rechaza
15-16 17

15) Los conjuntos I, S y O, el estado inicial y la tabla que define la función de estado y de salidas para el siguiente Autómata de Estado Finito no determinista a a a b b S1 S2 S0 b El conjunto de entradas es El conjunto de salidas es El conjunto de estados es

I = { a, b } O = { 0, 1 } S = {s0, S1, S2 }

La tabla de la función de transición de estados y de salidas es

Si S0 S1 S2

Entradas a S0 S1 S2 b S1 S2 S0

Salidas

Por ser un Autómata de Estado Finito (AEF) tiene solamente dos símbolos de salida: aceptación (1) y rechazo (0)

1 0 0

16) Caracterice el conjunto de cadenas aceptadas por el siguiente Autómata de Estado Finito 0 1 S0 S1 0 0 S2 1

1 Desde S0 (estado inicial) entra 1 y queda en S0 Desde S0 (estado inicial) entra 0 y pasa a S1 Desde S1 entra 0 y pasa a S2 y acepta Al alcanzar S2 pueden entrar cualquier cantidad de 0 ó 1 y el autómata sigue aceptando

1 10 100 10000101 100111001

Observa que para alcanzar S2 (aceptación) es necesario que entren dos 0 seguidos
Otra alternativa puede ser Si a 0 le sigue 1, debe entrar otro 0; hasta que hayan dos ceros seguidos; y entonces cualquier cosa . . .

101010100101

17 a) Sea el autómata 0

0 S2

Acepta cadenas que empiezan en 0 (inclusive solo el 0) Luego por cada 0 debe entrar un 1 Cadenas como

S0

S1

1 1 0

1 Vamos a S3 (rechazo) del que no sale 0, 1

001 0010101 01 000

S3

Pero si luego del primer 0 ingresara 1 ó después del primer 0 a continuación de un 0 en vez de 1 entra 0 . . .

Igualmente, si en algún momento ingresaran dos 1 seguidos, vamos a S3

tenemos rechazo (rechazo) 00101011 0010100

O dos ceros seguidos que no estén al comienzo . . .

rechazo
17 b

17 b) S1 0 0 S5 1 S3 1

1 S2 Observa que en este autómata hay 4 estados de aceptación

0

1

Y hay un estado de rechazo (S5) del que, si se llega no se puede salir 0,1 0 S4 0 Desde el estado inicial S0 si entra un 0 ó un 1 se acepta Pero si comienza en 0 y entra otro 0 va a S5

S0

00

1

y no interesa lo que siga, se rechaza

11

ó si comienza en 0 y entra otro 0 va a S5

Si empieza en 0 y sigue con 1, puede entrar cualquier cosa, pero no dos ceros seguidos

011101010110 10001010010

0111010100 1000101011

Si empieza en 1 y sigue con 0, puede entrar cualquier cosa,

pero no dos unos seguidos

Es hora de descansar ! ! !

Momento propicio para establecer nuevas relaciones . . .
Pero recordá, puede descansar solamente el que antes trabajó (estudió)

Debe trabajar el hombre para ganarse su pan, pues la miseria en su afán de perseguir de mil modos. Llama a la puerta de todos y

Sign up to vote on this title
UsefulNot useful