An ordered field in which N is bounded.

[StonedPanda]

I have absolutely no clue how to start here.

Let F be the set of expressions of the form a = sum from i in Z of a-sub-i*x*i, where each a-sub-i is an element of R and {i < 0 : a-sub-i does not equal 0) is finite. (X is a formal symbol, not a number). An element a belonging to F is positive if the least indexed nonzero coefficient ak (what does this mean!) in the expression for a is positive. The sum oif a in F and b in F is the element c in F defined by c-sub-i=a-sub-i + b-sub-i for i in Z. the product for a in F and b in F is the element c in F defined by c-sub-j = sum from i in Z of a-sub-i * b-sub-j-i for j in Z.

a) prove that the sum and product of the two elements of F is an element of F.

b) WE have defined addition, multiplication, and order on F. Prove that with these operations, F is an ordered field.
c) Interpret each real number a as the element a in F with a-sub-i = 0 for all i, except a-sub-0 = alpha; this interprets R as a subjset of F. PRove that N is a bounded set in F. COnclude that F does not satisfy the Archimedean property.

I'm a freshman in College and this problem is giving me nightmares. any help at all would be appreciated.

 

[Hurkyl]

It sounds like you're saying that the elements of F are formally written as:

<br /> \sum_{n = -\infty}^{\infty} a_n x^n<br />

where there are finitely many nonzero a_i with i < 0.

Incidentally, these things are called formal Laurent series over R, and F is usually denoted as R((x)).

An element a belonging to F is positive if the least indexed nonzero coefficient ak (what does this mean!)

"The least indexed nonzero coefficient" is exactly what it says. Among all the nonzero coefficients, you are to look at the one with the smallest index.


Anyways, what have you done on any of the problems?

 

[StonedPanda]

Do you think you could break the problem down into less formal language for me? That might help me get anywhere!

 

[StonedPanda]

to reiterate: i honestly have no clue where to start and I'm not even sure i understand the problem correctly.

to give you a clue as to where the class is mathematically: it's a class for people who might want to be math majors (or minors), so pretty much everyone in it is a freshman in one of their years of calculus (mostly second year). after talking with many students in the class, i can safely say that no one seems to know exactly what to do -- although problem might be less scary than it seems.

am i going to have to see that it satisfies the axioms (like the Distributive Law and that x*1 = 1 etc.?). thank you so much.

 

[quantumdude]

Let's see if I can help.

It sounds like you're saying that the elements of F are formally written as:

<br /> \sum_{n = -\infty}^{\infty} a_n x^n<br />

That's just a sum over i, and the domain of i is all integers.

where there are finitely many nonzero a_i with i < 0.

The reason for this is that there has to be an a_i with a lowest index. If there were infinitely many nonzero a_i with i&lt;0 then your set would have no elements, because you would have to go infinitely far back to find the nonzero a_i with lowest i.

 

[StonedPanda]

how does i&lt;0 relate to a_i. like a_i seems to me to be just a constant, with the _i part just differenting it from other as. when they say that i&lt;0 do they mean that a_i &lt;0?

and am i correct in saying that all of the elements of F are (a_-nx^-n,...,a_0x^0,a_1x,a_2x^2,...,a_nx^n)? and the as can assume any values in R except that there can't be infinitely many a_is less than zero for i &lt; 0 to ensure that we know where to look for a_x to see where it is positive?

is a) true because c_i is of the form a_ix^i + a_jx^j which is in the original <br /> \sum_{n = -\infty}^{\infty} a_n x^n<br /> <br />. the reasoning (using a*b=c and x^n * x^a=x^d for d=a+n?

 

[StonedPanda]

yes? no? just let me preemptively thank you all for all the help you've given me thusfar and for all the help you might choose to give me in the future. you guys rock!

 

[quantumdude]

how does i&lt;0 relate to a_i.

The negative values of i have to be explicitly mentioned because your problem talks about the "least indexed nonzero coefficient". That part in quotes refers to the a_i with the lowest value of the index i. Well, if the index simply took on values of, say, the natural numbers (something with a lower bound) then we wouldn't have to do anything special about that phrase. But since the index can be any integer, there must only be finitely many of the a_i that are nonzero, or else there will be no least indexed nonzero a_i[/color].

like a_i seems to me to be just a constant, with the _i part just differenting it from other as.

a_i is not just a constant, but a sequence of them.

when they say that i&lt;0 do they mean that a_i &lt;0?

No, it means just what it says: The index is less than zero. a_i itself need not be less than zero.

An example would be a_{-3}=12.315. The index is negative, but the constant itself need not be.

and am i correct in saying that all of the elements of F are (a_-nx^-n,...,a_0x^0,a_1x,a_2x^2,...,a_nx^n)? and the as can assume any values in R except that there can't be infinitely many a_is less than zero for i &lt; 0 to ensure that we know where to look for a_x to see where it is positive?

There can't be infinitely many a_i's that are nonzero (not just negative) for i&lt;0, and the reason is what I said before: If there are infinitely many with i&lt;0, then there will be no "least[/color] indexed coefficient".

is a) true because c_i is of the form a_ix^i + a_jx^j which is in the original <br /> \sum_{n = -\infty}^{\infty} a_n x^n.

I think that you have to to part a by cases: One in which the lowest index of each element of F is the same, and one in which they are different. Your proof is going to make use of the fact that the \mathbb{R}^+ is closed under addition.