Teoría de Conjuntos
Teoría de Conjuntos
Teoría de Conjuntos
Teoría de conjuntos
Un conjunto es un grupo de elementos u objetos especificados en tal forma que
se puede afirmar con certeza si cualquier objeto dado pertenece o no a la
agrupación. Para denotar a los conjuntos, se usan letras mayúsculas. (Perez, 2018)
Cuando un elemento x1 pertenece a un conjunto A se expresa de forma simbólica
como: x1 ∈ A . En caso de que un elemento 1 y no pertenezca a este mismo conjunto
se utiliza la notación: y1 ∉ A
Formas de enunciar los conjuntos
Por extensión Los elementos son encerrados entre llaves y
separados por comas.
Por comprensión Los elementos se determinan a través de una
condición que se establece entre llaves. Se emplea
el símbolo I que significa tal que.
Por diagramas de Venn Son regiones cerradas que sirven para visualizar el
contenido de un conjunto o las relaciones entre
conjuntos.
Por descripción verbal Enunciado que describe la característica que es
común para los elementos.
Operaciones de conjuntos
Tipo Descripción Representación
Unión La unión de dos conjuntos A y B la A È B = { x/x Î A ó x Î B }
denotaremos por A È B y es el conjunto
formado por los elementos que
pertenecen al menos a uno de ellos ó a los
dos..
Intersección Se denota por A Ç B. A Ç B = { x/x Î A y x Î B }
Se lee como el conjunto de elementos x
que están en A y están en B.
Aritmética
Símbolo Nombre se lee como Categoría
adición mas aritmética
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado,
+
es 10.
43 + 65 = 108; 2 + 7 = 9
substracción menos aritmética
9 − 4 = 5 significa que si 4 es restado de 9, el resultado será 5. El
símbolo 'menos' también se utiliza para denotar que un número es
−-
negativo. Por ejemplo, 5 + (−3) = 2 significa que si 'cinco' y 'menos
tres' son sumados, el resultado es 'dos'.
87 − 36 = 51
multiplicación por aritmética
×
· significa que si se cuenta siete veces seis, el resultado
* será 42.
÷
/ significa que si se hace seis pedazos uniformes de cuarenta
y dos, cada pedazo será de tamaño siete.
24 / 6 = 4
Ing. en Geociencias 4to semestre, grupo A
Geoestadística Ing. Ignacio Arias Arias
Tema: Teoría de conjuntos
Lógica proposicional
Símbolo Nombre se lee como Categoría
implica; si..
implicación material lógica proposicional
entonces
A ⇒ B significa: si A es verdadero entonces B es verdadero también;
⇒ si A es falso entonces nada se dice sobre B.
→ → puede significar lo mismo que ⇒, o puede ser usado para denotar
funciones, como se indica más abajo.
x = 2 ⇒ x2 = 4 es verdadera, pero x2 = 4 ⇒ x = 2 es, en general,
falso (yq que x podría ser −2)
si y sólo si;
equivalencia material lógica proposicional
ssi
⇔
A ⇔ B significa: A es verdadera si B es verdadera y A es falsa si B es
↔
falsa.
x+5=y+2 ⇔ x+3=y
conjunción lógica lógica proposicional,
y
o intersección en una reja teoría de rejas
∧ la proposición A ∧ B es veradera si A y B son ambas verdaderas; de
otra manera es falsa.
n < 4 ∧ n > 2 ⇔ n = 3 cuando n es un número natural
disjunción lógica o unión en lógica proposicional,
o
una reja teoría de rejas
∨ la proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas;
si ambas son falsas, la proposición es falsa.
n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 cuando n es un número natural
negación lógica no lógica proposicional
la proposición ¬A es verdadera si y sólo si A es falsa.
¬
un "slash" colocado sobre otro operador es equivalente a "¬" colocado
/
enfrente.
¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S ⇔ ¬(x ∈ S)
Ing. en Geociencias 4to semestre, grupo A
Geoestadística Ing. Ignacio Arias Arias
Tema: Teoría de conjuntos
Lógica de predicados
Símbolo Nombre se lee como Categoría
cuantificación para todos; para cualquier; lógica de
universal para cada predicados
∀
∀ x: P(x) significa: P(x) es verdadera para cualquier x
∀ n ∈ N: n2 ≥ n
cuantificación lógica de
existe
existencial predicados
∃
∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
lógica de
tal que
predicados
:
∃ x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
∃ n ∈ N: n + 5 = 2n
Teoría de conjuntos
Símbolo Nombre se lee como Categoría
delimitadores de teoría de
el conjunto de ...
conjunto conjuntos
{,}
{a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}
notación constructora el conjunto de los elementos teoría de
de conjuntos ... tales que ... conjuntos
{:}
{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es
{|}
verdadera. {x | P(x)} es lo mismo que {x : P(x)}.
{n ∈ N : n2 < 20} = {0,1,2,3,4}
teoría de
conjunto vacío conjunto vacío
conjuntos
{}
{} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.
{n ∈ N : 1 < n2 < 4} = {}
membresía de en; está en; es elemento de; teoría de
conjuntos es miembro de; pertenece a conjuntos
∈∉ a ∈ S significa: a es elemento del conjunto S; a ∉ S significa: a no es
elemento del conjunto S
(1/2)−1 ∈ N; 2−1 ∉ N
teoría de
subconjunto es subconjunto de
conjuntos
⊆
A ⊆ B significa: cada elemento de A es también elemento de B
⊂
A ⊂ B significa: A ⊆ B pero A ≠ B
A ∩ B ⊆ A; Q ⊂ R
Ing. en Geociencias 4to semestre, grupo A
Geoestadística Ing. Ignacio Arias Arias
Tema: Teoría de conjuntos
Funciones
Símbolo Nombre se lee como Categoría
aplicación de función;
de funciones
agrupamiento
() para aplicación de función: f(x) significa: el valor de la función fsobre
[] el elemento x para agrupamiento: realizar primero las operaciones
{} dentro del paréntesis.
If f(x) := x2, entonces f(3) = 32 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) =
8/2 = 4
mapeo funcional de ... a funciones
f:X→Y f: X → Y significa: la función f mapea el conjunto X al conjunto Y
Considérese la función f: Z → N definida por f(x) = x2
Números
Símbolo Nombre se lee como Categoría
números
N números
naturales
N N significa: {0,1,2,3,...}, pero véase el artículo números naturales para
una convención diferente.
{|a| : a ∈ Z} = N
números enteros Z números
Z Z significa: {...,−3,−2,−1,0,1,2,3,...}
{a : |a| ∈ N} = Z
Ing. en Geociencias 4to semestre, grupo A
Geoestadística Ing. Ignacio Arias Arias
Tema: Teoría de conjuntos
números
Q números
racionales
Q
Q significa: {p/q : p,q ∈ Z, q ≠ 0}
3.14 ∈ Q; π ∉ Q
números reales R números
R R significa: {limn→∞ an : ∀ n ∈ N: an ∈ Q, el límite existe}
π ∈ R; √(−1) ∉ R
números
C números
complejos
C
C significa: {a + bi : a,b ∈ R}
i = √(−1) ∈ C
la raíz cuadrada de; la principal números
raíz cuadrada
raíz cuadrada de reales
√
√x significa: el número positivo cuyo cuadrado es x
√(x2) = |x|
infinito infinito números
∞ es un elemento de la línea extendida de números reales mayor que
∞
todos los números reales; ocurre frecuentemente en límites
limx→0 1/|x| = ∞
valor absoluto valor absoluto de números
|x| significa: la distancia en la línea real (o en el plano complejo)
||
entre xy zero
|a + bi| = √(a2 + b2)
Órdenes parciales
Símbolo Nombre se lee como Categoría
órdenes
comparación es menor que, es mayor que
< parciales
> x < y significa: x es menor que y; x > y significa: x es mayor que y
x<y ⇔ y>x
es menor o igual a, es mayor o órdenes
comparación
igual a parciales
≤
x ≤ y significa: x es menor o igual a y; x ≥ y significa: x es mayor o
≥
igual a y
x ≥ 1 ⇒ x2 ≥ x
Geometría eucliediana
Símbolo Nombre se lee como Categoría
pi pi Geometría euclideana
π
π significa: la razón de la circunferencia de un círculo a su diámetro.
Ing. en Geociencias 4to semestre, grupo A
Geoestadística Ing. Ignacio Arias Arias
Tema: Teoría de conjuntos
Combinatoria
Símbolo Nombre se lee como Categoría
factorial factorial combinatoria
! n! es el producto 1×2×...×n
4! = 24
Análisis funcional
Cálculo
Ortogonalidad
Teoría de rejas
Símbolo Nombre se lee como Categoría
fondo el elemento fondo teoría de rejas
⊥
x = ⊥ significa: x es el elemento más pequeño.
Bibliografía
Antonia, H. S. (22 de febrero de 2002). Teoria de conjuntos. Obtenido de
https://webs.ucm.es/info/pslogica/teoriaconjuntos.pdf
Perez, C. G. (22 de Febrero de 2018). Estadistica aplicada. Obtenido de Teoria de
conjuntos:
https://repository.uaeh.edu.mx/bitstream/bitstream/handle/123456789/1488
6/LECT107.pdf?sequence=1