Prove que um corpo ordenado K é arquimediano se, e somente se,
∀
ϵ
>
0
∈
K
,
∃
n
∈
N
;
1
2
n
<
ϵ
{\displaystyle \forall \;\epsilon >0\in K,\exists \;n\in \mathbb {N} ;{1 \over 2^{n}}<\epsilon }
Resolução não está pronta
editar
Sejam
a
,
b
,
c
,
d
∈
Q
.
{\displaystyle a,b,c,d\in \mathbb {Q} .}
Prove que
a
+
b
2
=
c
+
d
2
⇔
a
=
c
,
b
=
d
.
{\displaystyle a+b{\sqrt {2}}=c+d{\sqrt {2}}\Leftrightarrow a=c,b=d.}
Resolução não está pronta
editar
Resolução não está pronta
editar
Resolução não está pronta
editar
Resolução não está pronta
editar
Seja
X
=
{
1
n
;
n
∈
N
}
{\displaystyle X={\bigg \{}{1 \over n};n\in \mathbb {N} {\bigg \}}}
. Prove que
inf
X
=
0
{\displaystyle \inf X=0}
Vamos verificar que X é decrescente. Tome
t
<
t
+
1
,
sendo
t
,
t
+
1
∈
N
,
⇒
t
(
t
+
1
)
>
1
⇒
t
t
(
t
+
1
)
<
t
+
1
t
(
t
+
1
)
⇒
1
t
+
1
<
1
t
.
{\displaystyle t<t+1,{\mbox{ sendo }}t,t+1\in \mathbb {N} ,\Rightarrow t(t+1)>1\Rightarrow {t \over t(t+1)}<{t+1 \over t(t+1)}\Rightarrow {1 \over t+1}<{1 \over t}.}
Vamos verificar que
X
⊂
[
0
,
1
]
{\displaystyle X\subset [0,1]}
. Dado
n
=
1
,
1
1
=
1
{\displaystyle n=1,{1 \over 1}=1}
e como X é decrescente, logo
x
≤
1
,
∀
x
∈
X
.
{\displaystyle x\leq 1,\forall x\in X.}
Vamos verificar que 0 é cota inferior: Dado
n
>
0
,
como
1
>
0
⇒
1
=
n
⋅
1
n
>
0
⇒
1
n
>
0
{\displaystyle n>0,{\mbox{ como }}1>0\Rightarrow 1=n\cdot {1 \over n}>0\Rightarrow {1 \over n}>0}
, logo 0 é cota inferior.
Vamos verificar
inf
X
=
0
,
{\displaystyle \inf X=0,}
, isto é, que 0 é a maior das cotas inferiores de X. Dado
y
∈
R
;
0
<
y
<
1
,
{\displaystyle y\in \mathbb {R} ;0<y<1,}
devemos mostrar que
∃
t
∈
X
;
0
<
t
<
y
.
{\displaystyle \exists t\in X;0<t<y.}
Assim tomemos
x
=
1
y
;
[
[
x
]
]
=
n
x
,
{\displaystyle x={1 \over y};[[x]]=n_{x},}
, isto é,
n
x
{\displaystyle n_{x}\;}
é o maior natural que é menor que x, logo
x
<
n
+
1
sendo
x
,
n
>
0
,
⇒
x
(
n
+
1
)
>
1
⇒
{\displaystyle x<n+1{\mbox{ sendo }}x,n>0,\Rightarrow x(n+1)>1\Rightarrow }
⇒
x
x
(
n
+
1
)
<
n
+
1
x
(
n
+
1
)
⇒
0
<
t
=
1
n
+
1
<
1
x
=
y
.
{\displaystyle \Rightarrow {x \over x(n+1)}<{n+1 \over x(n+1)}\Rightarrow 0<t={1 \over n+1}<{1 \over x}=y.}
Logo nenhum elemento maior que 0 é cota inferior de X, Portanto
inf
X
=
0.
{\displaystyle \inf X=0.}