Consigna: Probar la siguiente ley distributiva
Respuesta
Explicación
Aquí, estamos tratando con operaciones de conjuntos. Los símbolos representan:
La consigna nos pide demostrar que la unión de un conjunto con la intersección de los conjuntos y es igual a la intersección de la unión de con y la unión de con .
Desglose de la Respuesta
Esta es la expresión original que queremos probar.
Aquí, estamos descomponiendo la expresión en términos de pertenencia de un elemento . Esto significa que pertenece a o pertenece tanto a como a .
Esta es una reescritura del paso anterior, agrupando la intersección de y .
Aquí, estamos distribuyendo la unión sobre la intersección. Esto significa que pertenece a la unión de y y también pertenece a la unión de y .
Nuevamente, estamos descomponiendo la expresión en términos de pertenencia de un elemento .
Finalmente, llegamos a la expresión que queríamos probar, que es equivalente a la expresión original.
Consigna Probar la siguiente ley de Morgan: El Complemento de es igual al complemento de intersección el complemento de .
Respuesta
Explicación
Ley de Morgan: El Complemento de es igual al complemento de intersección el complemento de .
Para probar esto, vamos a comenzar con el lado izquierdo de la ecuación y tratar de llegar al lado derecho.
Inicio:
Aquí estamos tomando el complemento de la unión de los conjuntos y . Es decir, estamos buscando todos los elementos que no están ni en ni en .
Traducción a lógica proposicional:
Aquí estamos diciendo que un elemento no pertenece a y tampoco pertenece a . En términos de lógica proposicional, esto se traduce como la negación de la declaración “x está en A o x está en B”.
Aplicación de las propiedades de la lógica:
Usando las propiedades de la lógica proposicional, podemos reescribir la declaración anterior como “x no está en A y x no está en B”.
Traducción de vuelta a notación de conjuntos:
Finalmente, traducimos la declaración lógica de vuelta a notación de conjuntos. Aquí, representa el complemento de (todos los elementos que no están en ) y representa el complemento de . La intersección de estos dos conjuntos () nos da todos los elementos que no están ni en ni en , que es exactamente lo que estábamos buscando.
Consigna: Probar que el complemento del complemento de A es igual a A.
Respuesta
Esto significa que si tomas el complemento de un conjunto A (todos los elementos que no están en A) y luego tomas el complemento de ese resultado, obtendrás el conjunto A original. Es una propiedad fundamental de los conjuntos y sus complementos.
Consigna: Sea A el conjunto de los números naturales tales que, si son mayores que 5 o bien terminan en 5, entonces contienen algún dígito 1 ó 2.
a) Cuáles de los siguientes números pertenecen a A: 3, 5, 10, 15, 30, -10
3, 10, 15
b) Expresar el enunciado como una fórmula proposicional donde m significa “mayores que 5”, t es “terminan en 5”, u es “contiene algún dígito 1” y d es “contiene algún dígito 2”.
c) Transformar la fórmula del inciso anterior de manera que no tenga una implicación y aplicar una ley de Morgan al resultado. Expresarlo en una frase
Frase: Números tales que no sean mayores que 5 y no terminen en 5 o que contengan un dígito 1 o 2.
Explicación
La consigna nos está dando una condición específica que deben cumplir los números para pertenecer al conjunto A. Esta condición se puede dividir en dos partes:
a) Cuáles de los siguientes números pertenecen a A: 3, 5, 10, 15, 30, -10
Respuesta a) 3, 10, 15
Para determinar qué números pertenecen al conjunto A, debemos verificar si cumplen con la condición dada:
3: No es mayor que 5 ni termina en 5, por lo que no necesita cumplir la segunda condición. Por lo tanto, pertenece a A.
5: Termina en 5 pero no tiene dígitos 1 o 2. Sin embargo, como no es mayor que 5, no necesita cumplir la segunda condición. Por lo tanto, pertenece a A.
10: Es mayor que 5 y tiene el dígito 1. Cumple ambas condiciones, por lo que pertenece a A.
15: Termina en 5 y tiene el dígito 1. Cumple ambas condiciones, por lo que pertenece a A.
30: Es mayor que 5 pero no tiene dígitos 1 o 2. No cumple la segunda condición, por lo que no pertenece a A.
-10: No es un número natural, por lo que no se considera.
b) Expresar el enunciado como una fórmula proposicional donde m significa “mayores que 5”, t es “terminan en 5”, u es “contiene algún dígito 1” y d es “contiene algún dígito 2”.
Respuesta b)
Esta fórmula proposicional traduce la condición dada en la consigna a términos lógicos. La flecha (→) representa una implicación, lo que significa “si… entonces…”. La fórmula se lee como: “Si un número es mayor que 5 o termina en 5, entonces debe contener un dígito 1 o un dígito 2”.
c)
Frase Números tales que no sean mayores que 5 y no terminen en 5 o que contengan un dígito 1 o 2.
Esta parte transforma la fórmula anterior eliminando la implicación y utilizando la ley de Morgan. La fórmula resultante es una forma alternativa de expresar la misma condición.
PREGUNTAR, si no cumple la segunda condición, entra dentro del conjunto de numeros? Tambien si el 5 al ser igual, entra dentro del conjunto
Consigna:
Sean
Describir cada uno de los siguientes conjuntos:
a)
b)
c)
d)
e)
f)
g)
Explicación:
es el conjunto de números impares. es el conjunto de números primos.
Al intersectar ambos conjuntos, obtenemos que todos los números primos (excepto el 2, que es el único número primo par) son impares. Por lo tanto, la intersección de y es simplemente el conjunto sin el número 2.
es el conjunto de números impares. es el conjunto de números que son múltiplos de 3.
La intersección nos da aquellos números que son a la vez impares y múltiplos de 3. Estos números son de la forma , donde es un número impar.
es el conjunto de números primos. es el conjunto de números que son múltiplos de 3.
La única intersección entre estos dos conjuntos es el número 3, que es a la vez primo y múltiplo de 3.
Aquí estamos restando del conjunto (múltiplos de 3) todos los números primos. El único número primo que es múltiplo de 3 es el 3. Por lo tanto, es simplemente sin el número 3.
Estamos restando de (números impares) la intersección de y , que sabemos que es {3}. Por lo tanto, obtenemos todos los números impares excepto el 3.
Aquí estamos restando de la intersección de y (que es {3}) todos los números impares. Dado que 3 es impar, el resultado es el conjunto vacío.
Al unir (números impares) y (números primos), obtenemos todos los números impares, ya que todos los números primos (excepto el 2) ya están incluidos en .
En el Punto 2, creo que seria Y - {2}
Consigna:
Calcular los conjuntos de partes en los siguientes casos:
Explicación
a) ∅
El conjunto vacío (∅) tiene solo dos subconjuntos: él mismo y el conjunto vacío. Por lo tanto, el conjunto de partes de ∅ es:
b) {a, b, c}
Para el conjunto {a, b, c}, debemos considerar todos los subconjuntos posibles, incluidos los subconjuntos de un solo elemento, los subconjuntos de dos elementos, el conjunto vacío y el conjunto completo:
c) {∅}
Este es un conjunto que tiene un solo elemento, que es el conjunto vacío. Por lo tanto, sus subconjuntos son el conjunto vacío y él mismo:
d) {∅, {∅}}
Este conjunto tiene dos elementos: el conjunto vacío y un conjunto que contiene el conjunto vacío. Sus subconjuntos son:
e) {a, {b, c}}
Este conjunto tiene dos elementos: el elemento ‘a’ y un conjunto que contiene ‘b’ y ‘c’. Sus subconjuntos son:
Presentar una lista con todos los elementos en cada uno de los conjuntos siguientes:
Explicación
a) {x, y} × {a, b, c}
Este es el producto cartesiano entre dos conjuntos. Significa que tomamos cada elemento del primer conjunto y lo emparejamos con cada elemento del segundo conjunto.
{(x, a), (x, b), (x, c), (y, a), (y, b), (y, c)}
b) {a, b, c} × {x, y}
Similar al anterior, pero ahora el primer conjunto es {a, b, c} y el segundo es {x, y}.
{(a, x), (a, y), (b, x), (b, y), (c, x), (c, y)}
c) {x, y} × {y, x}
Producto cartesiano entre {x, y} y {y, x}.
{(x, y), (x, x), (y, y), (y, x)}
d) {x, y}^2 × {}
El producto cartesiano de cualquier conjunto con un conjunto vacío siempre es un conjunto vacío. Esto es porque no hay elementos en el conjunto vacío para formar pares.
{}
e) {}^10 × {2, 3, 4}^20
Similar al anterior, el producto cartesiano con un conjunto vacío siempre es un conjunto vacío.
{}
f) {1}^5
Esto representa el conjunto de todas las tuplas de 5 elementos donde cada elemento es 1.
{(1, 1, 1, 1, 1)}
g) {1, 2} × {a} × {a, b}
Producto cartesiano entre tres conjuntos. Tomamos cada combinación de elementos de los tres conjuntos.
{(1, a, a), (1, a, b), (2, a, a), (2, a, b)}
Cardinalidad: “número de elementos en el conjunto”.
Consigna
¿Cuál es el cardinal de si y ?
Respuesta
Explicación
Producto Cartesiano
El producto cartesiano de dos conjuntos y , denotado , es el conjunto de todos los pares ordenados donde el primer elemento es de y el segundo elemento es de .
Formalmente:
Por ejemplo, si y , entonces:
Cardinalidad del Producto Cartesiano
La cardinalidad de es el número de pares ordenados que se pueden formar tomando un elemento de y uno de .
Si tiene elementos y tiene elementos, entonces hay formas de elegir el primer elemento del par (desde ) y formas de elegir el segundo elemento del par (desde ). Por lo tanto, hay pares ordenados posibles en .
Esto nos lleva a la fórmula:
Ejemplo ilustrativo
Supongamos que estamos organizando una fiesta y queremos decidir sobre las combinaciones de bebida y comida. Si tenemos 3 bebidas y 4 comidas diferentes, entonces hay 3 formas de elegir una bebida y 4 formas de elegir una comida, lo que nos da un total de combinaciones posibles de bebida y comida.
Conclusión
La cardinalidad del producto cartesiano de dos conjuntos es simplemente el producto de sus cardinalidades individuales. Es una forma de contar todas las combinaciones posibles entre los elementos de los dos conjuntos.
Consigna
Demostrar por inducción que si A es un conjunto finito entonces .
Respuesta
Para demostrar esto, utilizaremos el principio de inducción matemática:
Caso base :
Si , entonces el conjunto de partes de es . Por lo tanto, .
Hipótesis inductiva (Hi):
Suponemos que la afirmación es cierta para algún arbitrario, es decir, si entonces .
Paso inductivo:
Consideremos un conjunto tal que . Podemos escribir como , donde .
El conjunto de partes de es:
.
Entonces, el número de elementos en es:
.
Usando la hipótesis inductiva, sabemos que . Por lo tanto, el número de conjuntos que contienen el elemento y cualquier subconjunto de también es .
Sumando ambos resultados, obtenemos:
.
Por lo tanto, hemos demostrado que si , entonces , lo que completa la demostración por inducción.
En resumen, para cualquier conjunto finito con elementos, el número de subconjuntos de (es decir, el número de elementos en el conjunto de partes de ) es .
Este ejercicio no lo entendi muy bien
Consigna
Mostrar que
Respuesta
Para demostrar esto, se deben probar dos cosas:
Para el punto 2, es sencillo encontrar una función inyectiva ya que se puede utilizar la función identidad.
Para el punto 1, se puede utilizar el orden canónico de las tuplas formadas para mapear la suma de los mismos. El primer elemento es (0,0) que se mapea a 0, (0,1) y (1,0) se mapean a 1, y así sucesivamente.
Por lo tanto, queda demostrado que .
Explicacíon Detallada
Aquí, representa el conjunto de números naturales (incluido el 0) y representa el conjunto de números naturales positivos (sin incluir el 0). El símbolo denota el producto cartesiano, y denota el cardinal (tamaño) del conjunto .
Solución
Para demostrar que dos conjuntos tienen el mismo cardinal, debemos encontrar una función biyectiva entre ellos. Una función biyectiva es una función que es inyectiva (sin dos elementos de entrada que se mapeen al mismo elemento de salida) y sobreyectiva (todos los elementos del conjunto de salida tienen al menos un elemento de entrada que se mapea a ellos).
1.
Para demostrar esto, necesitamos encontrar una función inyectiva .
Una posible función es la siguiente:
Esta función es inyectiva porque para cualquier par de números naturales y , si , entonces y .
2.
Para demostrar esto, necesitamos encontrar una función inyectiva .
Una posible función es la función identidad, que mapea cada número natural positivo a sí mismo. Esta función es claramente inyectiva.
Dado que hemos encontrado funciones inyectivas en ambas direcciones, podemos concluir que .
Explicación intuitiva
La idea detrás de esta demostración es que aunque parezca que hay “más” pares de números naturales que números naturales positivos (porque estamos considerando todos los posibles pares), en realidad hay una correspondencia uno a uno entre ellos. Esto se debe a que hay infinitos números naturales y, por lo tanto, infinitos pares de números naturales. La función que hemos definido simplemente nos da una forma sistemática de emparejar cada número natural positivo con un par único de números naturales.
Consigna
Mostrar que , siendo el conjunto de los racionales positivos.
Siendo el numerador y el denominador respectivamente, se puede utilizar la siguiente función para obtener un número entero a partir de estos:
Para demostrar que el conjunto de los racionales positivos tiene el mismo tamaño (o cardinalidad) que el conjunto de los números naturales , necesitamos encontrar una función biyectiva entre estos dos conjuntos. Una función biyectiva es una función que es inyectiva (sin valores duplicados) y sobreyectiva (cubre todo el conjunto de llegada).
Solución
La idea es asociar cada número racional positivo con un número natural único. Para hacer esto, consideramos cada número racional como una fracción , donde es el numerador y es el denominador.
La función propuesta es:
Esta función es una variante de la función de Cantor para emparejar dos números naturales con un número natural único. La función de Cantor es una famosa función que se utiliza para demostrar que hay tantos pares de números naturales como números naturales individuales.
La función toma dos números naturales y y produce un número natural único. La idea es que, al variar y , obtenemos todos los números naturales exactamente una vez. Por lo tanto, podemos asociar cada número racional positivo con un número natural único usando esta función.
Explicación intuitiva
Imagina que todos los números racionales positivos están dispuestos en una cuadrícula infinita. Cada fila de la cuadrícula representa un denominador diferente, y cada columna representa un numerador diferente. La función nos da una forma de “enumerar” cada celda de esta cuadrícula con un número natural único. Al hacerlo, demostramos que hay tantos números racionales positivos como números naturales.
En resumen, hemos demostrado que el conjunto de los racionales positivos tiene el mismo tamaño que el conjunto de los números naturales utilizando la función . Esto es una manifestación del poder y la sorpresa de la teoría de conjuntos y la cardinalidad.
Consigna
Mostrar que la cardinalidad del conjunto de todas las funciones de a es menor o igual a la del conjunto de todas las funciones que van:
a) de a
b) de a
Respuesta:
Probar que:
es fácil de demostrar gracias a la función identidad, las funciones que van de reales a son un subconjunto de las funciones de reales a naturales.
se puede utilizar una función que convierta el a y a .
Explicación:
Primero, es importante entender qué significa la cardinalidad de un conjunto de funciones. La cardinalidad de un conjunto es una medida de “cuántos” elementos hay en ese conjunto. Cuando hablamos de conjuntos de funciones, estamos hablando de cuántas funciones diferentes hay en ese conjunto.
a) de a
Para mostrar que la cardinalidad del conjunto de todas las funciones de a es menor o igual a la del conjunto de todas las funciones que van de a , necesitamos encontrar una función inyectiva (una función que no asigna dos elementos diferentes al mismo elemento) de un conjunto al otro.
Dado que cualquier función que va de a también puede ser vista como una función que va de a (simplemente asignando 0 y 1 a sus respectivos valores en ), podemos decir que el conjunto de funciones de a es un subconjunto del conjunto de funciones de a . Por lo tanto, su cardinalidad es menor o igual.
b) de a
Similarmente, para mostrar que la cardinalidad del conjunto de todas las funciones de a es menor o igual a la del conjunto de todas las funciones que van de a , necesitamos encontrar una función inyectiva de un conjunto al otro.
Podemos hacer esto fácilmente definiendo una función que mapee 0 a ‘a’ y 1 a ‘b’. Cualquier función que vaya de a puede ser transformada en una función que vaya de a usando este mapeo. Por lo tanto, el conjunto de funciones de a es un subconjunto del conjunto de funciones de a , y su cardinalidad es menor o igual.
Conclusión:
En ambos casos, hemos mostrado que el conjunto de funciones de a es un subconjunto de los otros dos conjuntos de funciones mencionados, lo que significa que su cardinalidad es menor o igual a la de esos conjuntos.
Consigna:
Dar un ejemplo de 2 conjuntos disjuntos no vacíos, A y B tales que:
a) ⮕
b) ⮕
c) ⮕ es par es impar
Respuesta y Explicación
Aquí, el conjunto A tiene 2 elementos y el conjunto B tiene 3 elementos. Como A y B son disjuntos (no tienen elementos en común), la unión de A y B tendrá 5 elementos. Por lo tanto, .
A es el conjunto de los números naturales (es decir, los números enteros no negativos) y B es el conjunto de los números reales que no son naturales.
El conjunto de números reales es infinitamente más grande que el conjunto de números naturales. Sin embargo, cuando tomamos la unión de A y B, obtenemos todo el conjunto de números reales .
Por lo tanto, (que es infinito, pero “más pequeño”) es menor que , pero es igual a porque ambos son simplemente el conjunto de números reales.
es par es impar
A es el conjunto de todos los números enteros pares y B es el conjunto de todos los números enteros impares.
Ambos conjuntos son infinitos, pero como son disjuntos (no tienen elementos en común), la unión de A y B es simplemente el conjunto de todos los números enteros.
Por lo tanto, (ambos infinitos) y es también infinito, pero es igual a y .
Consigna
Mostrar que
Respuesta:
Para mostrar que es igual a :
La idea detrás de esta demostración es que, incluso si eliminamos un número finito de elementos de los números naturales (en este caso, los números 7, 9, 15, 34, 21, 344, y 990), todavía podemos encontrar una correspondencia uno a uno (una función biyectiva) entre los números naturales y el conjunto resultante. La función simplemente desplaza cada número natural por 1000, asegurando que no se solapen con los números que hemos eliminado. Por lo tanto, ambos conjuntos tienen la misma cardinalidad.
Explicación
Para demostrar que dos conjuntos tienen la misma cardinalidad, necesitamos encontrar una función biyectiva entre ellos. Una función biyectiva es una función que es inyectiva (sin dos elementos que se mapeen al mismo elemento) y sobreyectiva (cubre todo el conjunto de llegada).
Paso 1: Entender los conjuntos involucrados
Paso 2: Demostrar que
Para esto, podemos usar la función identidad . Esta función simplemente mapea cada número natural a sí mismo. Es evidente que si tomamos cualquier número natural, sigue siendo un número natural incluso si eliminamos un conjunto finito de ellos. Por lo tanto, la función identidad es una función inyectiva de a .
Paso 3: Demostrar que
Para esta parte, proponemos una función que mapea a . Una función que podría funcionar es .
¿Por qué esta función? Bueno, al agregar 1000 a cualquier número natural, nos aseguramos de que el resultado sea un número mayor que 990 (el número más grande en el conjunto que estamos eliminando). Por lo tanto, no hay forma de que mapee un número natural a 7, 9, 15, 34, 21, 344 o 990.
Esta función es claramente inyectiva porque cada número natural se mapea a un número único en . También es sobreyectiva porque cubre todo el conjunto .
Conclusión:
Dado que hemos encontrado funciones biyectivas en ambas direcciones entre y , podemos concluir que estos dos conjuntos tienen la misma cardinalidad.
Consigna
¿El conjunto de todas las frases en el idioma español es contable o incontable? Justificar.
Respuesta:
A = frases en el idioma español
|A| ≤ |N|
Utilizar el orden canónico de las frases para convertir cada frase formada a un número único según su orden.
Explicación detallada:
La pregunta es si el conjunto de todas las frases en español es contable o incontable. Para responder a esta pregunta, primero debemos entender qué significa que un conjunto sea contable.
Un conjunto es contable si sus elementos pueden ser puestos en correspondencia uno a uno con los números naturales (0, 1, 2, 3, …). En otras palabras, si podemos enumerar todos sus elementos en una lista infinita sin dejar ninguno fuera, entonces el conjunto es contable.
Ahora, consideremos el conjunto de todas las frases en español. A primera vista, podría parecer que hay infinitas frases posibles, especialmente si consideramos frases de longitud arbitraria. Sin embargo, la respuesta sugiere que utilicemos el “orden canónico” de las frases para asignar a cada frase un número único.
El “orden canónico” se refiere a una forma sistemática de enumerar las frases. Por ejemplo, podríamos empezar enumerando todas las frases de una palabra, luego todas las frases de dos palabras, y así sucesivamente. Dentro de cada longitud de frase, podríamos ordenar las frases alfabéticamente.
Aunque este proceso nos daría una forma de enumerar todas las frases, hay un problema: hay infinitas frases de cada longitud. Por lo tanto, nunca llegaríamos a las frases de dos palabras porque estaríamos atrapados enumerando infinitamente las frases de una palabra.
Dado este razonamiento, parece que el conjunto de todas las frases en español es incontable. Sin embargo, la respuesta proporcionada sugiere que es contable, lo que puede ser un error o una simplificación. En la práctica, el conjunto de todas las frases posibles en cualquier idioma es incontable debido a la posibilidad de formar frases de longitud infinita.
Preguntar al profe
Consigna
Dar ejemplos para mostrar que la intersección de 2 conjuntos incontables puede ser:
a) finita ⮕
b) infinita contable ⮕
c) incontable ⮕
Respuesta y Explicación detallada
a)
La intersección entre los números reales que no son positivos y los números reales positivos es el conjunto vacío, ya que no hay ningún número que sea a la vez no positivo y positivo. Por lo tanto, la intersección es finita (en realidad, tiene 0 elementos).
b)
La unión combina los elementos de y . Sin embargo, esta unión sigue siendo contable porque tanto como son conjuntos contables.
La intersección es simplemente el conjunto porque todos sus elementos son números reales. Esta intersección es infinita y contable porque, aunque tiene infinitos elementos, estos pueden ser puestos en correspondencia uno a uno con los números naturales.
c)
Este es el caso más sencillo. Estamos tomando la intersección del conjunto de números reales consigo mismo. La intersección de un conjunto consigo mismo es siempre el conjunto original. Por lo tanto, la intersección es , que es incontable.
En resumen, el ejercicio 16 nos muestra diferentes posibilidades para la intersección de dos conjuntos incontables, y cómo esta intersección puede resultar en conjuntos de diferentes “tamaños” o cardinalidades: finita, infinita contable e incontable.
Consigna: Mostrar que la unión de 2 conjuntos contables es contable.
Respuesta
Conceptos previos
Desarrollo
Supongamos que tenemos dos conjuntos contables, y . Como ambos son contables, podemos enumerar sus elementos. Supongamos que:
Ahora, queremos mostrar que la unión también es contable. Para hacer esto, podemos intentar enumerar los elementos de .
Una forma de hacerlo es enumerar primero todos los elementos de y luego todos los elementos de . Sin embargo, esto no garantiza que no haya repeticiones si y tienen elementos en común.
Una mejor estrategia es intercalar los elementos de y . Es decir, tomamos el primer elemento de , luego el primer elemento de , luego el segundo elemento de , luego el segundo elemento de , y así sucesivamente.
La enumeración quedaría así:
De esta manera, hemos enumerado todos los elementos de sin dejar ninguno fuera y sin repetir ninguno. Por lo tanto, hemos mostrado que es contable.
Conclusión:
La unión de dos conjuntos contables sigue siendo contable. Esto es una propiedad fundamental de los conjuntos contables y es crucial para muchos resultados en teoría de conjuntos y matemáticas en general.
Con conjunto infinito es indepedientemente un conjunto contable?
Consigna
Muestre que, si es un conjunto incontable e es un conjunto contable, entonces debe ser incontable.
Respuesta
Usando identidad
usando función que no permita los naturales ej:
Explicación detallada
El ejercicio nos pide demostrar una propiedad sobre conjuntos incontables y contables. Comencemos por definir estos términos:
Conjunto contable: Un conjunto que puede ser puesto en correspondencia uno a uno con el conjunto de números naturales. Por ejemplo, el conjunto de números enteros es contable.
Conjunto incontable: Un conjunto que no puede ser puesto en correspondencia uno a uno con el conjunto de números naturales. Un ejemplo clásico es el conjunto de números reales entre 0 y 1.
La consigna nos dice que si tenemos un conjunto incontable y le quitamos un conjunto contable , el resultado sigue siendo incontable.
Para demostrar esto, se toma un ejemplo específico: el conjunto de números reales como nuestro conjunto incontable y el conjunto de números naturales como nuestro conjunto contable .
Primera afirmación:
Esta afirmación nos dice que si quitamos todos los números naturales de los números reales, la cantidad de elementos (cardinalidad) sigue siendo la misma. Esto tiene sentido porque, aunque los números naturales son infinitos, son “menos infinitos” que los números reales. Por ejemplo, entre 0 y 1 hay infinitos números decimales que no son naturales.
Segunda afirmación:
Esta es una afirmación obvia. Si quitamos elementos de un conjunto, su cardinalidad no puede aumentar; como máximo, se mantiene igual.
Tercera afirmación usando identidad:
Esta afirmación nos dice que la cardinalidad de los números reales es, como máximo, igual a la cardinalidad de los números reales sin los naturales. Esto puede parecer contradictorio, pero no lo es. Aunque estemos quitando elementos, la cantidad de elementos que quedan sigue siendo tan grande como el conjunto original.
Función que no permita los naturales:
Esta es una forma de mostrar que podemos mapear los números naturales a otro conjunto sin incluir ningún número natural. Si a cada número natural le sumamos 1, obtenemos otro número que no es natural. Esto refuerza la idea de que hay muchos más números reales que naturales.
En resumen, el ejercicio demuestra que si tienes un conjunto incontable y le quitas un conjunto contable, el resultado sigue siendo incontable. Es una forma de entender la “magnitud” de la infinitud de los números reales en comparación con la infinitud de los números naturales.
Consigna
Mostrar que un conjunto puede tener la misma cardinalidad que un subconjunto propio de sí mismo.
Respuesta
P es el conjunto de los naturales pares.
|P| = |N|
|P| ≤ |N| usando la función identidad.
|N| ≤ |P| usando una función que convierta el natural a un número par, por ejemplo: .
Respuesta y explicación detallada
Concepto de Cardinalidad:
Conjuntos Infinitos y Subconjuntos Propios:
Ejemplo con Números Naturales y Números Pares:
Estableciendo una Correspondencia Biunívoca:
Conclusión: