FUNCIONES Y LÓGICA
Fundamentos de la Matemática 2012
Conjuntos
“Cuando decimos: ‘un elemento pertenece a un conjunto’, estamos utilizando nada menos que tres
conceptos primitivos básicos de nuestra teoría: elemento, conjunto y pertenencia.”1
Para indicar que b es un elemento de un conjunto A, se escribe b A, que se lee «b pertenece a
A». Si por el contrario b no es elemento de A, escribimos b A, que se lee «b no pertenece a A».
Si bien conjunto es un concepto primitivo, cada conjunto particular se puede definir por
extensión (nombrando cada uno de sus elementos) o por comprensión (dando una propiedad que
cumplen todos los elementos del conjunto y solo ellos).
1) ¿Puede escribirse cualquier conjunto por extensión? En caso negativo dar un ejemplo.
2) Sea A {x / x , 3 x 10}
i) Escribe el conjunto A por extensión.
ii) Indica si las siguientes proposiciones son verdaderas o falsas:
9
1A 4A A
2
3,5 A 10 A 3A
3) Escribe por comprensión los siguientes conjuntos:
i) A {Brasil, Argentina}
ii) B {0, 2, 4, 6, 8, 10}
iii) C { 2, 2 }
4) Escribe por extensión los siguientes conjuntos:
i) D {x / x 3n, n , 5 n 8}
1
ii) E {x / (x 2 )(x 2 2) 0 }
9
Igualdad de conjuntos
1
Osin, L. (1975). Introducción al análisis matemático. Buenos Aires: Editorial Kapelusz. (p. 3)
Definición
Las proposiciones (1) y (2) se llaman equivalentes. Dos proposiciones son equivalentes (y lo
notaremos con el símbolo “”), cuando tienen el mismo valor de verdad.
En la proposición (2) aparece el llamado cuantificador universal (), y las operaciones básicas:
conjunción () e implicación (). Si p y q son dos proposiciones, a la proposición p q, que se lee
«p y q», se la denomina conjunción lógica de p y q. Si p y q son dos proposiciones, a la proposición
p q, que se lee «p implica q», se la denomina condicional o implicación lógica de las
proposiciones p y q (en ese orden). También se dice que p es el antecedente del condicional y que
q, es el consecuente.
Las definiciones de estas operaciones vienen dadas por las siguientes tablas, que nos permiten
determinar el valor de verdad de una proposición compuesta en función de los valores de verdad
de las proposiciones que la forman:
p q pq p q pq
V V V V V V
F V F F V V
V F F V F F
F F F F F V
Se podría pensar que carece de sentido que la proposición «p q» sea verdadera cuando p y q
son falsas, pero consideremos la siguiente proposición matemática: n, n , (n 2 n2 4).
2
Aunque el uso coloquial de la conjunción «y», no siempre es claro y libre de ambigüedades. Por más
información al respecto se puede consultar: Bosch, J. (1965). Introducción al simbolismo lógico. Buenos
Aires: Editorial Universitaria de Buenos Aires. (p. 9)
Cabe esperar que la proposición anterior sea verdadera. Al sustituir n por diferentes números
enteros en las expresiones «n 2» y «n2 4», se obtienen distintas proposiciones y se dan todas
las posibles combinaciones de valores de verdad, exceptuando la combinación V-F. Por ejemplo,
tomando n como 3, 3 y 1, resultan respectivamente las combinaciones V-V, F-V y F-F, y todas
estas combinaciones dan a la implicación el valor de verdad esperable (V)3.
Inclusión. Subconjuntos.
6) Resuelve las siguientes ecuaciones e inecuaciones en :
i) x2 x 0 S1
ii) x2 π 0 S2
iii) x (2x 1) (x 4) 0 S3
iv) x 5 x 6 S4
Definición
Observa que: A B (A B B A)
3
Por más consideraciones acerca de la tabla de verdad de la implicación se pueden consultar desde la página
42 a la 45 del libro: González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa.
4
Cuando se dice «existe x», significa que «existe, por lo menos, un x».
5
Con este tipo de expresiones trabajaremos más adelante cuando veamos funciones proposicionales.
6
Se lee: «Para todo x, se verifica P(x)»
7
Se lee «existe x tal que se verifica P(x)»
Ahora bien, el cuantificador universal «» puede asimilarse, intuitivamente, a expresiones que
indican universalidad (en alemán, Algemanheit, de donde proviene el símbolo «»: una «A»
invertida). El carácter universal de una proposición del lenguaje cotidiano se obtiene, usualmente,
anteponiendo al sujeto la palabra todo (en inglés, «All», lo que ha generalizado la notación
«»)…”8
Conjunto Vacío
Puede suceder que ningún elemento satisfaga la condición de pertenencia (por ejemplo: «conjunto
de todos los triángulos de cuatro lados»).
Nos encontramos entonces con un conjunto particular que llamaremos vacío.
a) { }
b) { }
c) { }
d)
e)
8
González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa. (pp. 79-80).
Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
9
“Este símbolo corresponde a letra «o» escandinava y pretende ser una modificación del número cero, con el
cual –como veremos- se presentan analogías evidentes. Su aparición en la Matemática es de fecha más bien
reciente, comenzando su popularidad a principios de la década del 50.” Op. Cit., pie de pág. 111.
11)
a) Se consideran los conjuntos A {1, 2, 3}, B {1, 2} y C {3}, escribe P(A), P(B) y P(C).
b) Completa: Si un conjunto E tiene n elementos, el conjunto P(E) tiene .......... elementos.
c) El conjunto de partes de A, ¿puede ser vacío? Justifica.
Unión de conjuntos
12) Resuelve las siguientes inecuaciones en y escribe el conjunto solución utilizando
intervalos de números reales:
3x2
i) 0
x2 1
ii) (x 3)x 2 (x 4) 0
Definición
13) Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B:
A
A B A B B
p q pq
V V V
F V V
V F V
F F F
10
En la pág. 37 del libro: González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección
Cánepa, se realizan consideraciones que vinculan el símbolo «» con la conjunción «o» de nuestro idioma.
Analicemos ahora, desde el punto de vista lógico, la definición de conjunto unión. Según dicha
definición, las proposiciones «x A B» (1) y «x A x B» (2) (para un x particular), son
equivalentes. Mirando la tabla de verdad de la disyunción, vemos que la proposición (2) es
verdadera si:
1) «x A» es verdadera y «x B» es verdadera.
2) «x A» es falsa y «x B» es verdadera.
3) «x A» es verdadera y «x B» es falsa.
Por ejemplo, consideremos los conjuntos A {2, 5} y B {1, 2}, y teniendo en cuenta el análisis
realizado anteriormente, hallemos A B.
¿1 A B?
Sí, puesto que la proposición «1 A» es falsa y la proposición «1 B» es verdadera; con
lo cual la proposición «1 A 1 B» es verdadera, y como son equivalentes, «1 A B»
también es verdadera.
¿2 A B?
Sí, puesto que la proposición «2 A» es verdadera y la proposición «2 B» es verdadera;
con lo cual la proposición «2 A 2 B» es verdadera, y como son equivalentes,
«2 A B» también es verdadera.
¿5 A B?
Sí, puesto que la proposición «5 A» es verdadera y la proposición «5 B» es falsa; con
lo cual la proposición «5 A 5 B» es verdadera, y como son equivalentes, «5 A B»
también es verdadera.
¿7 A B?
No, puesto que la proposición «7 A» es falsa y la proposición «7 B» es falsa; con lo
cual la proposición «7 A 7 B» es falsa, y como son equivalentes, «7 A B»
también es falsa. Lo mismo sucede para cualquier x que no sea ni 1, ni 2, ni 5.
Algunas definiciones:
1) Una proposición es una tautología si y solo si es verdadera para todas las asignaciones de
valores de verdad de sus proposiciones componentes.
2) Una proposición es una contradicción si y solo si es falsa para todas las asignaciones de valores
de verdad de sus proposiciones componentes.
3) Una proposición es una contingencia si y solo si no es una tautología ni una contradicción.
16) Estudia, utilizando las tablas de verdad, si las siguientes proposiciones son tautología,
contradicción o contingencia:
a) p (q r)
b) (p (p))
c) (p q ) (q p)
17) Prueba, utilizando las tablas de verdad, que las siguientes proposiciones son
tautologías:
iii) p p (Identidad)
iv) (p q) p (Simplificación)
v) p (p q) (Adición)
Definición
Definición
1) A A A (Idempotencia)
2) A B B A (Conmutativa)
3) A (B C) (A B) C (Asociativa)
4) A A (Existencia del elemento neutro)
5) A A B
6) B A A B A
p q pq
V V V
F V F
V F F
F F V
Definición
a) (p q) (p q)
b) (p q) p q
c) (p) p
8) [p (q r)] (p q) (p r) Distributiva de la disyunción respecto de la conjunción.
11
Los símbolos: , , , , , se llaman conectivos lógicos. “Para describir un lenguaje L, es necesario
disponer, previamente, de un lenguaje auxiliar que permita expresar las reglas que codifican a L. El lenguaje
que empleamos para hablar acerca de otro lenguaje, se denomina metalenguaje, en tanto que, el lenguaje que
es objeto de nuestra descripción, recibe el nombre de lenguaje objeto.” (González Cabillón, 1993, p. 7)
p q 13
qp
Una condición necesaria –pero no suficiente- para que un número sea múltiplo de 6 es que sea
múltiplo de 2.
Es decir, para que un número sea múltiplo de 6 es necesario que sea múltiplo de 2, pero –como
sabemos- esto no alcanza, pues, por ejemplo 2, 8 o 10, son múltiplos de 2 pero no de 6.
12
Esta equivalencia es la definición del bicondicional.
13
Los condicionales «p q » y «q p», se llaman, respectivamente, contrario y contra-recíproco del
condicional «p q», al que se lo llama directo.
14
González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa. (pp. 46-47).
Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
Una condición suficiente –pero no necesaria- para que un número sea múltiplo de 6 es que sea
múltiplo de 12.
Es decir, para que un número sea múltiplo de 6 basta que sea múltiplo de 12, pero –como sabemos-
esto no es imprescindible, pues, 6, 18 o 30 son múltiplos de 6 pero no de 12.
Intersección de conjuntos
x -5
0
22) Resuelve en el siguiente sistema: x2 2
x -7 0
Definición
23) Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B:
A
A B A B B
Por ejemplo, consideremos los conjuntos A {2, 5} y B {1, 2}, y teniendo en cuenta el análisis
realizado anteriormente, hallemos A B.
¿1 A B?
No, pues la proposición «1 A» es falsa y la proposición «1 B» es verdadera, con lo cual
la proposición «1 A 1 B» es falsa, y como son equivalentes, es falsa también la
proposición «1 A B»; por lo tanto «1 A B» es verdadera.
¿2 A B?
Sí, pues las proposiciones «2 A» y «2 B», son ambas verdaderas a la vez, entonces es
verdadera la proposición «2 A 2 B» y por lo tanto, como son equivalentes, también
es verdadera la proposición «2 A B».
¿5 A B?
No, el razonamiento es análogo al que realizamos para justificar que 1 A B. Lo mismo
sucede con cualquier otro x que no sea 2.
1) A A A (Idempotencia)
2) A B B A (Conmutativa)
3) A (B C) (A B) C (Asociativa)
4) A (Absorción)
5) A B A
6) B A A B B
15
A un conjunto con un solo elemento se le llama unitario.
Diferencia de conjuntos
2x 2 - 1
25) Escribe el conjunto de todos los números reales x de modo que f (x ) sea un
x -5
número real.
Definición
1) A A
2) A A
3) A
4) A (B C) (A B) C
A B
A B A B
B A
Complementación
28) Resuelve las siguientes inecuaciones en . Escribe el conjunto solución para cada caso.
S1 S2 .................................
Definición
A
C
c
B ............
B
A ABc ............
A ABc ............
31) Dados los conjuntos: A {a, b, c, d, e}, B {a, c, d, f, g}, C {a, b, c, d, e, f, g},
D {a, c, d}, E {b, e}, F {f, g}
a) Completa usando los símbolos de intersección, diferencia y unión:
i) A ........ B C ii) A ........ B E iii) A ........ B D iv) B ........ A F
c
iii) A B ACc BCc , con A C B C . (Ley de De Morgan)
C
c
iv) A B ACc BCc , con A C B C . (Ley de De Morgan16)
C
16
“Augustus de Morgan (1806-1871) Matemático inglés. En 1858, demostró las dos igualdades mencionadas,
hoy conocidas universalmente como leyes de De Morgan. Estas fórmulas –en forma equivalente- ya habían
sido introducidas por los escolásticos con escasa repercusión.”
González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa. (pie de pág. 133)
Más actividades
33) Expresa por extensión los siguientes conjuntos:
a) A {x /x , 4x 20}
b) B {x /x , 5 x 4}
c) C {x /x , 5 x 4}
d) D {x /x , 2 2x – 3 11}
e) E {x / x , x C}
35) Dados los conjuntos: A {1, 2}; B {{1}, {2}}; C {{1}, {1, 2}}; D {{1}, {2}, {1, 2}}.
Indica si son verdaderas o falsas las siguientes afirmaciones, justificando tu respuesta:
36) Dado el conjunto A {1, {2, 3}, 4}, indica, justificando, si las siguientes proposiciones son
verdaderas o falsas:
i) 1 A ii) {3, 4} A iii) {3, 2} A iv) {1, 2} A v) {{2, 3}} A vi) {1, 4} A
37) Dados los conjuntos A {a, b, c}, B {b, d, e} y C {a, b, c, d, e}, determina:
vii) A B
C
viii) A – B ix) C – A x) ACC BCC
C
2 2
40) Se consideran los conjuntos A {x , 8 x } y B {x , x }.
3 2
Representa en la recta real los conjuntos A, B, A B, A B, A B y B A.
41) Halla:
i) {; 2; 2; 3,14} vi) [ 2, 3)
3
ii) { , 7, , 0} vii) [ 2, 3)
2 19
iii) (2, 3] viii) (2, 3]
iv) [5, 7] ix) [5, 7]
v) [5, 7]
42) Expresa, en cada caso, el conjunto sombreado como el resultado de operaciones entre
conjuntos:
Par ordenado
“Profesor: Creo que ha llegado el momento de considerar un concepto particularmente
importante con el cual ustedes ya están familiarizados. Me refiero, concretamente, al concepto
de par ordenado. ¿Lo recuerdan?...
[…]
(a, b)
[…]
Ana (interrumpiendo): ¡Profesor! ¿No bastaría decir que
Un par ordenado es un par de elementos escritos en un orden definido?
Juan: Ana… ¿Cómo podés escribir un par de elementos, sin escribirlos en un orden definido? ¡En
el espacio es imposible, y en el tiempo, también!...
Profesor: Sí, sí. Además, el «orden» mencionado por Ana no es un concepto que matemáticamente
hayamos presentado oficialmente en sociedad. El adjetivo «ordenado» que venimos empleando
para los pares, tiene un carácter gramatical, y no matemático. Dicho adjetivo pretende
recordarnos que
(a, b) (b, a)
(a, b) (c, d) (a c b d)
como
{a, b}
puesto que
{a, b} {b, a}
DEFINICIÓN
El par ordenado asociado con los elementos a y b (sotto voce: ¡en
ese orden!) es el conjunto (a, b) definido por
Observen que
(a, b)
es, de acuerdo con esta definición, un conjunto binario cuyos elementos son los conjuntos
{a} y {a, b}
Tal definición es, sin dudas, extravagante y no intuitiva, pero como veremos, resulta adecuada
para demostrar el siguiente
Demostración:”17
Terna ordenada
“El concepto de par ordenado puede generalizarse fácilmente al de terna ordenada. Del mismo
modo que los pares ordenados hallan una interpretación geométrica sencilla e interesante
mediante las coordenadas de un punto del plano (dos dimensiones), las ternas ordenadas admiten
también un modelo geométrico extremadamente útil: concretamente, las coordenadas de un punto
en el espacio (tres dimensiones).
(a, b, c)
de suerte que
(a, b, c) (d, e, f) (a d b e c f)18”
17
González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa. (pp. 138 a 140).
Notas: 1) Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
2) El alumno interesado puede leer la demostración del teorema en las páginas 140 a 142.
18
Op. Cit., p. 143.
n-upla ordenada
Análogamente, para la definición de n-upla ordenada asociada a los elementos a1, a2, …, an, se debe
definir el símbolo
Producto Cartesiano
Definición
A B {(a, 1), (a, 2), (b, 1), (c, 1), (c, 2)}
¿Puede ser correcto?
47) Dados los conjuntos: A {5, 7}, B {7, 9} y C {9, 10 11}; completa la siguiente tabla
colocando o según corresponda.
19
En la pág. 143 se puede consultar la definición de terna ordenada y en la pág. 144, la definición de n-upla
ordenada.
Relaciones
Definición
Terminología
En forma tabular: A
B * ! !
Diagrama sagital: B
A
*
!
.
Diagrama cartesiano
*
! . .
49) Considera el conjunto de palabras A {apenas, hora, más, carbón, pero, frío} y la
relación R definida en A: “tiene la misma cantidad de letras que”.
Representa la relación en un diagrama de Venn, en el que se agregarán flechas, teniendo
en cuenta que:
a
si a R b, sale una flecha de a hacia b. b
si a R a, sale una flecha de a y vuelve hacia a. a
Cuando se trata de una relación definida en un conjunto no vacío pueden analizarse ciertas
propiedades:
Definición
Definición
Dado un conjunto A (no vacío), diremos que una relación R definida en A es de equivalencia si y
solo si cumple las propiedades reflexiva, simétrica y transitiva.
Notación: Si una relación R definida en A es de equivalencia y (a, b) R, se puede escribir
a b.
Por lo tanto, la relación R definida en A: “tiene la misma cantidad de letras que”, es una relación
de equivalencia.
Definición
Teorema
Dos elementos pertenecientes a la misma clase, se llaman equivalentes. Por ejemplo, las
palabras hora y frío son equivalentes (tienen la misma cantidad de letras).
Puesto que dos cualesquiera de los elementos de una clase son equivalentes, cualquier
elemento de una clase puede servirnos como representante de dicha clase.
El conjunto formado por las clases de equivalencia A1, A2 y A3, se denomina conjunto cociente
de A módulo R, y se lo nota: A .
R
Definición
Dado un conjunto A (no vacío) y una relación R de equivalencia definida en A, se llama conjunto
cociente de A módulo R, y se escribe A , al conjunto que tiene como elementos a todas las
R
clases de equivalencia de elementos de A.
Simbólicamente: A [x ] P (A) / x A .
R
Para las clases A1, A2 y A3 que la relación R determinó (actividad de la página 1), se verifican las
siguientes tres propiedades:
1. Cada clase tiene por lo menos un elemento.
Simbólicamente: A1 , A2 y A3 .
2. Cada elemento del conjunto A pertenece solamente a una clase, es decir, no hay dos clases con
elementos comunes.
Simbólicamente: A1 A2 , A2 A3 y A1 A3 .
3. Todo elemento de A pertenece a alguna de las clases.
Simbólicamente: A1 A2 A3 A.
Podemos decir entonces que {A1, A2, A3}, es una partición del conjunto A.
Definición
Se llama partición de un conjunto A (no vacío), a todo subconjunto del conjunto de partes de A,
en donde sus elementos cumplen: son no vacíos, disjuntos dos a dos, y su unión es el conjunto A.
Simbólicamente:
Consideremos dos conjuntos A e I, tales que A , I e I . es una partición de A, si y
solo si, Ai , i I que verifica:
P (A).
Ai , i I.
20
Ai A.
i I
Ai Aj Ai Aj , i, j I.
Teorema
Dado un conjunto A (no vacío) y una relación R de equivalencia definida en A, se cumple que A
R
es una partición de A.
Una posible lectura del teorema anterior es que toda relación de equivalencia definida en un
conjunto A (no vacío) determina una partición de A en clases de equivalencia.
20
Sean I , I (familia de índices ) y Ai , i I Ai una familia de conjuntos. Se denomina unión
i I
de la familia Ai , i I , al conjunto Ai x , i I x Ai .
i I
ii) Determina por extensión una relación de equivalencia R definida en A cuyo conjunto
cociente sea .
iii) Dos elementos cualesquiera de A que están relacionados según R, ¿cómo se vinculan
con el conjunto ?
Teorema
Sea una partición de A. Definimos la relación R en A de modo que dos elementos de A están
relacionados si y solo si pertenecen al mismo elemento de la partición . Entonces, dicha relación
es de equivalencia y el conjunto cociente que esta relación R determina es la partición .
Definición
R1 cumple las propiedades: inidéntica, asimétrica y transitiva. Diremos entonces que R1 es una
relación de orden estricto.
R2 cumple las propiedades: idéntica, antisimétrica y transitiva. Diremos entonces que R2 es una
relación de orden amplio.
Definición
Dado un conjunto A no vacío y una relación R definida en A, diremos que R es una relación de
orden estricto si y solo si cumple las propiedades inidéntica, asimétrica y transitiva.
Si R es una relación de orden estricto definida en A, se dice que el conjunto A está
estrictamente ordenado u ordenado estrictamente por la relación R.
Definición
Dado un conjunto A no vacío y una relación R definida en A, diremos que R es una relación de
orden amplio si y solo si cumple las propiedades idéntica, antisimétrica y transitiva.
Si R es una relación de orden amplio definida en A, se dice que el conjunto A está ampliamente
ordenado u ordenado ampliamente por la relación R.
61) Se consideran los conjuntos A {0, 1, 2}, B {0, 1, 2, 3, 4}, C {0, 1, 2, 3, 4, 5},
D {0, 1, 2, 3, 4, 5, 6, 7}, E {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y N {A, B, C, D, E }, y la
R3 definida en N tal que: P R3 Q P Q.
relación
Representa R3 en un diagrama de Venn y analiza las propiedades que cumple.
Definición
Dada una relación R de orden (amplio o estricto) definida en un conjunto A no vacío, diremos que
dos elementos a y b de A son comparables si y solo si a R b o b R a.
Definición
Dada una relación R de orden (amplio o estricto) definida en un conjunto A no vacío, diremos que
R es una relación de orden total si todo par de elementos distintos de A son comparables. En
caso contrario se dice que R es una relación de orden parcial.
62) Analiza si las relaciones R1, R2 y R3, definidas en las actividades anteriores, son de
orden total o parcial.
63) Analiza para cada una de las siguientes relaciones si son de orden estricto o amplio,
parcial o total:
i) “” definida en P (A) (con A ).
ii) “” definida en .
iii) “” definida en .
iv) “” definida en .
v) “” definida en .
Definición
Investiga si las relaciones anteriores son de equivalencia o de orden amplio. Si alguna relación
es de equivalencia, determina el conjunto cociente y si es de orden amplio, indica si es total o
parcial y halla, en caso de existir, máximo y mínimo.
Más actividades
68) Dado el conjunto A = {a, b, c, d, e}, define tres relaciones diferentes en A y representa cada
una de ellas mediante diagrama de flecha, diagrama cartesiano y en forma tabular.
69) Investiga qué propiedades cumplen cada una de las siguientes relaciones:
a) La relación de paralelismo, en el conjunto de las rectas del plano.
b) La relación “es menor que”, en el conjunto de los números naturales ().
70) Investiga qué propiedades cumple cada una de las siguientes relaciones y, en caso de ser
posible, clasifícalas:
a) La relación “es hermano de” (para esta actividad, diremos que x “es hermano de” y, si x e y
son hijos de la misma madre y el mismo padre) definida en el conjunto de todos los seres
humanos.
b) La relación “es divisor de” definida en el conjunto A {2, 3, 6, 8, 12}.
c) La relación “es amigo de” (debes indicar cuándo diremos que x “es amigo de” y) definida en
el conjunto de todos los seres humanos.
d) La relación “es menor o igual que” definida en el conjunto A de la parte b).
72) Se consideran el conjunto A 1, 2, 3, 4, 6,9, 12, 18, 36 y la relación “divide a” definida en A.
Realiza un diagrama sagital de dicha relación e investiga si es de orden.
0 1 3
75) Sean A a , b ,c ,d y B b ,c
a) Se considera la relación R definida en P (A) tal que: X R Y X B Y B.
Prueba que R es de equivalencia.
b) ¿Cuál es la clase de a , b ,d ?
R1 a , a , b, b , c , c , d , d ;
R2 a , a , b, b , c , c , b, c , c , b ; R3 A A ; R4 a , a , b, b , b, c , c , c , d , d ;
R5 a , a , b, b , b,c , a , b , b, a , c ,c , d ,d , c ,d , d ,c
a) Investiga si las relaciones anteriores son de equivalencia. Justifica.
b) En cada caso, si la relación es de equivalencia, escribe las clases de equivalencia. Justifica.
82) Sea R definida en A, con A tal que R es idéntica y transitiva; y sea S definida en A tal
que a S b a R b b R a. ¿Es S una relación de equivalencia?
R : A, a R b a b a b 3
d) Halla A .
R
Funciones
85) Se deja caer una pelota desde un edificio y se registra en la siguiente tabla la medida
del espacio recorrido e, en metros, en función del tiempo t, en segundos:
t 0 1 1,3 2 3 3,5 4
(segundos)
e (t) 0 5 8,45 20 45 61,25 80
(metros)
a) A partir de la tabla encuentra una fórmula (e(t)) para el espacio recorrido en función del
tiempo. Indica dominio y posibles codominios para la función e, teniendo en cuenta que la
pelota llega al piso a los cuatro segundos.
b) Representa gráficamente e en función de t.
c) Representa gráficamente la función f cuya fórmula es la misma que la que obtuviste en la
parte a), pero ahora con dominio y codominio +
0
( +
0
+
0 ).
Definición
Observación
f : A B es función, significa:
f es una relación de A en B: f A B
Existencia: x A, y B, (x, y) f
Unicidad: x A, y, z B, ((x, y) f (x, z) f y z)
Terminología
Consideremos la función f : A B:
Observa que para que una función quede definida es necesario indicar dominio, codominio y una
cierta relación definida del dominio en el codominio.
No confundir:
f es la función, es decir, un conjunto de pares ordenados.
f (x) es la imagen de x al aplicar la función f, es decir, es un elemento del
codominio.
Si A y B son dos conjuntos no vacíos, se dice que f es una función de dominio A y codominio B si y
solo si f es una terna ordenada (A, B, G) tal que:
i) G AB
ii) Para todo x perteneciente a A, existe un único y perteneciente a B tal que (x, y) pertenece a G.
Lenguaje coloquial: texto o frase que relaciona las dos variables. ‘El dinero recaudado
depende o es función del número de boletos vendidos’.
Nº de boletos 0 1 2 … 50 …
Pesos 0 15 30 … 750 …
Lenguaje analítico: expresión analítica que relaciona las dos variables. Si x indica el
número de boletos vendidos y el dinero recaudado en pesos lo expresamos con y, entonces
la relación entre las dos variables viene dado por la expresión y 15.x
Lenguaje gráfico: gráfica que relaciona las dos variables. Una gráfica nos permite, entre
otras cosas, observar globalmente el fenómeno.”21
$
75
. .
60
.
45
.
..
30
15
0 1 2 3 4 5 Nº de boletos
vendidos
Otra posible forma de representar una función es a través de los llamados diagramas sagitales o
diagramas de flechas: Nº de boletos $
vendidos
0
0 15
1 30
2 45
3 60
4 75
5
21
Ochoviet, C. & Olave, M. (2006). Matemática 4. Montevideo: Santillana. (p. 80)
Definición
Consideremos la función f : A B
Se llama recorrido de la función f, y se escribe Rec(f), al conjunto de todas las imágenes.
Simbólicamente: Rec(f) { y B / x, x A, f (x) y }.
Una función f : A B es inyectiva si y solo si a todo par de elementos distintos del dominio
les corresponden elementos distintos del codominio.
Simbólicamente: f : A B inyectiva x1, x2 A, (x1 x2 f (x1) f (x2))
Definición
Definición
88) La función e de la actividad anterior, ¿es biyectiva? Discute según que el codominio
sea +
0
, o [0, 80].
Función Inversa
89) Sea h : / h(x) = 2x 3
x 2 1 1 3
a) Completa:
y 3 1
b) Representa gráficamente h.
Definición
Teorema
Observa que:
Función compuesta
Dadas la funciones f : A B y g : C D, tales que Rec(f) C, se define la relación:
(g o f): A D / (g o f)(x) g(f(x)).
A B C D
f Rec(f)
g
g of
92) Demuestra que la relación definida anteriormente es una función, a la que llamaremos
función compuesta.
93) i) Sean f :
0
0
, f (x ) x y g : , g (x ) 5x .
Investiga si existe f g y g f . Justifica. En caso afirmativo, hállalas.
ii) Sean j : , j (x ) 2x y h : , h (x ) x 2 .
Investiga si existe j h y h j . Justifica. En caso afirmativo, hállalas.
Más actividades
94) Representa y clasifica las siguientes funciones:
-2x 1 si x 0
1, , g(x ) x 1
2
a) f : , f (x ) 2 b) g :
x 1 si x 0
x 1
c) h : , h (x )
2
x
2 x 2
Sea f : / f (x )
3
x 2 x 2
a) Grafica la función f.
b) ¿Es f una función par? Justifica.
c) ¿Qué propiedad geométrica observas en la gráfica de f? ¿Se podrá generalizar para
toda función par?
x 2 x 2
Sea f : / f (x ) 3 x 2
3 x 2
a) Grafica la función f.
b) ¿Es f una función impar? Justifica.
c) ¿Qué propiedad geométrica observas en la gráfica de f? ¿Se podrá generalizar para toda
función impar?
98) Sea M = { x / x , x 4 }.
¿Se puede determinar una función biyectiva de en M? Justifica tu respuesta.
99) a) Decide y justifica cuál o cuáles de las siguientes gráficas corresponden a funciones de
en .
b) Clasifica las funciones de en que determinaste en la parte a).
c) Indica cuál o cuáles de las funciones anteriores son invertibles. En esos casos grafica su
función inversa (en el mismo sistema de ejes coordenados).
100) Indica en cada caso si la gráfica puede corresponder a una función. En caso afirmativo
especifica dominio, codominio y recorrido y clasifícala. En caso negativo, analiza si se puede
hacer una restricción al conjunto de partida para que sea una función.
y y y
x x x
y y y
x x x
y y y
x x x
y y y
x x x
x
101) Dada f : ( 1,1), f (x ) , demuestra que existe la función inversa y hállala.
1 x
x 1
si x 3
103) Se considera f : tal que f (x ) 2
x 2 1 si x 3
a) ¿f es función? Justifica tu respuesta.
b) ¿f es inyectiva? Justifica tu respuesta.
c) ¿f es sobreyectiva? Justifica tu respuesta.
x 3 si x 4
105) Sea f : / f x
x 5 si x 4
Investiga si f es una función, y en caso afirmativo si es inyectiva o sobreyectiva.
x2
106) Se consideran las funciones f : / f (x ) 1 y g : / g (x ) 1 x .
2
Estudia si existen las funciones g f y f g . En caso afirmativo hallar las respectivas
expresiones analíticas.
x 2 3, si x 1
108) (Primer parcial – 2010). Se consideran A y la función j : A / j (x ) 3
x 2, si x 1
2
i) Halla A para que exista j 1 .
ii) Halla j 1 .
iii) Realiza un bosquejo de la gráfica de j 1 .
Definición
P es una función proposicional definida en un conjunto A (no vacío), si y solo si, P es una función
de dominio A y codominio B, siendo B el conjunto de todas las proposiciones.
En otras palabras, P es una función proposicional definida en A (no vacío), si y solo si, para todo a
perteneciente a A, P(a) es una proposición. Por lo tanto P(a) puede ser verdadera o falsa, pero no
ambas cosas a la vez.
Ejemplo
P tal que P(x): MCD(x, 3) 3 definida en , es una función proposicional; en cambio P tal que
P(x): MCD(x, 3) 3 definida en , no es una función proposicional.
Definición
Sea P una función proposicional definida en un conjunto A (no vacío). Se llama conjunto de validez
de P, y se escribe VP, al conjunto formado por los elementos pertenecientes a A que hacen que
P(x) sea verdadera.
Ejemplos
Hasta ahora hemos visto que esta expresión no es una proposición a menos que se le asignen
valores específicos a x.
Pero si decimos:
estas dos expresiones son proposiciones ya que podemos afirmar que (1) es falsa y que (2) es
verdadera. Por lo tanto, una forma para transformar una función proposicional en una proposición
es, como ya sabíamos, sustituyendo la variable por un elemento del dominio. Otra forma, es
utilizando el cuantificador universal () y el existencial (): una función proposicional cuantificada
pasa a ser una proposición.
Definiciones
De modo similar a como definimos los conectivos lógicos (, , , , ): indicando el valor de
verdad de una proposición compuesta en función de los valores de verdad de las proposiciones
simples que la forman, definiremos los cuantificadores en función del conjunto validez de la
función proposicional a la que cuantifican:
22
109) Trata de agrupar entre las proposiciones siguientes aquellas que consideras
equivalentes. Luego, escribe las respectivas negaciones.
22
Extraídas de: González Cabillón, J. (1993). Matemática. 5º año. Tomo I. Montevideo: Colección Cánepa. (p.
83). Nota: se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
Definición
Definición
Sea P tal que P(x1, x2, …, xn) una función proposicional definida en A1 A2 … An (siendo A1,
A2, …, An, conjuntos no vacíos). Se llama conjunto de validez de P, y se escribe VP, al conjunto
formado por todas las n-uplas pertenecientes a A1 A2 … An, que hacen que P(x1, x2, …, xn)
sea verdadera.
Cuantificadores múltiples
Ejemplos
Teorema
Veamos cómo podemos obtener la negación de la proposición: x, y, P(x, y).
Consideremos Q(x): y, P(x, y). Entonces tenemos que:
(x, y, P(x, y)) (x, Q(x)) x, (Q (x)) x, (y, P(x, y)) x, y, (P(x, y)).
23
113) Sean A = {x / 1 x 10} y la función proposicional f tal que f(x, y): x y 14,
definida en A A. Considera las siguientes expresiones e indica, en caso de que sea una
proposición, su valor de verdad, y en caso de que sea una función proposicional determina el
conjunto de validez:
a) x, x A, f(x, y)
b) x, x A, y, y A, f(x, y)
c) x, x A, y, y A, f(x, y)
d) y, y A, f(x, y)
23
Extraído de Becerra, M. E. & Tosetti, A. M. Ficha Nº 2. Matemática Básica. 2ª parte (Lógica).
Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. (pp. 15-16).
Bibliografía consultada
Vázquez de Tapia, N., Tapia de Bibiloni, A. & Tapia, C. A. (1986). Matemática. Buenos Aires:
Editorial Estrada.