Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

9.1: Definición y Propiedades Básicas
https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Pruebas_y_conceptos_-_Los_fundamentos_de_la_matem%C3%A1tica_abstracta_(Morris_y_Morris)/09%3A_Cardinalidad/9.01%3A_Definici%C3%B3n_y_Propiedades_B%C3%A1sicas
Demuéstralo si $\# A_{1} = \# A_{2}$ , entonces $\# (A_{1} \times B) = \# (A_{2} \times B)$ . [Pista: Si $f : A_{1} \rightarrow A_{2}$ es una biyección, defina\(g : A_{1} \times B \rightarrow A_{2} \...Demuéstralo si $\# A_{1} = \# A_{2}$ , entonces $\# (A_{1} \times B) = \# (A_{2} \times B)$ . [Pista: Si $f : A_{1} \rightarrow A_{2}$ es una biyección, defina $g : A_{1} \times B \rightarrow A_{2} \times B$ por $g\left(a_{1}, b\right)=\left(f\left(a_{1}\right), b\right)$ .] Podemos suponer que $B$ es un subconjunto apropiado de $A$ . (De lo contrario, tenemos $B = A$ , así $\# B = \# A = n$ , lo que significa que $B$ es finito.) Así, existe $a \in A$ , tal que $a \notin B$ .

Search