av daniel vasquez gulloso 3 år siden
260
Mer som dette
#∅ = 0, #{a, b, c} = 3 = #{1, 2, 3}, #N = ∞. Notar que, si A es un conjunto finito, #A ∈ N ∪ {0} =N_0.
P = {n ∈ N : n es un número par }, o I = {x ∈ R : x ≤ 2} = [−∞, 2), que no es lo mismo que J = {x ∈ N : x ≤ 2} = {1, 2}.
A ∩ B = {c ∈ U : c ∈ A y c ∈ B} o también c ∈ A ∩ B ⇐⇒ c ∈ A y c ∈ B.
Sean A = {1, 2, 3, 5, 8}, B = {3, 4, 5, 10} ⊆ U = {1, . . 10}. Entonces A ∩ B = {3, 5}.
Se dice que R es una relación de orden cuando es una relación reflexiva, antisimétrica y transitiva.
Las relaciones de equivalencia juegan un rol muy importante en matemática, porque de algún modo funcionan como una generalización de la igualdad. Se dice que R es una relación de equivalencia cuando es una relación reflexiva, simétrica y transitiva.
Se dice que R es transitiva si para toda terna de elementos a, b, c ∈ A tales que (a, b) ∈ R y (b, c) ∈ R, se tiene que (a, c) ∈ R también (dicho de otra manera, ∀ a, b, c ∈ A, a R b y b R c ⇒ a R c). En términos del grafo de la relación, R es transitiva si hay un “camino directo” por cada “camino con paradas”.
Se dice que R es antisimétrica si cada vez que un par (a, b) ∈ R con a ≠ b, entonces el par (b, a) ∈ R/ (dicho de otra manera, ∀ a, b ∈ A, a R b y b R a ⇒ a = b). En términos del grafo de la relación, R es antisimétrica si no hay ningún par de flechas en sentidos opuestos que unen dos vértices distintos.
Se dice que R es simétrica si cada vez que un par (a, b) ∈ R, entonces el par (b, a) ∈ R también (dicho de otra manera, ∀ a, b ∈ A, a R b ⇒ b R a). En términos del grafo de la relación, R es simétrica si por cada flecha que une dos vértices en un sentido, hay una flecha (entre los mismos vértices) en el sentido opuesto.
Se dice que R es reflexiva si (a, a) ∈ R, ∀ a ∈ A (dicho de otra manera, a R a, ∀ a ∈ A). En términos del grafo de la relación, R es reflexiva si en cada vértice hay una flecha que es un “bucle”, es decir que parte de el y llega a el.
Las relaciones R6 y R7 arriba son relaciones en el conjunto R. La igualdad de elementos siempre es una relación en cualquier conjunto A: R = {(a, a), a ∈ A}, es decir ∀ a, b ∈ A : a R b ⇔ a = b.
Sean A = {a, b, c}, B = {1, 2}. Entonces R1 = {(a, 1),(b, 1),(b, 2)}, R2 = {(a, 2),(b, 2),(c, 1),(c, 2)}, R3 = ∅ y R4 = A × B son ejemplos de relaciones de A en B, y R5 = {(1, c),(2, a)} es un ejemplo de relación de B en A (notar que importa el orden).
A∪B = {c ∈ U : c ∈ A y c ∈ B} o también ∀ c ∈ U, c ∈ A∪ B ⇐⇒ c ∈ A o c ∈ B.
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}.
A ′ = {b ∈ U : b /∈ A}, o también ∀ b ∈ U, b ∈ A ′ ⇐⇒ b /∈ A.
• Si U = {1, 2, 3} y A = {2}, entonces A′ = {1, 3}. • Se tiene ∅ ′ = U y U ′ = ∅. • (A′ ) ′ = A.
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.
ℤ = {. . ., −2, −1, 0, 1, 2, . . .} el conjunto de los números enteros. ℕ = {1, 2, 3, 4, . . .} el conjunto de los números naturales.
• Sea A = {1, 2, 3}: P(A) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A}. • Cualquiera sea el conjunto A, ∅ ∈ P(A), A ∈ P(A). • P(∅) = {∅}, o sea el conjunto que tiene como único elemento al conjunto vacío.
• Sean A = {1, 2, 3, 5, 8}, B = {3, 4, 5, 10} ⊆ U = {1, . 10}. Entonces A △ B = {1, 2, 4, 8, 10}. • Sean I = (−∞, 2], J = [−10, 10) ⊆ U = R. Entonces I △ J = [−∞, −10) ∪ (2, 10].
f es biyectiva si es a la vez inyectiva y sobreyectiva, es decir para todo elemento b ∈ B existe exactamente un elemento a ∈ A para el cual f(a) = b.
f es sobreyectiva si para todo elemento b ∈ B existe al menos un elemento a ∈ A para el cual f(a) = b. Dicho de otra manera, f es sobreyectiva si Im(f) = B.
f es inyectiva si para todo elemento b ∈ B existe a lo sumo un elemento a ∈ A para el cual f(a) = b. Dicho de otra manera, f es inyectiva si para todo a, a′ ∈ A tales que f(a) = f(a ' ) entonces a = a ' .
Im(f) = {b ∈ B : ∃ a ∈ A tal que f(a) = b}.
Sea f2 : N → N, f2(n) = n+ 1. Entonces Im(f2) = N≥2 pues para todo m ≥ 2, existe n ∈ N tal que n + 1 = m (tomando n = m − 1 que pertenece a N pues m ≥ 2) pero 1 ∈/ Im(f2) pues no existe n ∈ N tal que n + 1 = 1.
Dada una función f : A → B, el conjunto A se llama el dominio de la función f, y el conjunto B se llama el codominio de la función f. Como se ve de los ejemplos anteriores, todos los elementos del dominio tienen que estar involucrados en una función, pero puede ocurrir que haya elementos del codominio que no estén involucrados.
∀ a ∈ A, ∃ ! b ∈ B : a R b. Aquí el símbolo “∃ !” significa “existe un ´único” es decir: ∀ a ∈ A, ∃ b ∈ B tal que a R b, y si b, b′ ∈ B son tales que a R B y a R b ′ , entonces b = b ′ . Como a cada a ∈ A le corresponde un b ∈ B y este b es único, se le puede dar un nombre que hace notar la dependencia de a: se dice que b es la imagen de a por f, y se suele notar “b = f(a)”.
La relación del conjunto A = {1, 2, 3, 4, 5} en el conjunto B = {1, 4, 7, 23} descrita por el diagrama siguiente es una función.
def factorial(n) f = 1 for i in range (1, n + 1) : f = f ∗ i return f
Se define de la siguiente manera
• Factorial:: Integer → Integer • Factorial 0 = 1 • Factorial n = n ∗ factorial(n − 1)
Sea A es un conjunto finito y sea B ⊆ A. Entonces #B ≤ #A. Este método nos sirve para los conjuntos infinitos.
Si A = B = R, entonces R × R es el espacio euclídeo R^2 .
Leyes distributivas
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) y A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Leyes De Morgan 1806-1871
1871 (A ∪ B) ′ = A ′ ∩ B ′ y (A ∩ B) ′ = A ′ ∪ B ′ .
La tierra es plana.
A = B ⇐⇒ A ⊆ B y B ⊆ A Es decir, A = B si tienen exactamente los mismos elementos (sin importar el orden y sin tener en cuenta repeticiones de elementos). (Aquí, el símbolo “⇔” es el símbolo de la bi-implicación, que se lee “si y sólo si”.
• Sea A = {1, 2, 3}: {1} ⊆ A, {2, 3} ⊆ A, ∅ ⊆ A, A ⊆ A, {3, 4} ̸⊆ A. • A ⊆ A y ∅ ⊆ A cualquiera sea el conjunto A. O sea, B está incluido en A si para todo b, se tiene que si b pertenece a B entonces b pertenece a A, y B no está incluido en A si existe b perteneciendo a B tal que b no pertenece a A. Maten áticamente se escribiría así: B ⊆ A si ∀ b, b ∈ B ⇒ b ∈ A , B ̸⊆ A si ∃ b ∈ B : b ȼ A.