3 ms·
Does this field behave differently from Q in some 'useful' way?
by scarejunba 7y ago
Does this field behave differently from Q in some 'useful' way?
- H8crilA 7y agoIt has sqrt(2), for starters? Not sure what do you mean by useful. It is not "useful" in the sense that reals are most "famous" for: it is not complete. Cauchy sequences can diverge in the useful reals field.
- scarejunba 7y agoAh, I was curious if there are any interesting properties.
- lonelappde 7y agoCompleteness in the "full" reals is a useless feature, though. All is gives you is an emotional crutch to pretend your cauchy sequences can be mapped to regular numbers. But it doesn't give you anything you didn't already have in the cauchy sequences and useful reals.
- steerablesafe 7y agoYou are of course right, reals are isomorphic to equivalence classes of Cauchy sequences on Q. But once you are dealing with equivalence classes of Cauchy sequences on Q you might as well give it a name. Maybe call it R.
- H8crilA 7y agoHis point is different. You cannot (by definition) ever write a "name", a formula, a rule, a lim expression, anything really, for a real that is not in the useful reals.