We bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj− yj|. 1 Stel dat ~x(n) Cauchy is in Rk.
Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering.
Merk op dat voor elke j geldt |xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj− yj|. 1 Stel dat ~x(n) Cauchy is in Rk.
Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y)
≤√k max
1≤j ≤k|xj− yj|. 1 Stel dat ~x(n) Cauchy is in Rk.
Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk.
Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|. 1 Stel dat ~x(n) Cauchy is in Rk.
Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) <
, dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < .
Dus de rij xj(n) is voor elke j Cauchy in R. 2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j
en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt
d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt
d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt
d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is. We bewijzen de tweede bewering. Merk op dat voor elke j geldt
|xj − yj| ≤ d (~x, ~y) ≤√k max
1≤j ≤k|xj − yj|.
1 Stel dat ~x(n) Cauchy is in Rk. Als d ~x(n), ~x(m) < , dan geldt ook voor elke j dat |xj(n)− xj(m)| < . Dus de rij xj(n) is voor elke j Cauchy in R.
2 Stel nu dat xj(n) Cauchy is voor elke j en zij > 0.
Er bestaat voor elke j een Nj zodatxj(n)− xj(m)
< als n, m > Nj. Neem nu N = max(N1, . . . , Nk). Voor n, m > N geldt
d ~x(n), ~x(m) ≤√k max 1≤j ≤k xj(n)− xj(m) <√ k · . Dus is ~x(n) Cauchy.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma). Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet.
Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma). Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma). Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma). Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma).
Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma). Omdat R volledig is
, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R. Dus convergeert ~x(n) in Rk (lemma).
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma).
Omdat R volledig is, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R.
Volledigheid van R
kWe bekijken Rk met de Euclidische metriek d (~x, ~y) = q
Pk
j =1(xj − yj)2.
Lemma 13.3
Een rij ~x(n) in Rk convergeert desda voor elke j ∈ {1, . . . , k} de rij xj(n) convergeert. Een rij ~x(n) in Rk is Cauchy desda voor elke j ∈ {1, . . . , k} de rij xj(n) Cauchy is.
Stelling 13.4
De ruimte Rk is volledig: elke Cauchyrij heeft een limiet. Bewijs:
Zij ~x(n) een Cauchyrij in Rk.
Dan is xj(n) een Cauchyrij in R voor alle j (lemma).
Omdat R volledig is, geldt voor elke j dat xj(n)→ xj voor zekere xj ∈ R. Dus convergeert ~x(n) in Rk (lemma).