Ejercicios Resueltos Analisis Real
Short Description
Ejercicios Resuletos de Analisis Real de Carmen Maria Gonzales...
Description
EJERCICIOS RESUELTOS
ANALISIS REAL
Carmen MarΓa Gonzales
EJERCICIOS CAPITULO 1 SecciΓ³n 1.1 ο Ejercicio NΒΊ 1
Sea S= π β
(βπ)π π
/π πΊ π΅ . Determinar sup S e Inf S.
Desarrollo. Para determinar el Sup S e Inf S Probaremos cuando n es par y cuando n es impar, para esto se harΓ‘ una tabla de valores. 1.- n es par 1β
2.- n es impar
(β1)π
n par 2 4 6 8 10 . . . . +β
1β
π
Sn 1 3/4 5/6 7/8 9/10 . . . .
n impar 3 5 7 9 11 . . . . +β
(β1)π π
Sn 4/3 6/5 8/7 10/9 12/11 . . . .
Viendo la relaciΓ³n de la tabla anterior se puede determinar que el Sup S= 2 y el Inf S=1/2
ο Ejercicio NΒΊ 2 Demostrar que el conjunto S = π β πΉ / π β₯ π tiene cotas inferiores pero no superiores. El conjunto S= π₯ β π
/ π₯ β₯ 0 tiene cotas inferiores y el conjunto de las cotas inferiores es C= π β π
/ π β€ 0 -β
0
+β
No estΓ‘ acotada superiormente por tanto no existe un π β π
/ 0 β€ π₯ β€ π βπ₯ β π
ο Ejercicio NΒΊ 3 SeaπΊ β πΉ π πΊ*= Sup de S suponiendo que πΊβ es y que π β S demostrar que el supremo del conjunto S βͺ π es el mayor de los dos nΓΊmeros πΊ βy π. Si π ββ π β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦. Por hipΓ³tesis Y π β = Sup S β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.. Por hipΓ³tesis Sea π β π β π > π ^ π β β π β π > π β Entonces 0β π β < π De esta forma demostramos que S βͺ π tiene un Sup el cual serΓa Sup S βͺ π =π ya que π > πβ
ο Ejercicio NΒΊ 4 Sea πΊ β πΉ π π β πΊ es cota superior de S. Demostrar que π = ππ’ππ 0 π βπ Supongamos que π β π, como hipΓ³tesis π es la cota superior de S, implica que π > π βπ β π, lo cual contradice la hipΓ³tesis ya que π es la cota superiorde S. Por tanto: Si π β π β π = ππ’π π
ο Ejercicio NΒΊ 5 Sea πΊ β πΉ, πΊ β β
Demostrar que π β πΊ es la cota superior de S β π β πΉ, π > π β π‘ β π i) Si π es cota superior de Sβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.por hipΓ³tesis Si π es cota superior de Sβ π‘ β π
, π‘ > π ^ π‘ β π β¦.por definiciΓ³n Supongamos que π‘ β πβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.por hipΓ³tesisπ es cota superior. Implica que π‘ β π y esto contradice la hipΓ³tesis que π‘ > π
ii)
π‘ β π
, π‘ > π β π‘ β π β π es la cota superior de S 0
ππ‘
ο Ejercicio NΒΊ 9 Sea πΊ β πΉ acotado, S0 β€ πΊ , S0β β
. Demostrar que: inf S β€ inf S0β€ Sup S0β€ Sup S S0 0
S El conjunto S tiene cotas inferiores y superiores tales que: C= πΎ β π
/ πΎ β€ 0 π¦ π = π β π
/π β₯ 0 El conjunto S0β π por lo tanto el conjunto de las cotas inferiores seria N= π¦ β π
/π¦ β€ 0 ^ π¦ β₯ inf π El conjunto de las cotas superiores seria L= π β π
/ π β₯ 0 ^ π β€ 0 ππ’π π Si π¦ = inf π0 ^ π = ππ’π π0 β π¦ β₯ inf ^ π β€ ππ’π π β inf π0 β₯ inf π ^ ππ’π π0 β€ ππ’π π β inf π β€ inf π0 ^ππ’π π0 β€ ππ’π β€ ππ’ππ β inf π β€ inf π0 β€ ππ’π π0 β€ ππ’π π
ο Ejercicio NΒΊ 10 Sea πΊ β πΉ, πΊ β β
, S es acotado. Para un dado π β πΉ considΓ©rese el conjunto ππΊ = ππΊ / πΊ β πΊ a) Demostrar que si π > 0 β inf ππ = π inf π, ππ’π ππ = π ππ’π π =/ π > 0 β inf ππ = π ππππ Por el teorema 2, el infimo del conjunto a S existe probando que es π inf π Llamamos π = inf π π β€ π, β π β πβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦definiciΓ³n, teorema 2 ππ β€ ππβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.por π, π > 0 ππ es cota inferior del conjunto ππ Por tanto: ππ β€ inf π π Probemos ahora que ππ es la mayor de las cotas de ππ, si V es cualquier cota inferior del π conjunto π π β π β€ ππ π = π, π π
β€ inf π β¦ β¦ β¦ β¦ β¦ . . β¦ .. β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.sustituciΓ³n π
Puesto que inf S es la mayor de las cotas inferiores de S π β€ inf π
π
β€π π β€ ππ despejando π > 0, ππ es la cota mayor de las cotas inferiores del conjunto ππ πππ = ππ = ππ = π inf π. π
SecciΓ³n 1.2 ο Ejercicio NΒΊ 2 π Si π > 0 probar que existen π β π΅ tal que ππ β₯ π Por reducciΓ³n a lo absurdo 1 β₯ π¦ 2π 2βπ β₯ π¦π₯ = π π¦ πππ2 2π β₯ π¦ππππ π π¦ = π₯ βπ β₯ πππ2 π¦π¦ = ππππ π₯ (β1)(π) β₯ πππ2 π¦(β1) π β€ βπππ2 π¦ Si y > 0β βπππ2 π¦ β π
pero π β π lo cual es una contradicciΓ³n ya que un nΓΊmero natural es mayor que cualquier nΓΊmero real negativo. ο Ejercicio NΒΊ3 Si x es un numero racional diferente de cero y y es un numero irracional. Demostrar entonces que x+t, x-y, xy, x/y, y/x son todos irracionales π
Sea π₯ = π ^ π¦ = 2 donde π, π β π
π π+π 2 + 2 = π π π πβπ 2 βπ₯βπ¦ = β 2= π π π β π₯π¦ = 2 π π₯ π/π π π 1 β = = = ( ) π¦ 2 π 2 π 2 βπ₯+π¦ =
β
π₯ = π¦
2 π π
=
π 2 π = 2 π π
ο Ejercicio NΒΊ4 ΒΏCuΓ‘l es la suma o el producto de dos nΓΊmeros irracionales, un numero irracional? Sea π₯ = π + π 2 π, π β π π¦ =π+π 2 π, π β π
π₯ β π¦ = (π + π 2)(π + π 2) = (ππ + ππ 2 + ππ 2 + 2ππ) = (ππ + 2ππ) + (ππ + ππ) 2 πΒ΄
+
bΒ΄ 2 π₯+π¦ = π+π 2 + π+π 2 = π + π + (π + π) 2
πΒ΄ + bΒ΄ 2 β΄ la suma y el producto de dos nΓΊmeros irracionales da un numero irracional. ο Ejercicio NΒΊ5 Un entero n se llama par si n=2m para cierto entero m y se llama impar si n=2m+1 para cierto entero m Demostrar que: a) Un entero impar no puede ser a la vez par e impar Por contradicciΓ³n Supongamos que un entero puede ser par e impar, implica n=2m para algΓΊn π β π, ππππ π = 2π + 1, π¦π ππ’π TambiΓ©n es impar por lo que se tiene 2π = 2π + 1 lo que implica que 0=1 β΄es una contradicciΓ³n.
c) La suma y el producto de dos enteros pares es par ΒΏQuΓ© se puede decir acerca de la suma o del producto de dos enteros impares? DemostraciΓ³n: la suma de dos enteros pares es par. i) Sean π₯ π¦ π§ dos enteros paresβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦..hipΓ³tesis x es par β π₯ = 2πβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦. π β π z es par β π§ = 2πβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦. π β π. π₯ = 2π ^ π§ = 2ππ β π₯ + π¦ = 2π + 2π = 2(π + π) β΄ π₯ + π§ ππ πππ π¦π ππ’π β(π + π) β π§ ii) Sean π₯ π¦ π§ dos enteros paresβ¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦..hipΓ³tesis Sean π₯ π¦ π§ dos enteros pares x es par β π§ = 20β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦β¦.b β π§ π₯ = 2π ^ π§ = 2π β π₯ β π§ = 2π β 2π = 2(2ππ) β π₯ β π¦ es par ya queβ(2ππ) β π Demostrar la suma de dos enteros impares es impar Sea x y z dos enteros impares x es impar β π₯ = 2π + 1 β¦ β¦ β¦ β¦ β¦ β¦ . π β π§ z es impar β π§ = 2π + 1 β¦ β¦ β¦ β¦ β¦ β¦ . . π β π§ π₯ = 2π + 1 ^ π§ = 2π + 1 β π₯ + π§ = 2π + 1 + (2π + 1) =2(a+b)+2 =2(y)+2 y=(a+b) β π§ β΄ π₯ + π§ no es un nΓΊmero impar ya que lo forma de un nΓΊmero impar es h=2m+1
Demostrar: el producto de dos enteros impares es impar Sea a ^ b dos enteros impares a es impar β π = 2π + 1 β¦ β¦ β¦ . . π β π§ π ππ πππππ β π = 2π + 1 β¦ β¦ . β¦ π β π§ π = 2π + 1 ^ π = 2π + 1 β π β π = (2π + 1)(2π + 1) = 4ππ + 2π + 2π + 1 = 2 2ππ + π + π + 1 β π β π ππ πππππ π¦π ππ’π β(2ππ + π + π) β π d) si π2 es par, tambiΓ©n lo es n sea n un entero par π2 ππ πππ β π2 = 2π β¦ β¦ β¦ β¦ . π β π§ β π2 = 2π 2 β¦ . . β¦ ππππ£ππππ ππ ππ’ππππππ 2 2 π = 4π β¦β¦β¦β¦algebra π2 = 2 π2 β¦ β¦ β¦ β¦ . ππππ‘ππππ§ππππ Sea π2 un entero par π2 es par β π2 = (2π)2 β¦ β¦ β¦ β¦ β¦ β¦ π β π§ suponer n=2m+1 2
2
(2π)2 nβ 2π + 1 β π2 = (2π + 1) n =2m β¦β¦β¦β¦β¦β¦β¦.simp. π2 = 4π2 + 4π + 1 β΄ π ππ π’π ππ’ππππ πππ π¦π ππ’π β π β ππ2 = 2 2π2 + 2π + 1 π2 = 2π + 1 lo cual contradice la e) Siπ2 = 2π 2 , donde a y b son enteros, entonces a y b son ambos pares DemostraciΓ³n: π2 = 2π 2 β π ππ πππ ππππππππππ ππ ππ’ππππ πππ β π = 2π β¦ β¦ β¦ β¦ β¦ β¦ π β π π = 2π ^ π2 = 2π 2 β π2 = 2π 2 β (2π)2 = 2π 2 β 4π2 = 2π 2 4π2 β = π2 2 β 2π2 = π 2 2 β π = 2π2 β π = ππ πππ β΄ π π¦ π π ππ πππππ β
π2 =
π
hipΓ³tesis
f) Todo nΓΊmero racional puede expresarse de la forma π donde a y b son elementos uno de los cuales por lo menos es impar. Supongamos que a y b son pares a=2n y b=2m β π, π β π π π 2π β β = ππππ βπ, π = 0, 0βπ§ 0 = 2(0) π π 2π 2π 2π = 2(0) 0 β ππ πππ£ππ πππ πππ 0 ππ ππ π‘π ππππππππ π¦ ππππ ππ’π π ππ π’π ππ’ππππ ππππππππ
π =πβ 0 π β΄ π π¦ π π ππ π πππππ π ππ πππππ. ο EJERCICIO NΒΊ 6 Modificar el razonamiento empleado en la demostraciΓ³n del teorema 7 para demostrar los siguientes enunciados a) Existe un nΓΊmero real positivo y tal que π¦ 2 = 3 Si tres nΓΊmeros reales cualesquiera π¦ 2 , π₯, 3/π₯ > 0 satisface que π₯ 3β€ π¦ 2 β€ 3 + π βπ β π β ππ DemostraciΓ³n: a) z 0, π¦ β π
π¦ β π¦2 β 3 > π π¦ β π¦ 2 > 3 + π ππππ‘ππππππππππ ππ ππππππππ π ο EJERCICIO NΒΊ7 Demostrar la densidad del conjunto Q en el caso en que xβ€ π Si x0 Propiedad arquimidiana 1 1 βπ β π β / < π¦ β π₯ β 0 βπ β π β / π β 1 β€ ππ₯ < π mβ€ ππ₯ + 1 mβ€ ππ₯ + 1 < ππ¦ βπ, π β π β / ππ₯ < π < ππ¦ π βπ₯<
View more...
Comments