Supongamos que
\begin{align*} A & = \{ x : x \in \mathbb N \text{ y } x \text{ es par} \},\\ B & = \{x : x \in \mathbb N \text{ y } x \text{ es primo}\},\\ C & = \{ x : x \in \mathbb N \text{ y } x \text{ es un múltiplo de 5}\}. \end{align*}Describa cada uno de ls siguientes conjuntos.
\(A \cap B\)
\(B \cap C\)
\(A \cup B\)
\(A \cap (B \cup C)\)
Si \(A = \{ a, b, c \}\text{,}\) \(B = \{ 1, 2, 3 \}\text{,}\) \(C = \{ x \}\text{,}\) y \(D = \emptyset\text{,}\) liste todos los elementos en cada uno de los siguientes conjuntos.
\(A \times B\)
\(B \times A\)
\(A \times B \times C\)
\(A \times D\)
Encuentre un ejemplo de dos conjuntos no vacíos \(A\) y \(B\) para los que \(A \times B = B \times A\) es verdadero.
Demuestre que \(A \cup \emptyset = A\) y \(A \cap \emptyset = \emptyset\text{.}\)
Demuestre que \(A \cup B = B \cup A\) y \(A \cap B = B \cap A\text{.}\)
Demuestre que \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\text{.}\)
Demuestre que \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\text{.}\)
Demuestre que \(A \subset B\) si y solo si \(A \cap B = A\text{.}\)
Demuestre que \((A \cap B)' = A' \cup B'\text{.}\)
Demuestre que \(A \cup B = (A \cap B) \cup (A \setminus B) \cup (B \setminus A)\text{.}\)
Demuestre que \((A \cup B) \times C = (A \times C ) \cup (B \times C)\text{.}\)
Demuestre que \((A \cap B) \setminus B = \emptyset\text{.}\)
Demuestre que \((A \cup B) \setminus B = A \setminus B\text{.}\)
Demuestre que \(A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)\text{.}\)
Demuestre que \(A \cap (B \setminus C) = (A \cap B) \setminus (A \cap C)\text{.}\)
Demuestre que \((A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B)\text{.}\)
¿Cuál de las siguientes relaciones \(f: {\mathbb Q} \rightarrow {\mathbb Q}\) define una función? En cada caso, justifique por qué \(f\) es o no es una función.
\(\displaystyle f(p/q) = \frac{p+ 1}{p - 2}\)
\(\displaystyle f(p/q) = \frac{3p}{3q}\)
\(\displaystyle f(p/q) = \frac{p+q}{q^2}\)
\(\displaystyle f(p/q) = \frac{3 p^2}{7 q^2} - \frac{p}{q}\)
Determine cuáles de las siguientes funciones son 1-1 y cuáles son sobre. Si la función no es sobre, determine su rango.
\(f: {\mathbb R} \rightarrow {\mathbb R}\) definida por \(f(x) = e^x\)
\(f: {\mathbb Z} \rightarrow {\mathbb Z}\) definida por \(f(n) = n^2 + 3\)
\(f: {\mathbb R} \rightarrow {\mathbb R}\) definida por \(f(x) = \sin x\)
\(f: {\mathbb Z} \rightarrow {\mathbb Z}\) definida por \(f(x) = x^2\)
Sean \(f :A \rightarrow B\) y \(g : B \rightarrow C\) funciones invertibles; es decir, funciones tales que \(f^{-1}\) y \(g^{-1}\) existen. Muestre que \((g \circ f)^{-1} =f^{-1} \circ g^{-1}\text{.}\)
Defina una función \(f: {\mathbb N} \rightarrow {\mathbb N}\) que sea 1-1 pero no sobre.
Defina una función \(f: {\mathbb N} \rightarrow {\mathbb N}\) que sea sobre pero no 1-1.
Demuestre que la relación definida en \({\mathbb R}^2\) por \((x_1, y_1 ) \sim (x_2, y_2)\) si \(x_1^2 + y_1^2 = x_2^2 + y_2^2\) es una relación de equivalencia.
Sean \(f : A \rightarrow B\) y \(g : B \rightarrow C\) funciones.
Si \(f\) y \(g\) son ambas funciones 1-1, muestre que \(g \circ f\) es 1-1.
Si \(g \circ f\) es dobre, muestre que \(g\) es sobre.
Si \(g \circ f\) es 1-1, muestre que \(f\) es 1-1.
Si \(g \circ f\) es 1-1 y \(f\) es sobre, muestre que \(g\) es 1-1.
Si \(g \circ f\) es sobre y \(g\) es 1-1, muestre que \(f\) es sobre.
Defina una función en los números reales como
\begin{equation*} f(x) = \frac{x + 1}{x - 1}. \end{equation*}¿Cuáles son el dominio y el rango de \(f\text{?}\) ¿cuál es la inversa de \(f\text{?}\) Calcule \(f \circ f^{-1}\) y \(f^{-1} \circ f\text{.}\)
Sea \(f: X \rightarrow Y\) una función con \(A_1, A_2 \subset X\) y \(B_1, B_2 \subset Y\text{.}\)
Demuestre que \(f( A_1 \cup A_2 ) = f( A_1) \cup f( A_2 )\text{.}\)
Demuestre que \(f( A_1 \cap A_2 ) \subset f( A_1) \cap f( A_2 )\text{.}\) Dé un ejemplo en que la igualdad falle.
Demuestre que \(f^{-1}( B_1 \cup B_2 ) = f^{-1}( B_1) \cup f^{-1}(B_2 )\text{,}\) donde
\begin{equation*} f^{-1}(B) = \{ x \in X : f(x) \in B \}. \end{equation*}Demuestre que \(f^{-1}( B_1 \cap B_2 ) = f^{-1}( B_1) \cap f^{-1}( B_2 )\text{.}\)
Demuestre que \(f^{-1}( Y \setminus B_1 ) = X \setminus f^{-1}( B_1)\text{.}\)
Determine si las siguientes relaciones son relaciones de equivalencia o no. Si la relación es una relación de equivalencia, describa la partición dada por ella. Si no lo es, indique qué es lo que falla.
\(x \sim y\) en \({\mathbb R}\) si \(x \geq y\)
\(m \sim n\) en \({\mathbb Z}\) si \(mn > 0\)
\(x \sim y\) en \({\mathbb R}\) si \(|x - y| \leq 4\)
\(m \sim n\) en \({\mathbb Z}\) si \(m \equiv n \pmod{6}\)
Defina una relación \(\sim\) en \({\mathbb R}^2\) diciendo que \((a, b) \sim (c, d)\) si y solo si \(a^2 + b^2 \leq c^2 + d^2\text{.}\) Muestre que \(\sim\) es refleja y transitiva pero no simétrica.
Muestre que una matriz de \(m \times n\) da lugar a una función bien-definida de \({\mathbb R}^n\) en \({\mathbb R}^m\text{.}\)
Encuentre el error en el siguiente argumento mostrando un contraejemplo. “La propiedad refleja es redundante entre los axiomas para una relación de equivalencia. Si \(x \sim y\text{,}\) entonces \(y \sim x\) por la propiedad simétrica. Usando la transitividad, podemos deducir que \(x \sim x\text{.}\)”
Defina una relación en \({\mathbb R}^2 \setminus \{ (0,0) \}\) haciendo \((x_1, y_1) \sim (x_2, y_2)\) si existe un número real \(\lambda\) distinto de cero tal que \((x_1, y_1) = ( \lambda x_2, \lambda y_2)\text{.}\) Demuestre que \(\sim\) define una relación de equivalencia en \({\mathbb R}^2 \setminus (0,0)\text{.}\) ¿Cuáles son las correspondientes clases de equivalencia? Esta relación de equivalencia define la recta proyectiva, denotada por \({\mathbb P}({\mathbb R}) \text{,}\) que es muy importante en geometría.
