Skip to main content
deleted 53 characters in body
Source Link
nombre
  • 2.5k
  • 1
  • 16
  • 20

This is also called Cauchy-completeness, and it coincides for non-Archimedean ordered fields with the natural valuation to the valuation-theoretic notion of completeness. Also, this is the same as having no proper dense ordered field extension.

NoteI will say that cutsan ordered pair $(A,B)$ of typesubsets of an ordered field $(\omega,\omega_1)$ can also be filled$F$ is a cut generator if $A<B$ and there is no $x \in F$ with $A<x<B$. If $(A,B)$ is a cut generator, for instancethen the "Archimedean cut"pair $(L,R)$$(A',B')$ where $R$$A'$ is the set of positive infinite hyperreal numbers can be filled in the simple transcendantal extension $\mathbb{R}_*(X)$lower bounds of $\mathbb{R}_*$ where a polynomialelements of $P(X)$ is positive if$A$ and only if $P(n)$$B'$ is positive for large enoughthe set of upper bounds of elements of $n \in \mathbb{N}$. The difference$B$ is that the extensiona cut in $\mathbb{R}_*(X) / \mathbb{R}_*$$F$ whose type is not dense$(\operatorname{cf}(A,<),\operatorname{cf}(B,>))$.

The answer to your first question is negative. In ZFC+CH, the field $\mathbb{R}_*$ is unique up to isomorphism to be real-closed, of cardinality continuum / $\aleph_1$ and without $(\omega,\omega)$ type cuts (in particular, the choice of ultrafilter doesn't matter). So it is isomorphic to the field $\mathbf{No}(\omega_1)$ of surreal numbers with countable birth day. I use the latter because its elements can be represented in a more explicit way, and this helps find good cuts in $\mathbf{No}(\omega_1)$. For instance, using the sign-sequence presentation of surreal numbers, you have the cut generator $(A,B)$ where $A$ is the set of numbers whose sign-sequence is a concatenation of $(+-)$, and $B$ is the set of numbers obtained by adding $+$ at the end of the sign-sequence of elements of $A$. So $A=\{(),(+-),(+-+-),...\}$ and $B=\{(+),(+-+),...\}$ (the dots hide uncountably many numbers). One can also define $a_{\gamma}:=\{a_{\rho} :\rho<\gamma\ | \ b_{\rho}:\rho<\gamma \}$ and $b_{\gamma}:= \{a_{\gamma} \ | \ b_{\rho}:\rho<\gamma \}$ by induction on $\gamma<\omega_1$ and obtain $A=\{a_{\gamma} \ : \ \gamma<\omega_1\}$ and $B=\{b_{\gamma} \ : \ \gamma<\omega_1\}$.

It should be possible to prove the result directly in $\mathbb{R}_*$ using $\mathbb{N}_*$-indexed sums of fastly growing sequences, but by transfer it's actually easy to obtain a convergent sum, and thus not a cut!

Also, I don't know if ZFC alone proves that $\mathbb{R}_*$ is not quasi-complete. In fact I may have asked this exact question on MSE or MO.


Using the same isomorphism $\mathbb{R}_* \cong \mathbf{No}(\omega_1)$, one can obtain cuts of type $(\omega_1,\omega_1)$ that are not good. This again implies some familiarity with surreal numbers, so you can admit the existence of a map $x\mapsto \omega^x: \mathbf{No}(\omega_1)\rightarrow \mathbf{No}(\omega_1)^{>0}$, sometimes called the $\omega$-map, which is strictly increasing, with

$\forall x\in \mathbf{No}(\omega_1)^{>0},\exists ! d_x \in > \mathbf{No}(\omega_1), \exists r \in \mathbb{R}^{>0}, r^{-1} \omega^{d_x}<x<r\omega^{d_x}$

The set $A'$ of lower bounds of elements of $\omega^A$ has cofinalityThen $\omega_1$ whereas the set$(\omega^A,\omega^B)$ $B'$ of upper bounds of elements of(where $\omega^B$$\omega^X=\{\omega^x \ : \ x \in X\}$ is a cut generator, whose corresponding cut has coinitialitytype $\omega_1$$(\omega_1,\omega_1)$. AndIndeed if there is nowere a number $c \in \mathbf{No}(\omega_1)$ between $A'$$\omega^A$ and $B'$$\omega^B$, because otherwisethen $d_c$ would have to fill the cutlie between $(A,B)$$A$ and $B$. And theThe corresponding cut $(A',B')$ is not good, because we have $a'+1<b'$$x+1<y$ for all $(a',b') \in A' \times B'$$(x,y) \in \omega^A\times \omega^B$.

Everything I wrote requires some justification so feel free to ask if you want me to elaborate.

This is also called Cauchy-completeness, and it coincides for non-Archimedean ordered fields with the natural valuation to the valuation-theoretic notion of completeness. Also, this is the same as having no proper dense ordered field extension.

Note that cuts of type $(\omega,\omega_1)$ can also be filled, for instance the "Archimedean cut" $(L,R)$ where $R$ is the set of positive infinite hyperreal numbers can be filled in the simple transcendantal extension $\mathbb{R}_*(X)$ of $\mathbb{R}_*$ where a polynomial $P(X)$ is positive if and only if $P(n)$ is positive for large enough $n \in \mathbb{N}$. The difference is that the extension $\mathbb{R}_*(X) / \mathbb{R}_*$ is not dense.

The answer to your first question is negative. In ZFC+CH, the field $\mathbb{R}_*$ is unique up to isomorphism to be real-closed, of cardinality continuum / $\aleph_1$ and without $(\omega,\omega)$ type cuts (in particular, the choice of ultrafilter doesn't matter). So it is isomorphic to the field $\mathbf{No}(\omega_1)$ of surreal numbers with countable birth day. I use the latter because its elements can be represented in a more explicit way, and this helps find good cuts in $\mathbf{No}(\omega_1)$. For instance, using the sign-sequence presentation of surreal numbers, you have the cut $(A,B)$ where $A$ is the set of numbers whose sign-sequence is a concatenation of $(+-)$, and $B$ is the set of numbers obtained by adding $+$ at the end of the sign-sequence of elements of $A$. So $A=\{(),(+-),(+-+-),...\}$ and $B=\{(+),(+-+),...\}$ (the dots hide uncountably many numbers). One can also define $a_{\gamma}:=\{a_{\rho} :\rho<\gamma\ | \ b_{\rho}:\rho<\gamma \}$ and $b_{\gamma}:= \{a_{\gamma} \ | \ b_{\rho}:\rho<\gamma \}$ by induction on $\gamma<\omega_1$ and obtain $A=\{a_{\gamma} \ : \ \gamma<\omega_1\}$ and $B=\{b_{\gamma} \ : \ \gamma<\omega_1\}$.

It should be possible to prove the result directly in $\mathbb{R}_*$ using $\mathbb{N}_*$-indexed sums of fastly growing sequences, but by transfer it's actually easy to obtain a convergent sum, and thus not a cut!

Also, I don't know if ZFC alone proves that $\mathbb{R}_*$ is not quasi-complete. In fact I may have asked this exact question on MSE or MO.


Using the same isomorphism $\mathbb{R}_* \cong \mathbf{No}(\omega_1)$, one can obtain cuts of type $(\omega_1,\omega_1)$ that are not good. This again implies some familiarity with surreal numbers, so you can admit the existence of a map $x\mapsto \omega^x: \mathbf{No}(\omega_1)\rightarrow \mathbf{No}(\omega_1)^{>0}$, sometimes called the $\omega$-map, which is strictly increasing, with

$\forall x\in \mathbf{No}(\omega_1)^{>0},\exists ! d_x \in > \mathbf{No}(\omega_1), \exists r \in \mathbb{R}^{>0}, r^{-1} \omega^{d_x}<x<r\omega^{d_x}$

The set $A'$ of lower bounds of elements of $\omega^A$ has cofinality $\omega_1$ whereas the set $B'$ of upper bounds of elements of $\omega^B$ has coinitiality $\omega_1$. And there is no number $c \in \mathbf{No}(\omega_1)$ between $A'$ and $B'$, because otherwise $d_c$ would have to fill the cut $(A,B)$. And the cut $(A',B')$ is not good, because we have $a'+1<b'$ for all $(a',b') \in A' \times B'$.

Everything I wrote requires some justification so feel free to ask if you want me to elaborate.

This is also called Cauchy-completeness, and it coincides for non-Archimedean ordered fields with the natural valuation to the valuation-theoretic notion of completeness. Also, this is the same as having no proper dense ordered field extension.

I will say that an ordered pair $(A,B)$ of subsets of an ordered field $F$ is a cut generator if $A<B$ and there is no $x \in F$ with $A<x<B$. If $(A,B)$ is a cut generator, then the pair $(A',B')$ where $A'$ is the set of lower bounds of elements of $A$ and $B'$ is the set of upper bounds of elements of $B$ is a cut in $F$ whose type is $(\operatorname{cf}(A,<),\operatorname{cf}(B,>))$.

The answer to your first question is negative. In ZFC+CH, the field $\mathbb{R}_*$ is unique up to isomorphism to be real-closed, of cardinality continuum / $\aleph_1$ and without $(\omega,\omega)$ type cuts (in particular, the choice of ultrafilter doesn't matter). So it is isomorphic to the field $\mathbf{No}(\omega_1)$ of surreal numbers with countable birth day. I use the latter because its elements can be represented in a more explicit way, and this helps find good cuts in $\mathbf{No}(\omega_1)$. For instance, using the sign-sequence presentation of surreal numbers, you have the cut generator $(A,B)$ where $A$ is the set of numbers whose sign-sequence is a concatenation of $(+-)$, and $B$ is the set of numbers obtained by adding $+$ at the end of the sign-sequence of elements of $A$. So $A=\{(),(+-),(+-+-),...\}$ and $B=\{(+),(+-+),...\}$ (the dots hide uncountably many numbers). One can also define $a_{\gamma}:=\{a_{\rho} :\rho<\gamma\ | \ b_{\rho}:\rho<\gamma \}$ and $b_{\gamma}:= \{a_{\gamma} \ | \ b_{\rho}:\rho<\gamma \}$ by induction on $\gamma<\omega_1$ and obtain $A=\{a_{\gamma} \ : \ \gamma<\omega_1\}$ and $B=\{b_{\gamma} \ : \ \gamma<\omega_1\}$.

It should be possible to prove the result directly in $\mathbb{R}_*$ using $\mathbb{N}_*$-indexed sums of fastly growing sequences, but by transfer it's actually easy to obtain a convergent sum, and thus not a cut!

Also, I don't know if ZFC alone proves that $\mathbb{R}_*$ is not quasi-complete. In fact I may have asked this exact question on MSE or MO.


Using the same isomorphism $\mathbb{R}_* \cong \mathbf{No}(\omega_1)$, one can obtain cuts of type $(\omega_1,\omega_1)$ that are not good. This again implies some familiarity with surreal numbers, so you can admit the existence of a map $x\mapsto \omega^x: \mathbf{No}(\omega_1)\rightarrow \mathbf{No}(\omega_1)^{>0}$, sometimes called the $\omega$-map, which is strictly increasing, with

$\forall x\in \mathbf{No}(\omega_1)^{>0},\exists ! d_x \in > \mathbf{No}(\omega_1), \exists r \in \mathbb{R}^{>0}, r^{-1} \omega^{d_x}<x<r\omega^{d_x}$

Then $(\omega^A,\omega^B)$ (where $\omega^X=\{\omega^x \ : \ x \in X\}$ is a cut generator, whose corresponding cut has type $(\omega_1,\omega_1)$. Indeed if there were a number $c \in \mathbf{No}(\omega_1)$ between $\omega^A$ and $\omega^B$, then $d_c$ would have to lie between $A$ and $B$. The corresponding cut is not good, because we have $x+1<y$ for all $(x,y) \in \omega^A\times \omega^B$.

Everything I wrote requires some justification so feel free to ask if you want me to elaborate.

Source Link
nombre
  • 2.5k
  • 1
  • 16
  • 20

This is also called Cauchy-completeness, and it coincides for non-Archimedean ordered fields with the natural valuation to the valuation-theoretic notion of completeness. Also, this is the same as having no proper dense ordered field extension.

Note that cuts of type $(\omega,\omega_1)$ can also be filled, for instance the "Archimedean cut" $(L,R)$ where $R$ is the set of positive infinite hyperreal numbers can be filled in the simple transcendantal extension $\mathbb{R}_*(X)$ of $\mathbb{R}_*$ where a polynomial $P(X)$ is positive if and only if $P(n)$ is positive for large enough $n \in \mathbb{N}$. The difference is that the extension $\mathbb{R}_*(X) / \mathbb{R}_*$ is not dense.

The answer to your first question is negative. In ZFC+CH, the field $\mathbb{R}_*$ is unique up to isomorphism to be real-closed, of cardinality continuum / $\aleph_1$ and without $(\omega,\omega)$ type cuts (in particular, the choice of ultrafilter doesn't matter). So it is isomorphic to the field $\mathbf{No}(\omega_1)$ of surreal numbers with countable birth day. I use the latter because its elements can be represented in a more explicit way, and this helps find good cuts in $\mathbf{No}(\omega_1)$. For instance, using the sign-sequence presentation of surreal numbers, you have the cut $(A,B)$ where $A$ is the set of numbers whose sign-sequence is a concatenation of $(+-)$, and $B$ is the set of numbers obtained by adding $+$ at the end of the sign-sequence of elements of $A$. So $A=\{(),(+-),(+-+-),...\}$ and $B=\{(+),(+-+),...\}$ (the dots hide uncountably many numbers). One can also define $a_{\gamma}:=\{a_{\rho} :\rho<\gamma\ | \ b_{\rho}:\rho<\gamma \}$ and $b_{\gamma}:= \{a_{\gamma} \ | \ b_{\rho}:\rho<\gamma \}$ by induction on $\gamma<\omega_1$ and obtain $A=\{a_{\gamma} \ : \ \gamma<\omega_1\}$ and $B=\{b_{\gamma} \ : \ \gamma<\omega_1\}$.

It should be possible to prove the result directly in $\mathbb{R}_*$ using $\mathbb{N}_*$-indexed sums of fastly growing sequences, but by transfer it's actually easy to obtain a convergent sum, and thus not a cut!

Also, I don't know if ZFC alone proves that $\mathbb{R}_*$ is not quasi-complete. In fact I may have asked this exact question on MSE or MO.


Using the same isomorphism $\mathbb{R}_* \cong \mathbf{No}(\omega_1)$, one can obtain cuts of type $(\omega_1,\omega_1)$ that are not good. This again implies some familiarity with surreal numbers, so you can admit the existence of a map $x\mapsto \omega^x: \mathbf{No}(\omega_1)\rightarrow \mathbf{No}(\omega_1)^{>0}$, sometimes called the $\omega$-map, which is strictly increasing, with

$\forall x\in \mathbf{No}(\omega_1)^{>0},\exists ! d_x \in > \mathbf{No}(\omega_1), \exists r \in \mathbb{R}^{>0}, r^{-1} \omega^{d_x}<x<r\omega^{d_x}$

The set $A'$ of lower bounds of elements of $\omega^A$ has cofinality $\omega_1$ whereas the set $B'$ of upper bounds of elements of $\omega^B$ has coinitiality $\omega_1$. And there is no number $c \in \mathbf{No}(\omega_1)$ between $A'$ and $B'$, because otherwise $d_c$ would have to fill the cut $(A,B)$. And the cut $(A',B')$ is not good, because we have $a'+1<b'$ for all $(a',b') \in A' \times B'$.

Everything I wrote requires some justification so feel free to ask if you want me to elaborate.