Sei sulla pagina 1di 16

Unidad 1: Teoría de Conjuntos Matemática 1

UNIDAD 1: TEORÍA DE CONJUNTOS


1.1. IDEA DE CONJUNTO
La idea de conjunto podemos identificarlo como una
agrupación o colección de cualquier tipo de entidades u objetos
que tienen propiedades comunes. Estos objetos se llaman
elementos o miembros del conjunto.
Ejemplos:
(1) Los números 2, 3, 5, 7 forman un conjunto de 4 elementos
(2) Los meses del año forman un conjunto de 12 meses.
(3) Las partes del automóvil forman un conjunto llamado
Nissan 2020.
1.2. NOTACIÓN
Usualmente los conjuntos se denotan por letras mayúsculas:
A, B, C , ..., X , Y , Z .
, y los elementos que lo determinan se designan por letras
minúsculas:
a, b, c, ..., x, y, z.
Si un conjunto A está formado por los elementos 1, 2, a, b se
escribe
A  1, 2, a, b 
, y se lee: “A es el conjunto de los elementos 1, 2, a, b”

La relación de pertenencia se indica por el símbolo ∈ de


modo que:
a pertenece al conjunto A
a  A , indica: 
a es el elemento del conjunto A
1
Unidad 1: Teoría de Conjuntos Matemática 2

a no pertenece al conjunto A
a  A , indica: 
a no es el elemento del conjunto A
1.3. DETERMINACIÓN DE UN CONJUNTO
Existen dos maneras de especificar o determinar un conjunto
dado: por extensión y por comprensión.
1.3.1. Por Extensión. Un conjunto queda determinado
por extensión cuando se conocen individualmente todos sus
elementos.
Ejemplos:
(1) A   a, e, i, o, u .
Se lee: "A es el conjunto de todas las vocales del alfabeto
castellano”
(2) C   a,{b, c}, d , e 
Se lee:”C es el conjunto de elementos a, el conjunto {b, c}, d,
e". Aquí se puede observar que: a  C , {b, c}  C , b  C ,
c  C , d  C , e  C , f  C.
1.3.2. Por Comprensión. Un conjunto A queda
determinado por comprensión, cuando éste se define por medio
de una propiedad o característica la cual deben satisfacer cada
uno de sus elementos.
Si x es un elemento cualquiera del conjunto A y P la propiedad
característica, se escribe:
A = {x| x cumple P} o A = {x| P(x) es verdadera}
, y se lee:
"A es el conjunto de los elementos x, tal que x cumple P" o
"A es el conjunto de los elementos x, tal que P(x) es verdadera".
(La barra vertical | se lee "tal que" o "tales que")
2
Unidad 1: Teoría de Conjuntos Matemática 3
Escribir x  A significa que x cumple la propiedad P y
recíprocamente.
Ejemplos:
(1) Si A   a, e, i, o, u , la propiedad característica es:
P(x): x es una vocal. Luego, se escribe: A = {x| x es una vocal}
El conjunto A también puede escribirse:
A = {x| x es una letra del alfabeto, x es una vocal}
Aquí la coma se lee "y".
(2) En B  3, 6, 9,12,...  la propiedad característica es:
P(x): x es un número natural y múltiplo de 3.
Entonces: B = {x| x es un número natural y múltiplo de 3}
EJERCICIO 1. Determinar por comprensión al conjunto:
A = {3, 8, 15, 24, 35,48}
Solución
Emplearemos el método de las diferencias sucesivas que
consiste en lo siguiente:
a) Ordenar los elementos del conjunto dado en orden creciente.
b) Efectuar las diferencias sucesivas entre dos elementos
consecutivos hasta que resulten ser siempre iguales.
c) Si estas diferencias resultan iguales en el primer, segundo o
tercer intentó, entonces el polinomio que caracteriza a cada
elemento del conjunto será de primer, segundo o tercer grado,
respectivamente, esto es:
x = P(n) = an + b, en el primer intento
x = P(n) = an2+bn+c, en el segundo intento
x = P(n) = an3+bn2+cn+d, en el tercer intento, etc.
, y donde: x = es el elemento del conjunto dado.
P(n) = es el valor numérico de x para un n  Z arbitrario en
términos de los coeficientes a, b, c, etc.
3
Unidad 1: Teoría de Conjuntos Matemática 4
Para el ejercicio dado:
A = {3, 8, 15, 24, 35,48}
3 8 15 24 35 48
5 7 9 11 13
2 2 2 2
La diferencia constante se obtuvo en el segundo intento, luego
la propiedad común de cada elemento es:
x = P(n) = an2+bn+c, a  0
Para n  1  3  P(1)  a  b  c (1)
n  2  8  P(2)  4a  2b  c (2)
n  3  15  P(3)  9a  3b  c (3)
Resolviendo el sistema (1), (2) y (3), obtenemos: a = 1, b = 2,
c = 0.
Entonces x  n 2  2n  A  {x | x  n  2n, n  Z, 1  n  6}
2

Si asignamos otros valores para n, tales como


n  0, n  1 y n  2, obtenemos: a  1, b  4 y c  3
(verificar), luego, otra forma de definir por comprensión el
conjunto A es: A  {x | x  n  4n  3, n  Z, 0  n  5}
2

1.4. CONJUNTOS FINITOS E INFINITOS


Un conjunto es finito si consta de un determinado número de
elementos distintos, o si al contar sus diferentes elementos, el
proceso de contar se termina. En caso contrario, el conjunto es
infinito.
Ejemplos:
(1) A  x | x es un día de la semana es un conjunto finito.
(2) B  1, 2, 3, 4, 5 es un conjunto finito.
(3) C  x | x es un número par es un conjunto infinito.

4
Unidad 1: Teoría de Conjuntos Matemática 5

(4) A  x | x es un habitante de la tierra es un conjunto


finito aunque sea difícil contar los habitantes del mundo.
1.5. CONJUNTOS NUMÉRICOS
Los conjuntos numéricos que se estudian en matemáticas son:
(1) El conjunto de los números naturales
Es el conjunto denotado por ℕ y cuyos elementos son
empleados para realizar la operación de contar.
ℕ = {1, 2, 3,..., n,...}

(2) El conjunto de los números enteros


Es una extensión del conjunto de los números naturales, se
denota por ℤ, y se escribe:
ℤ = {…,-n,...,-3,-2,-1, 0, 1, 2,3,…, n,…}
Cuando se desea designar a los enteros positivos o negativos,
se escribe
ℤ+  {1, 2, 3, ..., n, ...}
ℤ−  {...,  n, ..., 3,  2,  1}
Otras representaciones importantes del conjunto de los
números enteros son:
ℤ+0  {0,1, 2, 3, ..., n, ...}
Enteros pares  {x | x  2k , k  Z}
Enteros impares  {x | x  2k  1, k  Z}

(3) El conjunto de los números racionales


Es el conjunto que se denota por ℚ y que es la solución de la
ecuación ax  b  0 , donde a y b son enteros, con a  0 . Se
escribe:

5
Unidad 1: Teoría de Conjuntos Matemática 6

ℚ  {x | ax  b  0, a, b  Z, a  0}
, o bien:
 b 1 1 b 
Q   ...,  ,..., 1,...,  ,..., 0,..., ,...,1,..., ,...
 a 2 2 a 
Todo número racional b/a puede también ser representado
mediante una expresión decimal exacto o periódico:
1 1 2 
Por ejemplo:  0,5 ;  0,75;  0,666...  0,6
2 4 3

(4) El conjunto de los números irracionales


Es el conjunto que se denota por 𝕀 y está formado por los
números que no son racionales, es decir, aquellos números que
no pueden expresarse en la forma b/a, a, b  Z y a  0.

𝕀  ...,  ,..., e,...,  5,..., 3,..., e,...,  ,... 
𝜋 =3,14159 26535...
𝑒 =2.718281828459045235360…

(5) El conjunto de los números reales


Es el conjunto denotado por ℝ y está formado por los
conjuntos ℚ e 𝕀.

ℝ  ...,  ,..., e,...,  5,..., 1 / 2,..., 0,...,3 / 2,..., 3,..., e,...,  ,...
(6) El conjunto de los números complejos
Es el conjunto que se denota por ℂ y cuyos elementos son de
la forma: a  bi donde a, b  ℝ e i   1
ℂ = { 𝑎 + 𝑏𝑖|𝑎, 𝑏 ∈ ℝ, 𝑖 = √−1 }

6
Unidad 1: Teoría de Conjuntos Matemática 7

1.6 CONJUNTOS ESPECIALES


1.6.1. Conjunto Vacío o Nulo. Es el conjunto que no
tiene elementos. Se le denota simbólicamente por la letra
griega  (phi) y se define como:    x | x  x 
Para indicar que un conjunto A no tiene elementos se escribe
A   , en caso contrario se escribe A   .
Ejemplos:
 
(1) A  x  R | x  4  0 , es un conjunto vacío, pues la
2

ecuación x  4  0 no tiene raíces reales. Luego, A   .


2

(2) B   x  N | 5  x  6 , es un conjunto vacío porque no


existe un número natural que sea mayor que 5 y menor que 6 a
la vez. Luego, B   .
 
(3) C  x  Z | 15x  11x  2  0 , es un conjunto vacio
2

pues al resolver la ecuación 15x  11x  2  0 se obtiene:


2

x=l/3, x=2/5, que no pertenecen a Z. Luego, C   .


EJERCICIO 2. Cuáles de los siguientes conjuntos son
vacíos.
a) A  {x U | x  x, x  x }
b) B  {x  N | x  3x  2  0}
2

c) C  {x  Q | 3  x  5}
d) D  {x  N | x  1  0 }
2

e) E  {x  R | x  4  2 x  3  0 }
2

1
f) F  {x  R -{0}}|  x  x }
Solución
a) A  {x U | x  x, x  x }

7
Unidad 1: Teoría de Conjuntos Matemática 8
A   , porque ∄ x U | x  x y x  x a la vez.
b) B  {x  N | x  3x  2  0}
2

x 2  3x  2  0  x  1  N o x  2  N. Luego B  
c) C  {x  Q | 3  x  5}
C  {7 / 2, 4, 9 / 2 }. Todos son números racionales, entonces
C  .
d) D  {x  N | x  1  0 }
2

x 2  1  0  x 2  1  x  1 N  x  1 N,
Luego D  {1}   .
e) E  {x  R | x  4  2 x  3  0 }
2

No existe ningún número que satisfaga x 2  4  2 x  3  0.


 E  .
1
f) F  {x  R -{0}}|  x  x }
 x  x 1  x 2  1  x   1  i  R, luego F   .
Por lo tanto, cuatro son conjuntos vacíos.
1.6.2. Conjunto unitario. Es el conjunto que contiene
uno y solo un elemento.
Ejemplos:
(1) A  a es un conjunto unitario.
Como a  {a} , resulta evidente que a  {a}
 
(2) B  x  N | x  4  0  {2} , es un conjunto unitario.
2

(3) C  {a}, y D    son conjuntos unitarios, pues


{a}  C y   D.
Observación. Se debe tener presente que:   

8
Unidad 1: Teoría de Conjuntos Matemática 9
  , es un conjunto unitario que está determinado por
 x | x   , lo que asegura su existencia.
  , es el conjunto vacío, el cual definimos por:
   x | x  x  y nos permite garantizar su existencia y
que es único.
1.6.3. Conjunto Universal. El conjunto universal,
llamado también universo del discurso y denotado por U, es
aquel conjunto que contiene a todos los conjuntos que podemos
mencionar en una materia.
Ejemplos:
(1) El conjunto universal U   x  Z | 2  x  7  es
universo de los conjuntos A    2, 0,1, 2 , B  1, 3, 5, 6 ,
C   0, 2, 4 , porque todos los elementos de los conjuntos A,
B y C pertenecen al conjunto U.
(2)¿Es el conjunto U   0,1, 2, 3, 4 , universo del conjunto

A  x 2 | x U ? 
En efecto, podemos observar que el conjunto A está formado
por los cuadrados de los elementos de U, esto es:
A   0,1, 4, 9,16 . Por lo tanto U no es universo del conjunto
A.
LÓGICA CUANTIFICACIONAL
1.7. FUNCIÓN PROPOSICIONAL
Una función proposicional es todo enunciado abierto de la
forma p(x) que tiene la propiedad de convertirse en una
proposición al ser sustituido la variable x por una constante c
específica.
Ejemplos:
9
Unidad 1: Teoría de Conjuntos Matemática 10

(1) p( x) : x  5  11
Si x pertenece al conjunto de los números enteros, entonces
p(x) es una función proposicional, cuyo dominio son los
números enteros, esto es, si
x  2  Z  p (2) : 2  5  11, es verdadera
x  7  Z  p (7) : 7  5  11 , es falsa
Por tanto, p(x) es una función proposicional
(2) q ( x ) : 2 x  3  7
Si x  5  Z  q (5) : 2(5)  3  7 , es verdadera.
x  2  Z  q(2) : 2(2)  3  1  7 , es falsa
Luego, q(x) es una función proposicional.
(3) r ( x) : 2 x  6
2

Si x  5  r (3) : 2(3)  6  12 , no se le puede asignar ni V ni


2

F, luego r(x) no es una función proposicional.


(4) s ( x) : x es blanca
Si x  tiza  s (tiza) : la tiza es blanca , es verdadera.
x  pizarra  s ( pizarra) : la pizarra es blanca , es falsa.
Luego, s(x) es una función proposicional.
Observación.
No se debe confundir entre el valor de verdad de una
proposición (V o F) del valor de una función proposicional,
para un cierto valor de la variable.
Ejemplo: En la proposición p(x): El autor de x
Si x="El capital", entonces:
p ("El capital"): El autor de "El capital" = Carlos Marx
Se tiene: Valor de la función proposicional = Carlos Marx
Valor de verdad de la función proposicional = V
10
Unidad 1: Teoría de Conjuntos Matemática 11

1.8. CUANTIFICADORES UNIVERSAL Y


EXISTENCIAL
Sea la función proposicional:
p(x): x es un número primo (1)
Si a esta función proposicional anteponemos la locución "Para
todo x" obtenemos:
"Para todo x, x es un número primo" (2)
, y con ello estamos indicando el sentido universal de dicha
función proposicional; pues si afirmamos que, cualquiera que
sea el objeto x, ese objeto x es un número primo, entonces
habremos obtenido una proposición.
La locución "para todo x" se denomina el cuantificador
universal y simbólicamente se le representa por x .
Luego, la declaración (2) se puede escribir:
x : x es un número primo (3)
Insistimos, pues, en que (1) es una función proposicional, en
tanto que (3) es una proposición.
En términos generales, si se tiene una función proposicional
p(x), se puede tener de él una proposición mediante la
adjudicación de un cuantificador universal, así:
x : p ( x) o x | p ( x) o (x)[ p ( x)]
, en todas ellas se lee:
"Para todo x, tal que, se verifique p(x)"
Existe otro cuantificador llamado, cuantificador existencial en
x, a la frase "Existe x tal que". Si anteponemos a la función
proposicional (1) este nuevo cuantificador, se obtiene:
p(x): x es un número primo (1)
"Existe x tal que, x es un número primo" (4)
Esta afirmación establece que hay por lo menos un objeto que
es número primo.
11
Unidad 1: Teoría de Conjuntos Matemática 12
Por tanto, se ve que (4) admite la siguiente formulación
sinónima:
"Hay algún número primo" (5)
No cabe duda de que (5) es una proposición y, además,
verdadera.
El cuantificador existencial en x "Existe x tal que" se simboliza
x , de modo que (4) se puede escribir del modo siguiente:
"Existe x tal que, x es un número primo" (4)
x : x es un número primo (6)
En términos generales, si se tiene el esquema proposicional
p(x), puede obtenerse de él una proposición mediante la
adjunción de un cuantificador existencial, así:
x : p ( x) o x | p ( x) o (x)[ p ( x)]
, y se lee
"Existe por lo menos un x, tal que se verifique p(x)"
El símbolo  que significa: "existe" o "para algún" o "para al
menos un" se llama cuantificador existencial o particular.
Ejemplo:
Para el conjunto A   1, 2, 3, 4  se tiene:
(1) x  A : 3 x  2  12,
Se lee: “Para todo x A , cumple 3x  2  12 ” o "Cada
x  A cumple 3x  2  12 " y es una proposición
verdadera porque todo elemento de A cumple la
propiedad: 3x  2  12.
(2) x  A : x  2 x  8,
2

Se lee: "Existe (al menos uno) x  A tal que x 2  2 x  8 "


o "Algunos x  A cumplen: x 2  2 x  8 ", que es una

12
Unidad 1: Teoría de Conjuntos Matemática 13
proposición verdadera, pues para x  4 se cumple la
propiedad: x 2  2 x  8.
(3) x  A : x  3x  1  0,
2

Se lee: "Cada x  A cumple x 2  3 x  1  0 " o "Para todo


x  A , cumple x 2  3 x  1  0 ". La proposición es falsa, pues
para x  1 A no se cumple la propiedad: x 2  3 x  1  0.
1.8.1. PROPOSICIONES UNIVERSALES
Una proposición universal es aquella que está provista de un
cuantificador universal, y tiene la forma:
x  A : p ( x )
Ejemplos:
Si A  {1,1, 2, 3,4 } se tiene:
(1) " x  A, x  N ", la proposición universal es falsa, pues
hay al menos un elemento de A ( 1 A ) que no es número
natural,
(2) " x  A, 3x  x  2 ", la proposición es verdadera, pues
2

cada uno de los elementos de A cumple la propiedad:


3 x 2  x  2.
1.8.2. PROPOSICIONES PARTICULARES O
EXISTENCIALES
Se denomina proposición particular a aquella que está provista
de un cuantificador existencial, y tiene la forma:
x  A : p ( x)
Ejemplos:
(1)Si A  {1, 2, 3,4 } tenemos:
(a) x  A | 2 x  1  8, la proposición es verdadera, pues hay
al menos un x  4 que cumple: 2x  1  8.
13
Unidad 1: Teoría de Conjuntos Matemática 14

(b) x  A | x  2 x  5, es falsa, pues ninguno de los


2

elementos x de A cumplen la propiedad: x 2  2 x  5.


(2)La proposición: x  N | x es par y primo. Es verdadera,
pues 2  N cumple la propiedad "x es par y primo".
En general, la proposición particular x  A | p ( x ) , es
verdadera si en A hay al menos un elemento x que cumple p(x),
y es falsa si ningún elemento de A cumple p(x), esto es, todo
elemento de A no cumple p(x).
Observación.
Si la proposición particular x  A | p ( x ) , es verdadera para un
único valor de x en A, se escribe:
! x  A | p( x)
, y se lee: "Existe un único x A tal que cumple p(x)"
1.9. NEGACIÓN DE PROPOSICIONES QUE
CONTIENEN OPERADORES
CUANTIFICACIONALES
Teorema 1. ~ [x : p( x)]  [ x : ~ p( x)]
Ejemplo: Sea p(x): "x es un planeta habitable"
~ [x : p( x)] ≡No para todo x, x es un planeta habitable"
[ x : ~ p ( x )] ≡Existe por lo menos un planeta que no es
habitable.
Teorema 2. ~ [ x : p ( x)]  [x :~ p ( x)]
Ejemplo: Sea p(x): "x es un planeta habitable"
~ [ x : p ( x )] ≡ No existe x, tal que x sea un planeta habitable.
[x :~ p ( x)] ≡ Para todo x, no es el caso de que x sea un planeta
habitable.
Observación.
14
Unidad 1: Teoría de Conjuntos Matemática 15
Estas dos negaciones de proposiciones que contienen
cuantificadores se conocen también como los Teoremas de De
Morgan. En general, si representamos por A el conjunto de
todos los valores convenidos para la variable x, tenemos:
Teorema 3. ~ [x  A : p ( x)]  [ x  A : ~ p ( x)]
O sea el enunciado:
"No es verdad que, para todo a  A , p(a) es verdadera"
, es equivalente al enunciado:
"Existe un a  A tal que p(a) es falso"
Teorema 4. ~ [ x  A : p( x)]  [x  A :~ p( x)]
, o sea el enunciado:
"No es verdad que existe un a  A tal que p (a ) es verdadero"
equivale al enunciado:
"Para todo a  A , p (a ) es falso"
Ejemplo: la negación de la proposición:
"Para todo número natural x, x+3 ≯ 5"
Simbólicamente:
~[∀𝑥 ∈ ℕ: 𝑥 + 3 ≯ 5] ≡ [∃𝑥 ∈ ℕ: 𝑥 + 3 ≤ 5]
Recordar las tablas de verdad
p q p  q p  q p  q p  q p↔q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
EJERCICIO 3. Sea el conjunto A  {1, 2, 3, 4, 5} y las
proposiciones:
p  x  A | ( x  2  6)  ( x  5  8)
q  x  A | ( x  2  2)  ( x  2  2)

15
Unidad 1: Teoría de Conjuntos Matemática 16
r  x  A, y  A | ( x  y  2)
Hallar el valor de verdad de: s  ~ [( p  q )  (q  ~ r )]
Solución
( x  2  6)  (4  2  6) es V
En p : para x  4  A  
( x  5  8)  (4  5  8) es F
Luego: V ( p)  V (V  F )  F
En q se tiene ( x  0)  ( x  0). Todo elemento de A satisface
x  0 , más no x  0.
Por tanto: V (q )  V (V  F )  V
En r, si y  2  A  x  2  2 tiene como solución el conjunto
A, o sea V (r )  V .
En consecuencia:
V ( s )  ~ [( F  F )  (V  F )]  ~ [V  V ]  F

16

Potrebbero piacerti anche