¿Me puede dar un ejemplo de un conjunto B con el subconjunto E tal que [math] B \ neq E [/ math] pero | B | = | E |?

A2A

Cualquier subconjunto de un conjunto infinitamente incontable, que puede ser generado por algún factor de todos los elementos de este conjunto, y existe dentro del conjunto original, por alguna operación binaria que actúa sobre este factor. Esto haría que esto establezca un grupo. Llamemos al grupo de números naturales [math] \ mathbb {N} [/ math], y llamaremos al grupo generado por algún número que exista dentro del grupo. Este podría ser cualquier número natural, pero usaremos el número, [math] 3 [/ math], como ejemplo. Este conjunto se llamará [math] A [/ math]. Se define como:

[matemáticas] A = \ {3, 6, 9 … \} [/ matemáticas]

Ambos grupos tienen cardinalidades de [math] \ aleph_0 [/ math]. Esto significa que:

[matemáticas] | \ mathbb {N} | \ = \ | A | [/ math]

De esta manera parece un poco extraño, considerando que este grupo y subgrupo tienen la misma cardinalidad, pero podemos ver que existe una función biyectiva entre los números, que es [matemática] 3n [/ matemática]. Si tenemos el número [matemáticas] 1 [/ matemáticas] en el conjunto de números naturales, podemos multiplicarlo por [matemáticas] 3 [/ matemáticas] y obtener tres. [math] 2 [/ math] asigna a [math] 6 [/ math] y [math] 3 [/ math] asigna a [math] 9 [/ math]. Podemos ver intuitivamente a través de esta biyección que los dos grupos tienen la misma cardinalidad. Esto también significa que existe un isomorfismo entre estos grupos, lo que da lugar a algunas cosas bastante interesantes dentro de la teoría de grupos también. Como dije antes, esta regla funciona para cualquier número en el conjunto del grupo subyacente, que puede usarse como generador para generar un subconjunto de este conjunto, donde existe un isomorfismo entre el conjunto y el subconjunto, y finalmente, donde ambos grupos son de orden infinito, bajo la operación de grupo.

Hay muchos ejemplos de este tipo. Considere el conjunto de enteros y el conjunto de números pares, que obviamente son equinumerosos; la biyección de los enteros a los pares es simplemente la multiplicación por 2. Otro ejemplo famoso es que los números reales son equinumerosos con el intervalo real (0, 1).

Una propiedad importante que comparten todos estos ejemplos es que todos son conjuntos infinitos. De hecho, Dedekind definió el infinito como la propiedad de tener un subconjunto adecuado que es equinumeroso con el conjunto original, y se puede demostrar que esta propiedad es de hecho equivalente a todas las otras definiciones comunes de infinito.

Una de las definiciones de “conjunto infinito” es un conjunto cuyos elementos se pueden poner en correspondencia uno a uno con elementos de su subconjunto adecuado.

En otras palabras, cualquier conjunto infinito servirá. Para adquirir un subconjunto necesario, uno simplemente puede tomar todos los elementos, excepto un número finito de ellos.