You are on page 1of 6
seians AMON RODRIGUEZ VALLEXO Definicién 3.1.- Dados dos numeres naturales a y b arbitrarias, se dice que a es menor que b, y se escribe a a, afirméndose ahora que b es mayor que a. Estudiemos algunas caracteristicas de esta relacién, Proposicién 3.1,- Para todo niimero natural a # 0, se verifica que 0 < a. Escribimos: Siac Nt 0b= oe iP => bY > a, es decir, a < b* y resulta cierta [a 28 para b*. - Sisecumplela 22,a a, pues p* ¥ 0, Luego b* > 20, lo gue és to mismo, a < b* y se verifica la 28 para b*, MATEMATICAS 1 VOLUMEN! - Sisecumplela 38,b b* b+ 1) +x = bY +x = 2. Puede ocurtir que: yes clerta la 12 para bY. 2) x # 0 = D* < ay se cumple la 33 para b*. ) EM definitive, hemos comprobado que, en cualquier caso, bY € K. Como consecuencia, confarme al axioma 5, K = N; 0 sea, Va, b € N, tenemos a = b, oaJpeN*/ay ° sere = (@ +p) + (b+ aq) = betas fosqeal unpe bsa>3qen Sb+at(pta)ebta = at(pta)=a=> ptq=0 => p=0vq=0 Por el corclario 2.1.2., lo cual es absurde, pues hemos supuesto que p,q. © N* ¥; ldgkcamente, s6lo una de las relaciones sera valida. = Admitamos que se verifican a la vez la 18 y la 28, esto es, a= bya p=0, lo cual es imposible, porque hemos aceptado gue p © N*; por consiguiente, sélo una de las relaciones sera cierta. Andlogamente se demostraria el caso de cumplirse simultaneamente la 1? y la 34, En definitiva, llegamos a la conclusién de que séle puede ocurrir una de las tres retaciones, c. q. ¢. Proposicion 3.3.- La relacién (<) es una relacién de orden estricto sobre e/ conjunto NW de jos ndmeros naturales. Demostraci6n.- En efecto, tomemos a, b, ¢ ¢ N. Veamos que la relacién cumple las tres propiedades del orden estricto (consultar ef apartado 4.3. del tema 10): a) Antirrefiexiva.- Se verifica que a £ 3, pues si fuesea 3 pe N*/ a + p= 28 = p= O, lo cual entra en contradiccién con {a hipétesis de la definicién, i i i z : i | ze | itt ss RAMON RODRIGUEZ VALLEIO b) Antisimétrica.+ Sia b € a, pues si fuese b < 2 se verificarian tes dos relaciones simulténeamente, fo que seria incompatible obviamente con fa ley de tricotomia. <) Transitiva.. Sia a JpeN*/a+p=b => @ tpt (ta=bees bec 3qeNn*/beq-c Sbtat(ota)=b+o = at (pta)=c>a a, manifestdndose entonces que b es mayor o igual que a. NOTA 3.1.- Esta definicién nos permite afirmar que la ley de tricotomia igualmente se cumple para la relacién (<) en et conjunto N. Teorema 3.1.- Dados dos niimeros a, b N, se vérifica que a < b si y sélo si existe un nlimero p © N tat que a + p = b; es decir: 2b 3peN/atp-d. Demostracin.~ Comprobemos |a doble implicacién: =) Supongamos que a a+0=b, ose, J0EN/ 2 +0=b(**), De (*) y (**), ai ser N= N* U {0}, se colige que 3 pe N/ atp=boaad =) Reciprocamente, consideremos ahora que Jp © N/a +p = b. Como N=NTU (0},pEN* = aato=b> bea, = a =b(**), De (*) y (**) concluimos quea a = b. Efectivamente: cee PEN ese) att tae betas bSa=4qgeN/btq=sa} wire = (a+b) + (p+q)=a+b=> p+q=0=> p=0yq=0, luegoa+O=b yo+0ra=anb ©) Transitva.-Sia S byb Sc asc Enefedo: asb= IpeN/a-p bse>3qeN/b-q bec Ls ett moeg = btar(ptaynot+e a at(ptq)=csaccyaqueptqe N Por ser la adicién de naturales una ley de composicién interna, 9) Conexa.- Dados a, b € N, se verifican a £ bo b < a, Esto es consecuencia inmediata de ta ley de tricotomia Teniendo presente todo lo anterier, deducimos que (<) es una relacién de orden total sobre N, c. q. d. Corolario 3.2.~ El conjunto Wes un conjunto totalmente ordenado por fa relacién (<). Demostracién.- Al igual que en el caso del corolario 3. proposicién 3.4 PROPIEDADES DE LA ORDENACION DE NUMEROS NATURALES.- Supongamos 8, b, ¢ d © N. Se verifican las siguientes propiedades: ., Sigue directamente de |e 49) Ley de monotonia para ia atlicidn: Sia asccbic Vee NM. Demostracién.- Seaa sb 23 IpeN/atp=be (atp)+e-bece PH @t)tpabbe & atc’ b+e VeENaga 2%) Le relacién de orden total en N es compatible con la adicién de nimeros naturales; es decir, sia S by Sd =vatcSbh+d, Va,b,cdeN, Demostracién.- Imaginemos a < b yc < d, Entonces: asd arc=b+e] Sates bea, Vabgde Nog. d. én las bSa=bec=abid| m implicactones contenidas en la llave hemos empleado la 1* propiedad. des tiie once i ls ohn Boididaecsinesignt ‘RAMON RODRIGUEZ VALLEJO 32) Ley de monotonia pars la. multiplicacién.. St a-<-b es a6 5 BG Vice N. Pemostraciin- Seaa a-cu Sv, ve V,y ademas W- V, lo que significaria que u serie el minimo de V y hemos supuesto que V no tiene minimo. Por otro lado, U = N, pues, evidentemente, 0 © U; también, si ue U => u

You might also like