Professional Documents
Culture Documents
Introduccin
Cuando decimos: un elemento pertenece a un conjunto, estamos utilizando nada menos que tres conceptos primitivos bsicos de nuestra teora: 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 extensin (nombrando cada uno de sus elementos) o por comprensin (dando una propiedad que cumplen todos los elementos del conjunto y slo ellos). Actividades 1) Puede escribirse cualquier conjunto por extensin? En caso negativo dar un ejemplo. 2) Sea A = {x / x , 3 < x 10} i) Escribe el conjunto A por extensin. ii) Indica si las siguientes proposiciones son verdaderas o falsas. 9 4A A 1A 2 3,5 A 10 A 3A 3) Escribe por comprensin los siguientes conjuntos: i) A = {Brasil, Argentina} ii) B = {0, 2, 4, 6, 8, 10}
iii) C = {
2 , 2 }
4) Escribe por extensin los siguientes conjuntos: i) D = {x / x es componente qumico del agua} ii) E = {x / x = 3n, n , 5 n 8}
1 iii) F = {x / (x 2 )(x 2 2) = 0 } 9
Igualdad de conjuntos
Definicin
Dos conjuntos son iguales si tienen los mismos elementos. Simblicamente: A = B x, ((x A x B) (x B x A))
Osin, L. (1975). Introduccin al anlisis matemtico. Buenos Aires: Editorial Kapelusz. (p. 3)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Completa con:
o=
{2, 1, 5} ...... {x / (x + 1)(x 2)(x 5) = 0} [2, 3] ....... {x / 2 < x 3} {x / (x 1 1 )(x + 9) 0} ....... [9, ] 2 2
proposiciones. Es decir, oraciones que son verdaderas (V) o falsas (F), pero no ambas cosas a la vez. Si una proposicin es verdadera, diremos que su valor de verdad es V, y si es falsa diremos que su valor de verdad es F. Las proposiciones pueden clasificarse en simples o compuestas. Las proposiciones compuestas estn formadas por proposiciones simples. Por ejemplo, una proposicin simple sera Pablo lee el Quijote y en cambio una proposicin compuesta podra ser Pablo lee el Quijote y Cien aos de soledad. A las proposiciones las representaremos utilizando letras minsculas de nuestro alfabeto: p, q, r,
Las proposiciones (1) y (2) se llaman equivalentes. Dos proposiciones son equivalentes (y lo notaremos con el smbolo ), cuando tienen los mismos valores de verdad. En la proposicin (2) aparece el llamado cuantificador universal (), y las operaciones bsicas:
conjuncin () e implicacin (). Las definiciones de estas operaciones vienen dadas por las
siguientes tablas, que nos permiten determinar el valor de verdad de una proposicin compuesta en funcin de los valores de verdad de las proposiciones simples que la forman:
p
V F V F
q
V V F F
pq
V F F F
p
V F V F
q
V V F F
pq
V V F V
est de acuerdo con el uso corriente de la conjuncin y2. Si p y q son dos proposiciones, a la proposicin p q, que se lee p implica q, se la denomina
condicional o implicacin lgica de las proposiciones p y q (en ese orden). Tambin se dice que p es el antecedente del condicional y que q, es el consecuente.
Aunque el uso coloquial de la conjuncin y, no siempre es claro y libre de ambigedades. Por ms informacin al respecto se puede consultar: Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos Aires: Editorial Universitaria de Buenos Aires. (p. 9)
2
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Cabe esperar que la proposicin anterior sea verdadera. Al sustituir n por diferentes nmeros 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 combinacin 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 implicacin el valor de verdad esperable (V)3.
Inclusin. Subconjuntos.
Actividades
S1 = S2 = S3 = S 4=
Se dice que un conjunto A est incluido ampliamente en un conjunto B, o que A es subconjunto de B, y se escribe A B, si todo elemento de A es tambin elemento de B. Simblicamente: A B x, (x A x B)
Observa que: A = B (A B B A)
Cuando queremos distinguir expresamente que no se cumple la igualdad, o sea cuando: A B y A B, decimos que A est incluido estrictamente en B, o que A es subconjunto propio de B y escribimos: A B. Esto implica que todo elemento de A pertenece a B, pero hay elementos de B que no pertenecen a A. 2) Indica si las siguientes proposiciones son falsas o verdaderas, justificando en cada caso:
S1 S2 S3 S2 S3 S3 S1 S2 S3 S4 S1
3
Por ms consideraciones acerca de la tabla de verdad de la implicacin se pueden consultar desde la pgina 42 a la 45 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
sea verdadera (es decir para que A est incluido en B) la proposicin (2) debe ser verdadera. Como la proposicin x, (x A x B) es compuesta, su valor de verdad depende de los valores de verdad de las proposiciones simples: x A y x B (cualquiera sea x). Segn la tabla de verdad de la implicacin, tenemos que: 1) si x A y x B (cualquiera sea x) son ambas verdaderas, la proposicin: x, (x A x B) tambin lo es, con lo cual A B es verdadera (ya que las proposiciones (1) y (2) son equivalentes). 2) si x A y x B (cualquiera sea x), son ambas falsas es decir, si x no es un elemento de A y x no es un elemento de B, entonces la proposicin: x, (x A x B) es verdadera, y por lo tanto A est incluido en B. 3) si x A es falsa y x B es verdadera (cualquiera sea x), entonces la proposicin: x, (x A x B) es verdadera, y por lo tanto A est incluido en B. 4) si x A es verdadera y x B es falsa (para algn x), entonces la proposicin: x, (x A x B) es falsa y por lo tanto A no est incluido en B. En conclusin, A no est incluido en B, nicamente cuando existe un elemento x que pertenece a A y ese elemento x no pertenece a B. Simblicamente: A
B x, (x A x B).
Consideraremos que la proposicin x B (para algn x), es la negacin de la proposicin x B. Si la proposicin x B (para algn x) es verdadera, la proposicin x B, es falsa y, por el contrario, si x B (para algn x) es falsa, la proposicin x B, es verdadera. En general, si p es una proposicin, la proposicin p, que se lee no p , se denomina negacin de la proposicin p. La tabla de verdad de la negacin es la siguiente:
p
V F
F V
En la proposicin x, (x A x B)4 aparece el llamado cuantificador existencial (). El cuantificador universal () y el cuantificado existencial () se vinculan, por ejemplo, de la siguiente manera: sea P(x) una expresin5 que depende de x, la proposicin, x, (P(x))6 es equivalente a la proposicin ((x), P(x)).
4 5
Cuando se dice existe x, significa que existe, por lo menos, un x. Con este tipo de expresiones trabajaremos ms adelante cuando veamos funciones proposicionales.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Conjunto Vaco
Puede suceder que ningn elemento satisfaga la condicin de pertenencia (por ejemplo: conjunto de todos los tringulos de cuatro lados) Nos encontramos entonces con un conjunto particular que llamaremos vaco. Una posible definicin del conjunto vaco podra ser: {x A / x x} Su notacin ser: 9 y podemos escribir tambin: = { }.
6 7 8
Se lee existe x tal que se verifica P(x) Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 79-80). Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso. 9 Este smbolo corresponde a letra o escandinava y pretende ser una modificacin del nmero cero, con el cual como veremos- se presentan analogas evidentes. Su aparicin en la Matemtica es de fecha ms bien reciente, comenzando su popularidad a principios de la dcada del 50. Op. Cit., pie de pg. 111.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
2) { }
Una posible justificacin de la observacin 1: A x, (x x A).
Como el antecedente de la proposicin x, (x x A) es falso, dicha proposicin, segn las tablas de verdad de la implicacin, es verdadera. Por lo tanto, la proposicin A es tambin verdadera, ya que es equivalente a x, (x x A).
Actividad
Dado un conjunto A, se llama conjunto de partes de A o conjunto potencia de A, y se escribe P(A), al conjunto cuyos elementos son todos los subconjuntos de A. Simblicamente: P(A) = {X / X A}
Actividades
P(B).
Sea C = {3}, escribe P(C). 2) Completa: Si un conjunto E tiene n elementos, el conjunto P(E) tiene .......... elementos. 3) El conjunto de partes de A, puede ser vaco? Justifica.
Resuelve las siguientes inecuaciones en y escribe el conjunto solucin utilizando intervalos de nmeros reales: 3x2 <0 x2 +1 ii) ( x 3)x 2 (x 4) > 0 i)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Sean A y B dos conjuntos. Se llama unin de A y B, y se escribe A B, a un nuevo conjunto cuyos elementos pertenecen a A o a B. Simblicamente: A B = {x / x A x B}
Actividad
En la frmula: x A x B, aparece la operacin bsica llamada disyuncin (). La definicin de esta operacin viene dada por la siguiente tabla:
p
V F V F
q
V V F F
pq
V V V F
Analicemos ahora, desde el punto de vista lgico, la definicin de conjunto unin. Segn dicha definicin, las proposiciones x A B (1) y x A x B (2) (cualquiera sea x), son equivalentes. Mirando la tabla de verdad de la disyuncin, vemos que la proposicin (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. Ser falsa nicamente cuando x A y x B (para algn x) sean ambas falsas a la vez. Por ejemplo, consideremos los conjuntos A = {2, 5} y B = {1, 2}, y teniendo en cuenta el anlisis realizado anteriormente, hallemos A B. 1 A B?
10
En la pg. 37 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin
Cnepa, se realizan consideraciones que vinculan el smbolo con la conjuncin o de nuestro idioma.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
1) Comprueba, utilizando las tablas de verdad, que: a) (p q) (p q) (Definicin del condicional) b) (p q) (p q) (Ley de De Morgan) c) (p) p (Doble negacin) 2) Utilizando proposiciones equivalentes, justifica que la negacin de la proposicin: x, (x A x B) (definicin de A B) es la proposicin: x, (x A x B) (definicin de A
B).
Algunas definiciones:
1) Una proposicin es una tautologa si y slo si es verdadera para todas las asignaciones de valores de verdad de sus proposiciones componentes. 2) Una proposicin es una contradiccin si y slo si es falsa para todas las asignaciones de valores de verdad de sus proposiciones componentes. 3) Una proposicin es una contingencia si y slo si no es una tautologa ni una contradiccin.
Actividades
1) Estudia, utilizando las tablas de verdad, si las siguientes proposiciones son tautologa, contradiccin o contingencia: a) p (q r) b) (p (p)) c) (p q ) (q p)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
iv) (p q) p v) p (p q)
p
V F V F
q
V V F F
pq
V F F V
Si p y q son dos proposiciones, a la proposicin p q, que se lee p implica doblemente a q, se la denomina bicondicional de las proposiciones p y q.11
11
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Definicin
Si la proposicin p q es una tautologa, escribiremos p q, que se lee p si y slo si q o p es equivalente a q, y a dicha proposicin la denominaremos ley lgica.
Actividad
Actividad
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
10
Comprueba que las proposiciones p q y (p q) (q p), son equivalentes12. Silvia: [p q] Es como si fueran dos condicionales! No, Profesor?
p q 13
al que se suele llamar directo, y su recproco
qp
El bicondicional es la conjuncin de ambos! La proposicin directa expresa que p es suficiente para que se cumpla q; la recproca establece que p es necesario para que se cumpla q. Si ambas proposiciones son verdaderas, es decir, tanto la directa como la recproca son teoremas, diremos que las proposiciones p y q son equivalentes y tambin, que p es condicin necesaria y suficiente para que se cumpla q.
Laura: Algn ejemplito?... Profesor: Durante el curso nos encontraremos con varios ejemplos. Ahora, veamos uno muy simple que seguramente aclarar las ideas:
Una condicin necesaria pero no suficiente- para que un tringulo sea equiltero es que sea un tringulo issceles.
Es decir, para que un tringulo sea equiltero es necesario que sea issceles, pero como sabemos- esto no alcanza, pues, los tres lados deben ser iguales.
Una condicin suficiente pero no necesaria- para que un tringulo sea issceles es que sea un tringulo equiltero.
Es decir, para que un tringulo sea issceles basta que sea equiltero, pero como sabemos- esto no es imprescindible, pues, tendramos ms que lo que realmente necesitamos.
Alfredo: Y algn ejemplo de condicin necesaria y suficiente?... Profesor: Pasemos, ahora, a los nmeros:
n es mltiplo de 3 implica que la suma de sus cifras es mltiplo de 3. La suma de las cifras de n es mltiplo de 3 implica que n es mltiplo de 3.
Decimos, pues, que la condicin la suma de las cifras de n es mltiplo de 3 es una condicin necesaria y suficiente para que n sea mltiplo de 3.14
12 13
Esta equivalencia es la definicin del bicondicional. Los condicionales p q y q p, se llaman, respectivamente, contrario y contrarecproco del
condicional p q, al que se lo llama directo. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 46-47). Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
14
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
11
Por lo tanto, aplicando la regla lgica silogismo hipottico15, tenemos que: (x, x A x, (x A B)) A A B
(3)
(1) Se utiliz la regla lgica adicin: p (p q) y la definicin de . (2) Definicin de la operacin unin. (3) Definicin de inclusin.
Actividad
Comprueba, utilizando tablas de verdad, que: 1) q p es equivalente a p q (el condicional contrarecproco es equivalente al directo). 2) p q no es equivalente a p q (el condicional contrario no es equivalente al directo). 3) p q es equivalente a (p q) c, siendo c una contradiccin. En la parte 1) de la actividad anterior has probado que la proposicin (q p) (p q), es una ley lgica, y se llama transposicin. Esta ley es la que justifica que, en muchas ocasiones, en vez de demostrarse la proposicin directa, se demuestre, debido a que resulta ms fcil, su contrarecproca. Por ejemplo, en virtud de la ley de transposicin, demostrar la proposicin: x, x , y, y , (x y 2x 2y), es equivalente a demostrar: x, x , y, y , (2x = 2y x = y). Muchas veces se confunde la demostracin del contrarecproco, con la demostracin por el absurdo, cuyo sustento lgico es la ley que probaste en la parte 3) de la actividad anterior: (p q) [(p q) c], siendo c una contradiccin. Ya tendremos oportunidad de trabajar ms adelante con ambos mecanismos de demostracin.
Interseccin de conjuntos
Actividad
x -5 >0 x2 +2 x -7 < 0
15
Un anlisis ms minucioso nos mostrara que en este paso tambin se ha aplicado que p q es
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
12
Sean A y B dos conjuntos. Se llama interseccin de A y B, y se escribe A B, a un nuevo conjunto formado por los elementos que pertenecen a A y a B. Simblicamente: A B = {x / x A x B}
Actividad
A A B A B B
Analicemos desde el punto de vista lgico la definicin de interseccin de conjuntos. Teniendo en cuenta dicha definicin, las proposiciones x A B (1) y x A x B (2) (cualquiera sea x) son equivalentes. Segn la tabla de verdad de la conjuncin, la proposicin (2) ser verdadera nicamente cuando las proposiciones simples x A y x B (cualquiera sea x), sean ambas verdaderas a la vez; en todos los dems casos ser falsa. Por ejemplo, consideremos los conjuntos A = {2, 5} y B = {1, 2}, y teniendo en cuenta el anlisis realizado anteriormente, hallemos A B. 1 A B? No, pues la proposicin 1 A es falsa y la proposicin 1 B es verdadera, con lo cual la proposicin 1 A 1 B es falsa, y como son equivalentes, es falsa tambin la proposicin 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 proposicin 2 A 2 B y por lo tanto, como son equivalentes, tambin es verdadera la proposicin 2 A B. 5 A B? No, el razonamiento es anlogo al que realizamos para justificar que 1 A B. Lo mismo sucede con cualquier otro x que no sea 2. Por lo tanto: A B = {2}.16
16
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
13
Diferencia de conjuntos
Actividad
2x 2 - 1 sea un nmero x -5
Sean A y B dos conjuntos. Se llama diferencia de A y B, y se escribe A B, a un nuevo conjunto que tiene por elementos los que pertenecen a A y que no pertenecen a B. Simblicamente: A B = {x / x A x B}
A A B B A
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
14
Resuelve las siguientes inecuaciones en . Escribe el conjunto solucin para cada caso. i) (x2 + 5)(2x + 7) 0 ii) (x2 + 5)(2x + 7) < 0
S1 =........................................... S2 =..........................................
S1 S2 =.................................
Definicin
pertenecen a A.
c Simblicamente: AB = {x / x B x A}
Actividades
c 1) Raya en la figura el conjunto AB .
B A
2) Completa:
(A )
B
c
= ............
c A AB =............ c A AB =............
B = {a, c, d, f, g}
C = {a, b, c, d, e, f, g}
a) Completa usando los smbolos de interseccin, diferencia y unin: i) A ........ B = C ii) A ........ B = E iii) A ........ B = D iv) B ........ A = F b) Determina B D, B D, B D, E F,
ACc , BCc ,
P(D),
C B y B C.
c) Indica, justificando, si las siguientes afirmaciones son verdaderas (V) o falsas (F): i) {a, b} A ii) {a, b} C iii) D A B iv) B C v) {a, b} A ix) a D vi) C E vii) A B C viii) a D
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
15
(Ley de De Morgan)
c c iv) (A B ) = A C BC
(Ley de De Morgan17)
Par Ordenado
Profesor: Creo que ha llegado el momento de considerar un concepto particularmente importante con el cual ustedes ya estn familiarizados. Me refiero, concretamente, al concepto de par ordenado. Lo recuerdan?... [] Si a y b designan dos objetos matemticos cualesquiera, el par ordenado asociado con a y b, se representa mediante el smbolo (a, b) donde a y b se denominan, respectivamente, primer componente y segundo componente del par ordenado. []
17
Augustus de Morgan (1806-1871) Matemtico ingls. En 1858, demostr las dos igualdades mencionadas, hoy conocidas universalmente como leyes de De Morgan. Estas frmulas en forma equivalente- ya haban sido introducidas por los escolsticos con escasa repercusin. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pie de pg. 133)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
16
Demostracin:18
18
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (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 demostracin del teorema en las pginas 140 a 142.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
17
n-upla Ordenada
Anlogamente, para la definicin de n-upla ordenada asociada a los elementos a1, a2, , an, se debe definir el smbolo (a1, a2, , an) con la propiedad fundamental (a1, a2, , an) = (b1, b2, , bn) (a1 = b1 a2 = b2 an = bn) 20.
Producto Cartesiano
Definicin
Sean A y B dos conjuntos. Se llama producto cartesiano de A y B, y se escribe A B, a un nuevo conjunto formado por todos los pares ordenados tales que el primer componente del par pertenece al conjunto A y el segundo al conjunto B. Simblicamente: A B = {(a, b) / a A b B}
Actividades
1) Se consideran los conjuntos E y H tales que: E = {1, 2} y H = {a, b, c} Completa el producto cartesiano H E.
E H = {(1, a), (1, b), (1,c), (2, a), (2, b), (2, c)} H E = {..............
Se cumple la propiedad conmutativa del producto cartesiano?
19
20
Op. Cit., p. 143. En la pg. 143 se puede consultar la definicin de terna ordenada y en la pg. 144, la definicin de n-upla ordenada.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
18
A B = {(a, 1), (a, 2), (b, 1), (c, 1), (c, 2)}
Puede ser correcto? 3) Dados los conjuntos: A = {5, 7}, B = {7, 9} y C = {9, 10 11}; completa la siguiente tabla colocando o segn corresponda.
AB
(5, 7) (7, 9) (7, 7) (7, 5) (5, 9) (9,7) (9, 10) 4) En qu caso A B es el conjunto vaco?
BC
CA
AC
Relacin
Definicin
Se llama relacin de A en B, y se escribe R : A B, a cualquier subconjunto del producto cartesiano A B. Simblicamente: R es una relacin de A en B R A B
Terminologa
Si R es una relacin de A en B, y (a, b) R, diremos que a est relacionado con b y lo representaremos: a R b o R (a) = b. Habitualmente trabajaremos con relaciones de A en A a las que llamaremos, en forma ms breve, relaciones definidas en A o relaciones en A. Usualmente, en vez de escribir R : A A, se escribe R : A.
Funcin
Actividad
Se deja caer una pelota desde un edificio y se registra en la siguiente tabla la medida del espacio recorrido e, en metros, en funcin del tiempo t, en segundos:
t
(segundos)
0 0
1 5
1,3 8,45
2 20
3 45
3,5 61,25
4 80
e (t)
(metros)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
19
Sean A y B dos conjuntos. Se dice que f es una funcin de A en B, y se escribe: f : A B, si y slo si f es una relacin de A en B que cumple que, todo elemento de A est relacionado con un nico elemento de B.
Observacin
Consideremos la funcin f : A B: 1) A se llama dominio de la funcin f, y se escribe D(f) 2) B se llama codominio de la funcin f, y se escribe Cod(f) 3) Si y B est relacionado con x A, diremos que y es el correspondiente o la imagen de x, y que x es la preimagen de y; escribiremos f (x) = y.
Observa que para que una funcin quede definida es necesario indicar dominio, codominio y una cierta relacin definida entre los elementos del dominio con los del codominio. No confundir:
f es la funcin, es decir, un conjunto de pares ordenados. f (x) es la imagen de x al aplicar la funcin f, es decir, un elemento del
condominio.
Lenguaje coloquial: texto o frase que relaciona las dos variables. El dinero recaudado depende o es funcin del nmero de boletos vendidos. Lenguaje tabular: tabla de valores que relaciona las dos variables.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
20
Lenguaje analtico: expresin analtica que relaciona las dos variables. Si x indica el nmero de boletos vendidos y el dinero recaudado en pesos lo expresamos con y, entonces la relacin entre las dos variables viene dado por la expresin y = 15.x Lenguaje grfico: grfica que relaciona las dos variables. Una grfica nos permite, entre otras cosas, observar globalmente el fenmeno.22
$ 75 60 45 30 15
.
0
. . .
1
..
N de boletos vendidos
2 3 4 5
Otra posible forma de representar una funcin es a travs de los llamados diagramas sagitales o diagramas de flechas:
N de boletos vendidos 0 1 2 3 4 5 $ 0 15 30 45 60 75
Definicin
Sea f : A B Se llama recorrido de la funcin f, y se escribe Rec(f), al conjunto de todas las imgenes. Simblicamente: Rec(f) = { y B / x, x A, f (x) = y }.
Una funcin f : A B es inyectiva si y slo si a todo par de elementos distintos del dominio les corresponden elementos distintos del codominio. Simblicamente: f : A B inyectiva x1, x1 A, x2, x2 A, (x1 x2 f (x1) f (x2))
22
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
21
Una funcin f : A B es sobreyectiva si el recorrido de la funcin es igual al codominio, o dicho de otro modo, si todo elemento del codominio tiene preimagen. Simblicamente: f : A B sobreyectiva Rec(f) = Cod(f) o tambin: f : A B sobreyectiva y, y B, x, x A, f (x) = y
Actividad
La funcin e de la actividad anterior, es sobreyectiva? Discute segn que el codominio sea + 0 o . Y la funcin f? Justifica.
Definicin
Funcin Inversa
Actividad
x y
1 3
1 1
b) Representa grficamente h. c) Demuestra que h es biyectiva. d) Invierte los valores de la tabla (coloca los valores de la fila de la x en la fila de la y, y viceversa). Dicha tabla corresponde a una funcin afn g. Represntala grficamente en el mismo sistema de ejes cartesianos. e) Halla la expresin analtica de g. f) Representa, en el mismo sistema de ejes, la funcin b : / b(x) = x. Qu observas?
Definicin
Dada una relacin f : A B, se llama relacin inversa de f, y se escribe f -1, a la relacin f -1 : B A / f -1 (y) = x f(x) = y.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
22
1) Por definicin, x, x A, y, y B, f -1(y) = x f(x) = y, por lo tanto, x, x A, f -1(f(x)) = x. 2) A partir de la definicin, A (y0, x0) es un punto de la grfica de f -1 si y slo si A (x0, y0) es un punto de la grfica de f. Los puntos A y A son simtricos respecto a la recta que contiene a la bisectriz del primer cuadrante (si tomamos la misma unidad de medida en ambos ejes). Admitiremos que la grfica de f y la grfica de f -1 son simtricas respecto a la recta representacin grfica de la funcin b : / b(x) = x.
Funcin compuesta
Dadas la funciones f : A B y g : C D, tales que Rec(f) C, se define la relacin: (g o f): A D / (g o f)(x) = g(f(x)).
A f C Rec(f) D g
f (x)
g(f (x))
Actividad
g of
Demuestra que la relacin definida anteriormente es una funcin, a la que llamaremos funcin compuesta.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
23
P es una funcin proposicional definida en un conjunto A (no vaco), si y slo si, P es una funcin de dominio A y codominio B, siendo B el conjunto de todas las proposiciones.
En otras palabras, P es una funcin proposicional definida en A (no vaco), si y slo si, para todo a perteneciente a A, P(a) es una proposicin. 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 funcin proposicional; en cambio P tal que P(x): MCD(x, 3) = 3 definida en , no es una funcin proposicional.
Definicin
Sea P una funcin proposicional definida en un conjunto A (no vaco). 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
1) Sea P / P(x): x + 2 > x, definida en . El conjunto de validez de P es VP = En este caso diremos que es una funcin proposicional verdadera. 2) Sea P / P(x): x + 2 > 1, definida en . El conjunto de validez de P es VP = {x / x > 1} 3) Sea P / P(x): x + 2 < x, definida en . El conjunto de validez de P es VP = En este caso diremos que es una funcin proposicional falsa.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
24
Definiciones
De modo similar a como definimos los conectivos lgicos (, , , , ): indicando el valor de verdad de una proposicin compuesta en funcin de los valores de verdad de las proposiciones simples que la forman, definiremos los cuantificadores en funcin del conjunto validez de la funcin proposicional a la que cuantifican: Sea P una funcin proposicional definida en un conjunto A (no vaco): 1) x, P(x) es verdadera VP = A. 2) x, P(x) es falsa VP A. 3) x, P(x) es verdadera VP . 4) x, P(x) es falsa VP = .
Actividades23
1. Trata de agrupar entre las proposiciones siguientes aquellas que consideras equivalentes. Luego, escribe las respectivas negaciones. (i) No todos los nmeros primos son impares. (ii) No todos los nmeros primos son pares. (iii) Todos los nmeros primos son pares. (iv) Todos los nmeros primos son impares. (v) Ningn nmero primo es par. (vi) Ningn nmero primo es impar. (vii) Hay, al menos, un nmero primo impar. (viii) Hay, al menos, un nmero primo par. (ix) Algn nmero primo no es impar. (x) Algn nmero primo no es par. 2. Escribe la negacin de cada una de las proposiciones que siguen: (i) x, x , x + 1 = 0 (iii) x, x , x + 1 = 1 (ii) x, x , x . 0 = 0 (iv) x, x , x2 1 = (x 1)(x + 1)
23
Extradas de: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (p. 83). Nota: se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
25
Sean A1, A2, , An conjuntos no vacos. P es una funcin proposicional definida en A1 A2 An si y slo si para toda n-upla (x1, x2, , xn) perteneciente a A1 A2 An, P(x1, x2, , xn) es una proposicin.
Definicin
Sea P tal que P(x1, x2, , xn) una funcin proposicional definida en A1 A2 An (siendo A1,
A2, , An, conjuntos no vacos). 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 mltiples
Consideremos la funcin proposicional de dos variables P definida en A B (A y B son conjuntos no vacos). Se puede transformar dicha funcin en una proposicin cuantificndola de las siguientes formas:
x, y, P(x, y) x, y, P(x, y) x, y, P(x, y) x, y, P(x, y)
Observa que x, P(x, y), no es una proposicin, es la forma de una funcin proposicional definida en B.
Ejemplos
Consideremos la funcin proposicional P(x, y): x + y = y, definida en . 1) La proposicin x, y, x + y = y 2) La proposicin x, y, x + y = y 3) La proposicin x, y, x + y = y 4) La proposicin x, y, x + y = y es falsa. es verdadera. es falsa. es verdadera.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
26
Veamos cmo podemos obtener la negacin de la proposicin: 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) Actividades24
1) Se considera el conjunto A = {1, 2, 3} y las siguientes funciones proposicionales:
12, definida en A A
ii) x, y, g(x, y) iii) x, y, g(x, y) iv) x, y, z, h(x, y, z) v) x, y, z, h(x, y, z) 2) Sean A = {x / 1 x 10} y la funcin 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 proposicin, su valor de verdad, y en caso de que sea una funcin 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)
Extrado de Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica). Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. (pp. 15-16).
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
27
Bibliografa consultada
Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica). Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos Aires: Editorial Universitaria de Buenos Aires. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. Ochoviet, C. & Olave, M. (2006). Matemtica 4. Montevideo: Santillana. Osin, L. (1975). Introduccin al anlisis matemtico. 1 Edicin. Buenos Aires: Editorial Kapelusz.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
28