All Questions
Tagged with real-numbers axioms
10
questions
4
votes
2
answers
1k
views
Axiomatic definition of the real numbers and uncountability
There are several approaches in defining the real numbers axiomatically and suppose that we have some set of axioms $A$ which completely characterize rational numbers and which does not mention ...
9
votes
2
answers
838
views
axioms of real numbers without multiplication
Consider the axioms of real numbers https://en.wikipedia.org/wiki/Real_number#Axiomatic_approach
and suppose we remove the multiplication operation and its properties. Do we loose something?
I have ...
7
votes
0
answers
701
views
Geometric basis for the real numbers
I am aware of the standard method of summoning the real numbers into existence -- by considering limits of convergent sequences of quotients.
But I never actually think of real numbers in this way. I ...
6
votes
2
answers
1k
views
On the relation of Completeness Axiom of real numbers and Well Ordering Axiom
In my abstract algebra book one of the first facts stated is the Well Ordering Principle:
(*) Every non-empty set of positive integers has a smallest member.
In real analysis on the other hand one ...
5
votes
5
answers
590
views
Spivak's proof of $a\cdot 0 = 0$
I picked up Spivak's Calculus (3rd Edition) today and it seemed like a good idea to go through the section Basic Properties of Numbers. In this chapter, Spivak proves that
$$a \cdot 0 = 0$$
The ...
4
votes
1
answer
572
views
How do we decide which axioms are necessary?
I am studying the axioms for a complete ordered field. I have looked at different sources, some of which differ slightly in their listings.
Given some construction of the reals (e.g. Dedekind cuts or ...
3
votes
1
answer
206
views
Abstracting Magnitude Measurement Systems (i.e. subsets of ${\mathbb R}^{\ge 0}$) via Archimedean Semirings.
I did some googling but could not find any easily accessible theory so I am going to lay out my ideas and ask if they hold water.
Definition: A PM-Semiring $M$ satisfies the following six axioms:
(1)...
1
vote
1
answer
580
views
How to derive the axiom no. 15 from the Cantor's and Archimedean axiom?
How could one substitute the (15th) axiom of completeness with Archimedean and Cantor's axiom?
We discussed Cantor's axiom as well as Archimedean in analysis lectures and were told this question might ...
0
votes
0
answers
62
views
Proving the well ordering principle starting from the axiom of completeness. Is this topological proof valid?
While reading this SE thread, I saw in the comments someone say "the proof [that the completeness axiom implies the well ordering principle] will take some work".
However, this other thread ...
0
votes
2
answers
113
views
Is it possible to create the smallest real positive number by axiome?
I know that with standard math there is no "smallest positive real number". But, the same way we created Aleph Null by axiome, can we create the axiome below?
...