Nmeros reales La unin de los racionales y los irracionales forma el conjunto de los nmeros reales.

R=QUI El conjunto de los reales, con el orden inducido por el orden ya visto en , N, Z y Q es un conjunto totalmente ordenado. Teniendo eso en cuenta, se puede representar grficamente el conjunto de los reales con una recta, en la que cada punto representa un nmero. Muchas de las propiedades que hemos visto para los conjuntos Q e I son heredadas por R. Como ya se ha visto, Q es denso en R . Tambin es denso en R. Podemos considerar R como el conjunto de todos los lmites de sucesiones cuyos trminos son nmeros racionales. A diferencia de lo visto para , N,Z y Q, el conjunto de los reales no es numerable

R* = R {0} Reales positivos R+ Reales negativos RQ* = Q - {0} Racionales positivos:Q+ Racionales Negativos:QAdems podemos agregar las siguientes caracteristicas de conjuntos de los nmeros reales a) NZ- = El conjunto de los nmeros naturales no tiene elementos en comn con el subconjunto de los enteros negativos, por lo tanto, su interseccin es conjunto vaco. b) Q- UQ+ = Q* Al unir los subconjuntos Q- y Q+ Se obtiene todos los Q- y Q+ sin el cero es decir, Q* c) IR- = I- Al intersectar los irracionales con los reales negativos, los elementos comunes a ambos son los irracionales negativos. d) NUI = NUI Como el conjunto N no tiene elementos en comn con el conjunto I, su unin no corresponde a ningn conjunto o subconjunto notable y por ello el resultado se expresa de esa forma. e) R* U {0} = R El conjunto de los nmeros reales sin el cero se denota as: R*, por lo tanto al unirlo con el cero se obtiene todo el conjunto R

NUMEROS ENTEROS Caractersticas REPRESENTACIN EN LA RECTA NUMRICA El cero, O, divide a la recta en dos semirrectas iguales Las semirrectas se dividen a su vez en partes iguales Los nmeros enteros positivos sitan a la derecha del cero. Los nmeros enteros negativos se sitan a la izquierda del cero.

VALOR ABSOLUTO DE UN NMERO ENTERO El valor absoluto de un nmero entero es la distancia (en unidades) entre dicho nmero y el cero en la recta numrica. En la prctica se escribe entre dos barras || y resulta el mismo nmero sin su signo. |+b|=b |-a|=a

Si a es mayor o igual que cero, |a| = a Si a es menor que cero, |a| = -a EJEMPLO 1. Hallamos un nmero entero que represente las siguientes expresiones: - Hace una temperatura de 7 grados bajo cero. -7C - El submarino est a 100 metros bajo el nivel del mar. -100 m - El saldo de su cuenta bancaria es de 175 . +175 2.Obtenemos los siguientes valores absolutos: Valor absoluto de -3. |-3| = 3 Valor absoluto de +6. |+6| = 6

OPUESTO DE UN NMERO ENTERO El opuesto de un nmero entero es otro nmero entero con el mismo valor absoluto pero de signo contrario. El opuesto es un nmero entero es su simtrico respecto del cero en la recta numrica, y a ambos nmeros les separa la misma distancia de l.

COMPARACIN DE ENTEROS Qu temperatura es ms baja: -5C , -2C o +2C?

Los numeros enteros estn representados de forma creciente sobre la recta numrica: por tanto, -5 es menor que -2, y ste, a su vez, es menor que +2. Se escribe: -5< -2< +2. El mayor de dos nmeros enteros es el que est situado ms a la derecho en la recta numrica - De dos enteros positivos es mayor el de mayor valor absoluto. As, +3 <+5, ya que |+3|=3 < |+5|=5 - De dos enteros negativos es mayor el de menor valor absoluto As, -6 < -4, ya que |-6|=6 < |-4|=4 El cero es mayor que cualquier nmero negativo y menor que cualquiera positivo

Los nmeros naturales

Los nmeros naturales surgen de la necesidad de contar, de enumerar: ={1,2,3,4...} se puede sumar. De hecho, con la operacin suma, los naturales forman Con los nmeros naturales un semigrupo conmutativo.

Con la operacin producto los naturales tambin tienen estructura de semigrupo conmutativo. El infinito de los nmeros naturales se denomina infinito numerable. Cualquier conjunto que pueda ponerse en

correspondencia biyectiva con el conjunto de los nmeros naturales se dice que es infinito numerable. Por ejemplo, el conjunto de las potencias sucesivas de un nmero , es decir, el conjunto cuando es

distinto de 0, 1 y -1, es un conjunto infinito numerable. El conjunto de los nmeros enteros y el de los racionales tambin son infinitos numerables como se ver ms adelante. El conjunto de los naturales es un conjunto totalmente ordenado, es decir, existe una relacin de orden total, lo que significa que existe una relacin de orden y que dos elementos cualesquiera pueden ser siempre comparados entre s usando dicha relacin. Dicho de otra forma, dados dos naturales, e , o bien , o bien .

Todo subconjunto
elemento

no vaco del conjunto de los naturales tiene un elemento mnimo, esto es, existe un tal que para todo de se tiene .

Principio de induccin matemtica: si un subconjunto

que , entonces .

Por ejemplo, el subconjunto formado por los nmeros pares tiene como elemento mnimo a 2. de verifica que y, si

, resulta

o Esto nos permite realizar razonamientos por induccin cuando queremos probar que una determinada
propiedad se cumple para todo natural. Por ejemplo, si queremos probar que la suma de los nmeros naturales es podemos hacerlo por induccin en la forma siguiente: primeros

Para

es claro que la suma de los 1 primeros nmeros naturales es

Suponiendo cierta la frmula para

, es decir,

, veamos que tambin es

cierta para

Luego la frmula es vlida para todo n natural.

Dados dos nmeros naturales

, no es cierto en general que exista un natural

tal que

. Si

tal existe se denomina cociente exacto de por que es divisible por , o que es un divisor de Cuando no es as, siempre es posible encontrar y

, y la divisin se denomina exacta. En este caso se dice , o que es un mltiplo de . que verifiquen con Los

nmeros , , y se denominan dividendo, divisor, cociente yresto respectivamente y el procedimiento para determinar y a partir de y se denomina divisin entera.

 Descomposicin en factores primos:

Un nmero primo es aqul nmero natural que slo es divisible por s mismo y por la unidad, por ejemplo 2, 3, 5, 7, 11, 13, 17, 19, 23, ..., son nmeros primos. Hay infinitos nmeros primos. Un famoso procedimiento para encontrar nmeros primos es la denominada criba de Eratstenes, que consiste en tomar una lista de los nmeros naturales e ir tachando sucesivamente los mltiplos de cada natural que an no hubiera sido tachado previamente.

El uso de nmeros primos grandes tiene aplicaciones en criptografa (ocultacin de secretos). Todo nmero natural admite una descomposicin en producto de nmeros primos. Esta descomposicin es nica salvo el orden de los primos considerados. En el siguiente recuadro tienes algunos ejemplos.

Encontrar la factorizacin de nmeros grandes es un problema con elevada complejidad computacional, de hecho no hay ningn algoritmo eficiente para ello. Por eso varios sistemas criptogrficos se basan en este problema.

Mximo comn divisor y mnimo comn mltiplo. Algoritmo de Euclides.

El mximo comn divisor de dos nmeros se define, como su propio nombre indica, como el divisor ms grande que ambos nmeros tienen en comn. Si disponemos de la factorizacin de ambos nmeros, entonces el mximo comn divisor se obtiene quedndose solamente con aquellos factores comunes a ambas descomposiciones y elevados al menor de los exponentes con los que aparezcan. El mnimo comn mltiplo, nuevamente como indica su nombre, es el mltiplo ms pequeo que ambos nmeros tienen en comn. Atendiendo a las descomposiciones de ambos nmeros, el mnimo comn mltiplo se obtiene considerando todos los factores distintos que aparecen (comunes y no comunes), cada uno de ellos elevado al mayor exponente con el que aparezca.

Segn se dijo antes, calcular la factprizacin deoun nmero es un proceso muy costoso. Sin embargo, puede calcularse el mximo comn divisor de dos nmeros de una manera eficiente, sin necesidad de factorizar previamente ambos nmeros. Es lo que se conoce como algoritmo de Euclides y consiste en lo siguiente:

o Dados dos nmeros

, comenzamos relizando la divisin entera de

entre

o Cada paso consiste en una nueva divisin, en la que el dividendo es el nmero que actu de divisor en la o Cuando en una divisin se obtiene resto nulo, el mximo comun divisor de los nmeros de los que partimos
ser el nmero que ha actuado como divisor en esa ltima divisin efectuada y que result ser una divisin exacta. divisin anterior y el divisor es el nmero que se obtuvo como resto en la divisin anterior.

Una vez obtenido el mximo comn divisor de esta manera, se te ocurre cmo obtener el mnimo comn mltiplo sin necesidad de factorizar los nmeros?

 Representacin de un nmero natural en una base cualquiera:

El mtodo de divisiones enteras sucesivas permite escribir cualquier nmero natural en forma nica en una base cualquiera p, en la forma siguiente:

en base p, donde

Para lograr dicha expresin basta con realizar sucesivas divisiones enteras de n por p y tomar los restos, es decir,

hasta que en la r-sima divisn, hemos terminado.

se tenga

. Se toma

,y

o Ntese que nuestra actual notacin posicional para los nmeros naturales se corresponde con la
representacin de los nmeros naturales en base decimal (p=10). Se denomina notacin posicional porque el valor de una cifra depende de la posicn que sta tenga en el nmero: un 5 en el lugar de las unidades vale 5, mientras que en el lugar de las centenas vale 500. o La notacin binaria, tan comn en el mundo de la informtica es el resultado de tomar p=2 y representar los nmeros naturales en dicha base. o Conoces otras representaciones en bases distintas? Hexadecimal, sexagesimal...

Los nmeros enteros

Cuando se necesita adems restar surgen los nmeros enteros ={ ... -3, -2, -1, 0, 1, 2, 3, ...} Los enteros se obtienen a partir de los naturales aadiendo los opuestos para la operacin suma. Si a y b denotan nmeros naturales, la suma de dos nmeros enteros a+(-b), se define como: el entero positivo a-b, si a > b, 0, si a=b el entero negativo -(b-a) si a < b La suma de dos enteros negativos se define como (-a)+(-b)=-(a+b)

De hecho, los enteros, con la operacin suma tienen estructura de grupo conmutativo. Si adems de la suma, consideramos la operacin de multiplicacin definida como o (-a)(-b)=ab o (-a)b=a(-b)=-(ab), el conjunto de los enteros, con ambas operaciones tiene estructura de anillo conmutativo y con unidad. Por cierto, qu hay ms?, nmeros enteros o nmeros naturales?. Ntese que se puede establecer una correspondencia biyectiva entre ambos conjuntos, , por ejemplo como sta: si n es un entero positivo

Por tanto, el conjunto de los enteros es tambin infinito numerable. Tambin es un conjunto totalmente ordenado, cuando se considera la relacin de orden definida en la forma obvia y que extiende la relacin de

orden que se tiene en

. Tambin es cierto que en los enteros todo subconjunto acotado inferiormente

tieneelemento mnimo, y recprocamente, todo subconjunto acotado superiormente tiene elemento mximo.

Los nmeros racionales

Si se necesita adems dividir, surgen los nmeros racionales (o fraccionarios, o quebrados), ={... 1/2, 5/3, 8/10, 238476/98745, ...... } Los racionales se obtienen a partir de los enteros aadiendo los inversos para la multiplicacin. o La suma de dos racionales a/b y c/d se define como a/b+c/d=(ad+cb)/bd. o El producto de dos racionales a/b y c/d se define como ac/bd. o Dos nmeros racionales a/b y c/d son iguales si y slo si ad=bc.

(En todo lo anterior, a, b, c y d denotan nmeros enteros) Un nmero racional se dice que est expresado mediante una fraccin irreducible si el numerador y el denominador no tienen factores comunes. De este modo, el conjunto de los racionales, con las operaciones de suma y producto tiene estructura de cuerpo conmutativo. se pueden resolver todas las ecuaciones lineales, es decir, aqullas de la forma En

ax+b=0, con a y b racionales. En se puede definir un orden total compatible con las operaciones suma y producto definidas anteriormente y que extienda el orden existente en y en . Para ello basta con

definirlo como sigue: Dados dos nmeros racionales a/b y c/d, donde b y c son enteros positivos (esto siempre puede conseguirse, por ejemplo, si b es negativo basta con multiplicar a y b por -1 para obtener un nmero racional igual que el dado pero con denominador positivo), se dice que si y slo si respecto del orden existente en el conjunto de los enteros. Por tanto con dicho orden es un conjunto totalmente ordenado.

Densidad del orden:

Dados dos nmeros racionales distintos, que . Para ello, si tomar , con b y d positivos, basta con , siempre existe otro nmero racional tal

Ejercicio: probar que efectivamente

(por ejemplo, entre 3/5 y 2/3 se

encuentra 5/8) Ahora bien, reiterando el proceso de intoducir un racional entre cada dos racionales distintos es claro que entre dos racionales distintos existen infinitos racionales distintos, Por ejemplo, ahora entre 3/5 y 5/8 se encuentra 8/13, entre 3/5 y 8/13 se encuentra 11/18, etc., tenemos asi 3/5 < ...... < 11/18 < 8/13 < 5/8 < 2/3. por eso se dice que el conjunto de los racionales es un conjunto denso. No tiene sentido hablar del racional siguiente o anterior a uno dado. Esto es algo que no ocurra ni en el conjunto de los naturales ni en el de los enteros.

Propiedad arquimediana (o de Arqumedes):

Dados dos nmeros racionales y , siempre existe un n natural tal que . Esto quiere decir que por pequeo que sea , si consideramos la sucesin de racionales , llegar un momento en que sobrepasasaremos a , por muy grande que este sea. Por ejemplo:

Esta es una propiedad que tambin posean los nmeros naturales y los enteros.

El cardinal de los racionales: Cuntos nmeros racionales hay? Qu hay ms, naturales o racionales? Puede parecer que la respuesta sera, obviamente hay ms racionales, puesto que los naturales son tambin nmeros racionales, y adems hay otros racionales, como 1/2 por ejemplo, que no son naturales, por lo que podemos concluir que el cardinal de los racionales es que el de los naturales. Pero podemos tambin probar que hay ms naturales que racionales. Una forma de hacerlo sera seguir el siguiente razonamiento grfico. Coloquemos los enteros en un eje horizontal, y tambin en un eje vertical. Cada punto (a,b) del retculo que se forma representar al racional a/b. Comenzamos ahora a trazar un camino en espiral, partiendo del origen que recorra uno a uno todos los puntos del retculo como se ve en la siguiente grfica:

Es claro que podemos poner en correspondencia biyectiva los puntos del retculo con los naturales sin ms que irlos numerando a medida que la linea espiral pasa por cada uno de ellos. Ahora bien, no todos los puntos del retculo se corresponden con nmeros racionales, ya que los de la forma (n,0) no se corresponden con ningn racional, y adems muchos puntos del retculo representan al mismo nmero racional, por ejemplo (1,2) y (2,4) representan al mismo nmero racional, ya que 1/2=2/4. De aqu se concluye que podemos dar una correspondencia sobreyectiva de en , y por tanto que el cardinal de es que el cardinal de . es igual que el de ,

Combinando ambos resultados podemos concluir que el cardinal de es decir, que es un conjunto infinito numerable.

 Representacin decimal de nmeros racionales:

Todo nmero racional admite una representacin decimal, que es la que se obtiene al dividir el numerador entre el denominador, por ejemplo 1/2 tiene como expresin decimal 0.5 , 3405/25=136.2 y 1/3= 0.33333....... Esto puede dar lugar a dos tipos de expresiones decimales, las exactas y las peridicas. stas ltimas pueden a su vez dividirse en peridicas puras o peridicas mixtas.

o Expresin decimal exacta, es aqulla que tiene un nmero finito de trminos. Por ejemplo: 0.5,

1.348 367.2982345 Esta expresiones surgen de nmeros racionales cuyo denominador (en la expresin irreducible) slo contiene los factores 2 y 5. Por ejemplo 1349/1000, 40/25, ... o Expresin decimal peridica es aqulla que tinene un nmero infinito de cifra decimales, pero de modo que un grupo finito de ellas se repite infinitamente, de forma peridica, por ejemplo 0.333333....., 125.67777777....... 3.2567256725672567...... Surgen de fracciones cuyo denominador contiene factores distintos de 2 y 5, por ejemplo, 1/3=0.33333..... La parte que no se repite se denomina anteperodo y la que se repite, perodo. Peridica pura es aqulla que no tiene anteperodo. Peridica mixta es aqulla que s tiene anteperodo. Podra considerarse que las expresionas decimales exactas son peridicas mixtas pero con perodo 0.

Recprocamente, dada una expresin decimal exacta o peridica, puede encontrarse una expresin racional para la misma siguiendo la siguiente norma:

Si la expresin es exacta se coloca como numerador el nmero entero que resulta de suprimir el punto
decimal y como denominador la unidad seguida de tantos ceros como cifras se encontraran a la derecha del punto decimal en la expresin decimal original. Si la expresin es peridica, se coloca como numerador el resultado de restar al nmero entero formado por el anteperodo seguido de la primera repeticin del perodo, el entero formado por el anteperodo, todo ello multiplicado por la unidad seguida de tantos ceros como cifras significativas se encuentren a la izquierda del punto decimal. Como denominador tantos nueves como cifras tenga el perodo seguidos de tantos ceros como cifras tenga el anteperodo.

Ejemplos:

Posteriormente se pueden simplificar las fracciones obtenidas para conseguir la expresin irreducible.

Los nmeros irracionales

Hay nmeros que no son racionales, es decir que no pueden ser expresados como cociente de dos nmeros enteros. Por ejemplo, piensa en el nmero cuya representacin decimal es 0.1234567891011121314151617181920........ claramente, esta representacin decimal no es exacta ni peridica, por tanto no puede corresponderse con ningn nmero racional. Veamos otros ejemplos.

Se trata de un ejemplo tpico de nmero no racional con una demostracin muy sencilla de que, en efecto, no puede ser racional

En el siguiente recuadro puedes ver las primeras 100 cifras decimales de el nmero hacia .

. Adems se muestra una manera de construir

sobre la recta real con regla y comps y finalmente se da una serie de nmeros racionales que converge

Para construir la serie que converge hacia

hemos usado obviamente la sucesin de cifras decimales indicada ms de la forma siguiente

arriba. Tambin podamos haber definido una sucesin de nmeros racionales que converge hacia

donde

es el mayor nmero entero que verifica

pi Otro de los ejemplos csicos de nmeros irracionales que estamos acostumbrados a manejar es el conocido por la letra griega Pi que representa la relacin entre el permetro y el dimetro de una circunferencia. A diferencia de lo que ocurre con , no es posible dibujar con regla y comps el nmero sobre la recta real. El problema es conocido como la rectificacin de la circunferencia y hay mtodos algebraicos para demostrar que no tiene solucin, a pesar de que mucha gente la busc durante siglos (y algunos siguen buscndola hoy en da). Otros problemas de parecida ndole son los famosos de la cuadratura del crculo, que consiste en construir con regla y comps un cuadrado que tenga el mismo rea que un crculo dado, y la triseccin del ngulo, que consiste en dividir un ngulo dado en tres partes iguales. Todos ellos son imposibles con regla y comps y puede demostrarse algebraicamente su imposibilidad. En el siguiente recuadro tienes las primeras cien cifras decimales de y adems una serie de nmeros racionales que converge hacia .

La serie indicada es conocida como serie de Leibniz y hemos de advertir que su convergencia es bastante lenta. Cuntos trminos te hace falta sumar para obtener 10 cifras decimales correctas?

Tambin el nmero , base de los llamados logaritmos naturales o neperianos es un nmero irracional. Este nmero surge de forma natural al considerar el inters compuesto. Supongamos que tenemos un capital unidad a un inters anual (en tanto por uno). Al cabo del ao nuestro capital

ser . Sin embargo, si dividimos el ao en dos semestres e incorporamos el inters al finalizar cada uno dos semestres, al final del primer perodo tendremos y al finalizar el ao Si dividimos el ao en tres cuatrimestres, incorporando los intereses al capital al final del cada perodo, tendremos ... respectivamente al final de cada cuatrimestre.

Si dividimos el ao en n perodos tendremos al final del ao . Se define como el lmite del resultado anterior cuando n se hace infinitamente grande (infinitos perodos infinitamente pequeos), siendo , es decir

En el recuadro siguiente vemos las 100 primeras cifras decimales de , as como dos formas de ver sucesiones de nmeros racionales (en el segundo caso se trata de una serie).

como lmite de

Igual que pasaba con , no es posible dibujar con regla y comps un punto en la recta real a distancia del origen. Si consideramos el conjunto de todas las expresiones decimales, solamente aqullas finitas o peridicas se correspondern, como ya se vio, con nmeros racionales; el resto forman el conjunto de los nmeros irracionales. El conjunto de los irracionales, denotado por tiene, como , la propiedades de orden total, densidad y propiedad

arquimediana. En cambio no es un conjunto numerable. Se te ocurre alguna forma de probar que no es numerable? (pincha aqu para ver una forma de demostrarlo) Ya se ha visto para los ejemplos mostrados, pero se puede afirmar en general que todos los nmeros irracionales pueden verse como lmites de sucesiones de nmeros racionales. Para ello basta con considerar la expresin decimal del nmero en cuestin y construir la sucesin obvia que consiste en considerar cada vez un cifra decimal ms, de modo que el trmino es la fraccin que da lugar a la expresin decimalm exacta formada por las n primeras cifras del nmero dado.

Los nmeros reales

La unin de los racionales y los irracionales forma el conjunto de los nmeros reales. .

El conjunto de los reales, con el orden inducido por el orden ya visto en , y es un conjunto totalmente ordenado. Teniendo eso en cuenta, se puede representar grficamente el conjunto de los reales con una recta, en la que cada punto representa un nmero. Muchas de las propiedades que hemos visto para los conjuntos Como ya se ha visto, Podemos considerar es denso en . Tambin e son heredadas por . .

es denso en

como el conjunto de todos los lmites de sucesiones cuyos trminos son nmeros racionales.

A diferencia de lo visto para , y , el conjunto de los reales no es numerable. (una demostracin). Veamos por ltimo un cuadro resumen de las propiedades que hemos analizado en los distintos conjuntos de nmeros. Ordenado Denso Numerable + Semigrupo * Semigrupo + Grupo * Semigrupo +,* Anillo conmut. con1 + Grupo * Grupo +,* Cuerpo conmut. No tiene estructura algebraica al no ser cerrado para + y * + Grupo * Grupo +,* Cuerpo conmut. Estructura algebraica

Ley de tricotoma
En matemticas, la ley de tricotoma es una propiedad de algunos conjuntos ordenados, por la cual todos sus elementos son comparables entre s.

Transitividad
La transitividad es una de las propiedades ms necesarias de los nmeros reales. En general, la propiedad de la transitividad tiene su aplicacin en dos categoras: La Transitividad de la igualdad y la Transitividad de la desigualdad. De acuerdo con la transitividad de la igualdad, si dos nmeros son equivalentes al mismo nmero, entonces todos los nmeros son equivalentes entre s. Es decir, si a = b y b = c entonces a = c. La Transitividad de la desigualdad trata con cuatro subpartes correspondientes a; mayor que, menor que, mayor o igual que y menor o igual que las desigualdades. Si a, b, c son tres nmeros reales y 1). Si a <b y b <c, entonces en ese caso, a < c. 2). Si a b y b c entonces a c. 3). Si a> b y b> c, entonces a > c. 4). Si a b y b c, entonces b c. En general, los primeras dos subpartes pueden afirmar que si un nmero es menor que o igual a un 2do numero, y el 2do es ms pequeo o igual que un 3er entero, entonces el 1er nmero es menor o igual que el tercero. Pueden existir casos, cuando el desarrollo de argumentos por medio de las leyes de la transitividad pueden resultar errneos. Tales interpretaciones pueden ser consideradas como la aplicacin destartalada de la propiedad de la transitividad. Un ejemplo de tales argumentos es el caso cuando en un partido de cricket, el Equipo x vence al Equipo y, y en el encuentro siguiente el Equipo y vence al Equipo z. Por tanto, de acuerdo con la propiedad de la Transitividad, el equipo x le ganar el equipo z. Sin embargo, esto no es obligatorio fuera del mbito de la transitividad. Del mismo modo, si A es amigo de B y B amigo es amigo de C no es esencial que A sea amigo de C. Por lo tanto, se necesita ser atentos al intentar formular argumentos con la ayuda de la propiedad de la transitividad. La propiedad de la transitividad tiene algunas subpropiedades, las cuales incluyen: 1).La Inversa de cualquier relacin transitiva es tambin transitiva. 2). La interseccin de dos o ms relaciones transitivas tambin es transitiva. 3). Sin embargo, la unin de dos relaciones transitivas es veto transitiva, es decir, no es transitiva. 4). Del mismo modo, la negacin de cualquier relacin transitiva podra no ser necesariamente transitiva. Los ejemplos son la manera perfecta para una mayor aceptacin de los conceptos. Por tanto, un ejemplo de la transitividad puede ser muy til: Supongamos que la ecuacin dada est en forma de expresin, es decir, 7 (3 + a) y (3 + a)> 2 Y la pregunta provista es demostrar que 8> 5, con la ayuda de la ecuacin dada. De acuerdo con la clusula de la transitividad de las desigualdades en las matemticas, si A B & B> C, en ese caso se puede concluir que A> C. Entonces, la solucin de la ecuacin puede ser procesada como, A B = 7 (3 + a) B>C=3+a>2 A> C = 7 > 2 Por lo tanto, se demuestra por las siguientes ecuaciones que 7> 2.

Densidad
Un nmero real es un nmero que existe en la realidad, lo que significa que cada punto en la recta numrica real representa un nmero real. Puede ser un nmero racional o irracional, un nmero entero o trascendental, de cualquier tipo. Existe una serie de propiedades de los nmeros reales que deben ser estudiadas a profundidad para entender el concepto de los nmeros reales y tambin las operaciones basadas en nmeros reales. La densidad es una propiedad fundamental de los nmeros reales, segn la cual los nmeros reales son densos en naturaleza, o en trminos simples, entre dos nmeros reales existe un tercer nmero real, en todos los casos.

Axioma del Supremo

El significado de lmite superior es conocido por todos, el cual es el mximo de los valores. Pero el concepto de supremo es un poco diferente del lmite superior. Tambin es conocido como extremo superior. En trminos de teora de conjuntos un supremo puede ser definido como un valor x de un conjunto de valores, tal que ningn otro valor del conjunto es mayor que x. Tambin existe otro valor y positivo que puede ser muy pequeo para el cual x - y es mayor que x.

Intervalos y su representacin por desigualdades

La nocin de intervalo es un sistema de escritura de los conjuntos numricos en el plano de coordenadas. El intervalo es en general, utilizado para representar un grupo de nmeros a lo largo de un eje determinado. Estos intervalos son tpicamente representados por las desigualdades.