Articles of ordered fields

How do extension fields implement $>, <$ comparisons?

I’m taking an abstract algebra course, and we just hit extension fields – for example, you define $\sqrt{2}$ by starting with the field $\mathbb{Q}$ and defining $\sqrt{2}$ as a solution to the irreducible (over $\mathbb{Q}$) polynomial $x^2 – 2$. This is unintuitive to me, because I know something additional about $\sqrt{2}$: intuitively I want to […]

Limit of the derivative and LUB

Let $(k,+,.,0,1,<)$ be an ordered field. In the folowing definitions, all numbers and notions are derived from the ordered field structure of $k$, and $a < c$ are generic elements of $k$. Define the limit of a function $f: ]a;b[ \cup ]b;c[ \longrightarrow k$ at $b$ as the element $l$ of $k$ if there is […]

Is every homeomorphism of $\mathbb{Q}$ monotone?

It is well known that every continuous injective map $\mathbb{R}\rightarrow\mathbb{R}$ is monotone. This statement is false for maps $\mathbb{Q}\rightarrow\mathbb{Q}$. (That is becaus $\mathbb{Q}$ is not complete. You can change from increasing to decreasing and vice versa in each irrational “hole”). Is it true that every homeomorphism of $\mathbb{Q}$ is monotone?

Is the multiplicative structure of a totally ordered field unique?

Is it possible to find totally ordered fields $K$ and $L$, and a map $f: K \to L$ that is an isomorphism of the ordered additive group structures such that $f(1)=1$, but which is not an isomorphism of fields? I know that this is impossible if $K$ or $L$ is a subfield of the real […]

Calculus in ordered fields

Is there any ordered field smaller that the set of real numbers in which we can do calculus, also with many restrictions ? If not why ?

Least upper bound property implies Cauchy completeness

Given an ordered field $F$, the following two statements are equivalent: $F$ has the Least-Upper-Bound property. $F$ is Archimedean and $F$ is “sequentially complete”/”Cauchy complete” (all Cauchy sequences in $F$ converge). For some reason I have been unable to find a proof of this result on the web.

Can an ordered field be finite?

I came across this question in a calculus book. Is it possible to prove that an ordered field must be infinite? Also – does this mean that there is only one such field? Thanks

A field that is an ordered field in two distinct ways

Question: Explain the construction below (taken directly from Counter Examples in Analysis): An ordered field is a field $F$ that contains a subset $P$ such that $P$ is closed with respect to addition and multiplication and exactly one of the following are true: $$x \in P; x = 0; -x \in P$$ The set $F$ […]

Least Upper Bound Property $\implies$ Complete

I want to show that if an ordered field $X$ has the least upper bound property (meaning, every nonempty set $E$ which is bounded above has $\sup E \in X$), then it is complete (meaning, every Cauchy sequence converges in $X$). I know the converse is not true, but how do I prove this direction?

Every ordered field has a subfield isomorphic to $\mathbb Q$?

I’m going through the first chapter in a text on real analysis, which contains preliminaries on ordered fields, the real numbers, etc. Supposedly I had learned about such things already, in calculus, but I thought it wouldn’t hurt to go over it again. Up until the paragraph which is the subject of my question, everything […]