Podcast
Questions and Answers
¿Cuál de las siguientes afirmaciones describe correctamente la diferencia entre dos conjuntos A y B (A - B)?
¿Cuál de las siguientes afirmaciones describe correctamente la diferencia entre dos conjuntos A y B (A - B)?
- El conjunto de todos los elementos que están en A pero no en B. (correct)
- El conjunto de todos los elementos que están tanto en A como en B.
- El conjunto de todos los elementos que están en B pero no en A.
- El conjunto de todos los elementos que están ya sea en A o en B.
Si A = {2, 4, 6, 8, 10} y B = {3, 6, 9, 12}, ¿cuál es el resultado de A △ B (diferencia simétrica)?
Si A = {2, 4, 6, 8, 10} y B = {3, 6, 9, 12}, ¿cuál es el resultado de A △ B (diferencia simétrica)?
- {}
- {2, 3, 4, 8, 9, 10, 12} (correct)
- {6}
- {2, 3, 4, 6, 8, 9, 10, 12}
Dado el conjunto universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y el conjunto A = {2, 4, 6, 8}, ¿cuál es el complemento de A (A')?
Dado el conjunto universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y el conjunto A = {2, 4, 6, 8}, ¿cuál es el complemento de A (A')?
- {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
- {1, 3, 5, 7, 9, 10} (correct)
- {2, 4, 6, 8}
- {}
Si A y B son dos conjuntos disjuntos, y #A = 5, #B = 3, ¿cuál es #(A ∪ B)?
Si A y B son dos conjuntos disjuntos, y #A = 5, #B = 3, ¿cuál es #(A ∪ B)?
Si se sabe que #(A) = 10, #(B) = 7 y #(A ∪ B) = 13, ¿cuál es el valor de #(A ∩ B)?
Si se sabe que #(A) = 10, #(B) = 7 y #(A ∪ B) = 13, ¿cuál es el valor de #(A ∩ B)?
Dado que A = {1, 2, 3} y B = {3, 4, 5}, ¿cuál de las siguientes opciones representa correctamente (A - B) ∪ (B - A)?
Dado que A = {1, 2, 3} y B = {3, 4, 5}, ¿cuál de las siguientes opciones representa correctamente (A - B) ∪ (B - A)?
¿Cuál de las siguientes afirmaciones es verdadera con respecto al uso de tablas para demostrar relaciones entre conjuntos?
¿Cuál de las siguientes afirmaciones es verdadera con respecto al uso de tablas para demostrar relaciones entre conjuntos?
Considerando que U es el conjunto universal, ¿cuál de las siguientes igualdades es siempre verdadera?
Considerando que U es el conjunto universal, ¿cuál de las siguientes igualdades es siempre verdadera?
Si #(U) = 20 y #(A) = 8, ¿cuál es el valor de #(A')?
Si #(U) = 20 y #(A) = 8, ¿cuál es el valor de #(A')?
Considerando la afirmación $A ∩ B ⊆ (B − C) ∪ (A ∩ C)$, ¿qué indica una fila en la tabla de verdad donde $A ∩ B$ es Verdadero y $(B − C) ∪ (A ∩ C)$ es Falso?
Considerando la afirmación $A ∩ B ⊆ (B − C) ∪ (A ∩ C)$, ¿qué indica una fila en la tabla de verdad donde $A ∩ B$ es Verdadero y $(B − C) ∪ (A ∩ C)$ es Falso?
En el contexto de las tablas de verdad para conjuntos, ¿qué representa la columna $A'$?
En el contexto de las tablas de verdad para conjuntos, ¿qué representa la columna $A'$?
Si al analizar una tabla de verdad se encuentra que $A' ∩ B = B$, ¿qué conclusión necesariamente se puede extraer?
Si al analizar una tabla de verdad se encuentra que $A' ∩ B = B$, ¿qué conclusión necesariamente se puede extraer?
¿Cuál de los siguientes conectores lógicos corresponde a la operación de diferencia simétrica entre conjuntos?
¿Cuál de los siguientes conectores lógicos corresponde a la operación de diferencia simétrica entre conjuntos?
En el contexto de la lógica proposicional y las tablas de verdad, ¿qué representa el conector '⇒'?
En el contexto de la lógica proposicional y las tablas de verdad, ¿qué representa el conector '⇒'?
Si se quiere demostrar que dos conjuntos A y B son iguales usando tablas de verdad, ¿qué se debe verificar?
Si se quiere demostrar que dos conjuntos A y B son iguales usando tablas de verdad, ¿qué se debe verificar?
Si p(x) y q(x) son predicados sobre un conjunto U, y se construye una tabla de verdad para evaluar la afirmación $p(x) ⇒ q(x)$, ¿qué indica una fila donde p(x) es Verdadero y q(x) es Falso?
Si p(x) y q(x) son predicados sobre un conjunto U, y se construye una tabla de verdad para evaluar la afirmación $p(x) ⇒ q(x)$, ¿qué indica una fila donde p(x) es Verdadero y q(x) es Falso?
Dado el conjunto $C = {1, {1}, {2, 3}}$, ¿cuál de las siguientes afirmaciones es verdadera?
Dado el conjunto $C = {1, {1}, {2, 3}}$, ¿cuál de las siguientes afirmaciones es verdadera?
Si $A = {x \in \mathbb{Z} : -3 < x < 3}$ , ¿cuál de los siguientes conjuntos representa correctamente A?
Si $A = {x \in \mathbb{Z} : -3 < x < 3}$ , ¿cuál de los siguientes conjuntos representa correctamente A?
¿Cuál de las siguientes afirmaciones sobre el cardinal de un conjunto es siempre verdadera?
¿Cuál de las siguientes afirmaciones sobre el cardinal de un conjunto es siempre verdadera?
¿Cuál de los siguientes conjuntos está definido por extensión?
¿Cuál de los siguientes conjuntos está definido por extensión?
Sean los conjuntos $A = {1, 2, {3, 4}}$ y $B = {{1}, 2, 3, 4}$. ¿Cuál de las siguientes relaciones de pertenencia es correcta?
Sean los conjuntos $A = {1, 2, {3, 4}}$ y $B = {{1}, 2, 3, 4}$. ¿Cuál de las siguientes relaciones de pertenencia es correcta?
Considerando el conjunto $A= {1, 2, 3}$, ¿cuál de las siguientes opciones NO es una forma correcta de representar el conjunto A?
Considerando el conjunto $A= {1, 2, 3}$, ¿cuál de las siguientes opciones NO es una forma correcta de representar el conjunto A?
Si #A representa el cardinal del conjunto A, ¿qué podemos concluir si #A = 0?
Si #A representa el cardinal del conjunto A, ¿qué podemos concluir si #A = 0?
Dado el conjunto $X = {a, {b, c}, d}$, ¿cuál de las siguientes afirmaciones es incorrecta?
Dado el conjunto $X = {a, {b, c}, d}$, ¿cuál de las siguientes afirmaciones es incorrecta?
Si el conjunto A tiene 5 elementos y el conjunto B tiene 3 elementos, ¿cuántos elementos tiene el producto cartesiano A × B?
Si el conjunto A tiene 5 elementos y el conjunto B tiene 3 elementos, ¿cuántos elementos tiene el producto cartesiano A × B?
Dado un conjunto finito A, ¿qué representa P(A)?
Dado un conjunto finito A, ¿qué representa P(A)?
Si un conjunto A tiene 4 elementos, ¿cuántos elementos tiene su conjunto potencia P(A)?
Si un conjunto A tiene 4 elementos, ¿cuántos elementos tiene su conjunto potencia P(A)?
¿Cuál de las siguientes afirmaciones es correcta con respecto a la asociación entre un subconjunto B de A = {a1,..., an} y un elemento de {0, 1}$^n$?
¿Cuál de las siguientes afirmaciones es correcta con respecto a la asociación entre un subconjunto B de A = {a1,..., an} y un elemento de {0, 1}$^n$?
Sean A = {1, 2, 3} y B = {a, b}. ¿Cuál de los siguientes conjuntos no es una relación de A en B?
Sean A = {1, 2, 3} y B = {a, b}. ¿Cuál de los siguientes conjuntos no es una relación de A en B?
Si #A = n, ¿cuántas relaciones diferentes de A en A se pueden definir?
Si #A = n, ¿cuántas relaciones diferentes de A en A se pueden definir?
Dados los conjuntos A = {x, y} y B = {1, 2, 3}, ¿cuál de las siguientes opciones representa correctamente el producto cartesiano A × B?
Dados los conjuntos A = {x, y} y B = {1, 2, 3}, ¿cuál de las siguientes opciones representa correctamente el producto cartesiano A × B?
Si A = {a, b, c, d, e}, ¿cuál es el cardinal del conjunto de todas las relaciones posibles de A en sí mismo?
Si A = {a, b, c, d, e}, ¿cuál es el cardinal del conjunto de todas las relaciones posibles de A en sí mismo?
¿Cuál de las siguientes NO es una característica clave del código iterativo de factorial en Python presentado?
¿Cuál de las siguientes NO es una característica clave del código iterativo de factorial en Python presentado?
Si tienes un conjunto A con 4 elementos y un conjunto B con 6 elementos, ¿cuántas funciones inyectivas puedes formar de A a B?
Si tienes un conjunto A con 4 elementos y un conjunto B con 6 elementos, ¿cuántas funciones inyectivas puedes formar de A a B?
Según el texto, ¿qué se puede afirmar sobre el cálculo de funciones sobreyectivas comparado con las inyectivas o biyectivas?
Según el texto, ¿qué se puede afirmar sobre el cálculo de funciones sobreyectivas comparado con las inyectivas o biyectivas?
Considerando dos conjuntos finitos Am y Bn con m ≤ n elementos respectivamente, ¿cuál es el número de funciones inyectivas f: Am → Bn?
Considerando dos conjuntos finitos Am y Bn con m ≤ n elementos respectivamente, ¿cuál es el número de funciones inyectivas f: Am → Bn?
¿Cuál es el propósito principal del bucle for i in range (1, n + 1)
en el código de la función factorial(n)
en Python descrito?
¿Cuál es el propósito principal del bucle for i in range (1, n + 1)
en el código de la función factorial(n)
en Python descrito?
Si se define una función inyectiva f: A → B, donde A tiene 3 elementos y B tiene 7 elementos, ¿cuántas opciones existen para mapear el primer elemento de A en B?
Si se define una función inyectiva f: A → B, donde A tiene 3 elementos y B tiene 7 elementos, ¿cuántas opciones existen para mapear el primer elemento de A en B?
En el contexto de funciones inyectivas entre conjuntos finitos, ¿qué restricción principal debe cumplirse en relación con el tamaño de los conjuntos Am y Bn?
En el contexto de funciones inyectivas entre conjuntos finitos, ¿qué restricción principal debe cumplirse en relación con el tamaño de los conjuntos Am y Bn?
¿Qué matemático creó el lenguaje de programación Python a finales de los años 80?
¿Qué matemático creó el lenguaje de programación Python a finales de los años 80?
Si $f: A \rightarrow B$ es una función biyectiva, ¿cuál de las siguientes afirmaciones es necesariamente verdadera?
Si $f: A \rightarrow B$ es una función biyectiva, ¿cuál de las siguientes afirmaciones es necesariamente verdadera?
Sean $A$ y $B$ conjuntos finitos con la misma cantidad de elementos. Si la cantidad de funciones biyectivas entre $A$ y $B$ es 24, ¿cuántos elementos tiene cada conjunto?
Sean $A$ y $B$ conjuntos finitos con la misma cantidad de elementos. Si la cantidad de funciones biyectivas entre $A$ y $B$ es 24, ¿cuántos elementos tiene cada conjunto?
Si $f: A \rightarrow B$ es una función tal que existe una función $g: B \rightarrow A$ con $g \circ f = id_A$, ¿qué podemos concluir sobre la función $f$?
Si $f: A \rightarrow B$ es una función tal que existe una función $g: B \rightarrow A$ con $g \circ f = id_A$, ¿qué podemos concluir sobre la función $f$?
Sea $f: A \rightarrow B$ una función. ¿Cuál de las siguientes condiciones es suficiente para garantizar que $f$ es biyectiva?
Sea $f: A \rightarrow B$ una función. ¿Cuál de las siguientes condiciones es suficiente para garantizar que $f$ es biyectiva?
Sean $A = {1, 2, 3}$ y $B = {a, b, c}$. ¿Cuántas funciones biyectivas diferentes se pueden definir de $A$ a $B$?
Sean $A = {1, 2, 3}$ y $B = {a, b, c}$. ¿Cuántas funciones biyectivas diferentes se pueden definir de $A$ a $B$?
Si $f: A \rightarrow B$ es una función biyectiva y $A$ tiene 5 elementos, ¿cuántos elementos debe tener $B$?
Si $f: A \rightarrow B$ es una función biyectiva y $A$ tiene 5 elementos, ¿cuántos elementos debe tener $B$?
Considere dos conjuntos finitos, $X$ e $Y$, con $|X| = m$ y $|Y| = n$. ¿Qué condición debe cumplirse para que exista una función biyectiva entre $X$ e $Y$?
Considere dos conjuntos finitos, $X$ e $Y$, con $|X| = m$ y $|Y| = n$. ¿Qué condición debe cumplirse para que exista una función biyectiva entre $X$ e $Y$?
Dada una función $f: A \rightarrow B$. Si se sabe que $f \circ f^{-1} = id_B$, ¿qué se puede inferir acerca de la función $f$?
Dada una función $f: A \rightarrow B$. Si se sabe que $f \circ f^{-1} = id_B$, ¿qué se puede inferir acerca de la función $f$?
Flashcards
¿Qué es un conjunto?
¿Qué es un conjunto?
Un conjunto es una colección de objetos, llamados elementos, donde se puede determinar si un objeto pertenece o no al conjunto.
¿Qué significa 'a ∈ A'?
¿Qué significa 'a ∈ A'?
Indica que un elemento 'a' es miembro del conjunto A.
¿Qué significa 'b ∉ A'?
¿Qué significa 'b ∉ A'?
Indica que un objeto 'b' no es miembro del conjunto A.
¿Qué es el cardinal de un conjunto?
¿Qué es el cardinal de un conjunto?
Signup and view all the flashcards
¿Qué es un conjunto infinito?
¿Qué es un conjunto infinito?
Signup and view all the flashcards
¿Qué es la definición por extensión?
¿Qué es la definición por extensión?
Signup and view all the flashcards
¿Qué es la definición por comprensión?
¿Qué es la definición por comprensión?
Signup and view all the flashcards
¿Qué es el conjunto vacío?
¿Qué es el conjunto vacío?
Signup and view all the flashcards
Diferencia de conjuntos (A - B)
Diferencia de conjuntos (A - B)
Signup and view all the flashcards
Diferencia simétrica (A △ B)
Diferencia simétrica (A △ B)
Signup and view all the flashcards
Cardinalidad (#)
Cardinalidad (#)
Signup and view all the flashcards
Conjuntos disjuntos
Conjuntos disjuntos
Signup and view all the flashcards
Cardinalidad de la unión (disjuntos)
Cardinalidad de la unión (disjuntos)
Signup and view all the flashcards
Cardinalidad general de la unión
Cardinalidad general de la unión
Signup and view all the flashcards
Cardinalidad del complemento
Cardinalidad del complemento
Signup and view all the flashcards
Cardinalidad de la diferencia
Cardinalidad de la diferencia
Signup and view all the flashcards
Tablas de verdad para conjuntos
Tablas de verdad para conjuntos
Signup and view all the flashcards
A ∩ B ⊆ (B − C) ∪ (A ∩ C)
A ∩ B ⊆ (B − C) ∪ (A ∩ C)
Signup and view all the flashcards
A′ ∩ B = B
A′ ∩ B = B
Signup and view all the flashcards
A′ ∩ B = B ⇒ A ∩ B = ∅
A′ ∩ B = B ⇒ A ∩ B = ∅
Signup and view all the flashcards
p(x), q(x) predicados
p(x), q(x) predicados
Signup and view all the flashcards
Conectores lógicos
Conectores lógicos
Signup and view all the flashcards
¬ (NO)
¬ (NO)
Signup and view all the flashcards
∨ (O no excluyente)
∨ (O no excluyente)
Signup and view all the flashcards
f⁻¹ ◦ f = idA
f⁻¹ ◦ f = idA
Signup and view all the flashcards
Función biyectiva
Función biyectiva
Signup and view all the flashcards
Inyectividad de f
Inyectividad de f
Signup and view all the flashcards
Sobreyectividad de f
Sobreyectividad de f
Signup and view all the flashcards
g = f⁻¹
g = f⁻¹
Signup and view all the flashcards
Funciones biyectivas (conjuntos finitos)
Funciones biyectivas (conjuntos finitos)
Signup and view all the flashcards
Permutación
Permutación
Signup and view all the flashcards
Permutaciones de 3 elementos
Permutaciones de 3 elementos
Signup and view all the flashcards
¿Qué es A × B?
¿Qué es A × B?
Signup and view all the flashcards
#(A × B) = ?
#(A × B) = ?
Signup and view all the flashcards
#(P(A)) = ?
#(P(A)) = ?
Signup and view all the flashcards
¿Qué es una relación de A en B?
¿Qué es una relación de A en B?
Signup and view all the flashcards
¿Qué relación existe entre P(A) y {0, 1}^n?
¿Qué relación existe entre P(A) y {0, 1}^n?
Signup and view all the flashcards
Función biyectiva P(A) y {0, 1}ⁿ
Función biyectiva P(A) y {0, 1}ⁿ
Signup and view all the flashcards
¿Cuál es la formalización matemática de una relación?
¿Cuál es la formalización matemática de una relación?
Signup and view all the flashcards
Si R es una relación de A en B, ¿a qué conjunto pertenece R?
Si R es una relación de A en B, ¿a qué conjunto pertenece R?
Signup and view all the flashcards
¿Qué es Python?
¿Qué es Python?
Signup and view all the flashcards
¿Cómo funciona el factorial iterativo en Python?
¿Cómo funciona el factorial iterativo en Python?
Signup and view all the flashcards
¿Qué es una función inyectiva entre conjuntos finitos?
¿Qué es una función inyectiva entre conjuntos finitos?
Signup and view all the flashcards
¿Cómo se calcula el número de funciones inyectivas?
¿Cómo se calcula el número de funciones inyectivas?
Signup and view all the flashcards
¿Cuál es la fórmula para el número de funciones inyectivas de Am en Bn?
¿Cuál es la fórmula para el número de funciones inyectivas de Am en Bn?
Signup and view all the flashcards
¿Qué representa n! / (n-m)¡ en funciones?
¿Qué representa n! / (n-m)¡ en funciones?
Signup and view all the flashcards
¿Existe una fórmula simple para funciones sobreyectivas?
¿Existe una fórmula simple para funciones sobreyectivas?
Signup and view all the flashcards
¿Qué es una función sobreyectiva?
¿Qué es una función sobreyectiva?
Signup and view all the flashcards
Study Notes
- Capítulo 1 trata sobre conjuntos, relaciones y funciones.*
Conjuntos
- Un conjunto es una colección de objetos llamados elementos.
- La propiedad definitoria es que se puede determinar si un objeto pertenece o no al conjunto.
- Ejemplos de conjuntos incluyen:
- A = {1, 2, 3}
- B = {∆, □}
- C = {1, {1}, {2, 3}}
- N = {1, 2, 3, 4, ...} es el conjunto de números naturales.
- Z = {..., -2, -1, 0, 1, 2, ...} es el conjunto de números enteros.
- Q = {a/b; a ∈ Z, b ∈ N} es el conjunto de números racionales.
- R es el conjunto de números reales.
- C es el conjunto de números complejos.
- Ø o {} representa el conjunto vacío.
Observaciones sobre conjuntos
- El orden de los elementos no es relevante.
- No se consideran repeticiones de elementos.
- Si un elemento 'a' pertenece al conjunto A, se denota a ∈ A.
- Si un objeto 'b' no pertenece al conjunto A, se denota b ∉ A.
Pertenencia y no pertenencia
- Sea A = {1, 2, 3}:
- 1 ∈ A
- 2 ∈ A
- 4 ∉ A
- {1, 2} ∉ A
- Ø ∉ A
- Sea B = {2, {1}, {2, 3}}:
- {1} ∈ B
- {2, 3} ∈ B
- 1 ∉ B
- 3 ∉ B
Cardinal de un conjunto
- El cardinal de un conjunto A, denotado #A, es la cantidad de elementos distintos que tiene A.
- Si el conjunto no tiene un número finito de elementos, se dice que es infinito, y se denota #A = ∞.
- #Ø = 0
- #{a, b, c} = 3 = #{1, 2, 3}
- #N = ∞
- Si A es finito, #A ∈ N ∪ {0}.
Definiciones de conjuntos
- Por extensión (listando elementos entre llaves), aplicable a conjuntos finitos.
- Por comprensión (a través de una propiedad), usualmente requiere la noción de subconjunto y un conjunto referencial.
- Los conjuntos infinitos N y Z pueden presentarse informalmente con puntos suspensivos, aunque es menos riguroso.
Diagramas de Venn
- Los conjuntos se representan gráficamente mediante diagramas de Venn.
Subconjuntos e inclusión
- Un conjunto B está contenido en A (B ⊆ A) si todo elemento de B es también un elemento de A.
- Si B no es un subconjunto de A, se nota B ⊈ A.
- Sea A = {1, 2, 3}:
- {1} ⊆ A
- {2, 3} ⊆ A
- Ø ⊆ A
- A ⊆ A
- {3, 4} ⊈ A
- N ⊆ Z ⊆ Q ⊆ R ⊆ C.
- A ⊆ A y Ø ⊆ A para cualquier conjunto A.
Inclusión y pertenencia
- B ⊆ A si ∀b, b ∈ B ⇒ b ∈ A.
- B ⊈ A si ∃b ∈ B : b ∉ A.
Símbolos lógicos
- ∀ significa "para todo."
- ∃ significa "existe."
- ⇒ significa "implica."
Conjuntos por comprensión
- A = {x ∈ R : x ≥ -2}
- B = {k ∈ Z : k > -2}
- P = {n ∈ N : n es par}
- I = {k ∈ Z : k es impar}
Igualdad de conjuntos
- A = B ⇔ A ⊆ B y B ⊆ A.
- A y B tienen los mismos elementos, sin importar orden o repeticiones.
Combinatoria
- Si A es finito y B ⊆ A, entonces #B ≤ #A.
Conjunto de partes
- El conjunto de partes de A, P(A), contiene todos los subconjuntos de A.
- P(A) = {B : B ⊆ A}
- B ∈ P(A) ⇔ B ⊆ A.
- Si A = {1, 2, 3}, entonces P(A) = {Ø, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A}.
- Para cualquier A, Ø ∈ P(A) y A ∈ P(A).
- P(Ø) = {Ø}.
Operaciones entre conjuntos
- Se asume que los conjuntos A, B, C... son subconjuntos de un conjunto referencial U.
Complemento
- El complemento de A (en U), A', son los elementos de U que no están en A:
- A' = {b ∈ U : b ∉ A}
- b ∈ U, b ∈ A' ⇔ b ∉ A
- Si U = {1, 2, 3} y A = {2}, entonces A' = {1, 3}.
- Si U = N y A = {2}, entonces A' = {n ∈ N, n ≠ 2}.
- Depende de U.
- Si U = N y P = {n ∈ N: n es par }, entonces P' = {n ∈ N: n es impar }.
- Ø' = U y U' = Ø
- (A')' = A
Unión
- La unión de A y B, A ∪ B, contiene los elementos de U que están en A o en B:
- A ∪ B = {c ∈ U : c ∈ A o c ∈ B}
- c ∈ U, c ∈ A ∪ B ⇔ c ∈ A o c ∈ B
- El "o" es no excluyente.
- Si A = {1, 2, 3, 5, 8} y B = {3, 4, 5, 10} ⊆ U = {1, ..., 10}, entonces A ∪ B = {1, 2, 3, 4, 5, 8, 10}.
- Si I = {x ∈ R : x ≤ 2} = (-∞, 2] y J = {x ∈ R : -10 < x < 10} = [-10, 10) ⊆ U = R, entonces I ∪ J = {x ∈ R : x < 10} = (-∞, 10).
- A ∪ B = B ∪ A (conmutatividad).
- A ∪ Ø = A
- A ∪ U = U
- A ∪ A' = U
Inclusión prueba
- A ∪ A' ⊆ U: Si a ∈ (A ∪ A'), entonces a ∈ A o a ∈ A', lo que implica que a ∈ U.
- U ⊆ A ∪ A': Si a ∈ U, entonces a ∈ A o a ∉ A. Si a ∈ A, entonces a ∈ (A ∪ A'). Si a ∉ A, entonces a ∈ A' y luego a ∈ (A ∪ A').
Intersección
- La intersección de A y B (A ∩ B) contiene los elementos de U que están tanto en A como en B:
- A ∩ B = {c ∈ U : c ∈ A y c ∈ B}
- c ∈ (A ∩ B) ⇔ c ∈ A y c ∈ B
- Si A = {1, 2, 3, 5, 8} y B = {3, 4, 5, 10} ⊆ U = {1, ..., 10}, entonces A ∩ B = {3, 5}.
- Si I = {x ∈ R : x ≤ 2} = (-∞, 2] y J = {x ∈ R : -10 < x < 10} = [-10, 10) ⊆ U = R, entonces I ∩ J = {x ∈ R : -10 < x ≤ 2} = [-10, 2].
- A ∩ B = B ∩ A (conmutatividad).
- A ∩ Ø = Ø
- A ∩ U = A
- A ∩ A' = Ø
Conjuntos disjuntos
- Cuando A ∩ B = Ø, A y B son conjuntos disjuntos.
Unión, intersección y complemento
- La unión y la intersección no dependen del conjunto referencial U.
Leyes y operaciones
- A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C): Se demuestra mostrando la doble inclusión.
- A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
Leyes de De Morgan
- (A ∪ B)' = A' ∩ B'
- (A ∩ B)' = A' ∪ B'
Diferencia
- A - B son los elementos de A que no son elementos de B:
- A - B = {a ∈ A : a ∉ B}
- a ∈ (A - B) ⇔ a ∈ A y a ∉ B.
- A - Ø = A
- A - U = Ø
- A - A = Ø
- A - A' = A
- A ∩ B = B ∩ A, pero A - B ≠ B - A en general.
Diferencia simétrica
- A ∆ B son los elementos pertenecen a A o a B, pero no a ambos:
- A ∆ B = {c ∈ U : (c ∈ A y c ∉ B) o (c ∈ B y c ∉ A)}
- A ∆ B = (A - B) ∪ (B - A) = (A ∩ B') ∪ (B ∩ A') = (A ∪ B) - (A ∩ B).
- Si A = {1, 2, 3, 5, 8} y B = {3, 4, 5, 10} ⊆ U = {1, ..., 10}, entonces A △ B = {1, 2, 4, 8, 10}.
- Si I = (-∞, 2] y J = [-10, 10) ⊆ U = R, entonces I △ J = (-∞, -10) ∪ (2, 10].
- A △ B = B △ A (simetría).
- A △ Ø = A
- A △ U = A'
- A △ A = Ø
- A △ A' = U
Combinatoria: Cardinal de la unión y el complemento
- A, B conjuntos finitos dentro de U.
- Si A y B son disjuntos, entonces #(A ∪ B) = #A + #B.
- En general:
- #(A ∪ B) = #A + #B - #(A ∩ B)
- Si U es finito, #(A') = #U - #A.
- #(A - B) = #A - #(A ∩ B)
- #(A △ B) = #A + #B - 2#(A ∩ B)
Conectores lógicos:
- ¬ (“no”, o “NOT”).
- ∨ (“o” no excluyente, u “OR”).
- ∧ (“y”, o “AND”).
- "W" (“o excluyente”, u “XOR”).
Producto cartesiano
- Dados A y B, el producto cartesiano A × B es el conjunto de pares ordenados:
- A × B := {(a, b) : a ∈ A, b ∈ B}
- Si A = {1, 2, 3} y B = {a, b}, entonces A × B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)} y B × A = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}.
- Si A = B = R, R × R es el espacio euclídeo R².
- A ≠ B entonces A × B ≠ B × A.
- A × Ø = Ø, Ø × B = Ø.
- Si A ⊆ U, B ⊆ V, entonces A × B ⊆ U × V.
- El producto cartesiano de n conjuntos A₁, ..., Aₙ es el conjunto de n-uplas ordenadas:
- A₁ × ... × Aₙ := {(a₁, ..., aₙ) : a₁ ∈ A₁, ..., aₙ ∈ Aₙ}
Combinatoria
- Si A y B son conjuntos finitos, #(A × B) = #A · #B.
- Si A₁, ..., Aₙ son conjuntos finitos, #(A₁ × ... × Aₙ) = #A₁ · ... · #Aₙ.
- Si A es un conjunto finito, #(P(A)) = 2#A.
- A cada subconjunto B de A = {a₁, ..., aₙ} se le asocia un elemento del producto cartesiano {0, 1}ⁿ.
Relaciones
- Un subconjunto R del producto cartesiano A × B se llama una relación de A en B:
- R ⊆ P(A × B)
Ejemplos de relaciones
Sean A = {a, b, c} y B = {1, 2}:
- R₁ = {(a, 1), (b, 1), (b, 2)}
- R₂ = {(a, 2), (b, 2), (c, 1), (c, 2)} son ejemplos de relaciones de A en B.
- R₃ = Ø
- R₄ = A × B
- R₅ = {(1, c), (2, a)} es un ejemplo de relación de B en A. Sean A = B = R:
- R₆ = {(x, y) ∈ R² : x² = y²}
- R₇ = {(x, y) ∈ R² : x = y²}
son relaciones de R en R.
Pertenencia Relacionada
- Dados a ∈ Ay b ∈ B y una relación R de A en B, se dice que a está relacionado con b (por la relación R) si (a, b) ∈ R, en ese caso se escribe a R b. Si a no está relacionado con b, (a, b) ∉ R, se escribe a R b.
- El número de relaciones de A = {a, b, c} en B = {1, 2} es 2^6 (64)
Proposición Combinatoria
- Dados conjuntos finitos Am y Bn con m y n elementos respectivamente, el número de posibles relaciones desde Am a Bn es 2^(m*n)
Relaciones en un conjunto
- Una relación R en un conjunto A es un subconjunto de A × A, es Cuando RCAXA
Ejemplos de relaciones
- Dados conjuntos finitos Am y Bn con m y n elementos respectivamente, el número de posibles relaciones desde Am a Bn es 2(m⋅n). En un conjunto, toda la igualdad de elementos siempre es una relación en cualquier conjunto A: R{(a, α)a ∈ A}, es decir Va, b: aRb⇔ a = b
- Dado conjunto es una relación en R, y < es una relación en P(A), cualquiera sea el conjunto A.
Relaciones
- una relacion R_en A se puede representar en la el A(vertice) y los arcos(son graficas dirigidas) se representan dependiendo elemtnos estan relacionados
Definición de tipos de Relaciones
Reflexiva
- una relacion REFLEXIVA si para todo elemento {α, α) ∈ A ,Va∈ A (para otro, aRa, Va e A).
Simetrica
- si cada vez que un par {α, B} ∈R entones {B, α) ∈R Tambien o "Vα, b ∈ A, αRb⇒ B, α)
Antisimetrica
- Si cada que un par (a,b) ∈ r con a!=b , entonces el par (B, a) e R (dicho de otra menera Va, b ∈ A, aRb y bRa => a ==b
Transitiva
para trios de elementos a , b y c tal que {a,B}∈R y (B,C)ER → (a,c) ER tambien (dicho de otra manera, Va, b, c∈a, aRb y bRc → aRc).
Relaciones de equivalencia
- La relación de equivalencia cuando es una REFLEXIVA, SIMETRICA, y Transitiva ###Relaciones en una de orden
- Reflexiva
- Antisimetrica
- Transitiva
Studying That Suits You
Use AI to generate personalized quizzes and flashcards to suit your learning preferences.