An ordered field in which N is bounded.

In summary: but since we're dealing with integers, the phrase "least indexed nonzero coefficient" actually means the a_i with the smallest index.
  • #1
StonedPanda
60
0
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.
 
Physics news on Phys.org
  • #2
It sounds like you're saying that the elements of F are formally written as:

[tex]
\sum_{n = -\infty}^{\infty} a_n x^n
[/tex]

where there are finitely many nonzero [itex]a_i[/itex] 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. :smile: 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?
 
  • #3
Do you think you could break the problem down into less formal language for me? That might help me get anywhere!
 
  • #4
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.
 
  • #5
Let's see if I can help.

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

[tex]
\sum_{n = -\infty}^{\infty} a_n x^n
[/tex]

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

where there are finitely many nonzero [itex]a_i[/itex] with i < 0.

The reason for this is that there has to be an [itex]a_i[/itex] with a lowest index. If there were infinitely many nonzero [itex]a_i[/itex] with [itex]i<0[/itex] then your set would have no elements, because you would have to go infinitely far back to find the nonzero [itex]a_i[/itex] with lowest [itex]i[/itex].
 
  • #6
how does [itex]i<0[/itex] relate to [itex]a_i[/itex]. like [itex]a_i[/itex] seems to me to be just a constant, with the [itex]_i[/itex] part just differenting it from other [itex]a[/itex]s. when they say that [itex]i<0[/itex] do they mean that [itex]a_i <0[/itex]?

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

is a) true because [itex]c_i[/itex] is of the form [itex]a_ix^i + a_jx^j[/itex] which is in the original [tex]
\sum_{n = -\infty}^{\infty} a_n x^n

[/tex]. the reasoning (using [tex]a*b=c[/tex] and [itex]x^n * x^a=x^d[/itex] for [itex]d=a+n[/itex]?
 
Last edited:
  • #7
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!
 
  • #8
StonedPanda said:
how does [itex]i<0[/itex] relate to [itex]a_i[/itex].

The negative values of [itex]i[/itex] have to be explicitly mentioned because your problem talks about the "least indexed nonzero coefficient". That part in quotes refers to the [itex]a_i[/itex] with the lowest value of the index [itex]i[/itex]. 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 [itex]a_i[/itex] that are nonzero, or else there will be no least indexed nonzero [itex]a_i[/itex].

like [itex]a_i[/itex] seems to me to be just a constant, with the [itex]_i[/itex] part just differenting it from other [itex]a[/itex]s.

[itex]a_i[/itex] is not just a constant, but a sequence of them.

when they say that [itex]i<0[/itex] do they mean that [itex]a_i <0[/itex]?

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

An example would be [itex]a_{-3}=12.315[/itex]. 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 [itex](a_-nx^-n,...,a_0x^0,a_1x,a_2x^2,...,a_nx^n)[/itex]? and the [itex]a[/itex]s can assume any values in [itex]R[/itex] except that there can't be infinitely many [itex]a_i[/itex]s less than zero for [itex]i < 0[/itex] to ensure that we know where to look for [itex]a_x[/itex] to see where it is positive?

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

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

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

1. What is an ordered field?

An ordered field is a mathematical structure that combines the properties of a field (a set with two operations: addition and multiplication) and a total order (a relation that defines the concept of "greater than" or "less than" between its elements).

2. How is an ordered field different from a regular field?

An ordered field has an additional property of total order, which means that its elements can be compared to each other in terms of "greater than" or "less than". This is not a property of a regular field.

3. What does it mean for an ordered field to be bounded?

A bounded ordered field means that there are two elements, called the upper bound and lower bound, which all the elements in the field fall between. This is useful for understanding the range of values in the field.

4. Why is the number N significant in an ordered field?

N is significant in an ordered field because it represents the set of natural numbers, which are the counting numbers starting from 1. In an ordered field, N is used as a symbol to represent the set of all positive numbers.

5. How is an ordered field helpful in scientific research?

An ordered field is a fundamental concept in mathematics, and many scientific theories and models are built upon the principles of ordered fields. It allows for the precise comparison and manipulation of values, making it a valuable tool in various fields of science.

Similar threads

  • Introductory Physics Homework Help
Replies
25
Views
210
  • Introductory Physics Homework Help
Replies
1
Views
906
  • Introductory Physics Homework Help
Replies
3
Views
2K
  • Introductory Physics Homework Help
Replies
12
Views
59
  • Introductory Physics Homework Help
Replies
3
Views
136
  • Introductory Physics Homework Help
Replies
1
Views
778
  • Introductory Physics Homework Help
Replies
9
Views
1K
  • Introductory Physics Homework Help
Replies
4
Views
1K
  • Introductory Physics Homework Help
Replies
5
Views
1K
  • Introductory Physics Homework Help
Replies
4
Views
1K
Back
Top