Posts for June 2021
- Demostraciones de "s ∪ f⁻¹[v] ⊆ f⁻¹[f[s] ∪ v]"
- Intersección con la imagen
- Demostraciones de "f[s] ∩ t = f[s ∩ f⁻¹[t]]"
- Demostraciones de "f[s] \ f[t] ⊆ f[s \ t]"
- Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]
- Demostraciones de "f[s ∩ t] ⊆ f[s] ∩ f[t]"
- Demostraciones de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]"
- Monotonía de la imagen inversa
- Monotonía de la imagen de conjuntos
- Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]]
- Demostraciones de "f[f⁻¹[u]] ⊆ u"
- Si f es inyectiva, entonces f⁻¹[f[s]] ⊆ s
- Demostraciones de "f[s] ⊆ u ↔ s ⊆ f⁻¹[u]"
- Demostraciones de "s ⊆ f⁻¹(f(s))"
- Demostraciones de "f(s ∪ t) = f(s) ∪ f(t)"
- Demostraciones de "f⁻¹(u ∩ v) = f⁻¹(u) ∩ f⁻¹(v)"
- Demostraciones de "s ∪ (⋂_i A_i) = ⋂_i (A_i ∪ s)"
- Demostraciones de "⋂_i, (A(i) ∩ B(i)) = (⋂_i, A(i)) ∩ (⋂_i, B(i))"
- Demostraciones de "s ∩ ⋃_i A_i = ⋃_i (A_i ∩ s)"
- Los primos mayores que 2 son impares