Avanzado 2025 - Práctica 1- Supremos

Tema: Supremos

Thu-20-03-2025 20:05 profe: Darío Martín Aza | Pablo Herrera - Mariano Negri - Juan Martín Pérez Garber status: tags: Supremos e ínfimos


Ejercicio 1

Sean A={1n2+n+2:nN}A=\left\{ \frac{1}{n^{2}+n+2}:n\in \mathbb{N} \right\} y B={(1)m+3n:m,nN}B=\left\{ (-1)^m + \frac{3}{n}:m,n\in \mathbb{N} \right\} Hallar supremo, ínfimo, máximo y mínimo de AA y BB.

  • inf(A):inf(A): Cero es cota inferior de AA pues 1n2+n+2>0nN\frac{1}{n^{2}+n+2}>0\quad\forall n\in \mathbb{N} pues es división de números positivos.
  • Por un lado quiero ver que cero es la mayor de las cotas inferiores Supongamos que i>0i>0 es una cota inferior de AA. Queremos encontrar nNn\in \mathbb{N} tal que 1n2+n+2<i\frac{1}{n^{2}+n+2}<i. Lo cual probaría que ii no es cota inferior de A.A.
1n2+n+2<i    1<i(n2+n+2)\frac{1}{n^{2}+n+2}<i\iff{1}<i\cdot(n^{2}+n+2)

Por arquimedianidad n0N1n0i\:\exists\:n_{0}\in \mathbb{N}\:|\: \frac{1}{n_{0}}\leq i. Pero como n2+2>0n^{2}+2>0 entonces n2+n0+2>n0n^{2}+n_{0}+2>n_{0} Luego

1n2+n+2<1n0<i\frac{1}{n^{2}+n+2}<\frac{1}{n_{0}}<i

Esto prueba que ii no es cota inferior     0=inf(A)\implies0=inf(A)

  • sup(A)sup(A) Afirmamos que sup(A)=max(A)=14sup(A)=max(A)= \frac{1}{4} Como 14A,\frac{1}{4}\in A, alcanza con probar que 14\frac{1}{4} es cota inferior de A.A. Para eso usamos que n21,n1n^{2}\geq1,n\geq{1} pues nNn\in \mathbb{N} Luego n2+n+2=1+1+2=4n^{2}+n+2=1+1+2=4
    1n2+n+214nN\implies \frac{1}{n^{2}+n+2}\leq \frac{1}{4}\quad \forall n\in \mathbb{N}

Por último, AA no tiene mínimo porque todos los elementos de AA son positivos y luego 0∉A0\not\in A.


Ejercicio 2

Sea xR,x \in \mathbb{R}, probar que existe un único entero nZn \in \mathbb{Z} tal que

nx<n+1n\leq x<n+1

Considero A={mZ:mx}A=\{ m \in \mathbb{Z}:m\leq x \} Probamos que AA es no vacío y acotado superiormente, entonces AA tiene supremo.

  • AA es acotado porque xx es cota superior de AA.
  • AA es no vacío porque Z\mathbb{Z} no está acotado inferiormente. Pues N-\mathbb{N} no está acotado inferiormente. Por lo tanto, existe sup(A)=nsup(A)=n. Considero x=n\lfloor x \rfloor=n
    Hay que probar que:
  • i. nZn \in \mathbb{Z}
  • ii. nxn\leq x
  • iii. x<n+1x<n+1 Tratemos de probar que sup(A)Asup(A)\in A. Es decir, n=sup(A)n=sup(A) es un máximo. Como n=sup(A)n=sup(A) y xx cota superior de AA     nx\implies n\leq x Como n=sup(A)E>0,aA:nE<ann=sup(A)\quad\forall\mathcal{E}>0,\:\exists\:a \in A:n-\mathcal{E}<a\leq n En particular mNamA:n1m<amn\forall m\in \mathbb{N}\:\exists\:a_{m}\in A:n-\frac{1}{m}<a_{m}\leq n En particular, mN,am(n1m,n](n1,n]\forall m\in \mathbb{N}, \:\exists\:a_{m}\in\left( n-\frac{1}{m},n \right]\subseteq(n-1,n] Como (n1,n](n-1,n] tiene longitud 11 hay un único entero k(n1,n]k\in(n-1,n] Entonces am=ka_{m}=k es ese entero mN\forall m\in \mathbb{N}
    Luego k(n1m,n]mNk \in\left( n-\frac{1}{m},n\right]\quad\forall m\in \mathbb{N} y entonces n1m<kn-\frac{1}{m}<k. Por ejercicio de la guia 1 (x<y+EE>0    xyx<y+\mathcal{E}\quad\forall\mathcal{E}>0\implies x\leq y ) entonces nkn\leq k.

Además tenía que kn    k=n (De donde sale esto?)    nZ    nAk\geq n\implies k=n{\color{Red} \text{ (De donde sale esto?)} }\implies n\in \mathbb{Z}\implies n\in A

Hemos probado que nAn\in A y luego nZn\in \mathbb{Z} y nxn\leq x Falta ver que x<n+1x<n+1 Como n=sup(A)=max(A)n=sup(A)=max(A) tenemos que n+1∉An+1\not\in A, como n+1n+1 es entero debe ser que n+1xn+1\geq x


Citas y Comentarios

1er parcial 08/5 2do parcial 01/7 Consultas fuera de horario: Ma y Ju 17-18

Temas relacionados