Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proposición lógica
1
2 1.1. Conectores lógicos
K. Padilla 2 UNSM
Capı́tulo 2
Teorı́a de conjuntos
2.1. Conjuntos
D EFINICI ÓN 2.1. : Es un sinónimo de termino colección, familia, agrupación, etc., de objetos de cual-
quier naturaleza: el conjunto de los estudiantes del grado de Matemáticas de una universidad, conjunto
de letras del espaõl (abecedario), el conjunto de meses de anõ . En toda terminologı́a de las matemáticas
han escogido el términos conjuntos y elementos.
Notación: Los conjunto se denotan con letras mayúsculas:A, B, C, ..., A1 , A2 , ..., B1 , B2 , ... Los ele-
mentos se denotan con letras minúsculas: a, b, c, ..., a1 , a2 , a3 , ..., b1 , b2 , b3 , ..., x1 , x2 , x3 , ...
Entonces tenemos:
(1) 2 ∈ A, porque 2 ∈ R ∧ 2 satisface la ecuación x2 − 4 = 0
(2) −2 ∈ A, porque −2 ∈ R ∧ −2 satisface la ecuación x2 − 4 = 0
/ B, porque 2 ∈ R ∧ 2 no satisface la ecuación x2 + 4 = 0
(3) 2 ∈
(4) −1 ∈ C, por que −1 ∈ R ∧ −1 satisface la ecuación ax+1 = 1
3
4 2.3. Diagrama de Venn-Euler
1 1 1
(5) 3 ∈ D por que 3 ∈R∧0< 3 <1
5 5 5
(6) 16 ∈ D por que 16 ∈R∧0< 16 <1
4 4 4
(7) 3 ∈
/ D, porque 3 ∈ R pero, 3 no es menor que 1.
A = B si y sólo si A ⊂ B y B ⊂ A
Una manera sencilla de representar la inclusión o la pertenencia en los conjuntos se hace mediante los
llamados diagramas de Venn-Euler. En ellos se representa cada conjunto mediante un circulo u ovalo.
La posicion relativa en el plano entre los circulos muestra la inclusion entre los conjuntos en la fig. 2.1
a) se representa el conjunto A = {a, b, c, d, e} y en la fig.2.1 b) los conjuntos A y B = {a, b, d} y la
relacion B ⊂ A.
E JEMPLO 2.2. Los conjuntos de los números 2, 3, 4 y 5 están definidos por comprensión; ası́ en 2,
B = {x ∈ Z|x2 − 3x + 2 = 0} o en 5, E = {x ∈ Z|x es par}
Se observa que el conjunto B = {1, 2} coincide con el conjunto A. A su vez, un conjunto puede estar
determinado por distintos predicados. Por ejemplo, si C = {x ∈ Z|0 < x < 3} entonces A = C. Se
dice que los predicados “x2 − 3x + 200 y “0 < x < 300 son equivalentes sobre el universo Z
En conclusión:
• Dos predicados son equivalentes sobre el universo C cuando determinan un mismo subconjunto
de C.
K. Padilla 4 UNSM
Cap. 2: Teorı́a de conjuntos 5
E JEMPLO 2.3.
B = n1 /n ∈ Z+
B = {1, 12 , 13 , 41 , ...}
C = {2n /n ∈ N+ }
C = {1, 2, 4, 8, 16, ...}
D = {2n/n ∈ Z+ } este conjunto son los
números pares enteros positivos.
D = {2, 4, 6, 8, ...}
E = {2n − 1/n ∈ Z+ } o {2n − 1/n ∈ N}
E = {1, 3, 5, 7, ...} éste conjunto son los números impares en-
teros positivo.
F = {1, x,2 , x3 , ...}
F = {xn /n ∈ N}
G = {5, 10, 15, 20, ...} G = {5n/n ∈ Z+ }
H = 21n /n ≥ 2, n ∈ N
H = { 14 , 18 , 16
1
, ...}
n o
I = { 12 , 25 , 10
3 4
, 17 , ...} I = n2n+1 /n ∈ Z+
n o
n
J= { 13 , 25 , 39 , 17
4
, ...} J= 2n +1 /n ∈ Z+
K. Padilla 5 UNSM
6 2.5. Conjuntos numéricos
Intuitivamente los numeros reales se representa por una recta y la llamaremos RECTA REAL.
E1 conjuntó de todos los números reales no se puede expresar por extensión. Sin embargo
existen subconjuntos de números reales que si se pueden expresar por extensión, tales como
las sucesiones: sin recurrir a casos especiales, por ejemplo
n
A = xn = /n ∈ N , B = {yn = 2n /n ∈ N}
n+1
Los subconjuntos de números reales que no se pueden expresar por extensión son los inter-
valos.
La definición axiomática de los números reales, la daremos más adelante. Por ahora, interesa
que el estudiante tenga una claraide a de los números reales.
K. Padilla 6 UNSM
Cap. 2: Teorı́a de conjuntos 7
Nota: La suma “a + bi00 también se representan por el par ordenado (a, b), donde la primera componente
“a00 se llama PARTE REAL 00
( y la segunda componente “b se llama PARTE IMAGINARIA.
a = Re(z) √
Si z = a + bi, entonces Ademas |z| = a2 + b2 , |z| = modulo de z
b = Im(z)
b
θ = Arg(z) = arc tg ,
a
donde 0◦ ≤ θ < 2π donde Arg argumento de Z
IMPORTANTE CONCLUSIÓN:
Como los números complejos se representan por pares ordenados y dichos pares ordenados SON PUN-
TOS DEL PLANO RxR entonces podemos extraer una importante conclusión: “Los números complejos
son puntos de otro plano llamado PLANO COMPLEJO, que coincide con el plano RxR. Matemática-
mente está “coincidencia” toma el nombre de 1SOMORFISMO entre CONJUNTOS.
Para nuestro caso tenemos que “Ces isomorfo a RxR”.
K. Padilla 7 UNSM
8 2.6. El conjunto de los números complejos: C
Ejemplos:
K. Padilla 8 UNSM