positive
|
(Definition)
|
|
|
The word positive is usually explained to mean that the number under consideration is greater than zero. Without the relation “ ”, the positivity of (real) numbers may be defined specifying which numbers of a given number kind are positive, e.g. as follows.
- In the set
of the integers, all numbers obtained from 1 via addition are positive.
- In the set
of the rationals, all numbers obtained from 1 via addition and division are positive.
- In the set
of the real numbers, the numbers defined by the equivalence classes of non-zero decimal sequences are positive; these sequences (decimal expansions) consist of natural numbers from 0 to 9 as digits and a single decimal point (where two decimal sequences are equivalent if they are identical, or if one has an infinite tail of 9's, the other has an infinite tail of 0's, and the leading portion of the first sequence is one lower than the leading portion of the second).
For example, is a positive integer,
is a positive rational and
is a positive real number.
The sets of positive integers, rationals and reals are closed under addition and multiplication (the same concerns e.g. the positive even and positive algebraic numbers).
If is positive and , then the opposite number is negative.
|
"positive" is owned by pahio.
|
|
(view preamble)
| Other names: |
greater than zero |
This object's parent.
Cross-references: opposite number, algebraic numbers, even, infinite, equivalent, point, digits, natural numbers, decimal expansions, sequences, equivalence classes, real numbers, division, rationals, integers, relation, word
There are 557 references to this entry.
This is version 14 of positive, born on 2004-09-06, modified 2006-02-11.
Object id is 6147, canonical name is Positive.
Accessed 7388 times total.
Classification:
| AMS MSC: | 00A05 (General :: General and miscellaneous specific topics :: General mathematics) | | | 11B99 (Number theory :: Sequences and sets :: Miscellaneous) | | | 06F25 (Order, lattices, ordered algebraic structures :: Ordered structures :: Ordered rings, algebras, modules) |
|