Part of the Mathematics glossary:

A rational number is a number determined by the ratio of some integer p to some nonzero natural number q. The set of rational numbers is denoted Q, and represents the set of all possible integer-to-natural-number ratios p/q.In mathematical expressions, unknown or unspecified rational numbers are represented by lowercase, italicized letters from the late middle or end of the alphabet, especially r, s, and t, and occasionally u through z. Rational numbers are primarily of interest to theoreticians.Theoretical mathematics has potentially far-reaching applications in communications and computer science, especially in data encryption and security.

If r and t are rational numbers such that r < t, then there exists a rational number s such that r < s < t. This is true no matter how small the difference between r and t, as long as the two are not equal.In this sense, the set Q is "dense."Nevertheless, Q is a denumerable set.Denumerability refers to the fact that, even though a set might contain an infinite number of elements, and even though those elements might be "densely packed," the elements can be defined by a list that assigns them each a unique number in a sequence corresponding to the set of natural numbers N = {1, 2, 3, ...}..

For the set of natural numbers N and the set of integers Z, neither of which are "dense," denumeration lists are straightforward.For Q, it is less obvious how such a list might be constructed.An example appears below.The matrix includes all possible numbers of the form p/q, where p is an integer and q is a nonzero natural number.Every possible rational number is represented in the array.Following the pink line, think of 0 as the "first stop," 1/1 as the "second stop," -1/1 as the "third stop," 1/2 as the "fourth stop," and so on.This defines a sequential (although redundant) list of the rational numbers.There is a one-to-one correspondence between the elements of the array and the set of natural numbers N.

(2545 bytes)

To demonstrate a true one-to-one correspondence between Q and N, a modification must be added to the algorithm shown in the illustration.Some of the elements in the matrix are repetitions of previous numerical values.For example, 2/4 = 3/6 = 4/8 = 5/10, and so on.These redundancies can be eliminated by imposing the constraint, "If a number represents a value previously encountered, skip over it."In this manner, it can be rigorously proven that the set Q has exactly the same number of elements as the set N.Some people find this hard to believe, but the logic is sound.

In contrast to the natural numbers, integers, and rational numbers, the sets of irrational numbers, real numbers, imaginary numbers, and complex numbers are non-denumerable. They have cardinality greater than that of the set N.This leads to the conclusion that some "infinities" are larger than others!

This was last updated in September 2005
Posted by: Margaret Rouse

Related Terms

Definitions

  • normal distribution

    - A normal distribution is an arrangement of a data set in which most values cluster in the middle of the range and the rest taper off symmetrically toward either end.  A graphical representation of ... (WhatIs.com)

  • zettaflops

    - Zettaflop or (ZFlop) is a processing power of one septillion floating point operations per second (FLOPS). The zetta in zettaflop represents 10 to the 21st power -- 10 multiplied by itself 21 times... (WhatIs.com)

  • mathematical induction

    - Mathematical induction is a a specialized form of deductive reasoning used to prove a fact about all the elements in an infinite set by performing a finite number of steps.  (WhatIs.com)

Glossaries

  • Mathematics

    - Terms related to mathematics, including definitions about logic, algorithms and computations and mathematical terms used in computer science and business.

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question. Find an Answer.Powered by ITKnowledgeExchange.com

Ask An IT Question

Get answers from your peers on your most technical challenges

Ask Question

Tech TalkComment

Share
Comments

    Results

    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.