Común
Teorema de Cantor-Bernstein-Schröder
un criterio para establecer si existe una función biyectiva entre dos conjuntos A y B: si existe una función inyectiva A→B y existe una función inyectiva B→A, existe una correspondencia biunívoca entr
Teorema de Cantor-Bernstein-Schröder
El teorema de Schröder y Bernstein establece un criterio para establecer si existe una función biyectiva entre dos conjuntos cualesquiera A y B: Para cualquier conjunto A y B, si existe una función inyectiva de A en B y existe una función inyectiva de B en A, entonces existe una correspondencia biunívoca entre B y A. Formalmente: ∃ f , g ( f : A → B ∧ g : B → A ) ∧ ( f , g inyectivas ) ⇒ ∃ h ( h : A → B ) ∧ ( h biyectiva ) {\displaystyle \exists f,g\ (f:A\to B\land g:B\to A)\ \land \…
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis