INSTITUTO TECNOLGICO DE ATITALAQUIA

DEFINICIN DE LOS CONJUNTOS: REAL, RACIONAL, ENTERO, IRRACIONAL, TRASCENDENTE.

Algebra Lineal
Habid San Nicols Aguilar 26/02/2012

Nmero Real
Los nmeros reales (designados por R) incluyen tanto a los nmeros racionales (positivos y negativos y el cero) como a los nmeros irracionales (trascendentes, algebraicos), que no se pueden expresar de manera fraccionaria y tienen infinitas ), cifras decimales no peridicas, tales como: Mejor definida por la siguiente recta: sigu .

Los cuales a su vez pueden ser divididos en 2 tipos de subconjuntos: divididos Nmeros Racionales Nmeros Irracionales

Nmeros Racionales
Se llama nmero racional a todo nmero que puede representarse como el cociente de dos nmeros enteros (ms precisamente, un entero y un natural entero positivo ) es decir, una fraccin comn a/b con numerador a y denominador b distinto de cero. El trmino racional alude a fraccin o parte de un todo. El conjunto de los nmeros racionales se denota por Q (o bien) que deriva de ) cociente (Quotient en varios idiomas europeos) Sus caractersticas principales son: El conjunto , con las propiedades de adicin y multiplicacin definidas ms arriba, conforma un cuerpo conmutativo: el cuerpo de cocientes de los enteros . Los racionales son el menor cuerpo con caracterstica nula. a. La clausura algebraica de , es el conjunto de los nmeros algebraicos. algebraicos

El conjunto de los nmeros racionales es numerable, es decir que existe , una biyeccin entre y (tienen la misma cantidad de elementos). El conjunto de los nmero reales no es numerable (la parte no no-denombrable de los reales, la constituyen los nmeros irracionales). Propiedad arquimediana el conjunto es denso en por construccin arquimediana: misma de ; es decir, para cualquier pareja de nmeros racionales existe otro nmero racional situado entre ellos.

Los racionales forman un dominio de factorizacin nica ya que todo racional puede descomponerse en la forma: son nmeros enteros primos, negativos si q no es entero) y . . Por ejemplo donde (siendo algunos de ellos

Nmeros Enteros
Dentro del conjunto de nmeros racionales encontramos el subconjunto de nmeros enteros que son definidos c como un conjunto de nmeros que incluye a los nmeros naturales distintos de cero (1, 2, 3, ...), los negativos de los nmeros naturales (..., 3, 2, 1) y al cero, 0. Los enteros negativos, como 1 o 3 (se leen menos uno, menos tres, etc.), son menores que todos los enteros positivos (1, 2, ...) y que el cero. Para resaltar la diferencia entre positivos y negativos, a veces tambin se escribe un signo ms delante de los positivos: +1, +5, etc. Cuando no se le escribe signo al nmero se asume que es positivo. posi El conjunto de todos los nmeros enteros se representa por la letra = {..., 3, 2, 1, 0, +1, +2, +3, ...}, que proviene del alemn Zahlen (nmeros (nmeros). Los nmeros enteros no tienen parte decimal. Por ejemplo: 783 y 154 son nmeros enteros 45,23 y 34/95 no son nmeros enteros Y son aplicados en ciertas magnitude como temperatura o la altura toman valores magnitudes por debajo del cero. La altura del Everest es 8848 metros por encima del nivel del mar, y por el contrario, la orilla del Mar Muerto est 423 metros por debajo del , nivel del mar; es decir, su altura se puede expresar como 423 m. ecir,

Nmeros Irracionales
Tras distinguir los nmeros componentes de la recta real en tres categoras: (naturales, enteros y racionales), podra parecer que ha terminado la clasificacin racionales), de los nmeros, pero an quedan "huecos" por rellenar en la recta de los nmeros reales. Los nmeros irracionales son los elementos de dicha recta que cubren los vacos que dejan los nmeros racionales. Los nmeros irracionales son los elementos de la recta real que no pueden expresarse mediante el cociente de dos enteros y se caracterizan por poseer caracterizan infinitas cifras decimales no peridicas. De este modo, puede definirse al nmero irracional como un decimal infinito no peridico. En base a esto podemos decir que un nmero irracional es cualquier nmero odemos real que no es racional, es decir, es un nmero que no puede ser expresado como , una fraccin , donde m y n son enteros, con n diferente de cero y donde esta fraccin es irreducible. No existe una notacin universal para indicarlos, como , que es generalmente aceptada. Las razones son que el conjunto de Nmeros Irracionales no constituyen ninguna estructura algebraica, como s lo son los Naturales ( ), los Enteros ( ), los Racionales ( ), los Reales ( ) y los Complejos ( ), por un lado, cionales y que la es tan apropiada para designar al conjunto de Nmeros Irracionales como al conjunto de Nmeros Imaginarios Puros, lo cual puede crear confusin. Puros, Fuera de ello, , es la denotacin del conjunto por definicin. la

Nmeros Trascendentes
Un nmero trascendente (o trascendental) es un tipo de nmero irracional que no es raz de ningn polinomio (no nulo) con coeficientes enteros (o racionales). En este sentido, nmero trascendente es antnimo de nmero algebraico. La algebraico definicin no proviene de una simple relacin algebraica, sino que se define como una propiedad fundamental de las matemticas. En general, si tenemos dos cuerpos eneral, es extensin del primero, diremos que ningn polinomio del que y de forma que el segundo es trascendente sobre K si no existe ).

es raz (

El conjunto de nmeros algebraicos es numerable, mientras el conjunto de , nmeros reales es no numerable; por lo tanto, el conjunto de nmeros trascendentes es tambin no numerable. Sin embargo, existen muy pocos nmeros trascendentes conocidos, y demostrar que un nmero es trascendente demostrar puede ser extremadamente difcil. Por ejemplo, todava no se sabe si la constante de Euler ( ) lo es, siendo = , cuando . De hecho, ni siquiera se sabe si es racional o irracional irracional. La propiedad de normalidad de un nmero puede contribuir a demostrar si es trascendente o no. Los nmeros trascendentes ms comunes son: cendentes e o, de forma ms general, donde es algebraico y b es algebraic algebraico pero irracional. El caso general del sptimo problema de Hilbert, Hilbert es decir, la determinacin de si es trascendental cuando es algebraico y b es irracional, queda demostrado parcialmente como cierto segn el teorema de Gelfond Gelfond-Schneider. si a es positivo, racional y diferente de 1. Vase logaritmo natural y (vase funcin Gamma). nmero de Champernowne: C10 = Champernowne 0.123456789101112131415161718192021... , constante de Chaitin Chaitin.

Donde es la funcin parte entera. Por ejemplo, si = 2 el nmero . resultante es 0,1010001000000010000000000000001000... Nmero de Liouville