To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Teorema de Cantor-Bernstein-Schröder

De Wikipedia, la enciclopedia libre

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:

El teorema puede parecer trivial para conjuntos finitos, pero el enunciado del teorema se cumple para conjuntos de cualquier cardinalidad. El teorema resulta útil en muchos casos para poder determinar si un conjunto tiene la misma cardinalidad que otro conjunto, ya que dos conjuntos tienen la misma cardinalidad justo cuando existe una correspondencia biunívoca entre ellos.


YouTube Encyclopedic

  • 1/3
    Views:
    10 021
    2 270
    4 671
  • The Cantor-Schroeder-Bernstein Theorem
  • 0.9 Cantor Schroeder Berenstein pt.1
  • Section 5.2-5.5, part 13 Proof of Cantor-Schroder-Bernstein Theorem

Transcription

Aplicaciones

El teorema de Cantor-Schröder-Bernstein permite definir correctamente la cardinalidad como clase de equivalencia ya que como punto de partida de la relación de orden "tener más elementos que" se toma:

Obviamente se espera que la relación binaria anterior sea antisimétrica, es decir:

Pero eso, es lo que el teorema de Cantor-Shröder-Bernstein precisamente afirma, a saber, que se da la implicación anterior, con lo cual la relación binaria efectivamente es antisimétrica.

Demostración

Considérese el conjunto potencia de A y defínase la siguiente aplicación hp sobre dicho conjunto:

Donde:

Primero debe probarse que la aplicación hp anterior tiene un punto fijo. Para ello se considera la colección de conjuntos:

Y se considera la unión de conjuntos de la colección anterior, que por la propia de definición de la colección se tiene que:

Para probar que falta probar la inclusión recíproca para ello se tiene que:

Y por tanto queda probado que el conjunto W es un punto fijo de la aplicación hp, para demostrar el teorema de Cantor-Schröder-Bernstein falta definir la biyección explícitamente. Consideremos, por ejemplo:

Puede comprobarse que la aplicación así definida es la biyección buscada.

Esta página se editó por última vez el 26 jul 2021 a las 21:30.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.