Quentin Anciaux skrev:
> Le Thursday 29 November 2007 18:52:36 Torgny Tholerus, vous avez écrit :
>
>> Quentin Anciaux skrev:
>>
>>
>>> What is the production rules of the "no"set R ?
>>>
>> How do you define "the set R"?
>>
>
> http://en.wikipedia.org/wiki/Construction_of_real_numbers
>
> Choose your method...
>
The most important part of that definition is:
4. The order ? is /complete/ in the following sense: every non-empty
subset of *R* bounded above <
http://en.wikipedia.org/wiki/Upper_bound>
has a least upper bound <
http://en.wikipedia.org/wiki/Least_upper_bound>.
This definition can be translated to:
"If you have a production rule that produces rational numbers that are
bounded above, then this production rule is producing a real number."
This is the production rule for real numbers.
--
Torgny
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Nov 29 2007 - 13:29:13 PST