I'm glad I could help! Let me know if you have any other questions.

[bugatti79]

If lim x_n=x n to infinity and lim y_n=y n to infinity
prove rigorously

lim n to infinity (x_n/5+10y_n)=x/5+10y.

My attempt

let ε>0. Must find n_0 \in \mathbb{N} such that

||(x_n/5+10y_n)-(x/5+10y)||<ε for all n>n_0

||(x_n/5+10y_n)-(x/5+10y)||=||(x_n/5-x/5)||+||10y_n-10y|| \le ||(x_n/5-x/5||+||(10y_n-10y)||

since x_n=x for the limit n to infinity and similarly for y_n and given ε>0 then ε/2>0

so there exist n_1 \in N such that ||x_n/5-x/5||< ε/2 for all n \ge n_1


and

||10y_n-10y||< ε/2 for all n \ge n_2


Let n_0=max{n_1,n_2}, then for all n \ge n_0

implies ||(x_n/5+10y_n)||-||x/5+10y|| \le ||(x_n/5-x/5||+||(10y_n-10y)||<ε/2+ε/2=ε...?

 

[Mark44]

If lim x_n=x n to infinity and lim y_n=y n to infinity
prove rigorously

lim n to infinity (x_n/5+10y_n)=x/5+10y.

My attempt

let ε>0. Must find n_0 \in \mathbb{N} such that

||(x_n/5+10y_n)-(x/5+10y)||<ε for all n>n_0

||(x_n/5+10y_n)-(x/5+10y)||=||(x_n/5-x/5)||+||10y_n-10y|| \le ||(x_n/5-x/5||+||(10y_n-10y)||

The expression after the first equals is incorrect. You are basically saying that |a + b| = |a| + |b|.

||(x_n/5+10y_n)-(x/5+10y)||=||(1/5) (x_n -x) +10(y_n -y)|| \le (1/5)||x_n -x||+10||y_n -y||

Now, you want the expression to the right of <= to be less than ε, and it's convenient to split it into ε/2 for the first part and ε/2 for the second part. What does that give you for ||x_n - x|| and ||y_n - y||?

since x_n=x for the limit n to infinity and similarly for y_n and given ε>0 then ε/2>0

so there exist n_1 \in N such that ||x_n/5-x/5||&lt; ε/2 for all n \ge n_1


and

||10y_n-10y||&lt; ε/2 for all n \ge n_2


Let n_0=max{n_1,n_2}, then for all n \ge n_0

implies ||(x_n/5+10y_n)||-||x/5+10y|| \le ||(x_n/5-x/5||+||(10y_n-10y)||&lt;ε/2+ε/2=ε...?

 

[bugatti79]

The expression after the first equals is incorrect. You are basically saying that |a + b| = |a| + |b|.

||(x_n/5+10y_n)-(x/5+10y)||=||(1/5) (x_n -x) +10(y_n -y)|| \le (1/5)||x_n -x||+10||y_n -y||

Now, you want the expression to the right of <= to be less than ε, and it's convenient to split it into ε/2 for the first part and ε/2 for the second part. What does that give you for ||x_n - x|| and ||y_n - y||?

This gives
||x_n-x||<5ε/2 and ||y_n-y||<ε/20...?

Not sure what to do next?

 

[Fredrik]

This gives
||x_n-x||<5ε/2 and ||y_n-y||<ε/20...?

Not sure what to do next?

All you need to do is to explain how we know that n₀ can be choosen such that these two inequalities hold for all positive intergers n such that n≥n₀.

 

[bugatti79]

All you need to do is to explain how we know that n₀ can be choosen such that these two inequalities hold for all positive intergers n such that n≥n₀.

Sorry, I don't even know how to do that...?

 

[Fredrik]

Sure you do. It follows almost immediately from the definition of x_n\to x and y_n\to y. If you write down the definitions, you will see it. (If not, ask again).

 

[bugatti79]

Sure you do. It follows almost immediately from the definition of x_n\to x and y_n\to y. If you write down the definitions, you will see it. (If not, ask again).

||x_n-x||&lt;5ε/2 and ||y_n-y||&lt;ε/20

The LHS of each expression above would go to 0 iff ||x_n-x||=0 as n tends to infinity and similarly for ||yn-y||=0. THis implies the LHS of each exprssion will always be less than ε/2

So adding the 2 expression together would still be less than ε and hence still holds...

Is this correct...if so I don't know how to write this mathematically

 

[Fredrik]

I don't see you using the definition of what x_n\to x means. Can you post the definition?

 

[bugatti79]

I don't see you using the definition of what x_n\to x means. Can you post the definition?

x_n\to x iff ε>0, ther is n_0 \in \mathbb{N} such that ||x_n-x||&lt;ε for all n \ge n_0...

I don't know how to employ this definition...

Thanks

 

[Fredrik]

There's a "for all" missing before the ε, but apart from that it's fine. Clearly, this definition implies that there's a n_1\in\mathbb N such that \|x_n-x\|&lt;5\varepsilon/2 for all n\in\mathbb N such that n\geq n_1.

 

[bugatti79]

There's a "for all" missing before the ε, but apart from that it's fine. Clearly, this definition implies that there's a n_1\in\mathbb N such that \|x_n-x\|&lt;5\varepsilon/2 for all n\in\mathbb N such that n\geq n_1.

and similarly for n2?

n_2\in\mathbb N such that \|y_n-y\|&lt;\varepsilon/20 for all n\in\mathbb N such that n\geq n_2

So this is the question completed?

Thanks in advance..!

 

[Fredrik]

and similarly for n2?

n_2\in\mathbb N such that \|y_n-y\|&lt;\varepsilon/20 for all n\in\mathbb N such that n\geq n_2

Right, but you still haven't explained how these two observations imply this result:

let ε>0. Must find n_0 \in \mathbb{N} such that

||(x_n/5+10y_n)-(x/5+10y)||&lt;ε for all n&gt;n_0

Can you find an n₀ that does the job?

 

[bugatti79]

Right, but you still haven't explained how these two observations imply this result:

Can you find an n₀ that does the job?

if we let n_0={n_1,n_2}...?

 

[Fredrik]

n₀ is a number, not a set, but maybe you actually meant n₀=max{n₁,n₂}, because that would work.

To find the proof, you do the things we have discussed, in the order we have discussed them. But when you type it up, things get clearer if you start with the things we did last.

Let \varepsilon&gt;0 be arbitrary. Let n_1\in\mathbb N be such that for all n\in\mathbb N, n\geq n_1\ \Rightarrow\ \|x_n-x\|&lt;\frac{5\varepsilon}{2}. Let n_2\in\mathbb N be such that for all n\in\mathbb N, n\geq n_2\ \Rightarrow\ \|x_n-x\|&lt;\frac{\varepsilon}{20}. For all n\in\mathbb N such that n\geq \max\{n_1,n_2\}, \left\|\left(\frac{x_n}{5} -10y_n\right)-\left(\frac{x}{5}-10y\right)\right\| \leq \frac{1}{5} \underbrace{\|x_n-x\|}_{\displaystyle&lt;\frac{5\varepsilon}{2}} +10\underbrace{\|y_n-y\|}_{\displaystyle&lt;\frac{\varepsilon}{20}}&lt;\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon.

 

[bugatti79]

n₀ is a number, not a set, but maybe you actually meant n₀=max{n₁,n₂}, because that would work.

To find the proof, you do the things we have discussed, in the order we have discussed them. But when you type it up, things get clearer if you start with the things we did last.

Let \varepsilon&gt;0 be arbitrary. Let n_1\in\mathbb N be such that for all n\in\mathbb N, n\geq n_1\ \Rightarrow\ \|x_n-x\|&lt;\frac{5\varepsilon}{2}. Let n_2\in\mathbb N be such that for all n\in\mathbb N, n\geq n_2\ \Rightarrow\ \|x_n-x\|&lt;\frac{\varepsilon}{20}. For all n\in\mathbb N such that n\geq \max\{n_1,n_2\}, \left\|\left(\frac{x_n}{5} -10y_n\right)-\left(\frac{x}{5}-10y\right)\right\| \leq \frac{1}{5} \underbrace{\|x_n-x\|}_{\displaystyle&lt;\frac{5\varepsilon}{2}} +10\underbrace{\|y_n-y\|}_{\displaystyle&lt;\frac{\varepsilon}{20}}&lt;\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon.

Hi Fredrick,
I was going to reply on this thread this evening. Thanks for this excellent clarity. I will look at this and the other thread you replied to as soon as I can.

Thanks!