PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] topic entry on real numbers (Topic)

Introduction

The real number system may be conceived as an attempt to fill in the gaps in the rational number system. These gaps first became apparent in connection with the Pythagorean theorem, which requires one to extract a square root in order to find the third side of a right triangle two of whose sides are known. Hypossos, a student of Pythagoras, showed that there is no rational number whose square is exactly 2. In particular, this means that there is no rational number which may be used to describe the length of the diagonal of a square the length of whose sides is rational. This result ruined the philosophical program of Pythagoras, which was to describe everything in terms of whole numbers (or ratios of whole numbers) and, according to legend, resulted in Hypossos drowning himself. Eventually, geometers reconciled themselves to the existence of irrational magnitudes and Eudoxos devised his method of exhaustion which allowed one to prove results about irrational magnitudes by considerations of rational magnitudes which are smaller and larger than the the irrational magnitude in question.

Centuries later, Descartes showed how it is systematically possible to reduce questions of geometry to algebra. This brought up the issue of irrational numbers again -- if one is going to reformulate everything in terms of algebra, then one cannot have recourse to defining magnitudes geometrically, but have to find some sort of number which can adequately represent things like the hypotenuse of a square with rational sides. At first, such problems of logical consistency were swept under the rug, but eventually mathematicians realized that their subject needed to be put on a firm logical foundation. In particular, Dedekind solved this difficulty by defining the real numbers as a certain type of partition of the set of rational numbers which he termed a cut and defining operations on these numbers, such as addition, subtraction, multiplication, and division in terms of operations on these partitions.

Index of entries on real numbers

The below list presents entries on real numbers in an order suitable for studying the subject.
  1. Rational numbers
  2. Axiomatic definition of the real numbers.
  3. Constructions of real numbers (advanced):
    1. Dedekind cuts
    2. Cauchy sequences
    3. Characterization of real numbers
    4. Reals not isomorphic to $p$ -adic numbers
  4. commensurable numbers
  5. positive
  6. Inequalities for real numbers
  7. index of inequalities
  8. rational numbers are real numbers
  9. interval
  10. nested interval theorem
  11. Real numbers are uncountable
  12. Archimedean property
  13. Operations for real numbers
    1. infimum and supremum for real numbers
    2. minimal and maximal number
    3. absolute value
    4. square root
    5. fraction power
  14. Topic entry on algebraic and transcendental numbers
    1. Irrational number
    2. Transcendental number
    3. Algebraic number
  15. Particular real numbers
    1. Natural log base
    2. pi
    3. Mascheroni constant

Generalizations

There are many generalizations of real numbers. These include the complex numbers, quaternions, extended real numbers, hyperreal numbers, and surreal numbers. Of course the field $\mathbb{R}$ has many other field extensions, e.g. the field $\mathbb{R}(x)$ of the rational functions.




Anyone with an account can edit this entry. Please help improve it!

"topic entry on real numbers" is owned by matte. [ full author list (4) ]
(view preamble | get metadata)

View style:

See Also: Gelfand--Tornheim theorem, positivity in ordered ring


This object's parent.

Attachments:
infimum and supremum for real numbers (Topic) by matte
Log in to rate this entry.
(view current ratings)

Cross-references: rational functions, field extensions, field, surreal numbers, extended real numbers, quaternions, complex numbers, Mascheroni constant, pi, natural log base, transcendental number, fraction power, absolute value, minimal and maximal number, infimum and supremum for real numbers, Archimedean property, nested interval theorem, interval, rational numbers are real numbers, index of inequalities, positive, commensurable numbers, Dedekind cuts, axiomatic definition of the real numbers, division, multiplication, subtraction, addition, operations, cut, rational numbers, partition, type, logical foundation, hypotenuse, represent, sort, algebra, geometry, method of exhaustion, irrational, eventually, numbers, terms, rational, diagonal, length, square, right triangle, side, order, square root, Pythagorean theorem, connection, rational number, real number
There are 2 references to this entry.

This is version 18 of topic entry on real numbers, born on 2006-02-13, modified 2009-08-14.
Object id is 7618, canonical name is TopicEntryOnRealNumbers.
Accessed 12694 times total.

Classification:
AMS MSC12D99 (Field theory and polynomials :: Real and complex fields :: Miscellaneous)
 26-00 (Real functions :: General reference works )
 54C30 (General topology :: Maps and general types of spaces defined by maps :: Real-valued functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

jump to page: 1 2 3 4 >> of 4 (17 items)

April Ponder This by PARASHAR on 2009-04-02 00:38:51
Design a storage system that encodes 24 information bits on 8 disks of 4 bits each, such that:

1) Combining the 8*4 bits into a 32 bits number (taking a nibble from each disk), a function f from 24 bits to 32 can be computed using only 5 operations, each of which is out of the set {+, -, *, /, %, &, |, ~} (addition; subtraction, multiplication; integer division, modulo; bitwise-and; bitwise-or; and bitwise-not) on variable length integers. In other words, if every operation takes a nanosecond, the function can be computed in 5 nanoseconds.

2) One can recover the original 24 bits even after any 2 of the 8 disks crash (making them unreadable and hence loosing 2 nibbles).
[ reply | up ]
February Ponder This!!!!! by PARASHAR on 2009-02-02 23:41:56
The following list of numbers is a solution to a riddle. What is the riddle? What is the single error in it?

900F 80F0 8F00 80CA BE12 AA90 9400 0048 3E5B 8AC0
3400 00CB BC81 8A08 3C00 0050 BE43 00C0 3E00 A019
8059 BE13 2000 0092 BE9B 2A0B 2A00 8052 8841 04C0
3E00 840B 084B 0098 E000 8819 845A 8012 0300 0050
826F 0500 0600 846E 8264 0900 0A00 8065 0C00 0072
A054 8368 8569 4800 4400 8573 4200 4100 8349 8542
2800 2400 854D 2200 2100 9F00 E000 8888 8444 8000
0030 0DED 8222 0050 0060 8444 8222 0090 00A0 8000
00C0 0DED A000 8333 8555 4080 4040 8555 4020 4010
8333 8555 2080 2040 8555 2020 2010 8300 8500 8030
8050 0880 0840 8050 0820 0810 8030 8050 0480 0440
8050 0420 0410 8500 8030 8050 0280 0240 8050 0220
0210 8030 8050 0180 0140 8050 0120 0110 90F0 9F00
E000 8888 8444 8000 0003 0DED 8222 0005 0006 8444
8222 0009 000A 8000 000C 0DED A000 8333 8555 4008
4004 8555 4002 4001 8333 8555 2008 2004 8555 2002
2001 8300 8500 8003 8005 0808 0804 8005 0802 0801
8003 8005 0408 0404 8005 0402 0401 8500 8003 8005
0208 0204 8005 0202 0201 8003 8005 0108 0104 8005
0102 0101 9F00 8030 8050 8003 8005 0088 0084 8005
0082 0081 8003 8005 0048 0044 8005 0042 0041 8050
8003 8005 0028 0024 8005 0022 0021 8003 8005 0018
0014 8005 0012 0011 80FF 8F0F A333 8000 5000 0DED
8000 3000 0DED A333 C555 1800 1400 C555 1200 1100
8F0F A333 A555 1080 1040 A555 1020 1010 A333 A555
1008 1004 A555 1002 1001

[ reply | up ]
series by PARASHAR on 2008-10-11 04:25:26
Can we find any general expression or any significance(peculiarity) of this sequence:

8 5 13 1 12 19 8 21 11 12 1
[ reply | up ]
function by PARASHAR on 2008-02-19 22:22:40
I am below depicting a definition of a function. It is a simple conditional loop but there is some logic behind it which can be used in algorithms, Can anybody please explain me what is that?

sd(integer a, integer k, paramter){
if(a > k*parameter && "a is not an integer multiple of parameter"){
return true;
}else{
return false;
}
}
[ reply | up ]
February ponder this by PARASHAR on 2008-02-19 00:29:42
This month is very simple problem i think, i have just reached the solution but i need your help. Please visit the link for the problem
http://domino.research.ibm.com/Comm/wwwr_ponder.nsf/challenges/February2008.html
I have found the missing values but I am still in search of a perfect answer for the first one, can anybody please help me?
[ reply | up ]

jump to page: 1 2 3 4 >> of 4 (17 items)

Interact
post | correct | update request | add example | add (any)