Desafío - Conjunto Numéricos

¿ Cuál de las siguientes alternativas es verdadera ?

A) El conjunto de los irracionales incluye a los racionales.
B) 0 es irracional.
C) El conjunto de los irracionales incluye a los reales.
D) Un irracional es de la forma (p/q) con q distinto de cero.
E) La suma entre un irracional y un racional es irracional.

Respuesta: Veamos cada alternativa:

A) FALSA :  Los irracionales son un conjunto aparte, que no incluyen ni a los naturales, ni a los cardinales, ni al conjunto Z (Enteros), ni al conjunto Q (racionales). Los irracinales son parte de los Reales.

B) FALSA : Cero se puede escribir como 0/a, con a distinto de cero. Cero es Racional, es Entero, es Cardinal.

C) FALSA : Esto es al revés, tal como dijimos en la alternativa A)

D) FALSA : Esta es la definición de Racional. Los irracionales JUSTAMENTE NO pueden escribirse de esta forma.

E) VERDADERA : Esto es verdadero y vamos a demostrarlo:

Para demostrar, planteemos exactamente lo contrario y al llegar a una cotradicción, la sentencia contraria quedará demostrada:

Demostración:

Sea p perteneciente al conjunto Q de los Racionales.
Sea q perteneciente al conjunto Q* de los Irracionales.
Sea r perteneciente al conjunto Q de los Racionales.

Entonces suponemos lo contario a lo que queremos demostrar, que (p + q) es racional, o sea:

p + q = r
despejando:
q = r - p
Pero el Conjunto de los Racionales (Q) es cerrado para la suma(sustracción), por lo tanto:
q sería Racional, lo que es una contradicción con la definició inicial de q,

por tanto, queda demostrado lo contrario, que q es irracional, es decir, que cuando:

sumo un racional con un irracional, 

el resultado es irracional.

Alternativa E)

Fuente: Creación Personal.
NEM: Primero Medio.
Eje Temático: I. Números y Proporcionalidad.
CMO: Conjuntos Numéricos.