Vector Space R^3 and rigorous proof

In summary: You have also been told that the notation of the first thread was not quite right. I will restate it:If x = (x1,x2,x3) and y = (y1,y2,y3), then x + y = (x1 + y1, x2 + y2, x3 + y3).If you are having trouble with that, then you will have a lot of trouble with other things. For example, you may know what a sum is, but do you know what a summand is?For #1, the correct answer is 10. The "1" norm is an additive norm, which means that if you have two vectors, x and y
  • #1
bugatti79
794
1

Homework Statement



1) Consider the 3 norms in vector space R^3, ##\| \|_i## where i=1,2 and infinity. Given x = (2, -5,3) and y = ( -3, 2,0).

Calculate ##\|x\|_1, \|x+y\|_2, \|x-2y\|_\infty##

2)Prove Rigorously that

##\displaystyle \lim_{n \to \infty}=\frac{4n^2+1}{2n^2-1}=2##

Homework Equations



##x=(x_1,x_2,x_3), \|x\|_1= \sum^{3}_{i=1} |x_i|, (\|x\|_2= \sum^{3}_{i=1} |x_i|^2)^{1/2}, \|x\|_\infty=\underbrace{max}_{i=1,2,3} |x_i|##

I calculate

1) ##\|x\|+1= |x_1|+|x_2|+|x_3|=10##

##\|x+y\|_2=\sqrt{(2^2)+(-5)^2+(3^2)+(-3^2)+(2^2)+(0^2)}=\sqrt{51}##

##\|x-2y\|_\infty= |3-2(-3)|=9##

2) Proof:

let ##\epsilon## be given.

Find ##\displaystyle n_0 \in \mathbb{N}## s.t ##\left | \frac{4n^2+1}{2n^2-1} -2 \right | < \epsilon \forall n> n_0##

##\left | \frac{4n^2-4n^2+2}{2n^2-1} \right | =\left | \frac{3}{2n^2-1} \right |=\frac{3}{2n^2-1}< \epsilon## iff

##1+\frac{3}{\epsilon} < 2n^2## ie

## \forall n>n_0 > \sqrt{\frac{1}{2} (1+\frac{3}{\epsilon})}## we have

##\left | \frac{3}{2n^2-1} -2 \right | < \epsilon \forall n > n_0##
 
Last edited:
Physics news on Phys.org
  • #2
are x and y given in the question? the way its written is pretty confusing
 
  • #3
bugatti79 said:

Homework Statement



1) Consider the 3 norms in vector space R^3, ##\| \|_i## where i=1,2 and infinity.

Calculate ##\|x\|_1, \|x+y\|_2, \|x-2y\|_\infty##

2)Prove Rigorously that

##\displaystyle \lim_{n \to \infty}=\frac{4n^2+1}{2n^2-1}=2##


Homework Equations



##x=(x_1,x_2,x_3), \|x\|_1= \sum^{3}_{i=1} |x_i|, (\|x\|_2= \sum^{3}_{i=1} |x_i|^2)^{1/2}, \|x\|_\infty=\underbrace{max}_{i=1,2,3} |x_i|##

I calculate

1) ##\|x\|+1= |x_1|+|x_2|+|x_3|=10##
Where did the 10 come from? Are you given a specific vector x? If so, you didn't include this information in the problem statement.
bugatti79 said:
##\|x+y\|_2=\sqrt{(2^2)+(-5)^2+(3^2)+(-3^2)+(2^2)+(0^2)}=\sqrt{51}##

##\|x-2y\|_\infty= |3-2(-3)|=9##

2) Proof:

let ##\epsilon## be given.

Find ##\displaystyle n_0 \in \mathbb{N}## s.t ##\left | \frac{4n^2+1}{2n^2-1} -2 \right | < \epsilon \forall n> n_0##

##\left | \frac{4n^2-4n^2+2}{2n^2-1} \right | =\left | \frac{3}{2n^2-1} \right |=\frac{3}{2n^2-1}< \epsilon## iff

##1+\frac{3}{\epsilon} < 2n^2## ie

## \forall n>n_0 > \sqrt{\frac{1}{2} (1+\frac{3}{\epsilon})}## we have

##\left | \frac{3}{2n^2-1} -2 \right | < \epsilon \forall n > n_0##

The 2nd problem looks fine.
 
Last edited:
  • #4
lanedance said:
are x and y given in the question? the way its written is pretty confusing

Mark44 said:
Where did the 10 come from? Are you given a specific vector x? If so, you didn't include this information in the problem statement.

I have updated original post. Thanks
 
  • #5
bugatti79 said:
x = (2, -5,3) and y = ( -3, 2,0).
...
##x=(x_1,x_2,x_3), \|x\|_1= \sum^{3}_{i=1} |x_i|, (\|x\|_2= \sum^{3}_{i=1} |x_i|^2)^{1/2}, \|x\|_\infty=\underbrace{max}_{i=1,2,3} |x_i|##
...

1) ##\|x\|+1= |x_1|+|x_2|+|x_3|=10##

##\|x+y\|_2=\sqrt{(2^2)+(-5)^2+(3^2)+(-3^2)+(2^2)+(0^2)}=\sqrt{51}##

##\|x-2y\|_\infty= |3-2(-3)|=9##
You need to get into the habit of reading the stuff you write an extra time before you post it. It took me a while to figure out that when you wrote ##\|x\|+1##, you meant ##\|x\|_1##. Assuming that I'm right about that, you did that one correctly.

Your calculations of ##\|x+y\|_2## and ##\|x-2y\|_\infty## are however horribly wrong. You showed in the other thread that you don't know what x+y means. Here you're making it clear that you don't know what 2y means. You will not be able to solve any problem that involves expressions like x+y or 2y until you have made sure that you understand what they mean. So please, look up the definition of the addition and scalar multiplication operations on ℝ2 and ℝ3. Forget everything else, and just use your books to try to answer this:

If x = (2,-5,3) and y = (-3, 2,0), then what is
a) x+y
b) 2y
c) x-2y

Edit: By "scalar multiplication operation", I mean the rule for how to multiply a vector by a number. (In particular, I don't mean the rule for how to multiply two vectors to get a number. That operation is often called a "scalar product". I prefer the term "inner product" for that, so that it sounds less similar to "scalar multiplication", which is just multiplication by a scalar (i.e. a number)).
 
Last edited:
  • #6
Fredrik said:
You need to get into the habit of reading the stuff you write an extra time before you post it. It took me a while to figure out that when you wrote ##\|x\|+1##, you meant ##\|x\|_1##. Assuming that I'm right about that, you did that one correctly.

Your calculations of ##\|x+y\|_2## and ##\|x-2y\|_\infty## are however horribly wrong. You showed in the other thread that you don't know what x+y means. Here you're making it clear that you don't know what 2y means. You will not be able to solve any problem that involves expressions like x+y or 2y until you have made sure that you understand what they mean. So please, look up the definition of the addition and scalar multiplication operations on ℝ2 and ℝ3. Forget everything else, and just use your books to try to answer this:

If x = (2,-5,3) and y = (-3, 2,0), then what is
a) x+y
b) 2y
c) x-2y

Edit: By "scalar multiplication operation", I mean the rule for how to multiply a vector by a number. (In particular, I don't mean the rule for how to multiply two vectors to get a number. That operation is often called a "scalar product". I prefer the term "inner product" for that, so that it sounds less similar to "scalar multiplication", which is just multiplication by a scalar (i.e. a number)).

x+y = (-1,-3,3)
2y = (-6,4,0)
x-2y = (8, -9,3)

bugatti79 said:

Homework Statement



1) Consider the 3 norms in vector space R^3, ##\| \|_i## where i=1,2 and infinity. Given x = (2, -5,3) and y = ( -3, 2,0).

Calculate ##\|x\|_1, \|x+y\|_2, \|x-2y\|_\infty##

Homework Equations



##x=(x_1,x_2,x_3), \|x\|_1= \sum^{3}_{i=1} |x_i|, (\|x\|_2= \sum^{3}_{i=1} |x_i|^2)^{1/2}, \|x\|_\infty=\underbrace{max}_{i=1,2,3} |x_i|##

I calculate

1) ##\|x\|+1= |x_1|+|x_2|+|x_3|=10##

##\|x+y\|_2=\sqrt{(-1)^2+(-3)^2+(+3)^2}=\sqrt{19}##

##\|x-2y\|_\infty= \underbrace{|-1-(-5)|}_{i=1}=5##

above ok? Will have a look at other thread.
 
  • #7
#1 is incorrect and #3 is incorrect. #2 looks fine.

For #1, it's not ||x|| + 1 (which you have already been told - please read the responses you get more carefully); it's ||x||1. IOW, it's the "1" norm (or taxicab norm.
For #3, evaluate x - 2y (you already did), and take the infinity norm of that vector. I don't see how you came up with |-1 - (-5)|, which by the way, happens to be 4, not 5. In any case, neither 4 nor 5 is the answer.

IMO, you spend too much time crafting your stuff in LaTeX, and not enough time dealing with the actual mathematics. It is preferable to have something crude-looking that is correct, than something very nicely formatted that is completely wrong.
 
  • #8
Mark44 said:
#1 is incorrect and #3 is incorrect. #2 looks fine.

For #1, it's not ||x|| + 1 (which you have already been told - please read the responses you get more carefully); it's ||x||1. IOW, it's the "1" norm (or taxicab norm.
For #3, evaluate x - 2y (you already did), and take the infinity norm of that vector. I don't see how you came up with |-1 - (-5)|, which by the way, happens to be 4, not 5. In any case, neither 4 nor 5 is the answer.

IMO, you spend too much time crafting your stuff in LaTeX, and not enough time dealing with the actual mathematics. It is preferable to have something crude-looking that is correct, than something very nicely formatted that is completely wrong.

Disastrous typos.

It should read |2-(-6)|=8 for #3. Ie, I have taken the maximum calculated value from (8,-9,3)


Ok, but I thought having crude looking stuff people won't read it, they'll just skim over it and exit.

Thanks for your epic patience!
 
  • #9
It looks like you're still not thinking about how the various notations you're working with are defined. ##\max_i |x_i|## is the largest member of the set ##\big\{|x_1|,|x_2|,|x_3|\big\}##.

I think you're confusing yourself by trying to do several things at once. To evaluate ##\|x-2y\|_\infty##, you must first use the definitions of x, y, scalar multiplication and addition to find x-2y. Now you can rewrite ##\|x-2y\|_\infty## in the form ##\|(a,b,c)\|_\infty##. Then you use the definition of ##\|\ \|_\infty##.
 
Last edited:
  • #10
bugatti79 said:
Disastrous typos.
I don't think that they are merely typos.
bugatti79 said:
It should read |2-(-6)|=8 for #3. Ie, I have taken the maximum calculated value from (8,-9,3)
Where does 2 - (-6) come from?

To evaluate this expression: ||x - 2y||
focus on one thing at a time.

1. Evaluate x - 2y. This is a vector in R3. It is NOT the difference of two numbers.
2. Calculate the maximum norm of this vector.
bugatti79 said:
Ok, but I thought having crude looking stuff people won't read it, they'll just skim over it and exit.
I guarantee that people will be more impressed by something that makes sense, over something that makes no sense, but isn't quite as pretty. Certainly it's nice to have both, but if you have to choose, lean toward getting the mathematics right.

Besides, and I've said this before to you, posts with lots and lots of LaTeX take an inordinate amount of time to load in some browsers, and that ticks me off when it takes forever for a page to load. For that reason I tend to use LaTeX only where I need to use it.
 
  • #11
Mark44 said:
Besides, and I've said this before to you, posts with lots and lots of LaTeX take an inordinate amount of time to load in some browsers, and that ticks me off when it takes forever for a page to load. For that reason I tend to use LaTeX only where I need to use it.
Is that really still a problem? Some old version of IE (that very few people use) had problems before, but I thought it was fixed by the recent upgrade of MathJax. I'm using Firefox, and I've never had any problems.
 
  • #12
Yes, it's still a problem in IE9, which is not an old version.
 
  • #13
Mark44 said:
1. Evaluate x - 2y. This is a vector in R3. It is NOT the difference of two numbers.
2. Calculate the maximum norm of this vector.

1) ##x-2y=(x_1-2y_1, x_2-2y_2, x_3-2y_3)##

2)##\|x-2y\|_\infty=max (x_1-2y_1, x_2-2y_2, x_3-2y_3)## for i=1,2,3

##=(8, -9, 3)##

##=8##?
 
  • #14
bugatti79 said:
1) ##x-2y=(x_1-2y_1, x_2-2y_2, x_3-2y_3)##
= ? You are given specific vectors.
bugatti79 said:
2)##\|x-2y\|_\infty=max (x_1-2y_1, x_2-2y_2, x_3-2y_3)## for i=1,2,3

##=(8, -9, 3)##
You haven't taken the max norm yet, so why did that go away?
bugatti79 said:
##=8##?
No, but at least you're not committing grievous errors.

The max norm is the maximum |xi|, for i = 1, 2, 3.
 
  • #15
bugatti79 said:
1) ##x-2y=(x_1-2y_1, x_2-2y_2, x_3-2y_3)##

2)##\|x-2y\|_\infty=##
This is a good start. Edit: But as Mark said, you were given specific vectors x and y, so you should use the numbers you've been given.

bugatti79 said:
##=max (x_1-2y_1, x_2-2y_2, x_3-2y_3)## for i=1,2,3
This notation is weird. The words "for i=1,2,3" add no information. Either write ##\max_{i\in\{1,2,3\}}\{|x_i-2y_i|\}## or ##\max\{|x_1-2y_1|,|x_2-2y_2|,|x_3-2y_3|\}##.

bugatti79 said:
##=(8, -9, 3)##
A real number is never equal to a triple of real numbers.

bugatti79 said:
##=8##?
A triple of real numbers is never equal to a real number. Also, you seem to have forgotten about the absolute value symbols in the definition of ##\|\ \|_\infty##.
 
  • #16
Mark44 said:
= ? You are given specific vectors.
You haven't taken the max norm yet, so why did that go away?

No, but at least you're not committing grievous errors.

The max norm is the maximum |xi|, for i = 1, 2, 3.

It is equal to (8,-9,3)

So the maximum norm is 9?

Fredrik said:
This is a good start. Edit: But as Mark said, you were given specific vectors x and y, so you should use the numbers you've been given.


This notation is weird. The words "for i=1,2,3" add no information. Either write ##\max_{i\in\{1,2,3\}}\{|x_i-2y_i|\}## or ##\max\{|x_1-2y_1|,|x_2-2y_2|,|x_3-2y_3|\}##.


A real number is never equal to a triple of real numbers.


A triple of real numbers is never equal to a real number. Also, you seem to have forgotten about the absolute value symbols in the definition of ##\|\ \|_\infty##.

Not sure I follow what you are trying to say.
 
  • #17
bugatti79 said:
It is equal to (8,-9,3)
It's not clear to me what "it" refers to.

||<8, -9, 3>|| = 9
bugatti79 said:
So the maximum norm is 9?
Not sure I follow what you are trying to say.
What Fredrik was saying is that you are saying that incomparable things are equal. A vector is not a number; the norm of a vector is a number. You can't compare (i.e., with =) a vector with a number.

Boiled down a bit, what you said was
||<x1 - 2y1, x2 - 2y2, x3 - 2y3>|| = <8, -9, 3> = 8

The first thing above is a number. The second thing is a vector. The third thing is a number. Again, a number can never be equal to a vector in R3 and vice-versa.

Also notice that I used no LaTeX in the above.
 
  • #18
Mark44 said:
It's not clear to me what "it" refers to.

||<8, -9, 3>|| = 9

What Fredrik was saying is that you are saying that incomparable things are equal. A vector is not a number; the norm of a vector is a number. You can't compare (i.e., with =) a vector with a number.

Boiled down a bit, what you said was
||<x1 - 2y1, x2 - 2y2, x3 - 2y3>|| = <8, -9, 3> = 8

The first thing above is a number. The second thing is a vector. The third thing is a number. Again, a number can never be equal to a vector in R3 and vice-versa.

Also notice that I used no LaTeX in the above.

Ok, one of my problems is that I'm very sloppy with definitions. I need to buckle up.

Thanks, at least this thread is finish.
 
  • #19
OK, since we have arrived at the correct final result (but still no acceptable way of arriving at that result), I will show you how you should have done this.

Since x = (2,-5,3) and y = (-3, 2,0), we have x-2y=(2,-5,3)-2(-3,2,0)=(8,-9,3). So
$$\|x-2y\|_\infty=\|(8,-9,3)\|_\infty=\max\big\{|8|,\,|-9|,\,|3|\big\}=9.$$ As you can see, this is a trivial problem if you just use the definitions and do one thing at a time.
 
  • #20
bugatti79 said:
Ok, one of my problems is that I'm very sloppy with definitions. I need to buckle up.
And it wouldn't hurt to spend some time reviewing vector algebra. It doesn't seem that you have a good handle on that area, which is preventing you from making progress in the area you're currently studying.
 
  • #21
Fredrik said:
OK, since we have arrived at the correct final result (but still no acceptable way of arriving at that result), I will show you how you should have done this.

Since x = (2,-5,3) and y = (-3, 2,0), we have x-2y=(2,-5,3)-2(-3,2,0)=(8,-9,3). So
$$\|x-2y\|_\infty=\|(8,-9,3)\|_\infty=\max\big\{|8|,\,|-9|,\,|3|\big\}=9.$$ As you can see, this is a trivial problem if you just use the definitions and do one thing at a time.

Mark44 said:
And it wouldn't hurt to spend some time reviewing vector algebra. It doesn't seem that you have a good handle on that area, which is preventing you from making progress in the area you're currently studying.

Ok guys, thanks for your kind help.
 

FAQ: Vector Space R^3 and rigorous proof

What is a vector space?

A vector space is a mathematical structure that consists of a set of objects, called vectors, along with operations of addition and scalar multiplication. These operations must satisfy certain properties, such as closure, associativity, and distributivity, in order for the set to be considered a vector space.

What does R^3 stand for in vector space R^3?

R^3 refers to a specific type of vector space, known as a three-dimensional or 3D vector space. The "R" stands for real numbers, indicating that the vectors in this space are composed of three real numbers, and the superscript "3" indicates the dimensionality of the space.

What is a rigorous proof in the context of vector space R^3?

A rigorous proof is a mathematical argument that uses logical reasoning to demonstrate the truth of a statement or theorem about vector space R^3. It must follow a specific structure and provide clear and precise steps that lead to a logical conclusion, leaving no room for doubt or ambiguity.

How are vectors represented in R^3?

In R^3, vectors are typically represented as ordered triples of real numbers, such as (x, y, z). These numbers correspond to the coordinates of the vector in a three-dimensional coordinate system, with x representing the horizontal axis, y representing the vertical axis, and z representing the depth axis.

Why is it important to use rigorous proofs in vector space R^3?

Rigorous proofs are essential in vector space R^3 because they provide a solid foundation for understanding the properties and behaviors of vectors in this space. They also allow us to make accurate and precise calculations and predictions based on these properties, ensuring the validity and reliability of our mathematical reasoning.

Similar threads

Back
Top